Universal Geometric Algebra

In mathematics, a universal geometric algebra is a type of geometric algebra generated by real vector spaces endowed with an indefinite quadratic form. Some authors restrict this to the infinite-dimensional case.

The universal geometric algebra of order is defined as the Clifford algebra of -dimensional pseudo-Euclidean space . This algebra is also called the "mother algebra". It has a nondegenerate signature. The vectors in this space generate the algebra through the geometric product. This product makes the manipulation of vectors more similar to the familiar algebraic rules, although non-commutative.

When , i.e. there are countably many dimensions, then is called simply the ''universal geometric algebra'' (UGA), which contains vector spaces such as and their respective geometric algebras .

UGA contains all finite-dimensional geometric algebras (GA).

The elements of UGA are called multivectors. Every multivector can be written as the sum of several -vectors. Some ''r''-vectors are scalars (), vectors () and bivectors ().

One may generate a finite-dimensional GA by choosing a unit pseudoscalar (). The set of all vectors that satisfy
: $a\wedge I=0$
is a vector space. The geometric product of the vectors in this vector space then defines the GA, of which is a member. Since every finite-dimensional GA has a unique (up to a sign), one can define or characterize the GA by it. A pseudoscalar can be interpreted as an -plane segment of unit area in an -dimensional vector space.

Vector manifolds

A vector manifold is a special set of vectors in the UGA. These vectors generate a set of linear spaces tangent to the vector manifold. Vector manifolds were introduced to do calculus on manifolds so one can define (differentiable) manifolds as a set isomorphic to a vector manifold. The difference lies in that a vector manifold is algebraically rich while a manifold is not. Since this is the primary motivation for vector manifolds the following interpretation is rewarding.

Consider a vector manifold as a special set of "points". These points are members of an algebra and so can be added and multiplied. These points generate a tangent space of definite dimension "at" each point. This tangent space generates a (unit) pseudoscalar which is a function of the points of the vector manifold. A vector manifold is characterized by its pseudoscalar. The pseudoscalar can be interpreted as a tangent oriented -plane segment of unit area. Bearing this in mind, a manifold looks locally like at every point.

Although a vector manifold can be treated as a completely abstract object, a geometric algebra is created so that every element of the algebra represents a geometric object and algebraic operations such as adding and multiplying correspond to geometric transformations.

Consider a set of vectors in UGA. If this set of vectors generates a set of "tangent" simple -vectors, which is to say

: $\forall x\in M^n: \exists I_n(x)=x\wedge A(x) \mid I_n(x)\lor M_n=x$

then is a vector manifold, the value of is that of a simple -vector. If one interprets these vectors as points then is the pseudoscalar of an algebra tangent to at . can be interpreted as a unit area at an oriented -plane: this is why it is labeled with . The function gives a distribution of these tangent -planes over .

A vector manifold is defined similarly to how a particular GA can be defined, by its unit pseudoscalar. The set is not closed under addition and multiplication by scalars. This set is ''not'' a vector space. At every point the vectors generate a tangent space of definite dimension. The vectors in this tangent space are different from the vectors of the vector manifold. In comparison to the original set they are bivectors, but since they span a linear space—the tangent space—they are also referred to as vectors. Notice that the dimension of this space is the dimension of the manifold. This linear space generates an algebra and its unit pseudoscalar characterizes the vector manifold. This is the manner in which the set of abstract vectors defines the vector manifold. Once the set of "points" generates the "tangent space" the "tangent algebra" and its "pseudoscalar" follow immediately.

The unit pseudoscalar of the vector manifold is a (pseudoscalar-valued) function of the points on the vector manifold. If i.e. this function is smooth then one says that the vector manifold is smooth.Chapter 4 of: . Hestenes & G. SobczykFrom Clifford Algebra to Geometric Calculus A manifold can be defined as a set isomorphic to a vector manifold. The points of a manifold do not have any algebraic structure and pertain only to the set itself. This is the main difference between a vector manifold and a manifold that is isomorphic. A vector manifold is always a subset of Universal Geometric Algebra by definition and the elements can be manipulated algebraically. In contrast, a manifold is not a subset of any set other than itself, but the elements have no algebraic relation among them.

The differential geometry of a manifold can be carried out in a vector manifold. All quantities relevant to differential geometry can be calculated from if it is a differentiable function. This is the original motivation behind its definition. Vector manifolds allow an approach to the differential geometry of manifolds alternative to the "build-up" approach where structures such as metrics, connections and fiber bundles are introduced as needed.Chapter 5 of: . Hestenes & G. SobczykFrom Clifford Algebra to Geometric Calculus The relevant structure of a vector manifold is its tangent algebra. The use of geometric calculus along with the definition of vector manifold allow the study of geometric properties of manifolds without using coordinates.

See also

* Conformal geometric algebra

References

*
*
*
* {{cite book, author=Hongbo Li, title=Invariant Algebras And Geometric Reasoning, publisher=World Scientific, isbn=981-270-808-1, url=https://books.google.com/books?id=bUEcbyfW55YC, year=2008

Geometric algebra