-
Geometric constructions preserve fibrations
Authors:
Bertfried Fauser,
Steven Vickers
Abstract:
Let $\mathcal{C}$ be a representable 2-category, and $\mathfrak{T}_\bullet$ a 2-endofunctor of the arrow 2-category $\mathcal{C}^\downarrow$ such that (i) $\mathsf{cod} \mathfrak{T}_\bullet = \mathsf{cod}$ and (ii) $\mathfrak{T}_\bullet$ preserves proneness of morphisms in $\mathcal{C}^\downarrow$. Then $\mathfrak{T}_\bullet$ preserves fibrations and opfibrations in $\mathcal{C}$.
The proof take…
▽ More
Let $\mathcal{C}$ be a representable 2-category, and $\mathfrak{T}_\bullet$ a 2-endofunctor of the arrow 2-category $\mathcal{C}^\downarrow$ such that (i) $\mathsf{cod} \mathfrak{T}_\bullet = \mathsf{cod}$ and (ii) $\mathfrak{T}_\bullet$ preserves proneness of morphisms in $\mathcal{C}^\downarrow$. Then $\mathfrak{T}_\bullet$ preserves fibrations and opfibrations in $\mathcal{C}$.
The proof takes Street's characterization of (e.g.) opfibrations as pseudoalgebras for 2-monads $\mathfrak{L}_B$ on slice categories $\mathcal{C}/B$ and develops it by defining a 2-monad $\mathfrak{L}_\bullet$ on $\mathcal{C}^\downarrow$ that takes change of base into account, and uses known results on the lifting of 2-functors to pseudoalgebras.
△ Less
Submitted 10 November, 2014;
originally announced November 2014.
-
Smooth coalgebra: testing vector analysis
Authors:
Dusko Pavlovic,
Bertfried Fauser
Abstract:
Processes are often viewed as coalgebras, with the structure maps specifying the state transitions. In the simplest case, the state spaces are discrete, and the structure map simply takes each state to the next states. But the coalgebraic view is also quite effective for studying processes over structured state spaces, e.g. measurable, or continuous. In the present paper we consider coalgebras ove…
▽ More
Processes are often viewed as coalgebras, with the structure maps specifying the state transitions. In the simplest case, the state spaces are discrete, and the structure map simply takes each state to the next states. But the coalgebraic view is also quite effective for studying processes over structured state spaces, e.g. measurable, or continuous. In the present paper we consider coalgebras over manifolds. This means that the captured processes evolve over state spaces that are not just continuous, but also locally homeomorphic to Banach spaces, and thus carry a differential structure. Both dynamical systems and differential forms arise as coalgebras over such state spaces, for two different endofunctors over manifolds. A duality induced by these two endofunctors provides a formal underpinning for the informal geometric intuitions linking differential forms and dynamical systems in the various practical applications, e.g. in physics. This joint functorial reconstruction of tangent bundles and cotangent bundles uncovers the universal properties and a high level view of these fundamental structures, which are implemented rather intricately in their standard form. The succinct coalgebraic presentation provides unexpected insights even about the situations as familiar as Newton's laws.
△ Less
Submitted 22 May, 2014; v1 submitted 18 February, 2014;
originally announced February 2014.
-
Hopf Algebras, Distributive (Laplace) Pairings and Hash Products: A unified approach to tensor product decompositions of group characters
Authors:
Bertfried Fauser,
Peter D. Jarvis,
Ronald C. King
Abstract:
We show for bicommutative graded connected Hopf algebras that a certain distributive (Laplace) subgroup of the convolution monoid of 2-cochains parameterizes certain well behaved Hopf algebra deformations. Using the Laplace group, or its Frobenius subgroup, we define higher derived hash products, and develop a general theory to study their main properties. Applying our results to the (universal) b…
▽ More
We show for bicommutative graded connected Hopf algebras that a certain distributive (Laplace) subgroup of the convolution monoid of 2-cochains parameterizes certain well behaved Hopf algebra deformations. Using the Laplace group, or its Frobenius subgroup, we define higher derived hash products, and develop a general theory to study their main properties. Applying our results to the (universal) bicommutative graded connected Hopf algebra of symmetric functions, we show that classical tensor product and character decompositions, such as those for the general linear group, mixed co- and contravariant or rational characters, orthogonal and symplectic group characters, Thibon and reduced symmetric group characters, are special cases of higher derived hash products. In the Appendix we discuss a relation to formal group laws.
△ Less
Submitted 7 February, 2013;
originally announced February 2013.
-
The Born rule as structure of spectral bundles (extended abstract)
Authors:
Bertfried Fauser,
Guillaume Raynaud,
Steven Vickers
Abstract:
Topos approaches to quantum foundations are described in a unified way by means of spectral bundles, where the base space is a space of contexts and each fibre is its spectrum. Differences in variance are due to the bundle being a fibration or opfibration. Relative to this structure, the probabilistic predictions of the Born rule in finite dimensional settings are then described as a section of a…
▽ More
Topos approaches to quantum foundations are described in a unified way by means of spectral bundles, where the base space is a space of contexts and each fibre is its spectrum. Differences in variance are due to the bundle being a fibration or opfibration. Relative to this structure, the probabilistic predictions of the Born rule in finite dimensional settings are then described as a section of a bundle of valuations. The construction uses in an essential way the geometric nature of the valuation locale monad.
△ Less
Submitted 1 October, 2012;
originally announced October 2012.
-
Ribbon Hopf algebras from group character rings
Authors:
Bertfried Fauser,
Peter D. Jarvis,
Ronald C. King
Abstract:
We study the diagram alphabet of knot moves associated with the character rings of certain matrix groups. The primary object is the Hopf algebra Char-GL of characters of the finite dimensional polynomial representations of the complex group GL(n) in the inductive limit, realised as the ring of symmetric functions Λ(X) on countably many variables X = {x_1,x_2, ...}. Isomorphic as spaces are the cha…
▽ More
We study the diagram alphabet of knot moves associated with the character rings of certain matrix groups. The primary object is the Hopf algebra Char-GL of characters of the finite dimensional polynomial representations of the complex group GL(n) in the inductive limit, realised as the ring of symmetric functions Λ(X) on countably many variables X = {x_1,x_2, ...}. Isomorphic as spaces are the character rings Char-O and Char-Sp of the classical matrix subgroups of GL(n), the orthogonal and symplectic groups. We also analyse the formal character rings Char-H_π of algebraic subgroups of GL(n), comprised of matrix transformations leaving invariant a fixed but arbitrary tensor of Young symmetry type π, which have been introduced in [5] (these include the orthogonal and symplectic groups as special cases). The set of tangle diagrams encoding manipulations of the group and subgroup characters has many elements deriving from products, coproducts, units and counits as well as different types of branching operators. From these elements we assemble for each π a crossing tangle which satisfies the braid relation and which is nontrivial, in spite of the commutative and co-commutative setting. We identify structural elements and verify the axioms to establish that each Char-H_π ring is a ribbon Hopf algebra. The corresponding knot invariant operators are rather weak, giving merely a measure of the writhe.
△ Less
Submitted 4 July, 2012;
originally announced July 2012.
-
Some graphical aspects of Frobenius structures
Authors:
Bertfried Fauser
Abstract:
We survey some aspects of Frobenius algebras, Frobenius structures and their relation to finite Hopf algebras using graphical calculus. We focus on the `yanking' moves coming from a closed structure in a rigid monoidal category, the topological move, and the `yanking' coming from the Frobenius bilinear form and its inverse, used e.g. in quantum teleportation. We discus how to interpret the associa…
▽ More
We survey some aspects of Frobenius algebras, Frobenius structures and their relation to finite Hopf algebras using graphical calculus. We focus on the `yanking' moves coming from a closed structure in a rigid monoidal category, the topological move, and the `yanking' coming from the Frobenius bilinear form and its inverse, used e.g. in quantum teleportation. We discus how to interpret the associated information flow. Some care is taken to cover non-symmetric Frobenius algebras and the Nakayama automorphism. We review graphically the Larson-Sweedler-Pareigis theorem showing how integrals of finite Hopf algebras allow to construct Frobenius structures. A few pointers to further literature are given, with a subjective tendency to graphically minded work.
△ Less
Submitted 28 February, 2012;
originally announced February 2012.
-
Transposition anti-involution in Clifford algebras and invariance groups of scalar products on spinor spaces
Authors:
Rafal Ablamowicz,
Bertfried Fauser
Abstract:
We introduce on the abstract level in real Clifford algebras \cl_{p,q} of a non-degenerate quadratic space (V,Q), where Q has signature ε=(p,q), a transposition anti-involution \tp. In a spinor representation, the anti-involution \tp gives transposition, complex Hermitian conjugation or quaternionic Hermitian conjugation when the spinor space \check{S} is viewed as a \cl_{p,q}-left and \check{K}-r…
▽ More
We introduce on the abstract level in real Clifford algebras \cl_{p,q} of a non-degenerate quadratic space (V,Q), where Q has signature ε=(p,q), a transposition anti-involution \tp. In a spinor representation, the anti-involution \tp gives transposition, complex Hermitian conjugation or quaternionic Hermitian conjugation when the spinor space \check{S} is viewed as a \cl_{p,q}-left and \check{K}-right module with \check{K} isomorphic to R or R^2, C, or, H or H^2.
\tp is a lifting to \cl_{p,q} of an orthogonal involution \tve: V \rightarrow V which depends on the signature of Q. The involution is a symmetric correlatio \tve: V \rightarrow V^{*} \cong V and it allows one to define a reciprocal basis for the dual space (V^{*},Q). The anti-involution \tp acts as reversion on \cl_{p,0} and as conjugation on \cl_{0,q}. Using the concept of a transpose of a linear mapping one can show that if [L_u] is a matrix in the left regular representation of the operator L_u: \cl_{p,q} \rightarrow \cl_{p,q} relative to a Grassmann basis B in \cl_{p,q}, then matrix [L_{\tp(u)}] is the matrix transpose of [L_u].
Of particular importance is the action of \tp on the algebraic spinor space S, generated by a primitive idempotent f, or a sum f+\hat{f} in simple or semisimple algebras. \tp allows us to define a new spinor scalar product S \times S \rightarrow \check{K}, where K=f\cl_{p,q}f and \check{K}=K or K \oplus \hat{K} in the simple or semisimple case. Our scalar product reduces to well known ones in Euclidean and anti-Euclidean signatures. \tp acts as identity, complex conjugation, or quaternionic conjugation on \check{K}. The action of \tp on spinors results in matrix transposition, complex Hermitian conjugation, or quaternionic ermitian conjugation. We classify the automorphism groups of the new product as O(N), U(N), Sp(N), O(N)^2, or Sp(N)^2.
△ Less
Submitted 13 December, 2011;
originally announced December 2011.
-
On the Transposition Anti-Involution in Real Clifford Algebras III: The Automorphism Group of the Transposition Scalar Product on Spinor Spaces
Authors:
Rafal Ablamowicz,
Bertfried Fauser
Abstract:
A signature epsilon=(p,q) dependent transposition anti-involution T of real Clifford algebras Cl_{p,q} for non-degenerate quadratic forms was introduced in [arXiv.1005.3554v1]. In [arXiv.1005.3558v1] we showed that, depending on the value of (p-q) mod 8, the map T gives rise to transposition, complex Hermitian, or quaternionic Hermitian conjugation of representation matrices in spinor representati…
▽ More
A signature epsilon=(p,q) dependent transposition anti-involution T of real Clifford algebras Cl_{p,q} for non-degenerate quadratic forms was introduced in [arXiv.1005.3554v1]. In [arXiv.1005.3558v1] we showed that, depending on the value of (p-q) mod 8, the map T gives rise to transposition, complex Hermitian, or quaternionic Hermitian conjugation of representation matrices in spinor representation. The resulting scalar product is in general different from the two known standard scalar products [Lounesto, Clifford algebras and Spinors 2001]. We provide a full signature (p,q) dependent classification of the invariance groups Gpq_{p,q} of this product for p+q <= 9. The map T is identified as the "star" map known [Passmann, The Algebraic Structure of Group Rings 1985] from the theory of (twisted) group algebras, where the Clifford algebra Cl_{p,q} is seen as a twisted group ring k^t[(Z_2)^n], n=p+q. We discuss and list important subgroups of stabilizer groups Gpq(f)_{p,q} and their transversals in relation to generators of spinor spaces.
△ Less
Submitted 16 February, 2011;
originally announced February 2011.
-
Plethysms, replicated Schur functions and series, with applications to vertex operators
Authors:
Bertfried Fauser,
Peter D Jarvis,
Ronald C King
Abstract:
Specializations of Schur functions are exploited to define and evaluate the Schur functions s_λ[αX] and plethysms s_λ[αs_ν(X))] for any α- integer, real or complex. Plethysms are then used to define pairs of mutually inverse infinite series of Schur functions, M_πand L_π, specified by arbitrary partitions π. These are used in turn to define and provide generating functions for formal characters, s…
▽ More
Specializations of Schur functions are exploited to define and evaluate the Schur functions s_λ[αX] and plethysms s_λ[αs_ν(X))] for any α- integer, real or complex. Plethysms are then used to define pairs of mutually inverse infinite series of Schur functions, M_πand L_π, specified by arbitrary partitions π. These are used in turn to define and provide generating functions for formal characters, s_λ^{(π)}, of certain groups H_π, thereby extending known results for orthogonal and symplectic group characters. Each of these formal characters is then given a vertex operator realization, first in terms of the series M=M_{(0)} and various L_σ^\perp dual to L_σ, and then more explicitly in exponential form. Finally the replicated form of such vertex operators are written down.
△ Less
Submitted 22 June, 2010;
originally announced June 2010.
-
Hopf algebras and characters of classical groups
Authors:
Ronald C. King,
Bertfried Fauser,
Peter D. Jarvis
Abstract:
Schur functions provide an integral basis of the ring of symmetric functions. It is shown that this ring has a natural Hopf algebra structure by identifying the appropriate product, coproduct, unit, counit and antipode, and their properties. Characters of covariant tensor irreducible representations of the classical groups GL(n), O(n) and Sp(n) are then expressed in terms of Schur functions, and…
▽ More
Schur functions provide an integral basis of the ring of symmetric functions. It is shown that this ring has a natural Hopf algebra structure by identifying the appropriate product, coproduct, unit, counit and antipode, and their properties. Characters of covariant tensor irreducible representations of the classical groups GL(n), O(n) and Sp(n) are then expressed in terms of Schur functions, and the Hopf algebra is exploited in the determination of group-subgroup branching rules and the decomposition of tensor products. The analysis is carried out in terms of n-independent universal characters. The corresponding rings, CharGL, CharO and CharSp, of universal characters each have their own natural Hopf algebra structure. The appropriate product, coproduct, unit, counit and antipode are identified in each case.
△ Less
Submitted 14 October, 2007;
originally announced October 2007.
-
The Hopf Algebra Structure of the Character Rings of Classical Groups
Authors:
Bertfried Fauser,
Peter D. Jarvis,
Ronald C. King
Abstract:
The character ring \CGL of covariant irreducible tensor representations of the general linear group admits a Hopf algebra structure isomorphic to the Hopf algebra \Sym$ of symmetric functions. Here we study the character rings \CO and \CSp of the orthogonal and symplectic subgroups of the general linear group within the same framework of symmetric functions. We show that \CO and \CSp also admit na…
▽ More
The character ring \CGL of covariant irreducible tensor representations of the general linear group admits a Hopf algebra structure isomorphic to the Hopf algebra \Sym$ of symmetric functions. Here we study the character rings \CO and \CSp of the orthogonal and symplectic subgroups of the general linear group within the same framework of symmetric functions. We show that \CO and \CSp also admit natural Hopf algebra structures that are isomorphic to that of \CGL, and hence to \Sym. The isomorphisms are determined explicitly, along with the specification of standard bases for \CO and \CSp analogous to those used for \Sym. A major structural change arising from the adoption of these bases is the introduction of new orthogonal and symplectic Schur-Hall scalar products. Significantly, the adjoint with respect to multiplication no longer coincides, as it does in the \CGL case, with a Foulkes derivative or skew operation. The adjoint and Foulkes derivative now require separate definitions, and their properties are explored here in the orthogonal and symplectic cases. Moreover, the Hopf algebras \CO and \CSp are not self-dual. The dual Hopf algebras \CO^* and \CSp^* are identified. Finally, the Hopf algebra of the universal rational character ring \CGLrat of mixed irreducible tensor representations of the general linear group is introduced and its structure maps identified.
△ Less
Submitted 26 July, 2012; v1 submitted 16 April, 2007;
originally announced April 2007.
-
Renormalization : A number theoretical model
Authors:
Bertfried Fauser
Abstract:
We analyse the Dirichlet convolution ring of arithmetic number theoretic functions. It turns out to fail to be a Hopf algebra on the diagonal, due to the lack of complete multiplicativity of the product and coproduct. A related Hopf algebra can be established, which however overcounts the diagonal. We argue that the mechanism of renormalization in quantum field theory is modelled after the same…
▽ More
We analyse the Dirichlet convolution ring of arithmetic number theoretic functions. It turns out to fail to be a Hopf algebra on the diagonal, due to the lack of complete multiplicativity of the product and coproduct. A related Hopf algebra can be established, which however overcounts the diagonal. We argue that the mechanism of renormalization in quantum field theory is modelled after the same principle. Singularities hence arise as a (now continuously indexed) overcounting on the diagonals. Renormalization is given by the map from the auxiliary Hopf algebra to the weaker multiplicative structure, called Hopf gebra, rescaling the diagonals.
△ Less
Submitted 25 January, 2006;
originally announced January 2006.
-
Idempotents of Clifford Algebras
Authors:
R. Ablamowicz,
B. Fauser,
K. Podlaski,
J. Rembielinski
Abstract:
A classification of idempotents in Clifford algebras C(p,q) is presented. It is shown that using isomorphisms between Clifford algebras C(p,q) and appropriate matrix rings, it is possible to classify idempotents in any Clifford algebra into continuous families. These families include primitive idempotents used to generate minimal one sided ideals in Clifford algebras. Some low dimensional exampl…
▽ More
A classification of idempotents in Clifford algebras C(p,q) is presented. It is shown that using isomorphisms between Clifford algebras C(p,q) and appropriate matrix rings, it is possible to classify idempotents in any Clifford algebra into continuous families. These families include primitive idempotents used to generate minimal one sided ideals in Clifford algebras. Some low dimensional examples are discussed.
△ Less
Submitted 4 December, 2003;
originally announced December 2003.
-
A Hopf laboratory for symmetric functions
Authors:
Bertfried Fauser,
P. D. Jarvis
Abstract:
An analysis of symmetric function theory is given from the perspective of the underlying Hopf and bi-algebraic structures. These are presented explicitly in terms of standard symmetric function operations. Particular attention is focussed on Laplace pairing, Sweedler cohomology for 1- and 2-cochains, and twisted products (Rota cliffordizations) induced by branching operators in the symmetric fun…
▽ More
An analysis of symmetric function theory is given from the perspective of the underlying Hopf and bi-algebraic structures. These are presented explicitly in terms of standard symmetric function operations. Particular attention is focussed on Laplace pairing, Sweedler cohomology for 1- and 2-cochains, and twisted products (Rota cliffordizations) induced by branching operators in the symmetric function context. The latter are shown to include the algebras of symmetric functions of orthogonal and symplectic type. A commentary on related issues in the combinatorial approach to quantum field theory is given.
△ Less
Submitted 29 August, 2003;
originally announced August 2003.
-
Grade free product formulae from Grassmann Hopf gebras
Authors:
Bertfried Fauser
Abstract:
In the traditional approaches to Clifford algebras, the Clifford product is evaluated by recursive application of the product of a one-vector (span of the generators) on homogeneous i.e. sums of decomposable (Grassmann), multivectors and later extended by bilinearity. The Hestenesian 'dot' product, extending the one-vector scalar product, is even worse having exceptions for scalars and the need…
▽ More
In the traditional approaches to Clifford algebras, the Clifford product is evaluated by recursive application of the product of a one-vector (span of the generators) on homogeneous i.e. sums of decomposable (Grassmann), multivectors and later extended by bilinearity. The Hestenesian 'dot' product, extending the one-vector scalar product, is even worse having exceptions for scalars and the need for applying grade operators at various times. Moreover, the multivector grade is not a generic Clifford algebra concept. The situation becomes even worse in geometric applications if a meet, join or contractions have to be calculated.
Starting from a naturally graded Grassmann Hopf gebra, we derive general formulae for the products: meet and join, comeet and cojoin, left/right contraction, left/right cocontraction, Clifford and co-Clifford products. All these product formulae are valid for any grade and any inhomogeneous multivector factors in Clifford algebras of any bilinear form, including non-symmetric and degenerated forms. We derive the three well known Chevalley formulae as a specialization of our approach and will display co-Chevalley formulae. The Rota--Stein cliffordization is shown to be the generalization of Chevalley deformation. Our product formulae are based on invariant theory and are not tied to representations/matrices and are highly computationally effective. The method is applicable to symplectic Clifford algebras too.
△ Less
Submitted 13 August, 2002;
originally announced August 2002.
-
A Treatise on Quantum Clifford Algebras
Authors:
Bertfried Fauser
Abstract:
Quantum Clifford Algebras (QCA), i.e. Clifford Hopf gebras based on bilinear forms of arbitrary symmetry, are treated in a broad sense. Five alternative constructions of QCAs are exhibited. Grade free Hopf gebraic product formulas are derived for meet and join of Grassmann-Cayley algebras including co-meet and co-join for Grassmann-Cayley co-gebras which are very efficient and may be used in Rob…
▽ More
Quantum Clifford Algebras (QCA), i.e. Clifford Hopf gebras based on bilinear forms of arbitrary symmetry, are treated in a broad sense. Five alternative constructions of QCAs are exhibited. Grade free Hopf gebraic product formulas are derived for meet and join of Grassmann-Cayley algebras including co-meet and co-join for Grassmann-Cayley co-gebras which are very efficient and may be used in Robotics, left and right contractions, left and right co-contractions, Clifford and co-Clifford products, etc. The Chevalley deformation, using a Clifford map, arises as a special case. We discuss Hopf algebra versus Hopf gebra, the latter emerging naturally from a bi-convolution. Antipode and crossing are consequences of the product and co-product structure tensors and not subjectable to a choice. A frequently used Kuperberg lemma is revisited necessitating the definition of non-local products and interacting Hopf gebras which are generically non-perturbative. A `spinorial' generalization of the antipode is given. The non-existence of non-trivial integrals in low-dimensional Clifford co-gebras is shown. Generalized cliffordization is discussed which is based on non-exponentially generated bilinear forms in general resulting in non unital, non-associative products. Reasonable assumptions lead to bilinear forms based on 2-cocycles. Cliffordization is used to derive time- and normal-ordered generating functionals for the Schwinger-Dyson hierarchies of non-linear spinor field theory and spinor electrodynamics. The relation between the vacuum structure, the operator ordering, and the Hopf gebraic counit is discussed. QCAs are proposed as the natural language for (fermionic) quantum field theory.
△ Less
Submitted 7 February, 2002;
originally announced February 2002.
-
Clifford Hopf gebra for two-dimensional space
Authors:
Bertfried Fauser,
Zbigniew Oziewicz
Abstract:
A Clifford algebra Cl(V,η\in V^*\otimes V^*) jointly with a Clifford cogebra Cl(V,ξ\in V\otimes V) is said to be a Clifford biconvolution Cl(η,ξ). We show that a Clifford biconvolution for dim_R Cl=4 does possess an antipode iff det(id-ξ\circη)\neq 0. An antipodal Clifford biconvolution is said to be a Clifford Hopf gebra. We study the Clifford Hopf gebra and examples of antipode less Clifford b…
▽ More
A Clifford algebra Cl(V,η\in V^*\otimes V^*) jointly with a Clifford cogebra Cl(V,ξ\in V\otimes V) is said to be a Clifford biconvolution Cl(η,ξ). We show that a Clifford biconvolution for dim_R Cl=4 does possess an antipode iff det(id-ξ\circη)\neq 0. An antipodal Clifford biconvolution is said to be a Clifford Hopf gebra. We study the Clifford Hopf gebra and examples of antipode less Clifford bigebras including the Grassmann case.
△ Less
Submitted 30 November, 2000;
originally announced November 2000.
-
On the relation of Manin's quantum plane and quantum Clifford algebras
Authors:
Bertfried Fauser
Abstract:
One particular approach to quantum groups (matrix pseudo groups) provides the Manin quantum plane. Assuming an appropriate set of non-commuting variables spanning linearly a representation space one is able to show that the endomorphisms on that space preserving the non-commutative structure constitute a quantum group. The non-commutativity of these variables provide an example of non-commutativ…
▽ More
One particular approach to quantum groups (matrix pseudo groups) provides the Manin quantum plane. Assuming an appropriate set of non-commuting variables spanning linearly a representation space one is able to show that the endomorphisms on that space preserving the non-commutative structure constitute a quantum group. The non-commutativity of these variables provide an example of non-commutative geometry.
In some recent work we have shown that quantum Clifford algebras --i.e. Clifford algebras of an arbitrary bilinear form-- are closely related to deformed structures as q-spin groups, Hecke algebras, q-Young operators and deformed tensor products. The natural question of relating Manin's approach to quantum Clifford algebras is addressed here. Some peculiarities are outlined and explicite computations using the Clifford Maple package are exhibited. The meaning of non-commutative geometry is re-examined and interpreted in Clifford algebraic terms.
△ Less
Submitted 24 July, 2000;
originally announced July 2000.
-
On the Decomposition of Clifford Algebras of Arbitrary Bilinear Form
Authors:
Bertfried Fauser,
Rafal Ablamowicz
Abstract:
Clifford algebras are naturally associated with quadratic forms. These algebras are Z_2-graded by construction. However, only a Z_n-gradation induced by a choice of a basis, or even better, by a Chevalley vector space isomorphism Cl(V) <-> \bigwedge V and an ordering, guarantees a multi-vector decomposition into scalars, vectors, tensors, and so on, mandatory in physics. We show that the Chevall…
▽ More
Clifford algebras are naturally associated with quadratic forms. These algebras are Z_2-graded by construction. However, only a Z_n-gradation induced by a choice of a basis, or even better, by a Chevalley vector space isomorphism Cl(V) <-> \bigwedge V and an ordering, guarantees a multi-vector decomposition into scalars, vectors, tensors, and so on, mandatory in physics. We show that the Chevalley isomorphism theorem cannot be generalized to algebras if the Z_n-grading or other structures are added, e.g., a linear form. We work with pairs consisting of a Clifford algebra and a linear form or a Z_n-grading which we now call 'Clifford algebras of multi-vectors' or 'quantum Clifford algebras'. It turns out, that in this sense, all multi-vector Clifford algebras of the same quadratic but different bilinear forms are non-isomorphic. The usefulness of such algebras in quantum field theory and superconductivity was shown elsewhere. Allowing for arbitrary bilinear forms however spoils their diagonalizability which has a considerable effect on the tensor decomposition of the Clifford algebras governed by the periodicity theorems, including the Atiyah-Bott-Shapiro mod 8 periodicity. We consider real algebras Cl_{p,q} which can be decomposed in the symmetric case into a tensor product Cl_{p-1,q-1} \otimes Cl_{1,1}. The general case used in quantum field theory lacks this feature. Theories with non-symmetric bilinear forms are however needed in the analysis of multi-particle states in interacting theories. A connection to q-deformed structures through nontrivial vacuum states in quantum theories is outlined.
△ Less
Submitted 24 November, 1999; v1 submitted 23 November, 1999;
originally announced November 1999.
-
Hecke Algebra Representations in Ideals Generated by q-Young Clifford Idempotents
Authors:
Rafal Ablamowicz,
Bertfried Fauser
Abstract:
It is a well known fact from the group theory that irreducible tensor representations of classical groups are suitably characterized by irreducible representations of the symmetric groups. However, due to their different nature, vector and spinor representations are only connected and not united in such description.
Clifford algebras are an ideal tool with which to describe symmetries of multi…
▽ More
It is a well known fact from the group theory that irreducible tensor representations of classical groups are suitably characterized by irreducible representations of the symmetric groups. However, due to their different nature, vector and spinor representations are only connected and not united in such description.
Clifford algebras are an ideal tool with which to describe symmetries of multi-particle systems since they contain spinor and vector representations within the same formalism, and, moreover, allow for a complete study of all classical Lie groups. In this work, together with an accompanying work also presented at this conference, an analysis of q-symmetry -- for generic q's -- based on the ordinary symmetric groups is given for the first time. We construct q-Young operators as Clifford idempotents and the Hecke algebra representations in ideals generated by these operators. Various relations as orthogonality of representations and completeness are given explicitly, and the symmetry types of representations is discussed. Appropriate q-Young diagrams and tableaux are given. The ordinary case of the symmetric group is obtained in the limit q \to 1. All in all, a toolkit for Clifford algebraic treatment of multi-particle systems is provided. The distinguishing feature of this paper is that the Young operators of conjugated Young diagrams are related by Clifford reversion, connecting Clifford algebra and Hecke algebra features. This contrasts the purely Hecke algebraic approach of King and Wybourne, who do not embed Hecke algebras into Clifford algebras.
△ Less
Submitted 13 August, 1999;
originally announced August 1999.
-
On the relation of Clifford-Lipschitz groups to q-symmetric groups
Authors:
Bertfried Fauser
Abstract:
It can be shown that it is possible to find a representation of Hecke algebras within Clifford algebras of multivectors. These Clifford algebras possess a unique gradation and a possibly non-symmetric bilinear form. Hecke algebra representations can be classified, for non-generic q, by Young tableaux of the symmetric group due to the isomorphy of the group algebras for q ->1. Since spinors can b…
▽ More
It can be shown that it is possible to find a representation of Hecke algebras within Clifford algebras of multivectors. These Clifford algebras possess a unique gradation and a possibly non-symmetric bilinear form. Hecke algebra representations can be classified, for non-generic q, by Young tableaux of the symmetric group due to the isomorphy of the group algebras for q ->1. Since spinors can be constructed as elements of minimal left (right) ideals obtained by the left (right) action on primitive idempotents, we are able to construct q-spinors from q-Young operators corresponding to the appropriate symmetry type. It turns out that an anti-symmetric part in the Clifford bilinear form is necessary. q-deformed reflections (Hecke generators) can be obtained only for even multivector aggregates rendering this symmetry a composite one. In this construction one is able to deform spin groups only, though not pin groups. The method is closely related to a projective interpretation.
△ Less
Submitted 28 July, 1998;
originally announced July 1998.
-
Hecke algebras as subalgebras of Clifford geometric algebras of multivectors
Authors:
Bertfried Fauser
Abstract:
Clifford geometric algebras of multivectors are introduced which exhibit a bilinear form which is not necessarily symmetric. Looking at a subset of bi-vectors in CL(K^{2n},B), we proof that theses elements generate the Hecke algebra H_{K}(n+1,q) if the bilinear form B is chosen appropriately. This shows, that q-quantization can be generated by Clifford multivector objects which describe usually…
▽ More
Clifford geometric algebras of multivectors are introduced which exhibit a bilinear form which is not necessarily symmetric. Looking at a subset of bi-vectors in CL(K^{2n},B), we proof that theses elements generate the Hecke algebra H_{K}(n+1,q) if the bilinear form B is chosen appropriately. This shows, that q-quantization can be generated by Clifford multivector objects which describe usually composite entities. This contrasts current approaches which give deformed versions of Clifford algebras by deforming the one-vector variables. Our example shows, that it is not evident from a mathematical point of view, that q-deformation is in any sense more elementary than the undeformed structure.
△ Less
Submitted 16 October, 1997;
originally announced October 1997.
