A_ -algebras associated with curves and rational functions on M_g,g. I

DOI10.1112/S0010437X13007574MaRDI QIDQ2877495zbMATH OpenOpenAlexFDO

Authors Robert Fisette, Alexander Polishchuk

Publication date 22 August 2014

Published in Compositio Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.6332

zbMATH Keywords

\(A_{\infty}\)-structurealgebraic curvederived categorygraded algebrasHochschild cohomologyMassey productsmoduli of curvessheaves

Mathematics Subject Classification ID

Families, moduli of curves (algebraic) (14H10) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Differential graded algebras and applications (associative algebraic aspects) (16E45) Massey products (55S30)

Abstract: We consider the natural A-infinity structure on the Ext-algebra $Ex{t}^{\ast }(G,G)$ associated with the coherent sheaf $G={calO}_{C}oplus{calO}_{p_1}oplus\mathrm{...}oplus{calO}_{p_n}$ on a smooth projective curve $C$, where $p_1,\mathrm{...},p_{n}inC$ are distinct points. We study the homotopy class of the product $m_3$. Assuming that $h^0(p_1+\mathrm{...}+p_n)=1$ we prove that $m_3$ is homotopic to zero if and only if $C$ is hyperelliptic and the points $p_i$ are Weierstrass points. In the latter case we show that $m_4$ is not homotopic to zero, provided the genus of $C$ is at least 2. In the case $n=g$ we prove that the A-infinity structure is determined uniquely (up to homotopy) by the products $m_i$ with $ile6$. Also, in this case we study the rational map ${calM}_{g,g}o{BbbA}^{g^2-2g}$ associated with the homotopy class of $m_3$. We prove that for $gge6$ it is birational onto its image, while for $gle5$ it is dominant. We also give an interpretation of this map in terms of tangents to $C$ in the canonical embedding and in the projective embedding given by the linear series $|2(p_1+\mathrm{...}+p_g)|$.

Review text

\(A_\infty\)-algebras over a field are special graded algebras which play an essential role in algebra, geometry, and mathematical physics since more then 20 years. In particular, if \(C\) is a smooth projective curve of genus \(g\) over an algebraically closed field \(k\), then any generator \(G\) in the derived category \(D^b(C)\) of coherent sheaves on \(C\) defines a special \(A_\infty\)-algebra of endomorphisms of \(G\). Actually, this is basically the Ext-algebra \(\operatorname{Ext}^\ast(G,G)\) equipped with certain higher operations \(m_i\), \(i\geq 1\), defined up to homotopy. In the case of an elliptic curve \(C\), this associated \(A_\infty\)-algebra was explicitly described by the second author in [Commun. Math. Phys. 301, No. 3, 709--722 (2011; Zbl 1241.14008)]. In the paper under review, these results are extended to \(A_\infty\)-algebras associated with curves of arbitrary genus. As a generator for the derived category \(D^b(C)\), the authors choose the sheaf \(G:=\mathcal{O}_C\oplus\mathcal{O}_{p_1}\oplus\ldots\oplus\mathcal{O}_{p_n}\) for distinct points \(p_1,\ldots,p_n\) in \(C\) such that \(n\leq g\), and study then the induced \(A_\infty\)-algebra structure on the Ext-algebra \(E_{g,n}:=\operatorname{Ext}^\ast(G,G)\) under the additional assumption \(h^0(p_1+\ldots+p_n)=1\).NEWLINENEWLINENEWLINEUsing a minimal resolution of the algebra \(E_{g,g}\) invented by \textit{M. J. Bardzell} [J. Algebra 188, No. 1, 69--89 (1997; Zbl 0885.16011)], they calculate the Hochschild cohomology of \(E_{g,g}\) in order to completely determine the \(A_\infty\)-algebra structure of this object. Furthermore, they demonstrate that the algebra \(E_{n,g}\) is not determined by any finite number of the structural operations \(m_i\), \(i\geq 1\), quite in contrast to the special case \(n=g\), where \(E_{g,g}\) is determined by \(m_1,\ldots,m_6\) up to homotopy. In the latter case, the obtained results are used to study the rational map from the moduli space \(M_{g,g}\) of \(g\)-pointed curves of genus \(g\) to the affine space \(\mathbb{A}^ {g^2-2g}\), which is naturally associated with the homotopy class of the particular operation \(m_3\). More precisely, it is shown that this map is birational onto its image for \(g\geq 6\), while for \(g\leq 5\) it is dominant. A crucial tool in these investigations is A. Polishchuk's method of triple Massey products on curves as developed in his earlier work [\textit{A. Polishchuk}, Mosc. Math. J. 3, No. 1, 105--121 (2003; Zbl 1092.14036)].

Recommendations

• \(A_\infty\)-structures and moduli spaces
• Moduli of curves as moduli of A_-structures
• scientific article; zbMATH DE number 826083
• Characteristic classes of A_-algebras
• \(A _{\infty }\)-algebra of an elliptic curve and Eisenstein series

Cites work

• \(A _{\infty }\)-algebra of an elliptic curve and Eisenstein series
• \(A\)-infinity structure on Ext-algebras.
• An Algebraic Model for Rational S1-Equivariant Stable Homotopy Theory
• Deformation Theory
• ENHANCED TRIANGULATED CATEGORIES
• Extensions of homogeneous coordinate rings to {\(A_\infty\)}-algebras
• Finitude homotopique des dg-algèbres propres et lisses
• Fukaya categories of the torus and Dehn surgery
• Gaussian maps on algebraic curves
• Homological mirror symmetry for curves of higher genus
• Homological mirror symmetry for manifolds of general type
• Homological mirror symmetry for the genus two curve
• scientific article; zbMATH DE number 1292046 (Why is no real title available?)
• Introduction to \(A\)-infinity algebras and modules
• Matric Massey products
• The alternating syzygy behavior of monomial algebras
• The decomposition of stable homotopy

Cited in

(11)

• Moduli of curves as moduli of A_-structures
• Regularity of the superstring supermeasure and the superperiod map
• A modular compactification of \(\mathcal{M}_{1,n}\) from \(A_ \infty\)-structures
• A remark on generators of \(D(X)\) and flags
• \(A_{\infty}\)-algebras associated with elliptic curves and Eisenstein-Kronecker series
• Moduli of curves, Gröbner bases, and the Krichever map
• The restriction algebra $A(\Gamma)$ for curves $\Gamma \subset \mathsf{R}^n$
• Contracting the Weierstrass locus to a point
• Moduli of curves with nonspecial divisors and relative moduli of \(A_{\infty }\)-structures
• Elliptic bihamiltonian structures from relative shifted Poisson structures
• \(A _{\infty }\)-algebra of an elliptic curve and Eisenstein series

This page was built for publication: \(A_{\infty }\)-algebras associated with curves and rational functions on \(\mathcal{M}_{g,g}\). I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2877495)