Projective connections on super Heisenberg coinvariants. I
We study derived coinvariants of isotropic subbundles on modules over super Heisenberg algebras and construct certain natural transitive Lie algebroids acting on them.
arXiv subjects
Publications and source records attributed to Alexander Polishchuk.
We study derived coinvariants of isotropic subbundles on modules over super Heisenberg algebras and construct certain natural transitive Lie algebroids acting on them.
We introduce an $L^2$-norm on the space of Schwartz half-densities over algebraic stacks over local non-archimedean fields. We show that these $L^2$-norms are finite for the stacks of $PGL_2$-bundles on $\mathbb{P}^1$ with parabolic structures at $\ge 3$ points. The latter property was conjectured in the context of the analytic Langlands correspondence of arXiv:2103.01509.
We establish a link between open positroid varieties in the Grassmannians $G(k,n)$ and certain moduli spaces of complexes of vector bundles over Kodaira cycle $C^n$, using the shifted Poisson structure on the latter moduli spaces and relating them to a certain twist of the standard Poisson structure on $G(k,n)$. %by a bivector field on its maximal torus. This link allows us to solve a classification problem for extensions of vector bundles over $C^n$. Based on this solution we further classify the symplectic leaves of all positroid varieties in $G(k,n)$ with respect to the twisted standard Poisson structure. Moreover, we get an explicit description of the moduli stack of symplectic leaves of $G(k,n)$ with the twisted standard Poisson structure as an open substack of the stack of vector bundles on $C^n$.
We study Hecke operators associated with curves over a non-archimedean local field $K$ and over the rings $O/{\mathfrak m}^N$, where $O\subset K$ is the ring of integers. Our main result is commutativity of a certain "small" local Hecke algebra over $O/{\mathfrak m}^N$, associated with a connected split reductive group $G$ such that $[G,G]$ is simple and simpy connected. The proof uses a Hecke algebra associated with $G(K(\!(t)\!))$ and a global argument involving $G$-bundles on curves.
We continue the study of automorphic functions associated with a curve $C$ over the ring $k[ε]/(ε^2)$, where $k$ is a finite field, begun in arXiv:2303.16259. Namely, we study an example of theta-lifting in this framework and show that it can be understood in terms of the orbit decomposition of the space of automorphic functions $\mathcal{S}(\rm{SL}_2(F)\backslash \rm{SL}_2(\mathbb{A}_C))$ introduced in loc.cit. We prove that all strongly cuspidal functions in $\mathcal{S}(\rm{SL}_2(F)\backslash \rm{SL}_2(\mathbb{A}_C))$ can be constructed using theta-lifting for an appropriate double covering $\tilde{C}\to C$.
We prove that a bounded complex of coherent sheaves on an abelian variety A, whose Fourier-Mukai transform has support of dimension at most 1, extends to a perfect complex on the standard NC-smooth thickening of A and on the deformation quantization of any constant Poisson bracket on A. We discuss a related conjectural characterization of Jacobians in terms of NC-smooth thickenings.
These notes aim at providing a complete and systematic account of some foundational aspects of algebraic supergeometry, namely, the extension to the geometry of superschemes of many classical notions, techniques and results that make up the general backbone of algebraic geometry, most of them originating from Grothendieck's work. In particular, we extend to algebraic supergeometry such notions as projective and proper morphisms, finiteness of the cohomology, vector and projective bundles, cohomology base change, semicontinuity theorems, relative duality, Castelnuovo-Mumford regularity, flattening, Hilbert and Quot schemes, faithfully flat descent, quotient étale relations (notably, Picard schemes), among others. Some results may be found elsewhere, and, in particular, there is some overlap with a recent preprint by Moosavian and Zhou. However, many techniques and constructions are presented here for the first time, notably, a first development of Grothendieck relative duality for proper morphisms of superschemes, the construction of the Hilbert superscheme in a more general situation than the one already known (which in particular allows one to treat the case of sub-superschemes of supergrassmannians), and a rigorous construction of the Picard superscheme for a locally superprojective morphism of noetherian superschemes with geometrically integral fibres. Moreover, some of the proofs given here are new as well, even when restricted to ordinary schemes. In a final section we construct a period map from an open substack of the moduli of proper and smooth supercurves to the moduli stack of principally polarized abelian superchemes.
We determine the convergence regions of certain local integrals on the moduli spaces of curves in neighborhoods of fixed stable curves in terms of the combinatorics of the corresponding graphs.
Let $C$ be a curve over a non-archimedean local field of characteristic zero. We formulate algebro-geometric statements that imply boundedness of functions on the moduli space of stable bundles of rank $2$ and fixed odd degree determinant over $C$, coming from the Schwartz space of $κ$-densities on the corresponding stack of bundles (earlier we proved that these functions are locally constant on the locus of very stable bundles). We prove the relevant algebro-geometric statements for curves of genus $2$ and for non-hyperelliptic curves of genus $3$.
We prove that for every relatively prime pair of integers $(d,r)$ with $r>0$, there exists an exceptional pair $({\mathcal O},V)$ on any del Pezzo surface of degree 4, such that $V$ is a bundle of rank $r$ and degree $d$. As an application, we prove that every Feigin-Odesskii Poisson bracket on a projective space can be included into a 5-dimensional linear space of compatible Poisson brackets. We also construct new examples of linear spaces of compatible Feigin-Odesskii Poisson brackets of dimension $>5$, coming from del Pezzo surfaces of degree $>4$.
We give a description of the formal neighborhoods of the components of the boundary divisor in the Deligne-Mumford moduli stack $\overline{\mathcal M}_g$ of stable curves in terms of the extended clutching construction that we define. This construction can be viewed as a formal version of the analytic plumbing construction. The advantage of our formal construction is that we can control the effect of changing formal parameters at the marked points that are being glued. As an application, we prove that the infinitesimal neighborhood of the boundary component $Δ_{1,1}$ in $\overline{\mathcal M}_2$ is canonically isomorphic to the infinitesimal neighborhood of the zero section in the normal bundle. As another application, we show how to study the period map near the boundary components $Δ_{g_1,g_2}$ in terms of the coordinates coming from our extended clutching construction.
Let $\rm{Bun}$ be the moduli stack of rank $2$ bundles with fixed determinant on a smooth proper curve $C$ over a local field $F$. We show how to associate with a Schwartz $κ$-density, for $\rm{Re}(κ)\ge 1/2$, a smooth function on the corresponding coarse moduli space of very stable bundles. In the non-archimedean case we also prove that the stack $\rm{Bun}$ is $κ$-bounded in the sense of Definition 2.10 of [arXiv:2112.08139] for any $κ\in\mathbb{C}$.
We study the behavior of the superperiod map near the boundary of the moduli space of stable supercurves and prove that it is similar to the behavior of periods of classical curves. We consider two applications to the geometry of this moduli space in genus $2$, denoted as $\bar{\mathcal S}_2$. First, we characterize the canonical projection of $\bar{\mathcal S}_2$ in terms of its behavior near the boundary, proving in particular that $\bar{\mathcal S}_2$ is not projected. Secondly, we combine the information on superperiods with the explicit calculation of genus $2$ Mumford isomorphism, due to Witten, to study the expansion of the superstring measure for genus $2$ near the boundary. We also present the proof, due to Deligne, of regularity of the superstring measure on $\bar{\mathcal S}_g$ for any genus.
We consider the ${\mathbb Z}^n$-graded algebra of global sections of line bundles generated by the standard line bundles $L_1,\ldots,L_n$ on $\bar{M}_{0,n}$. We find a simple presentation of this algebra by generators and quadratic relations. As an application we prove that the moduli space $\bar{M}_{0,n}[ψ]$ of $ψ$-stable curves of genus $0$ is Cohen-Macaulay and normal, and the natural map $\bar{M}_{0,n}\to \bar{M}_{0,n}[ψ]$ is a rational resolution.
We prove that a pair of Feigin-Odesskii Poisson brackets on ${\mathbb P}^4$ associated with elliptic curves given as linear sections of the Grassmannian $G(2,5)$ are compatible if and only if this pair of elliptic curves is contained in a del Pezzo surface obtained as a linear section of $G(2,5)$.
We study the standard family of supercurves of genus 1 with an underlying odd spin structures. We give a simple algebraic description of this family and of the compactified family of stable supercurves with one Neveu-Schwarz puncture. We also describe the Gauss-Manin connection on the first de Rham cohomology of this family and compute the superperiods of global differentials.
In this paper, generalizing the construction of \cite{HP1}, we equip the relative moduli stack of complexes over a Calabi-Yau fibration (possibly with singular fibers) with a shifted Poisson structure. Applying this construction to the anticanonical linear systems on surfaces, we get examples of compatible Poisson brackets on projective spaces extending Feigin-Odesskii Poisson brackets. Computing explicitly the corresponding compatible brackets coming from Hirzebruch surfaces, we recover the brackets defined by Odesskii-Wolf in \cite{OW}.
We give explicit formulas for ten compatible Poisson brackets on $\mathbb P^5$ found in arXiv:2007.12351.