Content deleted Content added
m Open access bot: arxiv updated in citation with #oabot. |
→Generalized almost complex structures: duplicate words removed |
||
| (4 intermediate revisions by 3 users not shown) | |||
Line 1:
{{Short description|Property of a differential manifold that includes complex structures}}
{{No footnotes|date=June 2020}}
In the field of [[mathematics]] known as [[differential geometry]], a '''generalized complex structure''' is a property of a [[differential manifold]] that includes as special cases a [[linear complex structure|complex structure]] and a [[symplectic structure]]. Generalized complex structures were introduced by [[Nigel Hitchin]] in 2002 and further developed by his students [[Marco Gualtieri]] and [[Gil Cavalcanti]].
Line 55 ⟶ 56:
Given a pair <math>(\mathbf{E}, \varepsilon)</math> one can construct a maximally isotropic subbundle <math>L(\mathbf{E}, \varepsilon)</math> of <math>\mathbf{T} \oplus \mathbf{T}^*</math> as follows. The elements of the subbundle are the [[formal sum]]s <math>X+\xi</math> where the [[vector field]] ''X'' is a section of '''E''' and the one-form ''ξ'' restricted to the [[dual space]] <math>\mathbf{E}^*</math> is equal to the one-form <math>\varepsilon(X).</math>
To see that <math>L(\mathbf{E}, \varepsilon)</math> is isotropic, notice that if ''Y'' is a section of '''E''' and <math>\xi</math> restricted to <math>\mathbf{E}^*</math> is <math>\varepsilon(X)</math> then <math>\xi(Y) =\varepsilon(X,Y),</math> as the part of <math>\xi</math> orthogonal to <math>\mathbf{E}^*</math> annihilates ''Y''.
:<math>\langle X+\xi,Y+\eta\rangle=\frac{1}{2}(\xi(Y)+\eta(X))=\frac{1}{2}(\varepsilon(Y,X)+\varepsilon(X,Y))=0</math>
and so <math>L(\mathbf{E}, \varepsilon)</math> is isotropic. Furthermore, <math>L(\mathbf{E}, \varepsilon)</math> is maximal because there are <math>\dim(\mathbf{E})</math> (complex) dimensions of choices for <math>\mathbf{E},</math> and <math>\varepsilon</math> is unrestricted on the [[complement (complexity)|complement]] of <math>\mathbf{E}^*,</math> which is of (complex) dimension <math>n-\dim(\mathbf{E}).</math> Thus the total (complex) dimension
===Type===
Line 82 ⟶ 83:
The canonical bundle is a one complex dimensional subbundle of the bundle <math>\mathbf{\Lambda}^* \mathbf{T} \otimes \Complex</math> of complex differential forms on ''M''. Recall that the [[gamma matrices]] define an [[isomorphism]] between differential forms and spinors. In particular even and odd forms map to the two chiralities of [[Spinor#Weyl spinors|Weyl spinors]]. Vectors have an action on differential forms given by the interior product. One-forms have an action on forms given by the wedge product. Thus sections of the bundle <math>(\mathbf{T} \oplus \mathbf{T}^*) \otimes \Complex</math> act on differential forms. This action is a [[group representation|representation]] of the action of the [[Clifford algebra]] on spinors.
A spinor is said to be a '''pure spinor''' if it is annihilated by half
Given a generalized almost complex structure, one can also determine a pure spinor up to multiplication by an arbitrary [[complex function]]. These choices of pure spinors are defined to be the sections of the canonical bundle.
Line 114 ⟶ 115:
===Local holomorphicity===
Near non-regular points, the above [[classification theorem]] does not apply. However, about any point, a generalized complex manifold is, up to diffeomorphism and B-field, a product of a symplectic manifold with a generalized complex manifold which is of complex type at the point, much like Weinstein's theorem for the local structure of [[Poisson manifold]]s. The remaining question of the local structure is: what does a generalized complex structure look like near a point of complex type? In fact, it will be induced by a holomorphic [[Poisson manifold|Poisson structure]].
==Examples==
| |||