Reflexive differential forms on singular spaces. Geometry and cohomology

Based on a recent extension theorem for reflexive differential forms, that is, regular differential forms defined on the smooth locus of a possibly singular variety, we study the geometry and cohomology of sheaves of reflexive differentials.First, we generalise the extension theorem to holomorphic forms on locally algebraic complex spaces. We investigate the (non-)existence of reflexive pluri-differentials on singular rationally connected varieties, using a semistability analysis with respect to movable curve classes. The necessary foundational material concerning this stability notion is developed in an appendix to the paper. Moreover, we prove that Kodaira–Akizuki–Nakano vanishing for sheaves of reflexive differentials holds in certain extreme cases, and that it fails in general. Finally, topological and Hodge-theoretic properties of reflexive differentials are explored.

ALMOST CLOSED 1-FORMS

We construct an algebraic almost closed 1-form with zero scheme not expressible (even locally) as the critical locus of a holomorphic function on a non-singular variety. The result answers a question of Behrend–Fantechi. We correct here an error in our paper (D. Maulik, R Pandharipande and R. P. Thomas, Curves on K3 surfaces and modular forms, J. Topol.3 (2010) 937–996. arXiv:1001.2719v3), where an incorrect construction with the same claimed properties was proposed.

Algebraic cycles on the relative symmetric powers and on the relative Jacobian of a family of curves. II

Let C be a family of curves over a non-singular variety S. We study algebraic cycles on the relative symmetric powers C[n] and on the relative Jacobian J. We consider the Chow homology CH*(C[∙]/S) := ⊕n CH*(C[n]/S) as a ring using the Pontryagin product. We prove that CH*(C[∙]/S) is isomorphic to CH*(J/S)[t]〈u〉, the PD-polynomial algebra (variable: u) over the usual polynomial ring (variable: t) over CH*(J/S). We give two such isomorphisms that over a general base are different. Further we give precise results on how CH*(J/S) sits embedded in CH*(C[∙]/S) and we give an explicit geometric description of how the operators $\smash{\partial_t^{[m]}}\$ and ∂u act. This builds upon the study of certain geometrically defined operators Pi,j (a) that was undertaken by one of us.Our results give rise to a new grading on CH*(J/S). The associated descending filtration is stable under all operators [N]*, and [N]* acts on $\operatorname{gr}^m_{\mathrm{Fil}}$ as multiplication by Nm. Hence, after − ⊗ ℚ this filtration coincides with the one coming from Beauville's decomposition. The grading we obtain is in general different from Beauville's.Finally, we give a version of our main result for tautological classes, and we show how our methods give a simple geometric proof of some relations obtained by Herbaut and van der Geer–Kouvidakis, as later refined by one of us.

Asymptotics of Coefficients of Multivariate Generating Functions: Improvements for Smooth Points

Let $\sum_{\beta\in{\Bbb N}^d} F_\beta x^\beta$ be a multivariate power series. For example $\sum F_\beta x^\beta$ could be a generating function for a combinatorial class. Assume that in a neighbourhood of the origin this series represents a nonentire function $F=G/H^p$ where $G$ and $H$ are holomorphic and $p$ is a positive integer. Given a direction $\alpha\in{\Bbb N}_+^d$ for which the asymptotics are controlled by a smooth point of the singular variety $H = 0$, we compute the asymptotics of $F_{n \alpha}$ as $n\to\infty$. We do this via multivariate singularity analysis and give an explicit uniform formula for the full asymptotic expansion. This improves on earlier work of R. Pemantle and the second author and allows for more accurate numerical approximation, as demonstrated by our our examples (on lattice paths, quantum random walks, and nonoverlapping patterns).

EQUIVARIANT COHOMOLOGY AND HOLOMORPHIC INVARIANT

Using equivariant cohomology, we construct a family of holomorphic invariants which include the famous Futaki invariant and its generalization to singular variety as special cases. We are also using this viewpoint to compute the generalized Futaki invariant for complete intersections.