Questions tagged [spin-geometry]

For questions about spin manifolds, the groups $\operatorname{Spin}(n)$, as well as generalisations such as $\operatorname{Pin}(n)$ and $\operatorname{Spin}^c(n)$. This tag should also be used for any questions about the geometry of spin manifolds, including questions involving Dirac operators and the Lichnerowicz formula.

Filter by
Sorted by
Tagged with
3
votes
0answers
78 views

Spectral gaps for spin manifold Laplace spectrum

For a (compact) spin manifold, we know that the eigenvalues $\lambda_n$ of the Dirac operator are countable, with finite multiplicity, and satisfy $$ |\lambda_n| \to \infty, ~~~ \text{ as } n \to \...
5
votes
0answers
145 views

Can spin structures and Arf invariants be defined in terms of local quantities, like Chern classes and Chern numbers?

I'm interested in if it's possible to represent a spin structure and the Arf invariant associated to it in terms of some sort of local fields. For example, the first Chern class of a complex line ...
2
votes
0answers
31 views

Embedding of Riemannian symmetric spaces $E_I$ and $E_{IV}$ into Lie group $E_6$

In answer and comments to this mathoverflow question we have discussed possiblity of embedding Riemmanian symmetric spaces $E_I, E_{II}, E_{III},E_{IV}$ of dimension $42,40,32,26$ respectively into $...
2
votes
0answers
179 views

First Chern Class of Contact Structure which is not Torsion

Let $(M,\xi)$ be a closed connected $3-$dimensional contact manifold with contact structure $\xi$. It is known that the first Chern class $c_{1}(\xi)$ defines an element in $H^{2}(M;\mathbb{Z})$ and ...
9
votes
0answers
156 views

An equivalent definition for $\text{Spin}^c$-structures

I'm interested in proving the following proposition ([G], Remark page 48): Prop: A $\text{Spin}^c$-structure over an oriented vector bundle is equivalent (after stabilizing if the fiber dimension ...
2
votes
0answers
149 views

Existence of a certain kind of compact spin manifold with boundary

For a compact spin Riemannian manifold $(M^n,g)$ without boundary, $n \not\equiv 3\mod 4$, it is well-known that the Dirac operator associated with a fixed spin structure $S\rightarrow M$ has real, ...
6
votes
0answers
161 views

Arf-Brown-Kervaire invariant and a surjective map $G \to Pin^-$

We know that the Arf-Brown-Kervaire (abk) invariant is a bordism invariant of $$ \Omega_2^{Pin^-}(pt)=\mathbb{Z}/(8\mathbb{Z}), $$ where the $\mathbb{Z}/(8\mathbb{Z})$ is generated by a 2-manifold $M^...
9
votes
1answer
187 views

Discrete Pin structures

It is clear that an oriented manifold $M^n$ (with dimension $n$) admits spin structures if and only if its second Stiefel-Whitney class $[w^2]\in H^2(M,\mathbb Z_2)$ vanishes. In the construction of ...
4
votes
1answer
154 views

Spin groups in terms of matrices and/or linear operators

Thus far, the books and articles I have read dealing with spin groups $\mathbf{Spin}(n)$ and $\mathbf{Spin}(p,q)$ consider them only in terms of either Clifford algebras or topologically as the double ...
5
votes
0answers
75 views

Spinor representation for $\operatorname{Spin}(V \oplus V^*)$

I'm studding Hitchin's Generalized Calabi-Yau Manifolds https://arxiv.org/abs/math/0209099 and I've stuck here: Suppose that $V$ is a vector space and denote its dual by $V^*$. Now we know that the $\...
5
votes
2answers
168 views

Lifting a diffeomorphism into a spinor bundle automorphism

I know several papers that treat this, but it seems that most of these papers do things very differently with quite different conclusions, so I am confused. Basically, when one tries to do classical ...
2
votes
0answers
84 views

Inflation of $w_j(V_{SO(N)})$ and $w_j(M)$ from $SO(N)$ to $Spin(N)$ or Spin geometry

We know well this short exact sequence $$ 1 \to \mathbb{Z}_2 \to Spin(N) \to SO(N) \to 1. $$ The $j$-th Stiefel-Whitney class of the associated vector bundle of $SO(N)$, as $w_j(V_{SO(N)})$, can be ...
2
votes
0answers
83 views

The complex Clifford algebra

If $(E,g,w)$ is a vector space $E$ with a metric $g$ and a symplectic form $w$; then we can define the complex parts $(1,0)$ and $(0,1)$, so that the complex Clifford algebra is: $$e_1 . f_1 + f_1 . ...
3
votes
0answers
142 views

Pairing the Arf with Stiefel-Whitney class

The Arf invariant is a nonsingular quadratic form over a field of characteristic 2. The form that I looked at was: $$ S(q)=|H^1(M^2,\mathbb{Z}_2)|^{-1/2} \sum_{x\in H^1(M^2,\mathbb{Z}_2)} \exp[\pi \;...
2
votes
0answers
74 views

A generalization of the Clifford algebra

Let $(E,g)$ be a vector space with a symmetric bilinear form, and $a,b$ be two endomorphisms of $E$. The generalized Clifford algebra is defined by the free algebra of $E$ with quotient by the ...
3
votes
0answers
102 views

The Dirac-Ricci operator

If we consider a spin manifold $M$, we can define the Ricci curvature $Ricc (X,Y)$ which is a symmetric tensor, moreover the spinors are defined, so that we can define a Dirac-Ricci operator: $$DR(\...
3
votes
0answers
105 views

About mod 2 Index of Dirac Operators in 3D on Non-Orientable Manifold

I was reading Witten's paper "Fermion Path Integrals and Topological Phases" (https://arxiv.org/abs/1508.04715). He claimed that Indeed, on an orientable 3-manifold, the eigenvalues of the Dirac ...
2
votes
0answers
63 views

Is there an analog of a Chern-Simons formula for the pfaffian $Pf(F)$ of a $SO(2n)$ curvature $F$?

..something similar to $tr(A \wedge dA + 2/3 * A \wedge A \wedge A)$ for $n = 2$ ?
12
votes
1answer
382 views

Obstruction of spin-c structure and the generalized Wu manifods

Bockstein homomorphim and obstruction of spin-c structure: Let $w_2$ be the Stiefel Whintney class of manifold $M$. Let the Bockstein homomorphim $\beta$ be the $$ H^2(\mathbb{Z}_2,M) \to H^3(\mathbb{...
9
votes
3answers
371 views

Spin-H structures

Let us define a Spin-H structure as a reduction of a SO(n)-bundle by the group: $$Spin^H (n)=Spin(n) \times SU(2)/\{ 1,-1\}$$ The Spin-H structures are analogous to the well-known Spin-C structures ...
8
votes
0answers
119 views

Are spin Hurwitz numbers $r$-spin Hurwitz numbers?

(I think the answer is no, but I'm not sure.) In Hurwitz theory, one counts $n$-fold branched covers $\Sigma'\to\Sigma$ of a Riemann surface $\Sigma$ with fixed ramification data around each branch ...
1
vote
1answer
59 views

Example of a certain partitioned manifold

I'm looking for an example of a non-compact spin manifold $M$ and a compact subset $K\subseteq M$ such that $\partial K$ is a compact hypersurface in $M$ with $\hat{A}(\partial K)\neq 0$. (At first I ...
7
votes
1answer
203 views

What is a formal definition of a Fermionic quantum field?

I could not locate a definition of Fermionic quantum field (like for an electron!) in even Kevin Costello's book, http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.382.4961&rep=rep1&...
3
votes
2answers
379 views

$spin_{\mathbb{C}}$ Connection and Charge Parity

From the paper "Gapped Boundary Phases of Topological Insulators via Weak Coupling" on page 11, https://arxiv.org/abs/1602.04251 the authors states that on a curved manifold with a $spin_{\mathbb{C}}...
7
votes
0answers
96 views

Vanishing of K-theoretic index and positive scalar curvature

I'm confused about a seemingly basic point about a classical result on positive scalar curvature and would appreciate it if an expert could help me out. Let $M^n$ be a closed spin manifold with ...
6
votes
1answer
157 views

Lickorish-Wallace theorem for torsion spin$^c$ 3-manifolds?

The Lickorish-Wallace theorem tells us that any closed 3-manifold $Y$ is an integer link surgery on $S^3$, which yields an oriented cobordism between $S^3$ and $Y$. Filling out the $S^3$ by a 4-ball $...
3
votes
0answers
48 views

Noncompact dual of $\mathrm{Spin}(2n)$ corresponding to $\mathfrak{so}^*(2n)$

Let $U=\mathrm{Spin}(2n)$, which is a simply connected compact simple Lie group, and let $\mathfrak{u}_0=\mathfrak{so}(2n)$, the Lie algebra of $U$. If $\mathfrak{g}_0$ is a noncompact dual of $\...
3
votes
0answers
101 views

Causal fermion systems fromm fractal geometry

Okay, first off- I apologise if this is a stupid question. I'm mainly a very young physics guy, but this has primarily math basis. I'm trying to build a theory that is, long story short, some ...
6
votes
1answer
91 views

Spinor bundle tensored with certain line bundle gives the dual spinor bundle

Let $E$ be a $spin^c$ bundle and $L_E$ be a (complex) line bundle defined using transition functions $\nu \circ g_{U,V}$ where $\nu:spin^c(n) \to \mathbb{T}$ is map such that $\ker \nu=spin(n)$ and $...
7
votes
1answer
391 views

First Chern class of a specific line bundle

Let $E$ be a spin$^c$ bundle and $spin^c(E)$ the corresponding $spin^c(n)$-principial bundle. Let $g_{U,V}: U \cap V \to spin^c(n)$ denote transition functions for this principial bundle and consider ...
6
votes
1answer
304 views

Action of the spin covariant derivative on gamma matrices?

How does the spin covariant derivative $\nabla^S_{\mu}$ act on gamma matrices satisfying: $\{\gamma^{\mu},\gamma^{\nu}\} = g^{\mu\nu}$, i.e. $$\nabla^S_{\mu}\gamma^{\nu} = ?$$ where $\nabla^S := \...
16
votes
1answer
322 views

An orientable non-spin${}^c$ manifold with a spin${}^c$ covering space

Is there a closed, smooth, orientable manifold which is not spin${}^c$ but has a finite cover which is spin${}^c$? Such examples exist when spin${}^c$ is replaced by spin: an Enriques surface is not ...
3
votes
1answer
79 views

Injectivity of the $\alpha$-genus

My question regards the map defined in Atiyah,Bott,Shapiro "Clifford modules", which equals the index of the Clifford-linear Dirac operator: $$\alpha:\Omega^\mathrm{Spin}_\ast(M)\longrightarrow KO^{-n}...
8
votes
0answers
211 views

Dixmier-Douady class is the third integral Stiefel-Whitney class

Let $M$ be (say smooth) manifold. From the short exact sequence of groups $0 \to \mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}_2 \to 0$ (where the first map is multiplication by $2$) one obtain long exact ...
3
votes
1answer
134 views

Spin Structure on AdS- Schwarzschild manifold

If we consider the AdS-Schwarzschild manifold, defined by $M^n=[s_0,\infty)\times\mathbb{S}^{n-1}$ equipped with the Riemannian metric $$\overline{g}=\frac{1}{1-ms^{2-n}+s^2}ds\otimes ds+s^2g_{\...
6
votes
0answers
162 views

Has the structure of the 2-dimensional pin$^{\pm}$ bordism categories been written down?

If $H\to\mathrm O$ is a tangential structure (e.g. orientation, spin), let $\mathsf{Bord}_2^H$ denote the category whose objects are 1-dimensional manifolds with $H$-structure and whose morphisms $M_1\...
4
votes
0answers
57 views

Section of the spinor bundle over $S^{1}$ that extend to sections of the spinor bundle over $D^{2}$

Let $\mathbb{S} \rightarrow S^{1}$ be the spinor bundle associated to the connected double cover $\text{Spin}(S^{1}) \rightarrow S^{1}$. Let $\mathbb{D} \rightarrow D^{2}$ be the spinor bundle ...
8
votes
1answer
229 views

K-homology classes of Dirac operators on Hermitian manifolds

Given a compact Hermitian manifold $M$, we have three canonical pseudo-differential operators on the sections of complexified de Rham complex, namely 1) (d + d$^*,\Omega^{*})$ 2) ($\partial$ + $\...
8
votes
0answers
200 views

Regularilty of Commutative Spectral Triples

In Connes' approach to non-commutative geometry, the notion of a spectral triple is said to generalize compact Riemannian manifolds to the non-commutative setting. Motivating classical examples ...
6
votes
0answers
100 views

Sections of “forgetful” projections between flag manifolds

Given a subset $S\subseteq\{1,\cdots,n\}$ there is an associated flag manifold $F(S)$. Whenever $A\subseteq B$ there is a "forgetful" projection $F(A)\leftarrow F(B)$ (in fact I think its fibers are ...
2
votes
2answers
133 views

Matrix expression for elements of $\text{SO}_0(1,4)$

Denote by $\text{SO}_0(1,4)$ the identity component of the special linear isometry group $\mathrm{SO}(1,4)$ of the Lorentz-Minkowski space $\mathbb{R}_1^5$, that is, of $$\text{SO}(1,4)=\left\{X\in\...
9
votes
1answer
575 views

Is a 4-dimensional submanifold of a spin manifold always spin?

Let $M^d$ be a $d$-dimensional orientable spin manifold, and $N^4$ is a closed $4$-dimensional orientable submanifold of $M^d$. Is $N^4$ always spin? If $d=5$, is $N^4$ always spin? If $N^4$ is a ...
12
votes
1answer
288 views

Spin structures on Sasakian manifolds and the Kähler analogy

A Sasakian manifold is often said to be the odd dimensional analogue of a Kähler manifold. Now for a $2n$-dimensional Kähler manifold we know from Atiyah that it is spin exactly if the line bundle $\...
2
votes
0answers
51 views

Understanding the relationship between Spin$^c$ orientations and Spin$^c$ structures

I'm looking for some guidance in understanding and writing down a proof of the following statement, concerning the relationship between Spin$^c$ structures and Spin$^c$ orientations, from an ...
3
votes
1answer
288 views

Lagrangian Grassmannian as a Spin Manifold

I am trying to better understand this nice answer to a question of mine, which states Spin structures on a compact complex manifold $(M^{2n},J)$ are in bijective correspondence with isomorphism ...
5
votes
1answer
570 views

Which Kahler Manifolds Are Spin?

As is well-known (see here for a M.O. question) all Kahler manifolds are $spin^c$. I would like to ask which are in fact $spin$. Taking my motivation from the case of complex projective space, I ...
2
votes
1answer
71 views

Trace of the chiral matrix of a subspace

Let $(V,Q)$ be a pair consisting of a $\mathbb{C}$-vector space $V$ together with a nondegenerate bilinear form $Q$ and let $V_0\subseteq V$ be a linear subspace such that $Q\vert_{V_0}$ is ...
21
votes
2answers
570 views

Does Spin cobordism vanish in dimension $4k-1$?

For the purposes of a remark in a paper in preparation, I would like to know if anyone can confirm that $\Omega^{spin}_{4k-1} = 0$. In the Atiyah-Patodi-Singer paper, Spectral asymmetry and ...
3
votes
1answer
212 views

Recovering K-theory and KO-theory from KR-theory and Bott Periodicity Theory

Reference: H. Blaine Lawson, Spin Geometry, Page 72 Problem: Here Remark 10.5 states an internal symmetry in the KR-theory that for any compact space $X$ there are isomorphisms $$KR(X\times S^{0,p}) \...
5
votes
1answer
302 views

Topological obstruction for the existence of spin$^c$ structure

Recently I asked on stack exchange the following question: https://math.stackexchange.com/questions/2088888/vanishing-of-certain-cohomology-class-and-existence-of-spin-structure I would like to know ...