Maurer--Cartan elements in symplectic cohomology from compactifications

Matthew Strom Borman,Mohamed El Alami,Nick Sheridan

2024-08-17

Abstract:We prove that under certain conditions, a normal crossings compactification of a Liouville domain determines a Maurer--Cartan element for the $L_\infty$ structure on its symplectic cohomology; and deforming by this element gives the quantum cohomology of the compactification.

Symplectic Geometry

What problem does this paper attempt to address?

Geometry of Maurer-Cartan Elements on Complex Manifolds

Zhuo Chen,Mathieu Stienon,Ping Xu

DOI: https://doi.org/10.1007/s00220-010-1029-4

2010-01-04

Abstract:The semi-classical data attached to stacks of algebroids in the sense of Kashiwara and Kontsevich are Maurer-Cartan elements on complex manifolds, which we call extended Poisson structures as they generalize holomorphic Poisson structures. A canonical Lie algebroid is associated to each Maurer-Cartan element. We study the geometry underlying these Maurer-Cartan elements in the light of Lie algebroid theory. In particular, we extend Lichnerowicz-Poisson cohomology and Koszul-Brylinski homology to the realm of extended Poisson manifolds; we establish a sufficient criterion for these to be finite dimensional; we describe how homology and cohomology are related through the Evens-Lu-Weinstein duality module; and we describe a duality on Koszul-Brylinski homology, which generalizes the Serre duality of Dolbeault cohomology.

Differential Geometry,Mathematical Physics
Maurer-Cartan elements and homotopical perturbation theory

Ezra Getzler

DOI: https://doi.org/10.48550/arXiv.1802.06736

2018-02-20

Abstract:Let L be a (pro-nilpotent) curved L-infinity algebra, and let h be a homotopy between L and a subcomplex M. Using homotopical perturbation theory, Fukaya constructed from this data a curved L-infinity structure on M. We prove that projection from L to M induces a bijection between the set of Maurer-Cartan elements x of L such that hx=0 and the set of Maurer-Cartan elements of M.

K-Theory and Homology,Symplectic Geometry
An $L_\infty$ structure on symplectic cohomology

Matthew Strom Borman,Mohamed El Alami,Nick Sheridan

2024-08-17

Abstract:We construct the $L_\infty$ structure on symplectic cohomology of a Liouville domain, together with an enhancement of the closed--open map to an $L_\infty$ homomorphism from symplectic cochains to Hochschild cochains on the wrapped Fukaya category. Features of our construction are that it respects a modified action filtration (in contrast to Pomerleano--Seidel's construction); it uses a compact telescope model (in contrast to Abouzaid--Groman--Varolgunes' construction); and it is adapted to the purposes of our follow-up work where we construct Maurer--Cartan elements in symplectic cochains which are associated to a normal-crossings compactification of the Liouville domain.

Symplectic Geometry
Maurer-Cartan Characterizations and Cohomologies of Compatible Lie Algebras

Jiefeng Liu,Yunhe Sheng,Chengming Bai

DOI: https://doi.org/10.1007/s11425-021-2014-5

2023-01-01

Science China Mathematics

Abstract:In this paper, we give Maurer-Cartan characterizations as well as a cohomology theory for compatible Lie algebras. Explicitly, we first introduce the notion of a bidifferential graded Lie algebra and thus give Maurer-Cartan characterizations of compatible Lie algebras. Then we introduce a cohomology theory of compatible Lie algebras and use it to classify infinitesimal deformations and abelian extensions of compatible Lie algebras. In particular, we introduce the reduced cohomology of a compatible Lie algebra and establish the relation between the reduced cohomology of a compatible Lie algebra and the cohomology of the corresponding compatible linear Poisson structures introduced by Dubrovin and Zhang (2001) in their study of bi-Hamiltonian structures. Finally, we use the Maurer-Cartan approach to classify nonabelian extensions of compatible Lie algebras.
Quantum cohomology of symplectic flag manifolds

Jirui Guo,Hao Zou

DOI: https://doi.org/10.1088/1751-8121/ac7487

2022-07-20

Abstract:We compute the quantum cohomology of symplectic flag manifolds. Symplectic flag manifolds can be described by non-abelian GLSMs with superpotential. Although the ring relations cannot be directly read off from the equations of motion on the Coulomb branch due to complication introduced by the non-abelian gauge symmetry, it can be shown that they can be extracted from the localization formula in a gauge-invariant form. Our result is general for all symplectic flag manifolds, which reduces to previously established results on symplectic Grassmannians and complete symplectic flag manifolds derived by other means. We also explain why a (0,2) deformation of the GLSM does not give rise to a deformation of the quantum cohomology.

High Energy Physics - Theory,Algebraic Geometry
Coulomb branch algebras via symplectic cohomology

Eduardo Gonzalez,Cheuk Yu Mak,Daniel Pomerleano

2023-05-08

Abstract:Let $(\bar{M}, \omega)$ be a compact symplectic manifold with convex boundary and $c_1(T\bar{M})=0$. Suppose that $(\bar{M}, \omega)$ is equipped with a convex Hamiltonian $G$-action for some connected, compact Lie group $G$. We construct an action of the pure Coulomb branch of $G$ on the $G$-equivariant symplectic cohomology of $\bar{M}.$ Building on work of Teleman, we use this construction to characterize the Coulomb branches of Braverman-Finkelberg-Nakajima in terms of equivariant symplectic cohomology.

Symplectic Geometry,Representation Theory
Maurer-Cartan equation for gentle algebras

Monique Müller,María Julia Redondo,Fiorela Rossi Bertone,Pamela Suarez

2023-09-06

Abstract:Let $A= \Bbbk Q/I$ be a finite-dimensional gentle algebra. In this article, under some hypothesis on the quiver $Q$, we give conditions for nilpotency of the $L_\infty$-structure on the shifted Bardzell's complex $B(A)[1]$. For nilpotent cases, we describe Maurer-Cartan elements.

Rings and Algebras
Maurer-Cartan characterization, $L_\infty$-algebras, and cohomology of relative Rota-Baxter operators on Lie-Yamaguti algebras

Jia Zhao,Yu Qiao

2023-10-09

Abstract:In this paper, we first construct a differential graded Lie algebra that controls deformations of a Lie-Yamaguti algebra. Furthermore, a relative Rota-Baxter operator on a Lie-Yamaguti algebra is characterized as a Maurer-Cartan element in an appropriate $L_\infty$-algebra that we build through the graded Lie bracket of Lie-Yamaguti algebra's controlling algebra, and gives rise to a twisted $L_\infty$-algebra that controls its deformation. Next we establish the cohomology theory of relative Rota-Baxter operators on Lie-Yamaguti algebras via the Yamaguti cohomology. Then we clarify the relationship between the twisted $L_\infty$-algebra and the cohomology theory. Finally as byproducts, we classify certain deformations on Lie-Yamaguti algebras using the cohomology theory.

Rings and Algebras
Normal Crossings Singularities for Symplectic Topology: Structures

Mohammad Farajzadeh-Tehrani,Mark Mclean,Aleksey Zinger

DOI: https://doi.org/10.1007/s10114-024-2042-4

2024-01-06

Acta Mathematica Sinica English Series

Abstract:Our previous papers introduce topological notions of normal crossings symplectic divisor and variety, show that they are equivalent, in a suitable sense, to the corresponding geometric notions, and establish a topological smoothability criterion for normal crossings symplectic varieties. The present paper constructs a blowup, a complex line bundle, and a logarithmic tangent bundle naturally associated with a normal crossings symplectic divisor and determines the Chern class of the last bundle. These structures have applications in constructions and analysis of various moduli spaces. As a corollary of the Chern class formula for the logarithmic tangent bundle, we refine Aluffi's formula for the Chern class of the tangent bundle of the blowup at a complete intersection to account for the torsion and extend it to the blowup at the deepest stratum of an arbitrary normal crossings divisor.

mathematics, applied
Hidden structures behind ambient symmetries of the Maurer-Cartan equation

Vladimir Dotsenko,Sergey Shadrin

2024-07-09

Abstract:For every differential graded Lie algebra $\mathfrak{g}$ one can define two different group actions on the Maurer-Cartan elements: the ubiquitous gauge action and the action of $\mathrm{Lie}_\infty$-isotopies of $\mathfrak{g}$, which we call the ambient action. In this note, we explain how the assertion of gauge triviality of a homologically trivial ambient action relates to the calculus of dendriform, Zinbiel, and Rota-Baxter algebras, and to Eulerian idempotents. In particular, we exhibit new relationships between these algebraic structures and the operad of rational functions defined by Loday.

Quantum Algebra,Combinatorics,Category Theory
Singular cohomology of symplectic quotients by circle actions and Kirwan surjectivity

Benjamin Delarue,Pablo Ramacher,Maximilian Schmitt

2023-12-07

Abstract:Let $M$ be a symplectic manifold carrying a Hamiltonian $S^1$-action with momentum map $J:M \rightarrow \mathbb{R}$ and consider the corresponding symplectic quotient $\mathcal{M}_0:=J^{-1}(0)/S^1$. We extend Sjamaar's complex of differential forms on $\mathcal{M}_0$, whose cohomology is isomorphic to the singular cohomology $H(\mathcal{M}_0;\mathbb{R})$ of $\mathcal{M}_0$ with real coefficients, to a complex of differential forms on $\mathcal{M}_0$ associated with a partial desingularization $\widetilde{\mathcal{M}}_0$, which we call resolution differential forms. The cohomology of that complex turns out to be isomorphic to the de Rham cohomology $H(\widetilde{ \mathcal{M}}_0)$ of $\widetilde{\mathcal{M}}_0$. Based on this, we derive a long exact sequence involving both $H(\mathcal{M}_0;\mathbb{R})$ and $H(\widetilde{ \mathcal{M}}_0)$ and give conditions for its splitting. We then define a Kirwan map $\mathcal{K}:H_{S^1}(M) \rightarrow H(\widetilde{\mathcal{M}}_0)$ from the equivariant cohomology $H_{S^1}(M)$ of $M$ to $H(\widetilde{\mathcal{M}}_0)$ and show that its image contains the image of $H(\mathcal{M}_0;\mathbb{R})$ in $H(\widetilde{\mathcal{M}}_0)$ under the natural inclusion. Combining both results in the case that all fixed point components of $M$ have vanishing odd cohomology we obtain a surjection $\check \kappa:H^\textrm{ev}_{S^1}(M) \rightarrow H^\textrm{ev}(\mathcal{M}_0;\mathbb{R})$ in even degrees, while already simple examples show that a similar surjection in odd degrees does not exist in general. As an interesting class of examples we study abelian polygon spaces.

Symplectic Geometry,Algebraic Topology
Higher holonomy for curved L${}_\infty$-algebras 1: simplicial methods

Ezra Getzler

2024-08-21

Abstract:We construct a natural morphism $\rho$ from the nerve $\text{MC}_\bullet(L) = \text{MC}(\Omega_\bullet \widehat{\otimes} L)$ of a pronilpotent curved L${}_\infty$-algebra $L$ to the simplicial subset $\gamma_\bullet(L) = \text{MC}(\Omega_\bullet \widehat{\otimes} L,s_\bullet)$ of Maurer--Cartan element satisfying the Dupont gauge condition. This morphism equals the identity on the image of the inclusion $\gamma_\bullet(L) \hookrightarrow \text{MC}_\bullet(L)$. The proof uses the extension of Berglund's homotopical perturbation theory for L${}_\infty$-algebras to curved L${}_\infty$-algebras. The morphism $\rho$ equals the holonomy for nilpotent Lie algebras. In a sequel to this paper, we use a cubical analogue $\rho^\square$ of $\rho$ to identify $\rho$ with higher holonomy for semiabelian curved \Linf-algebras.

Algebraic Topology,Category Theory
Constructions of symplectic forms on 4-manifolds

Peter Lambert-Cole

2024-03-09

Abstract:Given a symplectic 4-manifold $(X,\omega)$ with rational symplectic form, Auroux constructed branched coverings to $(CP^2,\omega_{FS})$. By modifying a previous construction of Lambert-Cole--Meier--Starkston, we prove that the branch locus in $CP^2$ can be assumed holomorphic in a neighborhood of the spine of the standard trisection of $CP^2$. Consequently, the symplectic 4-manifold $(X,\omega)$ admits a cohomologous symplectic form that is Kähler in a neighborhood of the 2-skeleton of $X$. We define the Picard group of holomorphic line bundles over the holomorphic 2-skeleton. We then investigate Hodge theory and apply harmonic spinors to construct holomorphic sections over the Kähler subset.

Geometric Topology,Symplectic Geometry
Complex cobordism modulo $c_1$-spherical cobordism and related genera

Malkhaz Bakuradze

2023-10-30

Abstract:We prove that the ideal in complex cobordism ring $\MU^*$ generated by the polynomial generators $S=(x_1, x_k, k\geq 3)$ of $c_1$-spherical cobordism ring $W^*$, viewed as elements in $\MU^*$ by forgetful map is prime. Using the Baas-Sullivan theory of cobordism with singularities we define a commutative complex oriented cohomology theory $\MU^*_S(-)$, complex cobordism modulo $c_1$-spherical cobordism, with the coefficient ring $\MU^*/S$. Then any $\Sigma\subseteq S$ is also regular in $\MU^*$ and therefore gives a multiplicative complex oriented cohomology theory $\MU^*_{\Sigma}(-)$. The generators of $W^*[1/2]$ can be specified in such a way that for $\Sigma=(x_k, k\geq 3)$ the corresponding cohomology is identical to the Abel cohomology, previously constructed in \cite{BUSATO}. Another example corresponding to $\Sigma=(x_k, k\geq 5)$ gives the coefficient ring of the universal Buchstaber formal group law after tensored by $\mathbb{Z}[1/2]$, i.e., is identical to the scalar ring of the Krichever-Hoehn complex elliptic genus \cite{KR}, \cite{H}.

Algebraic Topology
On higher-order Courant brackets

Yunhe Sheng

2010-01-01

Abstract:In this paper, we study the algebraic properties of the higher-order Courant bracket and Dorfman bracket on the direct sum bundle $TM\oplus\wedge^nT^*M$ for an $m$-dimensional manifold. As an application, we revisit Nambu-Poisson structures and multisymplectic structures. We prove that the graph of an $(n+1)$-vector field $\pi$ is closed under the higher-order Dorfman bracket iff $\pi$ is a Nambu-Poisson structure. Consequently, there is an induced Leibniz algebroid structure on $\wedge^nT^*M$. The graph of an $(n+1)$-form $\omega$ is closed under the higher-order Dorfman bracket iff $\omega$ is a premultisymplectic structure of order $n$, i.e. $\dM\omega=0$. Furthermore, there is a Lie algebroid structure on the admissible bundle $A\subset\wedge^{n}T^*M$. In particular, for a 2-plectic structure, it induces the Lie 2-algebra structure given in \cite{baez:classicalstring}.
Chain level loop bracket and pseudo-holomorphic disks

Kei Irie

DOI: https://doi.org/10.1112/topo.12140

2023-10-28

Abstract:Let $L$ be a Lagrangian submanifold in a symplectic vector space which is closed, oriented and spin. Using virtual fundamental chains of moduli spaces of nonconstant pseudo-holomorphic disks with boundaries on $L$, one can define a Maurer-Cartan element of a Lie bracket operation in string topology (the loop bracket) defined at chain level. This observation is due to Fukaya, who also pointed out its important consequences in symplectic topology. The goal of this paper is to work out details of this observation. Our argument is based on a string topology chain model previously introduced by the author, and the theory of Kuranishi structures on moduli spaces of pseudo-holomorphic disks, which has been developed by Fukaya-Oh-Ohta-Ono.

Symplectic Geometry,Differential Geometry,Geometric Topology
Non-isomorphic smooth compactifications of the moduli space of cubic surfaces

Sebastian Casalaina-Martin,Samuel Grushevsky,Klaus Hulek,Radu Laza

DOI: https://doi.org/10.1017/nmj.2023.27

2023-08-21

Abstract:The moduli space of complex cubic surfaces has three different, but isomorphic, compact realizations: as a GIT quotient, as a Baily--Borel compactification of a ball quotient, and as a compactified $K$-moduli space. From all three perspectives, there is a unique boundary point corresponding to non-stable surfaces. From the GIT point of view, to deal with this point, it is natural to consider the Kirwan blowup, while from the ball quotient point of view it is natural to consider the toroidal compactification. Both these spaces have the same cohomology and and it is therefore natural to ask whether they are isomorphic. Here we show that this is in fact not the case. Indeed, we show the more refined statement that both spaces are equivalent in the Grothendieck ring, but not $K$-equivalent. Along the way, we establish a number of results and techniques for dealing with singularities and canonical classes of Kirwan blowups and toroidal compactifications of ball quotients.

Algebraic Geometry
Higgs fields, non-abelian Cauchy kernels and the Goldman symplectic structure

Marco Bertola,Chaya Norton,Giulio Ruzza

DOI: https://doi.org/10.1088/1361-6544/ad1a49

2024-02-29

Abstract:We consider the moduli space of vector bundles of rank $n$ and degree $ng$ over a fixed Riemann surface of genus $g\geq 2$. We use the explicit parametrization in terms of the Tyurin data. In the moduli space there is a "non-abelian" Theta divisor, consisting of bundles with $h^1\geq 1$. On the complement of this divisor we construct a non-abelian Cauchy kernel explicitly in terms of the Tyurin data. With the additional datum of a non-special divisor, we can construct a reference flat holomorphic connection which is also dependent holomorphically on the moduli of the bundle. This allows us to identify the bundle of Higgs fields, i.e. the cotangent bundle of the moduli space, with the affine bundle of holomorphic connections and provide a monodromy map into the ${\rm GL}_n$ character variety. We show that the Goldman symplectic structure on the character variety pulls back along this map to the complex canonical symplectic structure on the cotangent bundle and hence also on the space of affine connections. The pull-back of the Liouville one-form to the affine bundle of connections is then shown to be a logarithmic form with poles along the non-abelian theta divisor and residue given by $h^1$.

Algebraic Geometry,Mathematical Physics,Symplectic Geometry
Compactifications of moduli spaces of K3 surfaces with a higher-order nonsymplectic automorphism

Valery Alexeev,Anand Deopurkar,Changho Han

2024-12-16

Abstract:We describe Baily-Borel, toroidal, and geometric -- using the KSBA stable pairs -- compactifications of some moduli spaces of K3 surfaces with a nonsymplectic automorphism of order $3$ and $4$ for which the fixed locus of the automorphism contains a curve of genus $\ge2$. For order $3$, we treat all the maximal-dimensional such families. We show that the toroidal and the KSBA compactifications in these cases admit simple descriptions in terms of certain $ADE$ root lattices.

Algebraic Geometry
Infinitesimal symmetries of bundle gerbes and Courant algebroids

Dinamo Djounvouna,Derek Krepski

2023-04-12

Abstract:Let $M$ be a smooth manifold and let $\chi\in \Omega^3(M)$ be closed differential form with integral periods. We show the Lie 2-algebra of sections of the $\chi$-twisted Courant algebroid on $M$ is quasi-isomorphic to the Lie 2-algebra of connection-preserving multiplicative vector fields on an $S^1$-bundle gerbe with connection (over $M$) whose 3-curvature is $\chi$.

Differential Geometry,Quantum Algebra,Symplectic Geometry

Maurer--Cartan elements in symplectic cohomology from compactifications

Geometry of Maurer-Cartan Elements on Complex Manifolds

Maurer-Cartan elements and homotopical perturbation theory

An $L_\infty$ structure on symplectic cohomology

Maurer-Cartan Characterizations and Cohomologies of Compatible Lie Algebras

Quantum cohomology of symplectic flag manifolds

Coulomb branch algebras via symplectic cohomology

Maurer-Cartan equation for gentle algebras

Maurer-Cartan characterization, $L_\infty$-algebras, and cohomology of relative Rota-Baxter operators on Lie-Yamaguti algebras

Normal Crossings Singularities for Symplectic Topology: Structures

Hidden structures behind ambient symmetries of the Maurer-Cartan equation

Singular cohomology of symplectic quotients by circle actions and Kirwan surjectivity

Higher holonomy for curved L${}_\infty$-algebras 1: simplicial methods

Constructions of symplectic forms on 4-manifolds

Complex cobordism modulo $c_1$-spherical cobordism and related genera

On higher-order Courant brackets

Chain level loop bracket and pseudo-holomorphic disks

Non-isomorphic smooth compactifications of the moduli space of cubic surfaces

Higgs fields, non-abelian Cauchy kernels and the Goldman symplectic structure

Compactifications of moduli spaces of K3 surfaces with a higher-order nonsymplectic automorphism

Infinitesimal symmetries of bundle gerbes and Courant algebroids