The tag has no usage guidance.

learn more… | top users | synonyms

29
votes
6answers
2k views

Clifford algebra as an adjunction?

Background For definiteness (even though this is a categorical question!) let's agree that a vector space is a finite-dimensional real vector space and that an associative algebra is a ...
24
votes
2answers
1k views

What are the “correct” conventions for defining Clifford algebras?

I have three related questions about conventions for defining Clifford algebras. 1) Let $(V, q)$ be a quadratic vector space. Should the Clifford algebra $\text{Cliff}(V, q)$ have defining ...
20
votes
0answers
1k views

Why do Clifford algebras determine $KO$ (and $K$-)-theory?

In the paper "Clifford modules" by Atiyah-Bott-Shapiro, they construct a family of Clifford algebras $C_k$ over the real numbers, so that $C_k$ is the algebra associated to a negative definite form on ...
17
votes
6answers
3k views

Pythagorean 5-tuples

What is the solution of the equation $x^2+y^2+z^2+t^2=w^2$ in polynomials over C ("Pythagorean 5-tuples")? There are simple formulas describing Pythagorean n-tuples for n=3,4,6: n=3. The formula ...
17
votes
2answers
736 views

Conceptual explanation for the relationship between Clifford algebras and KO

Recall the following table of Clifford algebras: $$\begin{array}{ccc} n & Cl_n & M_n/i^{*}M_{n+1}\\ 1 & \mathbb{C} & \mathbb{Z}/2\mathbb{Z} \\ 2 & \mathbb{H} & ...
16
votes
3answers
1k views

How do you relate the number of independent vector fields on spheres and Bott Periodicity for real K-Theory?

The theory of Clifford algebras gives us an explicit lower bound for the number of linearly independent vector fields on the $n$-sphere, and Adams proved that this is actually always the best ...
14
votes
2answers
1k views

Exact Definition of Dirac Operator

Many definitions of the Dirac operator in the tradition of the Physics literature are hard to grasp for a mathematician. I would like to ask for a precise, general, definition of the Dirac operator ...
14
votes
2answers
703 views

Karoubi versus Kasparov K-theory

I have the following, probably very elementary question: Let $Cl^{p,q}$ be the Clifford algebra on generators $e_i$, $i=1, \ldots, p+q$ with $e_i e_j = -e_j e_i$ and $e_{i}^{2}=-1$ for $i=1,\ldots,p$, ...
13
votes
7answers
2k views

Why is Riemann-Roch an Index Problem?

I was in a lecture not long ago given by C. Teleman and at some point he said "Well, since Riemann-Roch is an index problem we can do..." Then right after that he argued in favour of such a sentence. ...
13
votes
1answer
1k views

Koszul duality between Weyl and Clifford algebras?

Koszul duality Given a finite-dimensional $k$-vector space $V$ (I am happy taking $k = \mathbb{C}$ anywhere in the following if it makes a difference) and a subspace $R \subseteq V \otimes V$, we can ...
13
votes
0answers
734 views

What is the appropriate setting for Cauchy's Integral Formula?

For a $C^1$ function $f:U\to\mathbb{C}$, where $D\subset U\subseteq \mathbb{C}$ with piecewise $C^1$ boundary $\partial D$, we have the following generalized Cauchy integral formula: $$ f(\zeta) = ...
12
votes
2answers
800 views

Clifford PBW theorem for quadratic form

Update: now with a question 2 which is much more elementary (and should be well-known!). Let $k$ be a commutative ring with $1$. Let $L$ be a $k$-module, and $g:L\to k$ be a quadratic form, i. e., a ...
11
votes
0answers
247 views

What is the symmetric monoidal functor from Clifford algebras to invertible K-module spectra?

There ought to be a symmetric monoidal functor from the symmetric monoidal $2$-groupoid whose objects are Morita-invertible real superalgebras (precisely the Clifford algebras), morphisms are ...
11
votes
2answers
170 views

Which real Pin groups agree?

In the Lie theory notes on my website it is claimed (Example 7.3.3.5) that $\mathrm{Pin}(4,0)$ and $\mathrm{Pin}(0,4)$ are not isomorphic. As Nigel Ray pointed out to me, this claim is not quite ...
10
votes
0answers
333 views

Examples of Clifford Modules

For a Riemannian manifold $M$, a Clifford module is a bundle over $M$ that is, fiberwise, a representation of the Clifford algebra bundle $Cl(TM)$ and has a connection compatible with this action. ...
9
votes
1answer
450 views

What is the spin connection in 9 dimensions as opposed to 5 dimensions?

From Spin Connection in 5 dimensions I can define a massless fermion's covariant derivative on a curved manifold as $$ \nabla_\mu \psi = (\partial_\mu - {i \over 4} \omega_\mu^{ab} \sigma_{ab}) \psi ...
8
votes
6answers
1k views

Clifford algebra non-zero

This should be a very easy question, but the proof in Lawson/Michelson (Spin geometry) is wrong and I do not find a really correct and complete argument: Let V be a nonzero real vector space with ...
8
votes
2answers
231 views

Clifford algebras for quadratic modules over ringed spaces

What is the earliest possible reference for definition and basic properties of Clifford algebras associated to quadratic modules over a ringed space? The ringed space does not need to be locally ...
7
votes
3answers
2k views

Clifford Algebra in Dirac Equation

I am wondering if there is any mathematical (or physical, besides the fact that classical quantum mechanics uses complex numbers) justification for why the complexified (1,3) Clifford algebra is used ...
7
votes
5answers
1k views

Representations of Pin vs. Representations of Clifford

This may be total nonsense. But I need to know the answer quickly and I am too tired to think about it thoroughly. Let $k$ be a positive integer. Roe's "Elliptic Operators" claims that there is a ...
7
votes
2answers
506 views

Weitzenböck Identity for $\Delta_{\bar{\partial}_E}$

This question is related to this MO question and this MSE question. Let $E$ be a hermitian holomorphic vector bundle over a hermitian manifold $X$. The bundle $\bigwedge^{\bullet,\bullet}X\otimes ...
5
votes
1answer
321 views

Spin and SO groups associated to a degenerate symmetric bilinear form

In "Spin geometry" by Lawson and Michelsohn it is defined the Clifford algebra $Cl(g)$ associated to a symmetric bilinear form $g$ in general, including the degenerate case. But the rest of the book ...
5
votes
0answers
113 views

Finitely generated projective modules over the algebra of sections of the Clifford bundle

Consider a (pseudo-)Riemannian manifold $(M,g)$ and the corresponding Clifford bundle $Cl_g(T^*M)$. Let $R$ be the algebra of sections of $CL_g(T^*M)$, with point-wise multiplication. What are the ...
4
votes
3answers
167 views

Is an associative division algebra required for this phenomenon?

For which integers $d \geq 1$ can we find real matrices $R_1, \dotsc, R_d$ of size $d \times d$ such that for any unit vector $v \in \mathbb{R}^d$, $$R_1 v, \dotsc, R_d v$$ is an orthonormal basis? ...
4
votes
2answers
838 views

Clifford Lie Algebras

I'm studying the "Clifford Lie Algebra" (see http://arxiv.org/pdf/1007.2481.pdf page 30). It's basically a way to look at Clifford algebras and their properties in a Lie algebraic setting (which I ...
4
votes
1answer
530 views

Mathematica package for supergravity and string theory

I am looking for a Mathematica package that can manipulate tensors for supergravity, string theory or M-theory. I am particularly looking for a package that can do spinor and Clifford algebra ...
4
votes
0answers
133 views

Element in spin group

I've got the following question: why is it true (if it really is?), that if I have a unitary element $u$ in the (real) Clifford algebra $Cl(V,g)$ which is even and the operator $\varphi(u)$ defined ...
4
votes
0answers
180 views

Discriminants of Clifford algebras

I have a Clifford algebra defined over a field of characteristic not equal to $2$. Is there a formula for its discriminant in terms of the corresponding symmetric bilinear form (or in terms of its ...
3
votes
1answer
261 views

Explicit Isomorphism between $Cl(8)$ and $\mathbb{R}(16)$

I am looking for a explicit isomorphism between $Cl(8)$ (Clifford algebra over $\mathbb{R}^8$ with standard Euclidean metric) and $\mathbb{R}(16)$ (algebra of $16\times 16$ matrices over ...
3
votes
1answer
702 views

On matrix representations of the Clifford algebras of type $Cl(0,n)$

Can matrix representations of clifford algebras of type Cl(0,n) be found? Specifically for even orders
3
votes
1answer
210 views

What are the invariant definitions of spinorial quantities from mathematical physics?

When physicists write expressions involving spinors $\psi \in S \otimes V$, where $S=S_+ \oplus S_-$ is a complex spinor representation of a spin group $Spin(2d)$ and $V$ is a complex representation ...
3
votes
0answers
71 views

What is the correct generalization of the Wirtinger derivatives to arbitrary Clifford algebras?

In the complex numbers setting, the two Wirtinger derivatives are defined as: $\frac{\partial}{\partial z}= \frac{1}{2}\left( \frac{\partial}{\partial x} - i \frac{\partial}{\partial y} ...
2
votes
1answer
527 views

Automorphisms of Clifford Algebras

What are the automorphisms of real Clifford algebras $Cl_{n,0}$? Of course, I'm interested in the case where they are not central simple.
2
votes
1answer
81 views

How can the Cayley table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?

One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$, $e_1=i$, $e_2=j$ and so on. I'm looking for an ...
2
votes
0answers
80 views

What is the relation (if any) between Clifford algebras and Azumaya algebras?

Suppose the base field is $\mathbb{C}$ and the Clifford algebra is the classical one (i.e. associated to a quadratic form in $n$ variables). It seems that there are relations between Clifford algebras ...
2
votes
0answers
80 views

$Pin^{+}(4k)$ and $Pin^{-}(4k)$ are isomorphic [Reference Request]

This is some sort of "follow-up" to the (unanswered) question posted here. Let's denote $$\varphi :O(2n)\rightarrow O(2n);A\mapsto det(A)\cdot A.$$ Then $\varphi $ is an automorphism of $O(2n)$, and ...
2
votes
0answers
145 views

Octonions product: inversion in the right and identity in the left

Once octonions product is studied, together with the relations with $Spin(8)$ and $SO(8)$ geometry (see for instance Robert Bryant's notes), one realises that the key fact bringing all the phenomena ...
2
votes
0answers
108 views

Orders of Clifford algebra

Let $C_n$ be the Clifford algebra over $\mathbb{Q}$ associated to negative definite quadratic form $-I_n$ (i.e. $-x_1^2-\dots-x_n^2$). Let $\mathcal{O}$ be a $\mathbb{Z}$-order of $C_n$. Q1) Is it ...
2
votes
0answers
174 views

What is the Atiyah-Bott-Shapiro map for a bundle of *complex* quadratic forms?

In order to ask the question in the title more precisely, let me recall some standard stuff introduced in [1; Atiyah, Bott, Shapiro]. Suppose $X$ is a compact CW complex and $V \to X$ is an oriented ...
2
votes
0answers
129 views

Clifford algebra is graded separable

Let $D$ be an algebra of odd differential operators on a free module $V$, this algebra is isomorphic to the Clifford algebra $Cl(V^* \oplus V)$. Let $m$ denote multiplication map $$m : D\otimes D \to ...
2
votes
0answers
213 views

fast multipole method and geometric algebra

Hello, I just learned about fast multipole method(FMM) from this article http://math.nyu.edu/faculty/greengar/shortcourse_fmm.pdf and I really liked the use of complex numbers in 2d. But I didn't ...
1
vote
1answer
163 views

Equation for non-invertible elements in Clifford algebras

Suppose we have a Clifford algebra $Cl(V,q)$, $V\simeq \mathbb{R}^n$ and $q$ non-degenerate bilinear form. Then every non-zero element of $V\subset Cl(V,q)$ invertible, but they are not the only ones ...
1
vote
2answers
196 views

Invariant space of lifted Chevalley automorphisms of the tensor algebra

Question. Let $k$ be a field of characteristic $0$. Let $L$ be a $k$-vector space. Consider the subspace $S$ of $L\otimes L\otimes L\otimes L$ spanned by all tensors of the form $\left[a,\left\lbrace ...
1
vote
3answers
208 views

Trace of six gamma matrices

I need to calculate this expression: $$Tr(\gamma^{\mu}\gamma^{\nu}\gamma^{\rho}\gamma^{\sigma}\gamma^{\alpha}\gamma^{\beta}\gamma^{5}) $$ I know that I can express this as: $$ ...
1
vote
1answer
138 views

$Spin(7)$ as stabilizer of a $4$-form revisited

For a better understanding of this question, please see the question and answer here. In $Spin(8)$ there are plenty of copies of $Spin(7)$; consider, for instance, the antiimage of $SO(7)<SO(8)$ ...
1
vote
1answer
81 views

Cayley Subspaces in a Calibrated 8-Space

Suppose we are given $(\mathbb{R}^8,\Phi)$, where $\Phi$ is the self-dual 4-form that defines $Spin(7)\subset SO(8)$ (Cayley calibration, see Notes on the Octonians, page 23). Now some 4-subspaces $V$ ...
1
vote
1answer
160 views

Isomorphisms of Positive and Negative Spinor Bundles

Here is an extract of the doctoral thesis of C. Lewis under the supervision of D. Joyce (https://people.maths.ox.ac.uk/joyce/theses/LewisDPhil.pdf, 1998): 2.6 Spin Bundles and the Dirac Operator ...
1
vote
1answer
194 views

Three dimensional subalgebras of Clifford Algebras

Are there any three dimensional subalgebras of GA(n) where GA(n) is the geometric algebra corresponding to $R^n$? If yes, what about for GA(2)? Edit: a geometric algebra is a Clifford algebra.
1
vote
0answers
91 views

Does Feuter regularity imply derivability in all directions?

The standard type of regularity in Clifford Calculus is the one introduced by Feuter, namely: a function is Feuter regular iff it is in the zero set of the Clifford-Dirac operator $D= ...
1
vote
0answers
114 views

Generalization of De Rham cohomology for spinor fields

Is there a generalization of De Rham cohomology for spinors fields? I can see that one can construct p form fields out of spinor field by contraction of the type $\bar{\psi} \gamma^{a_1} ...