betaFeedback

WorksMathematics

Shifted Lagrangian geometry of curves in Radko surfaces

Abstract

We describe the shifted Lagrangian geometry of curves in Radko surfaces, through their global integrations and their homotopy Poisson algebras. We construct the adjoint symplectic groupoid of the surface explicitly, show that admissible curves integrate to embedded Lagrangian subgroupoids, which are 1-shifted Lagrangians, and characterize when their shifted intersections are clean. For a component of the degeneracy locus, a canonical Hamiltonian flow on its shifted self-intersection recovers the modular period. On the infinitesimal side, the homotopy Poisson algebra of a connected admissible curve not contained in the degeneracy locus is L∞L_\infty-isomorphic to its underlying cochain complex, and its L∞L_\infty-isomorphism class is determined by the total contact multiplicity. The brackets of arity at least two can be removed by a change of tubular neighbourhood exactly when all contacts are transverse. At tangential contacts, the binary bracket retains the modular vector field. We establish this distinction using a general characterization of the L∞L_\infty-isomorphisms induced by changes of tubular neighbourhood, valid for arbitrary coisotropic submanifolds.

Introduction

A coisotropic submanifold of a Poisson manifold admits two complementary descriptions. Globally, its conormal Lie algebroid can, under suitable integrability assumptions, be integrated to a Lagrangian subgroupoid of a symplectic groupoid integrating the ambient manifold [10, 5, 6]. Infinitesimally, its Chevalley–Eilenberg complex carries the homotopy Poisson structure of Cattaneo and Felder [7]. These descriptions lead to different questions: whether the integrating subgroupoid is embedded, how it intersects other Lagrangian subgroupoids, and which features of the original geometry are retained by the homotopy Poisson algebra.

Shifted geometry provides a common setting for these questions [25, 4, 29, 22, 23]. A symplectic groupoid presents a 1-shifted symplectic differentiable stack, and a Lagrangian subgroupoid presents a 1-shifted Lagrangian morphism [35, 2]. In the differential-geometric theory developed by the second author, a clean homotopy fibre product of two such Lagrangian carries a 0-shifted Poisson structure whenever the induced Dirac structure is smooth [21]. In previous work, we extended the integration and quantization picture to 1-shifted coisotropics under suitable hypotheses, constructing a flat P∞P_\infty-algebra and a curved A∞A_\infty-quantization [1]. Explicit examples require an understanding of the integrating subgroupoids, the cleanness of their homotopy fibre products, and the dependence of the higher brackets on choices.

In this paper, we study these questions for curves in Radko surfaces. A Radko surface is a compact oriented Poisson surface whose bivector vanishes transversely along a nonempty union of circles DD [26]. We give an explicit description of its adjoint symplectic groupoid, relating the affine local model and the global gluing to the constructions of Gualtieri and Li [14]. Every curve in the surface is coisotropic, and its Lagrangian integrations are 1-shifted Lagrangians, but its contacts with DD produce different behaviour: a curve may cross DD transversely, have tangential contacts, or coincide with a component of DD. This setting allows us to compute both the global integrations and the homotopy Poisson algebras explicitly.

Our results describe how these contacts govern the integrating Lagrangian subgroupoids, their shifted intersections, and the information retained by their homotopy Poisson algebras. In particular, we distinguish isomorphisms of the underlying L∞L_\infty-algebras from those induced by changes of tubular neighbourhood. This distinction is already visible on the Poisson sphere: a meridian and a circle tangent to the degeneracy equator have L∞L_\infty-isomorphic homotopy Poisson algebras, but only the meridian admits a tubular neighbourhood in which all brackets of arity at least two vanish (Example 6.21). We first state the general criterion that makes this distinction precise, before describing the global and infinitesimal results for curves.

Let N⊂MN \subset M be coisotropic, and write a=C∞(∧∙νN)\mathfrak{a}=C^\infty(\wedge^\bullet\nu_N). A tubular neighbourhood ψ\psi of NN, that is, an open embedding into MM of a neighbourhood of the zero section of νN\nu_N which is the identity on NN and induces the identity on νN\nu_N, determines a flat P∞P_\infty-structure λψ\lambda^\psi on a\mathfrak{a}, and we call (a,λψ)(\mathfrak{a},\lambda^\psi) the homotopy Poisson algebra of (N,ψ)(N,\psi). Its unary bracket λ1\lambda_1 is independent of ψ\psi, and it is the Chevalley–Eilenberg differential of TN∘TN^\circ up to sign. The higher brackets are obtained from the formal expansion σψ\sigma_\psi of σ\sigma along NN in the tubular neighbourhood ψ\psi, as higher derived brackets [7, 32, 8].

For the statement of the criterion, recall that an L∞L_\infty-isomorphism is a coalgebra automorphism FF of S(a[1])S(\mathfrak{a}[1]) intertwining the coderivations encoding the brackets. Its linear part is the first Taylor coefficient F1F_1. A formal change of tubular neighbourhood is a formal diffeomorphism of νN\nu_N along NN that induces the identity on NN and on νN\nu_N. The construction recalled in § 2 associates to it a coalgebra automorphism with identity linear part, and an L∞L_\infty-isomorphism whenever the change carries one formal Poisson bivector to the other. We call such an isomorphism induced by a change of tubular neighbourhood.

When F1=id⁡F_1=\operatorname{id}, its logarithm is the well-defined coderivation log⁡F=∑k≥1(−1)k+1k(F−id⁡)k\log F = \sum_{k\geq1}\frac{(-1)^{k+1}}{k}(F-\operatorname{id})^k. The series is finite on each element of S(a[1])S(\mathfrak{a}[1]). A multiderivation is a graded symmetric multilinear map on a[1]\mathfrak{a}[1] satisfying a Leibniz rule in each argument for the product of a\mathfrak{a}. Our first result gives an intrinsic criterion for an isomorphism to be induced by a formal change of neighbourhood.

Theorem A. Let ψ,ψ′\psi,\psi' be tubular neighbourhoods of a coisotropic submanifold of a Poisson manifold. An L∞L_\infty-isomorphism F ⁣:(a,λψ)→(a,λψ′)F\colon(\mathfrak{a},\lambda^\psi)\to(\mathfrak{a},\lambda^{\psi'}) is induced by a change of tubular neighbourhood if and only if F1=id⁡F_1=\operatorname{id} and the Taylor coefficients of positive arity of log⁡F\log F are multiderivations of a\mathfrak{a}.

The inducing formal change is unique. The logarithm is essential, since the Taylor coefficients of FF itself need not be multiderivations. The theorem distinguishes abstract linearization of a homotopy Poisson algebra from linearization by a change of tubular neighbourhood. For coisotropic submanifolds of symplectic manifolds, Schätz and Zambon compare geometric equivalences with gauge equivalences of the associated L∞L_\infty-algebras [30]. Its proof, together with the comparison with the isomorphisms of Cattaneo and Schätz [8], occupies § 2.

We now return to a Radko surface (Σ,σ)(\Sigma,\sigma) with degeneracy locus DD. These are precisely the compact oriented log symplectic surfaces with nonempty degeneracy locus [15, 14]. Near a component DjD_j of DD there are coordinates (t,r)∈Sℓj1×(−ϵj,ϵj)(t,r)\in S^1_{\ell_j}\times(-\epsilon_j,\epsilon_j) in which

σ=r∂∂r∧∂∂t,Sℓj1=R/ℓjZ.\sigma=r\frac{\partial}{\partial r}\wedge\frac{\partial}{\partial t},\qquad S^1_{\ell_j}=\mathbb{R}/\ell_j\mathbb{Z}.

The positive number ℓj\ell_j is the modular period of DjD_j, the period of the modular vector field XvolX_{\mathrm{vol}} [34] of σ\sigma along DjD_j [26]. Together with the oriented degeneracy locus and a regularized volume, the modular periods classify Radko structures [26].

In a symplectic surface, the questions above have simple answers. The adjoint symplectic groupoid of a connected symplectic surface is its pair groupoid, two curves always have a clean homotopy fibre product, and every curve has a tubular neighbourhood whose homotopy Poisson algebra has no brackets of arity at least two. Along the degeneracy locus of a Radko surface, the rank of σ\sigma drops from 22 to 00, so that a curve can meet DD transversely, tangentially to any order, or contain a component of DD.

Let GΣ\mathcal{G}_\Sigma denote the adjoint symplectic groupoid integrating (Σ,σ)(\Sigma,\sigma). In § 3, we give explicit formulas for this groupoid and its symplectic form, using the affine local model and the integration constructions of Gualtieri and Li [14]. Over each component of Σ∖D\Sigma\setminus D it is the pair groupoid, and its isotropy group at a point of DD is the orientation-preserving affine group Aff⁡+(R)={(a,b):a>0, b∈R}\operatorname{Aff}^+(\mathbb{R})=\{(a,b):a>0,\ b\in\mathbb{R}\}, with (a2,b2)(a1,b1)=(a2a1,b1+a1b2)(a_2,b_2)(a_1,b_1)=(a_2a_1,b_1+a_1b_2). Near DjD_j, the groupoid GΣ\mathcal{G}_\Sigma is a quotient of the action groupoid of Aff⁡+(R)\operatorname{Aff}^+(\mathbb{R}) acting on Sℓj1×RS^1_{\ell_j}\times\mathbb{R} by (a,b)⋅(t,r)=(t+br,ar)(a,b)\cdot(t,r)=(t+br,ar), by a discrete subgroupoid of loops which records the modular period (§§3.3 and 3.4). We call {(1,b):b∈R}\{(1,b): b\in\mathbb{R}\} the translation subgroup of Aff⁡+(R)\operatorname{Aff}^{+}(\mathbb{R}), and the conjugates of {(a,0):a>0}\{(a,0):a>0\} its dilation subgroups.

Throughout, a curve is a closed embedded one-dimensional submanifold. We call it admissible if each component is contained in Σ∖D\Sigma\setminus D, is a component of DD, or meets DD in finitely many points. We say that NN is tangent to DD at x∈N∩Dx\in N\cap D if TxN=TxDT_xN=T_xD, which holds in particular if NN contains the component of DD through xx. At a point of N∩DN\cap D, a component not contained in DD has a tangential contact with DD if it is tangent to DD, and a transverse contact otherwise. We do not consider curves which meet DD in infinitely many points without containing a component of it, for which N∩DN\cap D can be an arbitrary closed subset of DjD_j. Our second result integrates admissible curves inside the adjoint groupoid itself, and not only in the source-simply-connected one.

Theorem B. Let NN be an admissible curve in a Radko surface. Then TN∘TN^\circ integrates to an embedded Lagrangian subgroupoid L⇒NL\Rightarrow N of GΣ\mathcal{G}_{\Sigma}, whose isotropy group at p∈N∩Dp\in N\cap D is the translation subgroup if NN is tangent to DD at pp, and a dilation subgroup otherwise.

The subgroupoid LL is source-connected, two points of N∖DN\setminus D are joined by an arrow of LL exactly when they lie in the same component of N∖DN\setminus D, and the arrows with source in N∩DN\cap D are loops. In general, TN∘TN^\circ only integrates to an immersed subgroupoid, the image of a morphism which need not be injective [24], and the Lagrangian subgroupoid of [5] lives in the source-simply-connected integration. Here it is embedded in the adjoint integration, which is Hausdorff, so that LL is a 1-shifted Lagrangian in an explicit Lie groupoid and can be intersected with others.

Given two admissible curves N1N_1 and N2N_2, their subgroupoids L1L_1 and L2L_2 define a homotopy fibre product L1×GΣhL2L_1\times^h_{\mathcal{G}_{\Sigma}}L_2, which is a groupoid over the space of triples (x,g,y)(x,g,y) with x∈N1x\in N_1, y∈N2y\in N_2 and gg an arrow of GΣ\mathcal{G}_{\Sigma} from xx to yy. It is clean if this space is a submanifold with the expected tangent spaces, and this is the condition under which the general theory produces a 0-shifted Poisson structure, since the relevant Dirac structure is then automatically smooth for 1-shifted Lagrangians. Cleanness is weaker than transversality, so this structure is in general Poisson and not symplectic. The cleanness of L1×GΣhL2L_1\times^h_{\mathcal{G}_{\Sigma}}L_2 is controlled by the contacts of N1N_1 and N2N_2 with DD at their common points.

Theorem C. Let N1N_1 and N2N_2 be admissible curves in a Radko surface. Then L1×GΣhL2L_1\times^h_{\mathcal{G}_{\Sigma}}L_2 is clean if and only if, at every point of N1∩N2∩DN_1\cap N_2\cap D, either both curves contain the component of DD through this point, or exactly one of them is tangent to DD.

This condition is not ordinary transversality of the curves in Σ\Sigma: two transverse great circles on the Poisson sphere of Example 5.6 can have a non-clean homotopy fibre product. For a single curve, the shifted self-intersection L×GΣhLL\times^h_{\mathcal{G}_{\Sigma}}L is clean if and only if every component of NN which meets DD is a component of DD (Corollary 5.4).

When it is clean, the homotopy fibre product is Morita equivalent to a disjoint union of finitely many points and, for each common component DjD_j of DD, of the trivial bundle of groups (Sℓj1×R)×R(S^1_{\ell_j}\times\mathbb{R})\times\mathbb{R} over a cylinder (Proposition 5.5). The 0-shifted Poisson structure of [21 Corollary 4.12] restricts to a symplectic form on this cylinder, for which the Hamiltonian vector field of a canonical function projects to the modular vector field of σ\sigma along DjD_j. The modular period is thus recovered as the period of this flow, although the symplectic cylinder alone does not determine it. The regularized volume does not enter, in agreement with the result of Bursztyn and Radko that, for a fixed oriented degeneracy locus, the modular periods determine a Radko structure up to gauge equivalence and Poisson diffeomorphism, and hence up to Morita equivalence [3 Theorems 6.2 and 6.3].

We next compute the homotopy Poisson algebra of a component NcN_c of an admissible curve. The algebra ac=C∞(Nc)⊕C∞(νNc)\mathfrak{a}_c=C^\infty(N_c)\oplus C^\infty(\nu_{N_c}) is concentrated in degrees 0 and 1, and we write (ac,λ1)(\mathfrak{a}_c,\lambda_1) for this algebra with λ1\lambda_1 as its only bracket. In an adapted chart (x,y)(x,y) for a tubular neighbourhood, write Nc={y=0}N_c=\{y=0\}, let ee be the frame of νNc\nu_{N_c} dual to yy, and write

σψ=(∑k≥0νk(x)yk)∂∂x∧∂∂y.\sigma_\psi=\left(\sum_{k\geq0}\nu_k(x)y^k\right)\frac{\partial}{\partial x}\wedge\frac{\partial}{\partial y}.

The higher brackets are expressed directly in terms of the coefficients υk\upsilon_k. Up to graded antisymmetry, the only possibly nonzero brackets are

References

  1. [1]Yassine Ait Mohamed and Maxence Mayrand, Integration and quantization of 1-shifted coisotropics, 2026, arXiv:2610.10151.arxiv.org/abs/2610.10151
  2. [2]Henrique Bursztyn, Marius Crainic, Alan Weinstein, and Chenchang Zhu, Integration of twisted Dirac brackets, Duke Math. J. 123 (2004), no. 3, 549–607.arxiv.org/abs/math/0303180
  3. [3]Henrique Bursztyn and Olga Radko, Gauge equivalence of Dirac structures and symplectic groupoids, Ann. Inst. Fourier (Grenoble) 53 (2003), no. 1, 309–337.DOI
  4. [4]Damien Calaque, Tony Pantev, Bertrand Toën, Michel Vaquié, and Gabriele Vezzosi, Shifted Poisson structures and deformation quantization, J. Topol. 10 (2017), no. 2, 483–584.DOI
  5. [5]Alberto S. Cattaneo, On the integration of Poisson manifolds, Lie algebroids, and coisotropic submanifolds, Lett. Math. Phys. 67 (2004), no. 1, 33–48.DOI
  6. [6]Alberto S. Cattaneo and Giovanni Felder, Coisotropic submanifolds in Poisson geometry and branes in the Poisson sigma model, Lett. Math. Phys. 69 (2004), no. 1–3, 157–175.
  7. [7]Alberto S. Cattaneo, Relative formality theorem and quantisation of coisotropic submanifolds, Adv. Math. 208 (2007), no. 2, 521–548.DOI
  8. [8]Alberto S. Cattaneo and Florian Schätz, Equivalences of higher derived brackets, J. Pure Appl. Algebra 212 (2008), no. 11, 2450–2460.DOI
  9. [9]Marius Crainic, Differentiable and algebroid cohomology, van Est isomorphisms, and characteristic classes, Comment. Math. Helv. 78 (2003), no. 4, 681–721.
  10. [10]Marius Crainic and Rui Loja Fernandes, Integrability of Poisson brackets, J. Differential Geom. 66 (2004), no. 1, 71–137.DOI
  11. [11]Vladimir Dotsenko, Sergey Shadrin, and Bruno Vallette, Maurer–Cartan methods in deformation theory: the twisting procedure, London Mathematical Society Lecture Note Series, vol. 488, Cambridge University Press, Cambridge, 2023.
  12. [12]Stephane Geudens and Marco Zambon, Coisotropic submanifolds in b-symplectic geometry, Canad. J. Math. 73 (2021), no. 3, 737–768.DOI
  13. [13]———, Deformations of Lagrangian submanifolds in log-symplectic manifolds, Adv. Math. 397 (2022), 108202.arxiv.org/abs/2009.01146
  14. [14]Marco Gualtieri and Songhao Li, Symplectic groupoids of log symplectic manifolds, Int. Math. Res. Not. IMRN (2014), no. 11, 3022–3074.DOI
  15. [15]Victor Guillemin, Eva Miranda, and Ana Rita Pires, Symplectic and Poisson geometry on b-manifolds, Adv. Math. 264 (2014), 864–896.
  16. [16]Charlotte Kirchhoff-Lukat, Log Floer cohomology for oriented log symplectic surfaces, J. Geom. Phys. 209 (2025), Paper No. 105412.
  17. [17]Maxim Kontsevich, Deformation quantization of Poisson manifolds, Lett. Math. Phys. 66 (2003), no. 3, 157–216.DOI
  18. [18]Tom Lada and Martin Markl, Strongly homotopy Lie algebras, Comm. Algebra 23 (1995), no. 6, 2147–2161.arxiv.org/abs/hep-th/9406095
  19. [19]John M. Lee, Introduction to smooth manifolds, second ed., Graduate Texts in Mathematics, vol. 218, Springer, New York, 2013.
  20. [20]Jean-Louis Loday and Bruno Vallette, Algebraic operads, Grundlehren der mathematischen Wissenschaften, vol. 346, Springer, Heidelberg, 2012.
  21. [21]Maxence Mayrand, Shifted coisotropic structures for differentiable stacks, Adv. Math. 475 (2025), Paper No. 110345.DOI
  22. [22]Valerio Melani and Pavel Safronov, Derived coisotropic structures I: affine case, Selecta Math. (N.S.) 24 (2018), no. 4, 3061–3118.DOI
  23. [23]———, Derived coisotropic structures II: stacks and quantization, Selecta Math. (N.S.) 24 (2018), no. 4, 3119–3173.DOI
  24. [24]Ieke Moerdijk and Janez Mrčun, On the integrability of Lie subalgebroids, Adv. Math. 204 (2006), no. 1, 101–115.DOI
  25. [25]Tony Pantev, Bertrand Toën, Michel Vaquié, and Gabriele Vezzosi, Shifted symplectic structures, Publ. Math. Inst. Hautes Études Sci. 117 (2013), 271–328.arxiv.org/abs/1111.3209
  26. [26]Olga Radko, A classification of topologically stable Poisson structures on a compact oriented surface, J. Symplectic Geom. 1 (2002), no. 3, 523–542.DOI
  27. [27]Olga Radko and Dimitri Shlyakhtenko, Picard groups of topologically stable Poisson structures, Pacific J. Math. 224 (2006), no. 1, 151–183.DOI
  28. [28]Wulf Rossmann, Lie groups: an introduction through linear groups, Oxford Graduate Texts in Mathematics, vol. 5, Oxford University Press, 2002.
  29. [29]Pavel Safronov, Poisson reduction as a coisotropic intersection, High. Struct. 1 (2017), no. 1, 87–121.arxiv.org/abs/1509.08081
  30. [30]Florian Schätz and Marco Zambon, Equivalences of coisotropic submanifolds, J. Symplectic Geom. 15 (2017), no. 1, 107–149.DOI
  31. [31]Geoffrey Scott, The geometry of bk manifolds, J. Symplectic Geom. 14 (2016), no. 1, 71–95.
  32. [32]Theodore Voronov, Higher derived brackets and homotopy algebras, J. Pure Appl. Algebra 202 (2005), no. 1–3, 133–153.DOI
  33. [33]————, Higher derived brackets for arbitrary derivations, Trav. Math. 16 (2005), 163–186, arXiv:math/0412202.arxiv.org/abs/math/0412202
  34. [34]Alan Weinstein, The modular automorphism group of a Poisson manifold, J. Geom. Phys. 23 (1997), no. 3–4, 379–394.DOI
  35. [35]Ping Xu, Momentum maps and Morita equivalence, J. Differential Geom. 67 (2004), no. 2, 289–333.DOI

Paper details

vlnc:W_gbywwafq
Version
v2 · latest
Published
Fresh — added to the Hub within the last 30 days
Added
License
CC BY-SA 4.0
Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

  • Mathematics

Not recorded for this paper

View statement
Looking for related papers…
Contents