We study the 0-th local cohomology module of the jacobian ring of a singular reduced complex projective hypersurface X, by relating it to the sheaf of logarithmic vector field along X. We investigate the analogies between the local cohomology and the well known properties of the jacobian ring of a nonsingular hypersurface. In particular we study self-duality, Hodge theoretic and Torelli type questions.
Let C be an integral projective curve with surficial singularities. We prove that topologically trivial line bundles on the compactified Jacobian of C are in one-to-one correspondence with line bundles on C (the autoduality conjecture), and compute the cohomology of the line bundles. We also show that the natural Fourier-Mukai functor between the derived categories of quasi-coherent sheaves on the Jacobian and on the compactified Jacobian is fully faithful.
We prove that the $0$-th local cohomology of the jacobian ring of a projective hypersurface with isolated singularities has a nice interpretation it in the context of linkage theory. Roughly speaking, it represents a measure of the failure of Gherardelli's theorem for the corresponding graded modules. This leads us to a different and characteristic free proof of its self-duality, which turns out to be an easy consequence of Grothendieck's local duality theorem.
We provide an explicit presentation of the equivariant cohomology ring of the compactified Jacobian $J_{q/p}$ of the rational curve $C_{q/p}$ with planar equation $x^{q}=y^{p}$ for $(p,q)=1$. We also prove analogous results for the closely related affine Springer fiber $Sp_{q/p}$ in the affine flag variety of $SL_{p}$. We show that the perverse filtration on the cohomology of $J_{q/p}$ is multiplicative, and the associated graded ring under the perverse filtration is a degeneration of the ring of functions on a moduli space of maps $\mathbb{P}^{1}\to C_{q/p}$. We also propose several conjectur…
The Jacobian ring J(X) of a smooth hypersurface determines its isomorphism type. This has been used by Donagi and others to prove the generic global Torelli theorem for hypersurfaces in many cases. In Voisin's original proof of the global Torelli theorem for smooth cubic fourfolds the Jacobian ring does not intervene. In this paper we present a proof of the global Torelli theorem for cubic fourfolds that relies on the Jacobian ring and the (derived) global Torelli theorem for K3 surfaces. It emphasizes, once again, the relation between K3 surfaces and smooth cubic fourfolds. More generally, fo…
Let $f$ be an invertible polynomial and $G$ a group of diagonal symmetries of $f$. This note shows that the orbifold Jacobian algebra $\mathrm{Jac}(f,G)$ of $(f,G)$ defined by the authors and Elisabeth Werner in arXiv:1608.08962 is isomorphic as a $\mathbb{ZZ}/2\mathbb{ZZ}$-graded algebra to the Hochschild cohomology $\mathsf{HH}^*(\mathrm{MF}_G(f))$ of the dg-category $\mathrm{MF}_G(f)$ of $G$-equivariant matrix factorizations of $f$ by calculating the product formula of $\mathsf{HH}^*(\mathrm{MF}_G(f))$ given by Shklyarov in arXiv:1708.06030. We also discuss the relation of our previous resu…
We show that the infinitesimal deformations of the Brill--Noether locus $W_d$ attached to a smooth non-hyperelliptic curve $C$ are in one-to-one correspondence with the deformations of $C$. As an application, we prove that if a Jacobian $J$ deforms together with a minimal cohomology class out the Jacobian locus, then $J$ is hyperelliptic. In particular, this provides an evidence to a conjecture of Debarre on the classification of ppavs carrying a minimal cohomology class. Finally, we also study simultaneous deformations of Fano surfaces of lines and intermediate Jacobians.
Let $J$ be the Jacobian of a smooth projective complex curve $C$ which admits non-trivial automorphisms, and let $A(J)$ be the ring of algebraic cycles on $J$ with rational coefficients modulo algebraic equivalence. We present new tautological rings in $A(J)$ which extend in a natural way the tautological ring studied by Beauville (Compos Math 140(3):683-688, 2004). We then show there exist tautological rings induced on special complementary abelian subvarieties of $J$.
We classify GV-subschemes of five-dimensional ppavs, showing that they exist only on Jacobians of curves and intermediate Jacobians of cubic threefolds, and confirming a conjecture of Pareschi--Popa in this case. The result is implied by a more general statement about subvarieties of minimal cohomology class whose sum is a theta divisor.
In this note, we examine the Jacobian ring description of the Hodge structure of zero loci of vector bundle sections on a class of ambient varieties. We consider a set of cohomological vanishing conditions that imply such a description, and we verify these conditions for some new cases. We also observe that the method can be directly extended to log homogeneous varieties. We apply the Jacobian ring to study the null varieties of period integrals and their derivatives, generalizing a result in [9] for projective spaces. As an additional application, we prove the Hodge conjecture for very generi…
This note gives the complete projective classification of rational, cuspidal plane curves of degree at least 6, and having only weighted homogeneous singularities. It also sheds new light on some previous characterizations of free and nearly free curves in terms of Tjurina numbers. Finally, we suggest a stronger form of Terao's conjecture on the freeness of a line arrangement being determined by its combinatorics.
We connect two notions of tautological ring: one for the moduli space of curves (after Mumford, Faber, etc.), and the other for the Jacobian of a curve (after Beauville, Polishchuk, etc.). The motivic Lefschetz decomposition on the Jacobian side produces relations between tautological classes, leading to results about Faber's Gorenstein conjecture on the curve side. We also relate certain Gorenstein properties on both sides and verify them for small genera. Further, we raise the question whether all tautological relations are motivic, giving a possible explanation why the Gorenstein properties…
This paper studies the local geometry of compactified Jacobians constructed by Caporaso, Oda-Seshadri, Pandharipande, and Simpson. The main result is a presentation of the completed local ring of the compactified Jacobian of a nodal curve as an explicit ring of invariants described in terms of the dual graph of the curve. The authors have investigated the geometric and combinatorial properties of these rings in previous work, and consequences for compactified Jacobians are presented in this paper. Similar results are given for the local structure of the universal compactified Jacobian over the…
We give a new method of producing relations in the tautological ring R(M_{g, 1}), using the sl_2-action on the Chow ring of the universal Jacobian. With these relations, we prove that R(M_{g, 1}) is generated by κ_i for i no greater than g/3, together with ψ. Our computation shows that Faber's conjectures for M_{g, 1} are true for g up to 19. Further, by pushing relations forward to M_g, we obtain a new proof of Faber's conjectures (for M_g) for g up to 23. For g = 24, our method recovers all the Faber-Zagier relations. We also give an algebraic proof of an identity of Morita.
We describe several improvements to algorithms for the rigorous computation of the endomorphism ring of the Jacobian of a curve defined over a number field.
We compare the cohomology ring of the flag variety $FL_n$ and the Chow cohomology ring of the Gelfand-Zetlin toric variety $X_{GZ}$. We show that $H^*(FL_n, \mathbb{Q})$ is the Gorenstein quotient of the subalgebra $L$ of $A^*(X_{GZ}, \mathbb{Q})$ generated by degree $1$ elements. We compute these algebras for $n=3$ to see that, in general, the subalgebra $L$ does not have Poincare duality.
We show that the image of the Abel-Jacobi map admits functorially a model over the field of definition, with the property that the Abel-Jacobi map is equivariant with respect to this model. The cohomology of this abelian variety over the base field is isomorphic as a Galois representation to the deepest part of the coniveau filtration of the cohomology of the projective variety. Moreover, we show that this model over the base field is dominated by the Albanese variety of a product of components of the Hilbert scheme of the projective variety, and thus we answer a question of Mazur. We also rec…
We construct an infinitesimal invariant for cycles in a family with cohomology class in the total space lying in a given level of the Leray filtration. This infinitesimal invariant detects cycles modulo algebraic equivalence in the fibers. We apply this construction to the Ikeda family, which gives optimal results for the Beauville decomposition of the 1-cycle of a very general plane curve in its Jacobian.
We characterize the relative prismatic cohomology of Bhatt and Scholze by a universal property by endowing it with the additional structure of a ``derived $δ$-ring". This involves introducing an analogue of prismatic envelopes in the setting of filtered derived commutative rings and applying this construction to the Hodge filtration on infinitesimal cohomology. In particular, we recover relative prismatic cohomology from infinitesimal cohomology via a purely algebraic process.
By using vector field techniques, we compute the ordinary and equivariant cohomology rings of Hilbert scheme of points in the projective plane in relation with that of a Grassmann variety.
We identify several classes of curves $C:f=0$, for which the Hilbert vector of the Jacobian module $N(f)$ can be completely determined, namely the 3-syzygy curves, the maximal Tjurina curves and the nodal curves, having only rational irreducible components. A result due to Hartshorne, on the cohomology of some rank 2 vector bundles on $\mathbb{P}^2$, is used to get a sharp lower bound for the initial degree of the Jacobian module $N(f)$, under a semistability condition.
We give a quasihomogeneity criterion for Gorenstein curves. For complete intersections, it is related to the first step of Vasconcelos' normalization algorithm. In the process, we give a simplified proof of the Kunz-Ruppert criterion.
Given a polynomial $W$ with an isolated singularity, we can consider the Jacobian ring as an invariant of the singularity. If in addition we have a group action on the polynomial ring with $W$ fixed, we are led to consider the twisted Jacobian ring which reflects the equivariant structure as well. Our main result is to show that the twisted Jacobian ring is isomorphic to an endomorphism ring of the "twisted diagonal" matrix factorization. As an application, we suggest a way to investigate Floer theory of Lagrangian submanifolds which represent homological mirror functors.
For a germ $f$ on a complex manifold $X$, we introduce a complex derived from the Liouville form acting on logarithmic differential forms, and give an exactness criterion. We use this Liouville complex to connect properties of the $D$-module generated by $f^s$ to homological data of the Jacobian ideal; specifically we show that for a large class of germs the annihilator of $f^s$ is generated by derivations. Through local cohomology, we connect the cohomology of the Milnor fiber to the Jacobian module via logarithmic differentials. In particular, we consider (not necessarily reduced) hyperplane…
Relations between tautological cycles on Jacobians
研究了曲线雅可比行列式上的重言式循环类。我们证明了一个新的结果环重言类的一般曲线,允许,除其他事项外,容易的尺寸计算,并导致一些一般的结果,这个环的结构。接下来,我们得到了消失的结果,一些生成类p_i,这给了一个改进的早期结果的Herbaut。最后,我们解除Herbaut和van der Geer-Kouvidakis的结果的Chow环(相对于其商模代数等价),我们给出了一种方法,以获得进一步明确的循环关系。作为一个成分,我们证明了一个定理如何Polishchuk的运营商D升降机的重言式子代数周(J)。
We explore the structure of the cohomology ring of the moduli space of stable 1-dimensional sheaves on $\mathbb{P}^2$ of any degree. We obtain a minimal set of tautological generators, which implies an optimal generation result for both the cohomology and the Chow ring of the moduli space. Our approach is through a geometric study of tautological relations.
Let C be a curve over a non-singular base variety S. We study algebraic cycles on the symmetric powers C^[n] and on the Jacobian J. The Chow homology of C^[*], the sum of all C^[n], is a ring using the Pontryagin product. We prove that this ring is isomorphic to CH(J)[t]<u>, the PD-polynomial algebra (variable: u) over the usual polynomial ring (variable: t) over the Chow ring CH(J). We give two such isomorphisms that over a general base are different. Further we give some precise results on how CH(J) sits embedded in CH(C^[*]) and we give an explicit geometric description of how the derivatio…
Newstead gave the generators of the cohomology ring of the moduli space of rank 2 semi-stable, torsion-free sheaves with fixed odd degree determinant over a smooth, projective curve. In this article, we generalize this result to the case when the underlying curve is irreducible, nodal. We show that these generators (of the cohomology ring in the nodal curve case) arise naturally as degeneration of Newstead's generators in the smooth curve case.
We describe an algorithm, based on the properties of the characteristic polynomials of Frobenius, to compute $\operatorname{End}_{\overline{K}}(A)$ when $A$ is the Jacobian of a nice genus-2 curve over a number field $K$. We use this algorithm to confirm that the description of the structure of the geometric endomorphism ring of $\operatorname{Jac}(C)$ given in the LMFDB ($L$-functions and modular forms database) is correct for all the genus 2 curves $C$ currently listed in it. We also discuss the determination of the field of definition of the endomorphisms in some special cases.
We give a short new computation of the quantum cohomology of an arbitrary smooth toric variety $X$, by showing directly that the Kodaira-Spencer map of Fukaya-Oh-Ohta-Ono defines an isomorphism onto a suitable Jacobian ring. The proof is based on the purely algebraic fact that a class of generalised Jacobian rings associated to $X$ are free as modules over the Novikov ring. In contrast to previous results of this kind, $X$ need not be compact. When $X$ is monotone the presentation we obtain is completely explicit, using only well-known computations with the standard complex structure.
In this paper, we exploit some geometric-differential techniques to prove the strong Lefschetz property in degree $1$ for a complete intersection standard Artinian Gorenstein algebra of codimension $6$ presented by quadrics. We prove also some strong Lefschetz properties for the same kind of Artinian algebras in higher codimensions. Moreover, we analyze some loci that come naturally into the picture of "special" Artinian algebras: for them, we give some geometric descriptions and show a connection between the non emptiness of the so-called non-Lefschetz locus in degree $1$ and the "lifting" of…
We describe the Chow rings of moduli spaces of ordered configurations of points on the projective line for arbitrary (sufficiently generic) stabilities. As an application, we exhibit such a moduli space admitting two small desingularizations with non-isomorphic cohomology rings.
For the split group $G_{2}$ defined over $\mathbb{Z},$ we show that the de Rham cohomology ring of $B(G_{2})_{\mathbb{F}_{2}}$ is isomorphic to the singular cohomology ring with $\mathbb{F}_{2}$-coefficients of $B(G_{2})_{\mathbb{C}}.$ For the spin groups $\textrm{Spin}(n)$ defined over $\mathbb{Z},$ we show that the de Rham cohomology ring of $B\textrm{Spin}(n)_{\mathbb{F}_{2}}$ is isomorphic to the singular cohomology ring with $\mathbb{F}_{2}$-coefficients of $B\textrm{Spin}(n)_{\mathbb{C}}$ for $n \leq 10.$ For $n=11,$ we make a full computation of the de Rham cohomology ring of $B\textrm{…