Commun. Math. Phys. 396, 623–646 (2022) Communications in Digital Object Identifier (DOI) https://doi.org/10.1007/s00220-022-04471-1 Mathematical Physics Complex Dirac Structures: Invariants and Local Structure Dan Aguero1,2 , Roberto Rubio3,4 1 Instituto de Matemática Pura e Aplicada (IMPA), Rio de Janeiro 22460-320, Brazil 2 Universidade Federal do Rio de Janeiro, Rio de Janeiro 21941-909, Brazil. E-mail: dngrcrn@ufrj.br 3 Universitat Autònoma de Barcelona, 08193 Barcelona, Spain. E-mail: roberto.rubio@uab.es 4 Universitat de Barcelona, 08007 Barcelona, Spain Received: 12 January 2022 / Accepted: 6 July 2022 Published online: 9 September 2022 – © The Author(s) 2022 Abstract: We study complex Dirac structures, that is, Dirac structures in the com- plexified generalized tangent bundle. These include presymplectic foliations, transverse holomorphic structures, CR-related geometries and generalized complex structures. We introduce two invariants, the order and the (normalized) type. We show that, together with the real index, they allow us to obtain a pointwise classification of complex Dirac struc- tures. For constant order, we prove the existence of an underlying real Dirac structure, which generalizes the Poisson structure associated to a generalized complex structure. For constant real index and order, we prove a splitting theorem, which gives a local description in terms of a presymplectic leaf and a small transversal. 1. Introduction A Poisson bivector does not necessarily restrict on a submanifold to a Poisson bivec- tor, but to a Dirac structure [Cou90]. Analogously, generalized complex structures [Hit03,Gua11], encompassing complex and symplectic structures, fail to restrict on a submanifold as a generalized complex structure. For instance, a codimension-one sub- manifold of a complex manifold does not inherit a generalized complex structure, but a CR structure; whereas a codimension-one submanifold of a symplectic manifold inher- its a presymplectic structure that is necessarily degenerate, and hence not generalized complex. However, both structures define complex Dirac structures on the submanifolds. Thus, just as Dirac structures arise when studying submanifolds of Poisson manifolds, complex Dirac structures naturally appear on submanifolds of generalized complex This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreements No 750885 GENERALIZED and No 801370 (COFUND Beatriu de Pinós 2018 00195). The first author has been supported by a PhD scholarship of the CNPq, and by the CNE Faperj. The second author has been supported by the Spanish MICINN under grant PID2019-109339GA-C32. 624 D. Aguero, R. Rubio manifolds. As generalized complex geometry has been proved to be useful in the under- standing of supersymmetry [LMTZ05,HL20], sigma models [Cal06,KL07], and field theory and the AKSZ formalism [CQZ10], we expect complex Dirac structures to play an important role in these and related topics. Complex Dirac structures are Dirac structures in the complexified generalized tan- gent bundle. The real index is the most basic invariant of a complex Dirac structure [KT92,Gua04]. When the real index is zero, a complex Dirac structure is a generalized complex structure. For arbitrary real index, complex Dirac structures can also describe objects such as presymplectic structures and CR-related geometries, extending the way generalized complex geometry encompasses symplectic and complex structures. The purpose of this work is a systematic study of complex Dirac structures. In this paper, we introduce two new invariants: the order (Definition 4.6), which vanishes on generalized complex structures, and a normalized version of the type (Definition 4.7), which extends the type for generalized complex structures. For fixed real index and order, structures with type 0 or maximal are, respectively, transformations of regular real Dirac structures and transverse CR structures. We prove that the three invariants altogether determine the pointwise geometry of a complex Dirac structure (Proposition 4.15). Since complex Dirac structures include generalized complex structures, it is natural to ask what properties can be extended and how. We focus on two of them. On the one hand, any generalized complex structure has associated a Poisson structure. In the context of complex Dirac structures we prove the following: Theorem 5.1. A complex Dirac structure with constant order has an underlying real Dirac structure, which agrees with the Poisson structure of a generalized complex struc- ture when the real index is zero. This suggests that the order is a more natural invariant than the real index. Indeed, we provide an example of a complex Dirac structure with constant real index whose presymplectic distribution is not smooth and hence does not define a real Dirac structure (Sect. 6.1). On the other hand, generalized complex structures [AB06] and real Dirac structures [Blo17] have a splitting theorem inspired by the Weinstein splitting theorem for Poisson structures. For complex Dirac structures we prove the following: Theorem 7.1. Let L be a complex Dirac structure with constant real index r and order s, and let m ∈ M be a point of type k. Then, locally around m, L is equivalent (via a diffeomorphism and B-transformation) to the product of a presymplectic manifold (with (r − s)-dimensional kernel) and a complex Dirac structure of constant real index s and order s whose associated real Dirac structure is the graph of a Poisson bivector vanishing at m. When the real index and the order vanish, we recover the splitting theorem for gen- eralized complex structures [AB06, Thm. 1.4]. The proof of our result relies on the techniques developed in [BLM19]. Among other applications, we hope that this approach to complex Dirac structures will allow us to better understand reduction [BCG07,Hu09,LT06,SX08,Vai07] and blow-up [BCvdLD19,CG09,CG11,VdLD18] of generalized complex structures, as we can drop the hypothesis of the resulting structure remaining generalized complex. The article is organized as follows. In Sect. 2, we recall the basic definitions and prop- erties of Dirac and generalized complex structures. Section 3 deals with submanifolds of generalized complex structures and serves as a motivation. In Sect. 4, we introduce Complex Dirac Structures: Invariants and Local Structure 625 the main tools of the theory: the associated distributions and the two new invariants, the order and the (normalized) type. We present the relationship among these invariants and a pointwise classification of complex Dirac structures. In Sect. 5, we prove Theorem 5.1 and study some of its consequences. Section 6 gathers two important examples: a com- plex Dirac structure with constant real index with no associated real Dirac structure, and a foliation by generalized complex leaves. Finally, in Sect. 7 we prove Theorem 7.1 and in an appendix we give a visual representation of the invariants. Notation and conventions. We denote by M a smooth manifold. By a distribution we mean a subspace assignment p ∈ M → R p ⊆ E p , where E is a vector bundle over M. A distribution is said to be smooth when any v ∈ R p can be extended to a local section of E taking values in R. The rank of a distribution is the assignment p → dim R p . A distribution is said to be regular if it is smooth and its rank is constant. Regular distributions are actually subbundles, but we will keep the term ‘regular distribution’ when E is T M or T MC and use subbundle otherwise. We will omit the vector bundle E when it is clear from the context. Given the complexification of a bundle, E C , and a distribution L ⊂ E C such that L = L, we denote the real elements of L by Re L := L ∩ E and call them the real part of L. We will denote the complexification of a map with the same symbol. 2. Generalized Geometry 2.1. The generalized tangent bundle. We consider the generalized tangent bundle TM := T M ⊕ T ∗ M with its natural nondegenerate symmetric bilinear pairing 1 (η(X ) + ξ(Y )), X + ξ, Y + η = 2 and the Dorfman bracket [Dor87] on (TM) [X + ξ, Y + η] = [X, Y ] + L X η − ı Y dξ, for X + ξ , Y + η ∈ (TM). The tuple (TM, ·, · , [·, ·], pr T M ) has the structure of a Courant algebroid [LWX97]. The automorphisms of TM are bundle automorphisms F of TM covering f ∈ Diff(M) such that, for u, v ∈ (TM), a) f ∗ F(u), F(v) = u, v , b) F[u, v] = [F(u), F(v)], c) pr T M ◦ F = f ∗ ◦ pr T M . We denote the group of automorphisms of TM by Aut(TM). Example 2.1. Any f ∈ Diff(M) defines T f ∈ Aut(TM) by T f (X + ξ ) = f ∗ X + ( f −1 )∗ ξ. Any two-form B ∈ 2 (M) defines a bundle automorphism e B by e B (X + ξ ) = X + ξ + ı X B. When B is closed, e B ∈ Aut(TM) and we call it a B-transformation. 626 D. Aguero, R. Rubio These examples generate all the automorphisms [Gua04, Prop. 2.2]: Diff(M)  2cl (M) ∼ = Aut(TM) ( f, B) → T f ◦ e B . The action of a generalized vector field X + ξ ∈ (TM) via the Dorfman bracket [X + ξ, · ] defines an endomorphism of (TM). By [Hu09], it integrates to a one- parameter subgroup of automorphisms of TM given by {Tϕs ◦ eγs }s∈R , with {ϕs }s∈R the one-parameter subgroup integrating X (with the convention X = dt d ∗ ) and |t=0 ϕ−t  s γs = ϕu∗ (−dξ )du. 0 This means that  d    [X + ξ, Y + η] =  (Tϕs ◦ eγs )(Y + η) . dt t=0 The bundle TC M := (TM)C equipped with the complexification of the pairing and bracket of TM has analogous properties to the Courant algebroid TM. Just as in Example 2.1, the map f ∈ Diff(M) gives rise to T f ∈ Aut(TC M), and a closed B ∈ 2C (M) to e B ∈ Aut(TC M), which we call a complex B-transformation. 2.2. Dirac structures. A Dirac structure [Cou90] is a lagrangian subbundle L ⊂ TM that is involutive with respect to the Dorfman bracket (that is, [(L), (L)] ⊆ (L)). Example 2.2. The graphs of a presymplectic structure ω and a Poisson structure π are Dirac structures: L ω = {X + ı X ω | X ∈ T M}, L π = {π(α) + α | α ∈ T ∗ M}. The range distribution E of a lagrangian subbundle L is E := pr T M L, which is smooth but not necessarily regular. There exists a skew-symmetric bilinear map ε : E × E → R such that L = L(E, ε) := {X + ξ | X ∈ E, ξ|E = ı X ε}. The range distribution of a Dirac structure is integrable and ε restricts to each leaf as a presymplectic form [Cou90], so it generalizes the symplectic foliation associated to a Poisson bivector. Furthermore: Proposition 2.3 [DW08]. Let L be a Dirac structure and a point m ∈ M. If the presym- plectic leaf passing through m is a single point, then on a neighbourhood of m, L is the graph of a Poisson structure. A Dirac structure is called regular when E is regular. We then have: Proposition 2.4 [Cou90,Gua11]. A lagrangian subbundle L(E, ε) is a regular Dirac structure if and only if E is regular, ε is a (smooth) bundle map and d E ε = 0, where d E denotes the differential along the directions of E. Complex Dirac Structures: Invariants and Local Structure 627 On the other hand, we call L ∩ T M the null distribution of a Dirac structure L. If L ∩ T M has constant rank, then it is smooth and integrable and its associated foliation is called the null foliation. Given a map ϕ : N → M and lagrangian subbundles L ⊂ TM, L  ⊂ TN , the backward image of L is the (regular) distribution ϕ ! L := {X + ϕ ∗ ξ | ϕ∗ X + ξ ∈ L} ⊂ TN , and the forward image of L  is the (regular) distribution ϕ! L  = {ϕ∗ X + ξ | X + ϕ ∗ ξ ∈ L  } ⊂ ϕ ∗ TM. For an inclusion ι : N → M, a sufficient condition for ι! L ⊂ TN to be a Dirac structure is the transversality condition pr T M L |N + T N = T M|N (see, for instance, [Bur13]). 2.3. Generalized complex structures. A generalized almost complex structure [Gua11] is a bundle map J : TM → TM such that J 2 = −1 and J ∗ = −J . If the lagrangian subbundle ker(J − i I d) ⊂ TC M is involutive with respect to the Dorfman bracket we say that J is a generalized complex structure, which is equivalently given by an involutive lagrangian subbundle L ⊂ TC M such that L ∩ L = 0. Example 2.5. A complex structure J and a symplectic structure ω determine the gener- alized complex structures ∗ L J = T0,1 ⊕ T1,0 , L iω = {X + i ı X ω | X ∈ TC M}. A manifold admitting a generalized almost complex structure must be even dimen- sional, so we take dim M = 2n. The main invariant of generalized complex structures is an integer-valued function called the type, which is defined, with the notation E := pr TC M L, as type L := corank E. (1) The type varies from 0 to n. In Example 2.5, the structure L iω is of constant type 0, whereas L J is of constant type n. A point m in M is called of complex type if it is of type n, and it is called regular if there exists a neighborhood of m with constant type. The map J determines the Poisson bivector πJ = pr T M J |T ∗ M , so a generalized complex structure gives a symplectic foliation. To recall Weinstein splitting-like the- orems for generalized complex structures, we need the definition of product. Con- sider isotropic subbundles K 1 of TC M1 (or TM1 ) and K 2 of TC M2 (or TM2 ). Let πi : M1 × M2 → Mi denote the canonical projections. The bundle K 1 × K 2 := π1∗ K 1 ⊕ π2∗ K 2 (2) is an isotropic subbundle of TC (M1 × M2 ) (or T(M1 × M2 )). For L 1 and L 2 generalized complex structures, the product L 1 × L 2 is a generalized complex structure. By [AB06], for any m ∈ M, there exists a neighborhood U , a closed two-form B, a symplectic structure ω and a generalized complex structure L  of complex type at m such that ∼ e B (L  × L iω ). L|U = Around a regular point m of type k, we can be more precise [Gua04]: L|U ∼= e B (L J × L iω ), where J is the canonical complex structure on Ck and ω is the canonical symplectic structure of R2(n−k) . 628 D. Aguero, R. Rubio 3. From Generalized Complex to Complex Dirac Structures Let M be a manifold with a generalized complex structure L ⊂ TC M. Consider a ι submanifold N −→ M. Under mild regularity conditions (see, e.g., Definition 5.7 below), ! ι L ⊂ TC N is a lagrangian and involutive subbundle. However, it is not necessarily a generalized complex structure, as the next examples show. Example 3.1. Let ω ∈ 2 (M) be a symplectic structure. Note that ι! L iω = L iι∗ ω and so ι! L iω ∩ ι! L iω = (ker ι∗ ω)C , which is nonzero unless N is a symplectic submanifold. Example 3.2. Let J be a complex structure on M. Assume that N is of codimension one and consider the J -invariant distribution D := T N ∩ J (T N ) over N . We have that (D, J|D ) is a CR structure of corank one in N , and ι! L J = L(ker(J|D − i I d), 0). Hence, ι! L J ∩ ι! L J = (Ann D)C , which has rank one. The subbundle ι! L lies in a larger class than generalized complex: Definition 3.3. A complex Dirac structure is a lagrangian subbundle L ⊂ TC M that is involutive (with respect to the Dorfman bracket). Example 3.4. A generalized complex structure is a complex Dirac structure L such that L ∩ L = {0}. On the other hand, the complexification L C of a real Dirac structure L ⊂ TM is a complex Dirac structure that satisfies L C = L C . The bundle L iω as in Example 2.5 for a presymplectic form ω ∈ 2cl (M) is a complex Dirac structure. Example 3.5. A CR-structure (D, J ), consisting of a regular distribution D ⊆ T M and J ∈ End(D) such that J 2 = − Id, determines, with the notation D1,0 := ker(J −i Id) ⊂ DC , the complex Dirac structure L (D,J ) := D1,0 ⊕ Ann D1,0 . Proposition 3.6. Let N ⊆ M be a submanifold of codimension r . Let L be a lagrangian subbundle of TC M such that L ∩ L = {0}. Then rank(ι! L ∩ ι! L) ≤ r. Proof. Suppose that rank(ι! L ∩ ι! L) > r at m ∈ N , so there exist real elements X 1 + ξ1 , . . . , X r +1 + ξr +1 ∈ ι! L m , linearly independent, with X j ∈ Tm N and ξ j ∈ Tm∗ N . By definition of ι! L, there exist τ j ∈ Tm∗ M with ι∗ τ j = ξ j and η j ∈ Ann Tm N , such that X 1 + τ1 + iη1 , . . . , X r +1 + τr +1 + iηr +1 ∈ L m . r +1 Since dim Ann Tm N = r , there exist a non-trivial linear combination j=1 c j η j =0 with c j ∈ R. Consequently,  r +1  r +1 c j (X j + τ j + iη j ) = c j (X j + τ j ) j=1 j=1 r +1 is real in L m , so must vanish (since L ∩ L = {0}) and, thus, j=1 c j (X j + ξ j ) = 0, which yields a contradiction.   Complex Dirac Structures: Invariants and Local Structure 629 ι Corollary 3.7. For a codimension-one submanifold N − → M we have rank(ι! L ∩ ι! L) = 1. Proof. Since dim N is odd, then ι! L ∩ ι! L = {0} and so the corollary follows from the proposition.   4. Invariants and Classification of Complex Dirac Structures In this section we introduce a set of invariants for complex Dirac structures which will allow us to characterize their local geometry. 4.1. The real index. The following definition stems from [KT92]. Definition 4.1. The real index of any subbundle L ⊂ TC M is real-index L := rank(L ∩ L), which is a function that we usually denote by r . Let L ⊂ TC M be a lagrangian subbundle. Consider the distribution K := Re(L ∩ L). Its orthogonal distribution is given by K ⊥ = Re(L + L). We have r = real-index L = rank K and  K⊥ ∼ L+L = . K C L∩L The pairing on TM descends to a pointwise pairing on K ⊥ /K of signature (dim M − r, dim M − r ) ([Dru14, Prop. 2.28]). When the real index r is everywhere constant, the distributions K and K ⊥ become bundles of rank r and 2 dim M − r , respectively. In this case, K ⊥ /K becomes a euclidean vector bundle (vector bundle with a nondegenerate pairing). In general, K ⊥ /K does not inherit a bracket from TM. However, there are cases where K ⊥ /K can be reduced to a Courant algebroid [BCG07,Zam08]. In this case, L + L ∩ L reduces to a complex Dirac structure, possibly with real index zero. In Sect. 6.2, we will see an example where K ⊥ /K is a Courant algebroid. Many results, like the next two, are stated for lagrangian subbundles but are usually used for complex Dirac structures. Proposition 4.2. A lagrangian subbundle L ⊂ TC M with constant real index r , is equivalent to the choice of an r -dimensional isotropic subbundle K ⊂ TM and a bundle map J : K ⊥ /K → K ⊥ /K such that J 2 = −1 and J ∗ + J = 0. Proof. Given such L, the distribution L 0 = L + L ∩ L ⊂ (L + L)/(L ∩ L) is a lagrangian subbundle of (K ⊥ /K )C with zero real index, that is, L 0 ∩ L 0 = 0. So, L 0 defines a map J : K ⊥ /K → K ⊥ /K such that J 2 = −I d. Moreover, since L 0 is lagrangian, J preserve the pairing and thus J ∗ + J = 0. Given an isotropic subbundle K ⊂ TM and a map J : K ⊥ /K → K ⊥ /K satisfying the conditions of the statement, we retrieve a complex Dirac structure by taking L = q −1 (ker(JC − i Id)), where q : K ⊥ → K ⊥ /K is the quotient map. Its real index equals rank K and is hence constant.   630 D. Aguero, R. Rubio Corollary 4.3. A lagrangian subbundle L ⊂ TC M determines a distribution K ⊂ TM together with a pointwise complex structure J ∈ End(K ⊥ /K ) which is moreover skew- symmetric, J ∗ + J = 0. The map J in Corollary 4.3 is pointwise a linear generalized complex structure. By the obstruction for their existence [Gua04, Prop. 4.5]: Proposition 4.4. The dimension of a manifold M admitting a lagrangian subbundle of TC M with real index r must satisfy dim M ≡ r mod 2. Thus, the parity of the real index is constant. Example 4.5. For a generalized complex structure, the real index is zero and the associ- ated map J corresponds to the generalized complex structure itself. For the complex- ification of a real Dirac structure, L C , the real index is dim M and the map J is zero. For L iω and L (D,J ) as in Examples 3.4 and 3.5, L iω ∩ L iω = (ker ω)C , real-index L iω = rank(ker ω), L (D,J ) ∩ L (D,J ) = (Ann D)C , real-index L (D,J ) = corank D. 4.2. The order and the (normalized) type. Analogously to the real case, a lagrangian subbundle L ⊂ TC M determines a complex range distribution and a skew-symmetric map ε : E → E ∗ , E := pr TC M L , ε ∈ ∧2 E ∗ , such that L = L(E, ε). In order to describe lagrangian subbundles we shall associate real data, which can be interpreted geometrically. The following definitions associate real distributions to any complex distribution E ⊆ TC M, although we work on the case of a lagrangian subbundle L with E = pr TC M L. Define the distributions  := Re(E ∩ E), D := Re(E + E). Let J : D/ → D/ be the real part of the map on (D/)C having +i-eigenspace E/(E ∩ E) and −i-eigenspace E/(E ∩ E). The triple (D, , J ) is thus real data recov- ering E. On the other hand, we consider the restriction of the two-form ε on  and look at its imaginary part ω = Im ε| , which is a possibly degenerate two-form ω ∈ ∧2 ∗ . Thus, at any m ∈ M, we have that  inherits a linear presymplectic two-form and D/ is endowed with a linear complex map.1 This motivates the introduction of new invariants involving the size of D and , which we define in terms of both real and complex data. 1 We have ignored Re ε since it will be regarded as a B-transformation. Complex Dirac Structures: Invariants and Local Structure 631 Definition 4.6. The order of a lagrangian subbundle L ⊂ TC M is order L := corank D = corank(E + E), which is a function that we usually denote by s. Definition 4.7. The type of a lagrangian subbundle L ⊂ TC M is 1 type L : = (rank D − rank ) 2 = corank E+E E, which is a function that we usually denote by k. Note that, for a generalized complex structure, this definition coincides with the type as defined in (1). We have the identity type L + order L = corank E. (3) Finally, we see how the real index and the order are related. Define 0 := ker ω ⊆ T M. Lemma 4.8. For the distributions K and K ⊥ we have pr T M K ⊥ = D, pr T M K = 0 . Proof. For the first part, pr T M K ⊥ = pr T M (L + L) = pr T M (E + E) = D. For the second part, take X + α ∈ K = Re(L ∩ L), so α|E = ε(X ) and α|E = ε(X ). When restricting to , ε(X )| = ε(X ) , so its imaginary part ω (X ) vanishes, that is, ∗ X ∈ 0 . Conversely, for X ∈ 0 , the forms ε(X ) ∈ E ∗ and ε(X ) ∈ E extend uniquely to a form β ∈ (E + E) such that β = β. We extend it further to α ∈ TC∗ M such that ∗ α = α, that is, α ∈ T ∗ M so that X + α ∈ K .   Lemma 4.9. For L ⊂ TC M a lagrangian subbundle, the distribution K fits into the short exact sequence pr T M 0 −→ Ann D −→ K −−−→ 0 −→ 0 (4) and, consequently, real-index L = order L + rank 0 . (5) Proof. We first look at ker pr T M | K = K ∩ T ∗ M, which is Ann( pr T M since α ∈ K ⊥ ), T ∗ M satisfies α, pr T M K ⊥ = 0 if and only if α, K ⊥ = 0, that is α ∈ (K ⊥ )⊥ = K . By Lemma 4.8, the sequence follows.   From (5), it follows that 0 ≤ order L ≤ real-index L . (6) With the notation r for real index, s for order, k for type, and n for the function such that dim M = 2n + r , we have rank D = 2n + r − s, rank  = 2(n − k) + r − s, (7) rank 0 = r − s. 632 D. Aguero, R. Rubio Example 4.10. For a generalized complex structure, the order is always zero and the type varies between 0 and dim M/2. For the complexification of a Dirac structure, L C , the order is corank pr T M L and the type is always zero. For L iω and L (D,J ) as in Examples 3.4 and 3.5, order L iω = 0, order L (D,J ) = corank D, type L iω = 0, type L (D,J ) = n. Equation (5) also generalizes the fact that ω is nondegenerate for generalized com- plex structures [Gua04, Prop. 4.4]. Regarding the product (2), a direct computation shows the following. Lemma 4.11. Let L 1 , L 2 ⊂ TC M be two lagrangian subbundles over the manifolds M1 and M2 with real parts K 1 and K 2 , respectively. Then the real part of L 1 × L 2 is K 1 × K 2 and, as a consequence, real-index(L 1 × L 2 ) = real-index L 1 + real-index L 2 , order(L 1 × L 2 ) = order L 1 + order L 2 . 4.3. Properties of invariants and associated distributions. We look now at the properties of the distributions and the three invariants introduced in Sects. 4.1 and 4.2. These properties just depend on the smoothness of the lagrangian subbundle. To start with, the distributions E and D are smooth. Indeed, since E is the image of L under the anchor map, we have that E is smooth. The distribution E is then smooth and so E + E is. Since D = pr T M (E + E), we have that D is also smooth. Recall that the rank of a smooth distribution is a lower semicontinuous function (around any point the rank stays the same or drops). Lemma 4.12. The real index and the order are upper semicontinuous. If the order is constant, the type is upper semicontinuous. Proof. The real index is rank(L ∩ L) = 2 dim M − rank(L + L), whereas the order is corank D. Since L + L and D are smooth distributions, the first part follows. The second part follows similarly from (3).   The following result plays a key role in Sect. 5. Proposition 4.13. If the order is constant, the distribution  is smooth. Proof. Consider the imaginary part of the projection to TC M,  = Im ◦ pr TC M : L → T M, whose image is Im(pr TC M L) = Im(E) = Im(E + E) = D. Since the order is constant, D is a vector bundle and hence the kernel of , L ∩ (T M ⊕ TC∗ M), is also a vector bundle. As pr T M ker  = , the proposition holds.   We will see in Sect. 6.1 an example where the order is not constant and  is not smooth. Another distribution playing an important role in the theory is K . Proposition 4.14. If L has constant real index, then K is a Lie algebroid whose orbits are precisely the leaves of 0 . Proof. This result follows from the involutivity of K and Lemma 4.8.   Complex Dirac Structures: Invariants and Local Structure 633 4.4. Pointwise description of complex Dirac structures. The real index, order and type determine the pointwise geometry of the complex Dirac structure up to B-transform. Proposition 4.15. Let L ⊂ TC M be a lagrangian subbundle on a manifold M of di- mension 2n + r . At a a point m where real-index L = r, order L = s, type L = k, there exists a complement N of  in Tm M, and B ∈ ∧2 Tm∗ M, such that, at the point m, L∼ = e B (L iω × L (C,J ) ), where L iω is associated to the two-form ω ∈ ∧2 ∗m , and L (C,J ) is an almost CR- structure on N . For its proof, we shall use the inclusion ι and the projection p in p D D 0 ι TM together with the map q : Ann 0 → (D/0 )∗ such that ι∗ = p ∗ ◦ q. With sequence (4) in mind, we say that K splits when K = 0 ⊕ Ann D. We then have K ⊥ = D ⊕ Ann 0 and, consequently,  K⊥ ∼ D D ∗ = ⊕ , K 0 0 where [X + ξ ] ∈ K ⊥ /K maps to p X + qξ . The pointwise generalized complex structure on K ⊥ /K (Corollary 4.3) corresponds to L := { p X + qξ | X + ξ ∈ L}, whose associated symplectic subspace is pointwise /0 . Proof of Proposition 4.15. We work pointwise. We assume first that K splits. With the notation above, we have that ι! p ! L = L, since ι! p ! L = {X + ξ | ι∗ ξ = p ∗ η for some η with p X + η ∈ L} which clearly contains L and they are both lagrangian. From the pointwise splitting for generalized complex structures ([Gua11, Thm. 3.6]), there exists a splitting D/0 = /0 ⊕ (C + 0 )/0 and B  ∈ ∧2 (D/0 )∗ such that  L∼ = e B (L iω × L J ). We then have p ! L ∼ ∗  = e p B (L iω ×L J ) on D = ⊕C with ω = ( p ∗ ω )| a presymplectic structure on , and J a complex structure on C ∼ = (C + 0 )/0 . Finally, we look at 634 D. Aguero, R. Rubio ι! p ! L: we choose any N containing C, via ιC : C → N , such that T M =  ⊕ N . For B ∈ ∧2 T ∗ M any extension of p ∗ B  we have a natural injective map ! e B (L iω × ιC ! L J ) → ι! p L ∗ ∗ B e B (X + π iω(X ) + Y + π N∗ α) → e p (X + Y + iω(X ) + α). Since they are both lagrangian subspaces, this map is an isomorphism. As, always at m, ker ω = 0 , we have L iω ∼ = L iω so we conclude: ι! p ! L ∼ = e B (L iω × ιC ! L J ) = e (L iω × L (C,J ) ), B with ω ∈ ∧2 ∗m and (C, J ) an almost CR-structure on N . When K does not split, sequence (4) determines a map h : 0 → T ∗ M/ Ann D ∼ = D∗ satisfying h(x)(x) = 0 for x ∈ 0 , as K is isotropic. By taking a complement of 0 ⊆ D where we set the map to vanish, we get h ∈ ∧2 D ∗ , which we extend to B ∈ ∧2 T ∗ M. We then have that for e−B L, its subbundle K splits and we apply the first part of the proof.   4.5. Extremal type. We study now complex Dirac structures with constant real index and order whose type is 0 or maximal. Example 4.16. A regular real Dirac structure L(, ω), defines the complex Dirac struc- ture L(C , iω). It has real index r = rank ker ω+corank , order s = corank  and type 0. If ker ω is regular, L(C , iωC ) has constant real index and order. This example is key to describe type 0 complex Dirac structures. Proposition 4.17. Let L be a complex Dirac structure with constant real index r and order s over a (2n + r )-dimensional manifold. If type L = 0, then L = e B L(C , iω), with  a corank-r involutive distribution, ω ∈ ∧2 ∗ a d -closed form with (r − s)−dimensional kernel, and B a d -closed real two-form (that is, B| is d -closed). Locally, we can choose B to be closed. Proof. Let L be L(E, ε). Since L has constant real index, order and type,  and D are regular distributions. As type L = 0, the distribution E is real and so E = C . Then ε decomposes into its real and imaginary parts: ε = B  + iω, with B  , ω ∈ ∧2 ∗ . By Proposition 2.4, we have that B  is d -closed, L(C , iω) is involutive, and, for any extension B of B  , L = e B L(C , iω). Locally, we obtain B closed by considering a foliated chart and extending B  to be constant in the directions of the distribution and vanish on the complementary directions.   The maximal type, in dimension 2n + r with real index r , is n. In order to describe this case, we introduce transverse CR structures.2 2 This name was used, with a different definition, in the context of foliations on CR-manifolds [BD97]. Complex Dirac Structures: Invariants and Local Structure 635 Definition 4.18. A transverse CR structure (S, R, J ) consists of regular distributions R ⊆ S ⊆ T M, with R integrable, and a bundle map J : S/R → S/R, such that J 2 = − Id and, for the projection q : T M → T M/R, the distribution E = q −1 (ker(J − i Id)) ⊂ TC M (8) is regular and involutive. Transverse CR structures include, as particular cases, CR structures (when R = 0) and transverse holomorphic structures (when S = T M). Given a transverse CR structure (S, R, J ), it can be proved [Agu20, Lem. 2.76] that around any point, there exists a neighbourhood U where the foliation associated to R|U is simple and its leaf space carries a CR structure. For a transverse CR structure (S, R, J ), with E as in (8), we associate the complex Dirac structure L (S,R,J ) := L(E, 0) = E ⊕ Ann E, (9) with real index r = corank S + rank R. If dim M = 2n + r , L (S,R,J ) has order s = corank S and type n. For maximal type complex Dirac structures, we prove the following: Proposition 4.19. Let L be a complex Dirac structure with constant real index r and order s over a (2n + r )-dimensional manifold. If L has constant type n, then there exist a transverse CR structure (D, , J ) and B ∈ 2 (M) such that L = e B L (D,,J ) . Proof. Let L = L(E, ε) with ε ∈ (∧2 E ∗ ). Define a real form in (∧2 (E + E)∗ ) by the skew-symmetric extension of ε(X ) for X ∈ E, ε(X ) for X ∈ E. Note that it is well defined as type n implies that 0 =  and hence ε(X ) = ε(X ) for X ∈ E ∩ E. Extend it to B ∈ 2 (M) ⊂ 2C (M). We then have L = L(E, ε) = e B L(E, 0). We recall that the real data (D, , J ) recovers E, so L(E, 0) = L (D,,J ) . Finally, (D, , J ) is a transverse CR-structure, since  is integrable because  = 0 = pr T M K and K is a Lie algebroid (Lemma 4.14).   These results generalize the appearance in generalized complex structures of sym- plectic (type 0) and complex (type dim M/2) structures. 4.6. Pointwise classification. Proposition 4.15 gives a pointwise classification of la- grangian subbundles, up to a linear B-transformation. Propositions 4.17 and 4.19 make the left and right columns of Table 1 work locally (with constant invariants) up to B-transformation and real transformation, respectively. Corollary 7.4 below will make the central column work locally (up to a transformation closed in the presymplectic directions). 636 D. Aguero, R. Rubio Table 1. Classification of complex Dirac structures Order r Symplectic (, ω ) ··· CR structure (D, J ), corank  = r corank D = r Order s (, ω ) × (D/, J ) Presymplectic (, ω ) Presymplectic × CR Transverse CR (D, , J ) corank  = s corank D = s corank D = s rank ker ω = r − s corank D  = 2k rank  = r − s rank ker ω = r − s Order 0 Presymplectic (T M, ω) Transverse holomorphic rank ker ω = r ··· (T M, , J ), rank  = r Type 0 Type k Type n 5. The Associated Real Dirac Structure For a complex Dirac structure L = L(E, ε), the distribution  is pointwise endowed with the presymplectic structure ω . When the order is constant, we have proved in Proposition 4.13 that  defines a smooth distribution. When L is a generalized complex structure, (, ω ) corresponds to the symplectic foliation of the associated Poisson structure. So it is natural to ask whether the distribution L = L(, ω ) is a Dirac structure. In this section we prove that this is the case. Theorem 5.1. For constant order, the distribution L is a real Dirac structure. Proof. By definition, L is pointwise lagrangian. We have to check that it is smooth and involutive. We first prove the following identity:  1 0 L = pr TM (L ∩ (T M ⊕ TC∗ M)) , (10) 0 −i where the 2 × 2 matrix denotes, by blocks, a linear map of TC M. Take X + α ∈ L. Denote also by α its C-linear extension to TC∗ M, and consider ε(X ) − iα|E ∈ E ∗ . We extend this element to γ ∈ (E + E)∗ by γ (Z ) = γ (Z ). This is well defined as it is real for , since ε(X )| − iα| = Re ε(X )| . The element γ is the C-linear extension of an element of D ∗ , which we can extend to α  ∈ T ∗ M. We check that X + α  + iα belongs to L: (α  + iα)|E = ε(X ) − iα|E + iα|E = ε(X ). Thus L is contained in the right-hand side. The right-hand side is isotropic, as for X + α  + iα, Y + β  + iβ ∈ L, X + α, Y + β = Im X + α  + iα, Y + β  + iβ = 0. Since L is lagrangian, they must be equal. Complex Dirac Structures: Invariants and Local Structure 637 To see the smoothness of L, note that in the proof of Proposition 4.13 we  have shown that L ∩ (T M ⊕ TC∗ M) is smooth, and so its image by the linear map 01 −i 0 and the projection pr TM is smooth. Finally, note that the right-hand side of (10) is involutive, as the distribution L ∩ (T M ⊕ TC∗ M) is and the linear map and the projection preserve involutivity. Hence, L is involutive and a Dirac structure.   Constant order is a sufficient but not a necessary condition: let L = L(S, ε) be a real Dirac structure, its complexification L C is a complex Dirac structure. Note that L C = L and order L C = codim S as D = S. Hence, L C has associated a real Dirac structure, although its order is not necessarily constant (codim S may change on real Dirac structures). Since L is a Dirac structure, its image by the anchor map is an integrable distribution, so we obtain a refinement of Proposition 4.13: Corollary 5.2. If the order is constant, then  is integrable. We can thus associate a presymplectic foliation to any complex Dirac structure with constant order. We will see in Sect. 7 that this foliation plays a fundamental role in the splitting theorem for complex Dirac structures. Note that constant real index does not play any role in the smoothness of  and hence L, as we shall see in Sect. 6.1. Example 5.3. If we start with a real Dirac structure L, we have L C = L . For L iω as in Example 2.5 and L ω as in Example 2.2,  L iω = L ω . Example 5.4. Starting with a real Dirac structure L(, ω ), the complex Dirac structure L := L(C , iω ) (see Example 4.16) satisfies L = L(, ω ). For a CR-structure (D, J ) or, more generally, for a transverse CR-structure (S, R, J ) as in (9), we have L ∗ (D,J ) = T M, L (S,R,J ) = R ⊕ Ann R. Remark 5.5. From Theorem 5.1, constant order implies that  is an involutive distri- bution. As for D, non-Levi flat CR structures (e.g. S 3 with the CR structure inherited by C2 ) provide examples of complex Dirac structures with constant invariants but with non-involutive D. The associated Dirac structure L is preserved by backward image. Lemma 5.6. Let ψ : N → M be a smooth map, and L be a complex Dirac structure over M. Then, as distributions, ψ ! L =  ψ ! L. Proof. By equation (10),   ! ψ L = pr TN 1 0 · {X + ψ ∗ ξ1 + iψ ∗ ξ2 | ψ∗ X + ξ1 + iξ2 ∈ L} 0 −i = {X + ψ ∗ ξ2 | ψ∗ X + ξ2 ∈ L} = ψ ! L.   638 D. Aguero, R. Rubio ι Let N − → M be a submanifold. Just as in the real case (Sect. 2.2), for the backward image ι! L to be a complex Dirac structure, it is analogously proved that a transversality condition is sufficient: ι Definition 5.7. A submanifold N − → M is transversal to a complex lagrangian subbun- dle L ⊂ TC M if TC N + pr TC M L |N = TC M|N . ι Lemma 5.8. If L is a complex Dirac structure over M and N − → M is a transversal to L, then ι! L is a complex Dirac structure over N . By Lemmas 5.6 and 5.8 , if L is a generalized complex structure with associated ι → M, then ι! L = ι! L π . Moreover: Poisson bivector π and N − Lemma 5.9. Let L be a complex Dirac structure with constant real index and order, ι N −→ M a submanifold, and m ∈ N . If Tm N ⊕ m = Tm M, then, around m, ι! L is a complex Dirac structure and ι! L is a Dirac structure given by the graph of a Poisson bivector vanishing at m. Proof. By the local foliation property [DW08, Section 1.5], there exists a neighbourhood U of m where N is transversal to L, and hence to L (as C ⊆ pr TC M L |N ). Consequently, ι! L |U is a complex Dirac structure and ι! L |U is a Dirac structure. Since ι! L |U = ι! L |U by Lemma 5.6, the presymplectic leaves of ι! L |U are the intersection of N ∩ U with the presymplectic leaves of L. Consequently, the leaf of ι! L |U passing through m is a single point (we shrink U if needed) and, by Proposition 2.3, the last part follows.   Finally, we give a definition motivated by Lemma 5.9 and Table 1. Definition 5.10. Let L be a complex Dirac structure. We say that a point m ∈ M is of CR type if, at m, the real index and the order are equal and the type is maximal. By (7), a point m is of CR type if and only if m = {0}. Assume moreover that L is a Dirac structure. By Proposition 2.3, L is, around m, the graph of a Poisson bivector vanishing at m. Consequently, 0 = L ∩ T M = {0} and so the real index and the order are equal around m. In terms of Table 1, the complex Dirac structure lies in the top right corner at m, whereas around m it lies in the top row (of a possibly different table with higher real index). Remark 5.11. On generalized complex structures, the points of CR type are precisely the points of complex type. 6. More Examples 6.1. Order and type change with constant real index. Consider M = R3 with coordi- nates (x, y, z) and the lagrangian subbundle L = L(E, iι∗E ω), with ω = d x ∧ dy ∈ 2 (R3 ) and E the involutive regular distribution E = ∂x , (e y ∂ y + i f (y)∂z ) C , Complex Dirac Structures: Invariants and Local Structure 639 where f ∈ C ∞ (M; R) only depends on the variable y and has non-empty zero set Z = {(x, y, z) | f (y) = 0}. Since E is regular, L is smooth. Moreover, d E ι∗E ω = ι∗E dω = 0 and by Proposi- tion 2.4, L is a complex Dirac structure. We have |Z = ∂x , ∂ y R and |M\Z = ∂x R , whereas for ω = ι∗ ω, d x ∧ dy, for p ∈ Z , ω | p = 0, for p ∈ Z . So ω is nondegenerate on Z and has one-dimensional kernel on M \ Z . We look at the associated distributions and invariants of L.  D order L type L real-index L p ∈ Z ∂x , ∂ y R  p 1 0 1 p ∈ Z ∂x R T p M 0 1 1 The real index follows from dim ker ω , the order and Proposition 4.15. Thus, L has constant real index one, and type and order changing along Z . Note that the distribution  is not smooth and, hence, neither is the associated lagrangian distribution L. Remark 6.1. A straightforward computation shows that K = R · ( f (y)∂x + e y dz), which also explains the variation of the invariants along M. 6.2. A foliation with generalized complex leaves. Let D ⊆ T M be a regular involutive distribution. Consider a complex Dirac structure L ⊂ TC M such that K = Ann D. We then have K ⊥ = D ⊕ T ∗ M, so D is precisely the distribution defined in Sect. 4.2, and the real index and the order of L are constant and equal. Moreover, K⊥ D ⊕ T ∗M ∼ = = D ⊕ D∗, K Ann D so J in Proposition 4.2 defines a generalized almost complex structure on each leaf S ⊆ M, as T S = D|S . We prove next that it is integrable. The Dorfman bracket descends to D ⊕ D ∗ , obtaining the bracket [X + α, Y + β] D = [X, Y ] + L D X β − ı Y d D α, for X + α, Y + β ∈ (D ⊕ D ∗ ), where d D is the differential along D and X = ı X dD + dD ı X . LD From the axioms of the Courant algebroid TM, it follows that: Lemma 6.2. The bundle D⊕ D ∗ is a Courant algebroid with the natural pairing, bracket and anchor. The +i-eigenbundle of J is L  = {X + ξ|DC | X + ξ ∈ L} ⊂ (D ⊕ D ∗ )C . Since (L X η−ı Y dξ )|DC = L D  X (η|DC )−ı Y d D (ξ|DC ) and L is involutive, the subbundle L is involutive. This involutivity descends to any leaf S ⊆ T M, as any element of (L |S ) can be extended to (L  ). We thus have a foliation by generalized complex leaves. Remark 6.3. This example appeared in [LB11] with the name of a generalized CR struc- ture. 640 D. Aguero, R. Rubio 7. Splitting Theorem Our last result is an extension of the splitting theorem for generalized complex structures [AB06, Thm. 1.4] to complex Dirac structures. Theorem 7.1. Let L ⊂ TC M be a complex Dirac structure with constant real index r and order s. Let m ∈ M be a point of type k, denote by (S, ω) the presymplectic leaf of L passing through m, and let N ⊆ M be a submanifold containing m such that Tm N ⊕ Tm S = Tm M. Then there exist neighbourhoods V ⊆ N , W ⊆ S and U ⊆ M of m, with U ∼= V × W , and a local closed real two-form B, such that L |U ∼ = e B (ι! L × L iω ), where ι : V → M is the inclusion, ι! L has constant real index s and order s and it is of CR type (Definition 5.10) at m, and L iω is the complex Dirac structure associated to (W, ω|W ). The pointwise proof of Proposition 4.15 does not extend locally, since L/K C does not always define a generalized complex structure. Our proof of Theorem 7.1 is inspired by [BLM19] but requires a local understanding of complex Dirac structures. We start by finding a local isomorphism for L where all its associated distributions are trivial. Note that 0 := ker ω is a regular involutive distribution of rank r − s whose asso- ciated foliation is the null foliation F of L. Take a foliated chart U where F is a simple foliation. Since Tm N ∩ 0 = 0, N is transversal to F (shrinking U if necessary) and we can take a neighbourhood of m in N as the leaf space P with associated submersion u : U → P. Note that u(U ∩ N ) = U ∩ N and from the chart we get a diffeomorphism ψ1 : U → P × Rr −s . If S  is a leaf of , then u(U ∩ S  ) = P ∩ S  (as S  is foliated by leaves of 0 ) and so ψ1 (S  ) = (P ∩ S  ) × Rr −s . By [Cou90, Cor. 2.6.3], the leaf space P inherits a Poisson bivector π from the Dirac structure L and L |U = u ! L π . Let S be the presymplectic leaf of L passing through m, note that u(S) = P ∩ S is the symplectic leaf of π passing through u(m). By the Weinstein Splitting theorem [DZ05, Thm. 1.4.5] around u(m) with transversal U ∩ N , there exists a chart ψ2 on P around u(m) with chart ψ2 = (x1 , . . . , x2k+s , q1 , . . . , qn−k , p1 , . . . , pn−k ), with coordinates (x1 , . . . , x2k+s ) for U ∩N and (q1 , . . . , qn−k , p1 , . . . , pn−k ) for R2(n−k) (which is equivalent to the symplectic leaf), and in those coordinates π = π0 + π N with n−k π0 = i=1 ∂ pi ∧ ∂qi and π N a Poisson bivector in a neighbourhood V0 of u(m) in U ∩ N vanishing at u(m). Finally, we obtain a foliated chart for 0 , ψ = ψ1−1 ◦ (ψ2−1 , I d) : U → U, ψ −1 = (x1 , . . . , x2k+s , q1 , . . . , qn−k , p1 , . . . , pn−k , y1 , . . . yr −s ), where V is the image by (x1 , . . . , x2k+s ) of V0 and U = V × R2(n−k) × Rr −s , satisfying: a) ψ sends V × {0} onto V0 , and {m} × R2(n−k) × Rr −s onto U ∩ S. b) ψ2 ◦ u ◦ ψ −1 : V × R2(n−k) × Rr −s → V × R2(n−k) is the projection. c) ψ∗ ({0} × {0} × T Rr −s ) = 0 . d) ψ ! L has a simple null foliation with leafwise Poisson bivector π0 + π N . Complex Dirac Structures: Invariants and Local Structure 641 Recall that, given a vector bundle E over M, the Euler vector field is the vector field associated to the one-parameter subgroup s → κe−s in Aut(E) ⊆ Diff(E), where κt : E → E, κt e = te for every t ∈ R \ {0} and e ∈ E. In a fibred local coordinate system for E, (x j , y j ), with x j as the fibre directions and y j as the base directions, it is expressed as  ∂ xj . ∂x j j Lemma 7.2. With the notation above, there exists a section E = X + β + iα ∈ (ψ ! L |U ) such that E|V ×{0} = 0, X is the Euler vector field of the trivial bundle U = V × R2(n−k)+r −s over V , β ∈ 1 (U), and  n−k α= (q j dp j − p j dq j ) ∈ 1 (U). (11) j=1 Proof. We keep the notation K , 0 , L and u for their respective transformations by ψ. The expression (11) defines also α0 ∈ 1 (V × R2(n−k) ), so that α = u ∗ α0 . Consider the vector field  n−k Y = ( p j ∂ p j + q j ∂q j ) ∈ X(U). j=1 Note that π(α0 ) = π0 (α0 ) = u ∗ Y , so u ∗ Y + α0 ∈ L π . Hence, Y + α ∈ L. By (10), there exists β1 ∈ 1 (U) such that Y + β1 + iα ∈ (ψ ! L |U ). (12) On the other hand, since pr T M K = 0 , we obtain a local frame {∂ y1 + ζ1 , . . . , ∂ yr −s + ζr −s , ζr −s+1 , . . . , ζr } of K , where ζ j ∈ 1 (U), {ζ j }rj=r −s+1 is a frame of K ∩ T ∗ U (shrink U if necessary). By evaluating (12) on V × {0}, we obtain β1|V ×{0} , which is a section of (K ∩ T ∗ U)|V ×{0} . ∞ r there exist functions c j ∈ C (V ), for r − s + 1 ≤ j ≤ r , such that −β1|V ×{0} = Thus, c ζ j=r −s+1 j j |V ×{0} . By extending the functions c j to U, we obtain a section  r β2 = c j ζ j ∈ (K ∩ T ∗ U) ⊆ (ψ ! L |U ) (13) j=r −s+1 such that β2|V ×{0} = −β1|V ×{0} . Finally, we consider r −s  r −s  y j ∂y j + y j ζ j ∈ (ψ ! L |U ). (14) j=1 j=1 By taking the sum of (12), (13) and (14), we obtain E.   We are now ready to prove Theorem 7.1. 642 D. Aguero, R. Rubio Proof of Theorem 7.1. Assume that Theorem 7.1 holds for ψ ! L around (m, 0, 0) with transversal V . Then,  ψ ! L |U ∼ = e B (ι!V ×{0} ψ ! L × L (Rrank m ,ω) ). By applying Tψ on both sides we recover the local splitting of L. Consequently, for the sake of simplicity, we can use in this proof the notation M for U , N for V and L for ψ ! L |U , and also the identification M = N × R2(n−k)+r −s . Let E = X + β + iα ∈ (L) be as in Lemma 7.2. Since X is an Euler field, the associated one-parameter subgroup to E in Aut(TM) is Tκe−s ◦ eσs , where the two-form, by the change of variable u = log τ , is given by  s  es 1 ∗ σs = − κe∗u (dβ + idα)du = − κ (dβ + idα)dτ. 0 1 τ τ Since E ∈ (L), its flow preserves L (see, e.g., [VdLD16, Lem. 1.1.5]). By perform- ing the change of variable s = − log t and acting on L, L = eσlog t Tκ−t L , (15) for all t > 0. We define real forms Bt , ωt ∈ 2 (M), for t > 0 such that  1 1 ∗ Bt + iωt = σlog t = κτ (dβ + idα)dτ. t τ Note that this integral is well defined for t = 0, so we can also define B0 and ω0 . Since α only depends on coordinates p j and q j we have  1 1 ∗ ωt = κ (dα)dτ = (1 − t 2 )dα, t τ τ n−k so ω0 = j=1 dq j ∧ dp j . Consider the limit when t → 0 in (15), so L = e B0 +iω0 (κ0! L). (16) With p : M = N × R2(n−k)+r −s → N the projection map and ι : N → M the inclusion map, we have κ0 = ι ◦ p. Thus, (16) becomes L = e B0 +iω0 ( p ! ι! L) = e B0 eiω0 (ι! L × T R(2n−k)+r −s ) = e B0 (ι! L × L iω0 ). By Lemma 4.11, ι! L has constant real index s and order s. By Lemma 5.9, ι! L is a complex Dirac structure with associated Poisson structure vanishing at m and so m is of CR type. The result follows with B = B0 , which is closed.   Remark 7.3. The section E = X + β + iα ∈ (ψ ! L |U ) defines a section E = X + α ∈ (ψ ! L |U ). By [BLM19, Thm. 5.1], we obtain a splitting for L in terms of the real Dirac structures associated to the factors of the splitting of L, which coincides with that of [Blo17]. Complex Dirac Structures: Invariants and Local Structure 643 A regular point for a complex Dirac structure is a point admitting a neighbourhood where the type is constant. For these points we have: Corollary 7.4. Let L ⊂ TC M be a complex Dirac structure with constant real index r and order s; let m be a regular point of type k and N ⊆ M be a (2k + s)-dimensional submanifold containing m transversal to m . Then there exist a neighbourhood U of m such that L|U ∼ = e B (L (D,J ) × L iω ), where L (D,J ) is associated to a CR structure of codimension s on a neighbourhood of m in N , L iω is associated to the presymplectic foliation, and B is a real two-form on M that is closed on the presymplectic directions. Proof. Since m is a regular point, there exists a neighbourhood of m where the type is constant. Let N be any transversal to  at m inside that neighbourhood. Since Tm N ⊕ m = Tm M at m, by shrinking N if necessary, we have that T N ⊕ |N = T M|N . By Theorem 7.1, there exist a neighbourhood U of m, and a neighbourhood of m in N , which we denote again by N , such that U ∼ = N × S ∼ = N × R2(n−k)+r −s and ∼ B  ! L |U = e (ι L × L iω ) for B ∈ cl (U ). Since T N ⊕ |N = T M|N , ι! L is a complex  2 Dirac structure of constant real index s, order s and maximum type. By Proposition 4.19, there exists B1 ∈ 2 (U ) such that e B1 (ι! L) is a CR structure (D, J ) on N .  ∗ Finally, we have that L |U ∼= e B − pr N B1 (L (D,J ) × L iω ), where pr N is the projection onto N . Note that B = B  − pr N∗ B1 is only closed on the directions of R2(n−k)+r −s , the presymplectic foliation.   8. Visual representation of invariants The type in generalized complex structures takes integer values in the interval between 0 (symplectic up to B-tranformation) and dim M/2 (complex up to action by a real two-form). symp. cplx. gen.cplx. Fig. 1. Type in generalized complex geometry For complex Dirac structures, the real index r ranges between 0 and dim M, the type between 0 and (dim M − r )/2 and, by (6), the order ranges between 0 and r . From the two latter inequalities, any admissible combination of the invariants can be represented as an integer point of a right tetrahedron (Fig. 2, the two right angles being at the vertex ‘presymp.C ’). We label the vertices with the corresponding structures for constant invariants, up to a transformation by a real two-form, which is closed on the left edge and, in general, closed in the presymplectic directions. The front edge of this tetrahedron corresponds to Fig. 1 (where L ∩ L = {0}), whereas any slice for fixed real index is Table 1. The furthest vertical edge corresponds to the complexification of Dirac structures in Example 3.4, that is, L = L. 644 D. Aguero, R. Rubio TC∗ M real-index order type DiracC Poisson CR Dirac presymp.C trans.CR presymp. trans.hol. symp. cplx. gen.cplx. Fig. 2. Right tetrahedron representing geometric structures encompassed by complex Dirac structures We can interpret the associated Dirac structure L in terms of this tetrahedron and draw the surface of all L mapping to the same type of L, which contains ( L)C . A point of coordinates (r, s, k) corresponds to complex Dirac structures whose distribution  has rank 2(n − k) + r − s = (2n + r ) − s − 2k = dim M − s − 2k, so the order of ( L)C is s + 2k. We thus obtain the planes s + 2k = C for 0 ≤ C ≤ dim M. The intersection with the plane s + 2k = 0 corresponds to the edge (symp.–presymp.C ) whereas the intersection with s + 2k = dim M corresponds to (cplx.–TC∗ M). If we look at the change of invariants, we can regard a complex Dirac structure as moving along the tetrahedron. For instance, the property of a point m of CR type (described at the end of Sect. 5) can be understood as the complex Dirac structure lying at m on a point CR of the top right edge, and around m, on the triangle (CR–TC∗ M– Poisson). In fact, the upper semicontinuity of the real index and the order, the parity of the real index and the type, and the upper semicontinuity of the type for constant order, give constraints on how a complex Dirac structure can move within this tetrahedron. Acknowledgements. This work stems from the PhD thesis of the first author, supervised by the second author and Henrique Bursztyn, to whom we are greatly indebted. The first author is also grateful to Hudson Lima for helpful conversations. We would also like to thank the anonymous referee for her/his careful reading of the paper. Funding Open Access Funding provided by Universitat Autonoma de Barcelona. Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory Complex Dirac Structures: Invariants and Local Structure 645 regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. Declarations Conflict of interest The authors have no relevant financial or non-financial interests to disclose. Data availability Data sharing not applicable to this article as no datasets were generated or analysed during the current study. Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. References [AB06] Abouzaid, M., Boyarchenko, M.: Local structure of generalized complex manifolds. J. Sym- plectic Geom. 4(1), 43–62 (2006) [Agu20] Aguero, D.: Complex Dirac structures with constant real index. PhD thesis, IMPA (2020) [BCG07] Bursztyn, H., Cavalcanti, G.R., Gualtieri, M.: Reduction of Courant algebroids and generalized complex structures. Adv. Math. 211(2), 726–765 (2007) [BCvdLD19] Bailey, M., Cavalcanti, G., van der Leer Durán, J.: Blow-ups in generalized complex geometry. Trans. Am. Math. Soc. 371(3), 2109–2131 (2019) [BD97] Barletta, E., Dragomir, S.: Transversally CR foliations. Rend. Mat. Appl. (7) 17(1), 51–85 (1997) [BLM19] Bursztyn, H., Lima, H., Meinrenken, E.: Splitting theorems for Poisson and related structures. Journal für die reine und angewandte Mathematik (Crelles Journal) 2019(754), 281–312 (2019) [Blo17] Blohmann, C.: Removable presymplectic singularities and the local splitting of Dirac structures. Int. Math. Res. Not. IMRN 23, 7344–7374 (2017) [Bur13] Bursztyn, H.: A brief introduction to Dirac manifolds. In: Geometric and Topological Methods for Quantum Field Theory, pp. 4–38. Cambridge Univ. Press, Cambridge (2013) [Cal06] Calvo, I.: Supersymmetric wz-poisson sigma model and twisted generalized complex geometry. Lett. Math. Phys. 77(1), 53–62 (2006) [CG09] Cavalcanti, G.R., Gualtieri, M.: Blow-up of generalized complex 4-manifolds. J. Topol. 2(4), 840–864 (2009) [CG11] Cavalcanti, G.R., Gualtieri, M.: Blowing up generalized Kähler 4-manifolds. Bull. Brazil. Math. Soc. New Ser. 42(4), 537–557 (2011) [Cou90] Courant, T.J.: Dirac manifolds. Trans. Am. Math. Soc. 319(2), 631–661 (1990) [CQZ10] Cattaneo, A.S., Qiu, J., Zabzine, M.: 2d and 3d topological field theories for generalized complex geometry. Adv. Theor. Math. Phys. 14(2), 695–725 (2010) [Dor87] Dorfman, I.Y.: Dirac structures of integrable evolution equations. Phys. Lett. A 125(5), 240–246 (1987) [Dru14] Drummond, T.: Generalized reduction and pure spinors. PhD thesis, IMPA (2014) [DW08] Dufour, J.-P., Wade, A.: On the local structure of Dirac manifolds. Compos. Math. 144(3), 774–786 (2008) [DZ05] Dufour, J.-P., Zung, N.T.: Poisson structures and their normal forms, volume 242 of Progress in Mathematics. Birkhäuser Verlag, Basel (2005) [Gua04] Gualtieri, M.: Generalized complex geometry. PhD thesis, Oxford University (2004) [Gua11] Gualtieri, M.: Generalized complex geometry. Ann. Math. 174(1), 75–123 (2011) [Hit03] Hitchin, N.: Generalized Calabi–Yau manifolds. Q. J. Math. 54(3), 281–308 (2003) [HL20] Hull, C., Lindström, U.: The generalised complex geometry of ( p, q) Hermitian geometries. Commun. Math. Phys. 375(1), 479–494 (2020) [Hu09] Hu, S.: Hamiltonian symmetries and reduction in generalized geometry. Houston J. Math. 35(3), 787–811 (2009) [KL07] Kapustin, A., Li, Y.: Topological sigma-models with h-flux and twisted generalized complex manifolds. Adv. Theor. Math. Phys. 11(2), 269–290 (2007) [KT92] Kopczyński, W., Trautman, A.: Simple spinors and real structures. J. Math. Phys. 33(2), 550– 559 (1992) [LB11] Li-Bland, D.: AV-courant algebroids and generalized CR structures. Can. J. Math. 63(4), 938– 960 (2011) [LMTZ05] Lindström, U., Minasian, R., Tomasiello, A., Zabzine, M.: Generalized complex manifolds and supersymmetry. Commun. Math. Phys. 257(1), 235–256 (2005) 646 D. Aguero, R. Rubio [LT06] Lin, Y., Tolman, S.: Symmetries in generalized Kähler geometry. Commun. Math. Phys. 268(1), 199–222 (2006) [LWX97] Liu, Z.-J., Weinstein, A., Xu, P.: Manin triples for Lie bialgebroids. J. Differ. Geom. 45, 547–574 (1997) [SX08] Stiénon, M., Xu, P.: Reduction of generalized complex structures. J. Geom. Phys. 58(1), 105– 121 (2008) [Vai07] Vaisman, I.: Reduction and submanifolds of generalized complex manifolds. Differ. Geom. Appl. 25(2), 147–166 (2007) [VdLD16] Van der Leer Duran, J.L.: Blow-ups in generalized complex geometry. PhD thesis, Universiteit Utrecht (2016) [VdLD18] Van der Leer Duran, J.L.: Blow-ups in generalized Kähler geometry. Commun. Math. Phys. 357(3), 1133–1156 (2018) [Zam08] Zambon, M.: Reduction of branes in generalized complex geometry. J. Symplectic Geom. 6(4), 353–378 (2008) Communicated by C.Schweigert