Alan Adolphson, Steven Sperber
Let f_1,...,f_r be homogeneous polynomials in K[x_1,...,x_n], K a field. Put F=y_1f_1+...+y_rf_r in K[x,y] and let I be the ideal of K[x,y] generated by the partials of F relative to the x_i and y_j. The Jacobian ring of F is the quotient J:=K[x,y]/I. We describe J by computing the cohomology of a certain complex whose top cohomology group is J.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
This article has been withdrown by the author.
This paper has been withdrawn by the author due to a crucial argument error at p.10.
We translate the results of Yansong Xu into the language of~\cite{GGV1}, obtaining nearly the same formulas for the intersection number of Jacobian pairs, but with an inequality instead of an equality.
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.
In this paper, we develop the theory of Jacobian rings of open complete intersections, which mean a pair $(X,Z)$ where $X$ is a smooth complete intersection in the projective space and and $Z$ is a simple normal crossing divisor in $X$ whose irreducible components are smooth hypersurface sections on $X$. Our Jacobian rings give an algebraic description of the cohomology of the open complement $X-Z$ and it is a natural generalization of the Poincaré residue representation of the cohomology of a hypersurface originally invented by Griffiths. The main results generalize the Macaulay's duality the…
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.
In this paper, we study higher derivations of Jacobian type in positive characteristic. We give a necessary and sufficient condition for $(n-1)$-tuples of polynomials to be extendable in the polynomial ring in $n$ variables over an integral domain $R$ of positive characteristic. In particular, we give characterizations of variables and univariate polynomials by using the terms of higher derivations of Jacobian type in the polynomial ring in two variables over a field of positive characteristic.
We describe algorithms for computing the intersection numbers of divisors and of Chern classes of the Hodge bundle on the moduli spaces of stable pointed curves. We also discuss the implementations and the results obtained. There are several applications. We discuss one in particular: the calculation of the projection in the tautological ring of the moduli space of abelian varieties of the class of the locus of Jacobians.
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 $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$.
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…
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…
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.
The Beilinson-Bloch type conjectures predict that the low degree rational Chow groups of intersections of quadrics are one dimensional. This conjecture was proved by Otwinowska. Making use of homological projective duality and the recent theory of (Jacobians of) noncommutative Chow motives, we give an alternative proof of this conjecture in the case of a complete intersection of either two quadrics or three odd-dimensional quadrics. Moreover, without the use of the powerful Lefschetz theorem, we prove that in these cases the unique non-trivial algebraic Jacobian is the middle one. As an applic…
The Jacobian ideal of a hyperplane arrangement is an ideal in the polynomial ring whose generators are the partial derivatives of the arrangements defining polynomial. In this article, we prove that an arrangement can be reconstructed from its Jacobian ideal.
By using Mather-Jacobian multiplier ideals, we first prove a formula on comparing Grauert-Riemenschneider canonical sheaf with canonical sheaf of a variety over an algebraically closed field of characteristic zero. Then we turn to study Mather-Jacobian multiplier ideals on algebraic curve, in which case the definition of Mather-Jacobian multiplier ideal can be extended to a ground field of any characteristic. We show that Mather-Jacobian multiplier ideal on curves is essentially the same as an integrally closed ideal. Finally by comparing conductor ideal with Mather-Jacobian multiplier ideal, …
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…
We consider the Chow ring with rational coefficients of the Jacobian of a curve. Assume D is a divisor in a base point free g^r_d of the curve such that the canonical divisor K is a multiple of the divisor D. We find relations between tautological cycles. We give applications for curves having a degree d covering of P^1 whose ramification points are all of order d, and then for hyperelliptic curves.
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…
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.
Valuation rings as limits of complete intersection rings
本文证明特征$p>0$的赋值环可表示为完全交环的滤过直接极限。
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…
On Strong Lefschetz Property of 0-dimensional Complete Intersections and Associated Forms
研究零维完全交集满足强Lefschetz性质的条件，证明其关联形式的Hessian非零，探讨关联形式的重建方法及其在Jacobian理想中的应用。
We obtain two equivalent conditions for m polynomials in n variables to form a p-basis of a ring of constants of some polynomial K-derivation, where K is a UFD of characteristic p>0. One of these conditions involves jacobians, and the second - some properties of factors. In the case of m=n this extends the known theorem of Nousiainen, and we obtain a new formulation of the jacobian conjecture in positive characteristic.
Let $(P, Q)$ be a pair of Jacobian polynomials. We can show that $ <P, Q>+l+2g(P)-2= 0= <P, [P,Q]>$, where $<f, g>$ is the intersection number of $f, g\in \CC[x, y]$ in the affine plane, $l$ is the number of branch at point at infinity and $g(P)$ is the geometric genus of affine curve defined by $P$. Hence we can show that every Jacobian polynomial defines a smooth rational curve with one point at infinity. It is sufficient to fix the Jacobian conjecture in two dimension by the Abhyankar theorem or the Abhyankar-Moh-Suzuki theorem.
We study the intersection cohomology of the theta divisors on Jacobians of nonhyperelliptic curves.
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.
Let S be a polynomial ring over a field of characteristic zero in finitely may variables. Let T be an unramified, finitely generated extension of S with $T^\times = k^\times$. Then T = S.
Intersection rings of flag varieties and of isotropic flag varieties are generated by Chern classes of the tautological bundles modulo the relations coming from multiplicativity of total Chern classes. In this paper we describe the Groebner bases of the ideals of relations and give applications to computation of intersections, as implemented in Macaulay2.
The intrinsic cohomology ring of the universal compactified Jacobian over the moduli space of stable curves
本文研究普适紧化雅可比簇的上同调环，证明其对稳定性条件敏感，但通过迷向滤过得到与稳定性无关的内蕴上同调环，仅依赖于亏格和标记点数。
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 study meromorphic jacobian pairs, i.e., pairs of polynomials in one variable, with coefficients meromorphic series in a second variable, whose jacobian relative to the two variables depends only on the second variable. We pose two meromorphic jacobian conjectures about such pairs, one of which is in terms of an invariant of the pair which we call the beta invariant. These conjectures are shown to imply the bivariate algebraic jacobian conjecture which predicts that two bivariate polynomials generate the polynomial ring if their jacobian is a nonzero constant. As another technique for studyi…
$I$-Maximal Variation of Hodge Structure and Jacobian Rings
本文研究光滑超曲面和完全交集家族的高阶Hodge结构变分，通过I-最大变分概念，利用Griffiths的原始上同调描述，将微分Hodge结构变分和n重Yukawa耦合解释为雅可比环的分层乘法映射，证明雅可比环的强Lefschetz性质确保I-最大变分。
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.
Jacobian rings and the infinitesimal Torelli Theorem
本文研究Jacobian环，并识别非退化超曲面在环面中的混合Hodge组件，通过Laurent多项式计算微分的核，从而完成微分Torelli定理的证明，特别是在n≥4的情况下。
Algebraic valuation ring extensions as limits of complete intersection algebras
本文证明了特征 $p>0$ 的代数立即赋值环扩张是有限型完全交代数的滤过并。
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.
For given polynomial map $F:\C^2\to\C^2$ with nonvanishing jacobian we associate a variety whose homology or intersection homology describes the geometry of singularities at infinity of this map.
Suppose K is a field of characteristic 0, $K_a$ is its algebraic closure, p is an odd prime. Suppose, $f(x) \in K[x]$ is a polynomial of degree $n \ge 5$ without multiple roots. Let us consider a curve $C: y^p=f(x)$ and its jacobian J(C). It is known that the ring End(J(C)) of all $K_a$-endomorphisms of J(C) contains the ring $Z[ζ_p]$ of integers in the pth cyclotomic field (generated by obvious automorphisms of C). We prove that $End(J(C))=Z[ζ_p]$ if the Galois group of f over K is either the symmetric group $S_n$ or the alternating group $A_n$.
We calculate a Griffiths-type ring for smooth complete intersection in Grassmannians. This is the analogue of the classical Jacobian ring for complete intersections in projective space, and allows us to explicitly compute their Hodge groups.
In his previous papers (J. reine angew. Math. 544 (2002), 91--110; math.AG/0103203) the author introduced a certain explicit construction of superelliptic jacobians, whose endomorphism ring is the ring of integers in the $p$th cyclotomic field. (Here $p$ is an odd prime.) In the present paper we discuss when these jacobians are mutually non-isogenous. (The case of hyperelliptic jacobians was treated in author's e-print math.NT/0301173 .)
This paper provides a formula for the Mather-Jacobian multiplier ideals of torus invariant ideals on (not necessarily normal) toric varieties that generalizes Howald's formula for the multiplier ideal of monomial ideals in a polynomial ring.
We study tautological cycle classes on the Jacobian of a curve. We prove a new result about the ring of tautological classes on a general curve that allows, among other things, easy dimension calculations and leads to some general results about the structure of this ring. Next we obtain a vanishing result for some of the generating classes p_i; this gives an improvement of an earlier result of Herbaut. Finally we lift a result of Herbaut and van der Geer-Kouvidakis to the Chow ring (as opposed to its quotient modulo algebraic equivalence) and we give a method to obtain further explicit cycle r…
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…
We show that Serre's Intersection Multiplicity Conjecture holds for a formal power series ring A over a complete, two-dimensional regular local ring R. From this, we deduce the corresponding result for the local rings of any scheme X which is a smooth extension of a regular, two-dimensional base Y. We also investigate the connection between intersection multiplicity and transversality in the unramified setting via a local analysis on the blowup.
We prove that the cotangent bundle of a complete intersection of two general translates of the theta divisor of the jacobian of a general curve of genus 4 is ample. From this the same result for a general principally polarized abelian variety of dimension 4 follows.
Let C be a complex curve of genus g, let J(C) be its Jacobian and let R(C) be its tautological ring, that is, the group of algebraic cycles modulo algebraic equivalence. We study the algebraic structure of R(C). In particular, we give a detailed description of all the possibilities that may occur for g<9: we construct convenient basis and we determine the matrices representing the Fourier transform and both intersection and Pontryagin products explicitly. In particular, we estimate the dimension of R(C).
The moduli space of generalized deformations of a Calabi-Yau hypersurface is computed in terms of the Jacobian ring of the defining polynomial. The fibers of the tangent bundle to this moduli space carry algebra structures, which are identified using subalgebras of a deformed Jacobian ring.
In this paper, we consider the tautological ring containing the extended Brill-Noether algebraic classes on the normalization of the compactified Jacobian of a complex nodal projective curve (with one node). This smallest $\Q$-subalgebra of algebraic classes under algebraic equivalence, stable under extensions of the maps induced by multiplication maps, Pontrayagin product and Fourier transform, is shown to be generated by pullback of the Brill-Noether classes of the Jacobian of the normalized curve and some natural classes.
Let $K$ be a field of prime characteristic $p$, $n>4 $ an integer, $f(x)$ an irreducible polynomial over $K$ of degree $n$, whose Galois group is either the full symmetric group $S_n$ or the alternating group $A_n$. Let $l$ be an odd prime different from $p$, $Z[ζ_l]$ the ring of integers in the $l$th cyclotomic field, $C_{f,l}:y^l=f(x)$ the corresponding superelliptic curve and $J(C_{f,l})$ its jacobian. We prove that the ring of all endomorphisms of $J(C_{f,l})$ coincides with $Z[ζ_l]$ if $J(C_{f,l})$ is an ordinary abelian variety and $(l,n)\ne (5,5)$.
We prove a version of the BKK theorem for the ring of conditions of a spherical homogeneous space $G/H$. We also introduce the notion of ring of complete intersections, firstly for a spherical homogeneous space and secondly for an arbitrary variety. Similarly to the ring of conditions of the torus, the ring of complete intersections of $G/H$ admits a description in terms of volumes of polytopes.
Let $f=(f_1, f_2)$ be a regular sequence of affine curves in $\bC^2$. Under some reduction conditions achieved by composing with some polynomial automorphisms of $\bC^2$, we show that the intersection number of curves $(f_i)$ in $\bC^2$ equals to the coefficient of the leading term $x^{n-1}$ in $g_2$, where $n=°f_i$ $(i=1, 2)$ and $(g_1, g_2)$ is the unique solution of the equation $y{\mathcal J}(f)=g_1f_1+g_2f_2$ with $°g_i\leq n-1$. So the well-known Jacobian problem is reduced to solving the equation above. Furthermore, by using the result above, we show that the Jacobian problem can also b…
For each nonsingular hyperelliptic curve of arbitrary genus, we construct a natural injection from the Galois cohomology of 2-torsion subgroups of Jacobian varieties of the curve to the set of isomorphism classes of nonsingular complete intersections of two quadrics. This gives a generalization of the result of Flynn and Skorobogatov.
Let K be a field of characteristic zero, n>4 an integer, f(x) an irreducible polynomial over K of degree n, whose Galois group is doubly transitive simple non-abelian group. Let p be an odd prime, Z[ζ_p] the ring of integers in the p-th cyclotomic field, C_{f,p}:y^p=f(x) the corresponding superelliptic curve and J(C_{f,p}) its jacobian. Assuming that either n=p+1 or p does not divide n(n-1), we prove that the ring of all endomorphisms of J(C_{f,p}) coincides with Z[ζ_p].
We derive effective recursion formulae of top intersections in the tautological ring $R^*(M_g)$ of the moduli space of curves of genus $g\geq 2$. As an application, we prove a convolution-type tautological relation in $R^{g-2}(M_g)$.
Kyoji Saito's notion of a free divisor was generalized by the first author to reduced Gorenstein spaces and by Delphine Pol to reduced Cohen-Macaulay spaces. Starting point is the Aleksandrov-Terao theorem: A hypersurface is free if and only if its Jacobian ideal is maximal Cohen-Macaulay. Pol obtains a generalized Jacobian ideal as a cokernel by dualizing Aleksandrov's multi-logarithmic residue sequence. Notably it is essentially a suitably chosen complete intersection ideal that is used for dualizing. Pol shows that this generalized Jacobian ideal is maximal Cohen-Macaulay if and only if the…
Inverse limits of automorphisms of truncated polynomials and applications related to Jacobian conjecture
本文利用特征 $p$ 多项式环与逆极限技术，证明满足 Jacobian 条件且保持极大理想的多项式环同态必为自同构，为 Jacobian 猜想提供新结论。
Let $F:\Bbb C^n\to\Bbb C^n$ be a polynomial mapping with a non vanishing Jacobian. If the set $S_F$ of non-properness of $F$ is smooth, then $F$ is a surjective mapping. Moreover, the set $S_F$ can not be connected (this is the Nollet-Xavier Conjecture). Additionally, if $n=2$, then the set $S_F$ of non-properness of $F$ cannot be a curve without self-intersections.
We associate to any given finite set of valuations on the polynomial ring in two variables over an algebraically closed field a numerical invariant whose positivity characterizes the case when the intersection of their valuation rings has maximal transcendence degree over the base fields. As an application, we give a criterion for when an analytic branch at infinity in the affine plane that is defined over a number field in a suitable sense is the branch of an algebraic curve.
Let J be the Jacobian of a smooth curve C of genus g, and let A(J) be the ring of algebraic cycles modulo algebraic equivalence on J, tensored with Q. We study in this paper the smallest Q-vector subspace R of A(J) which contains C and is stable under the natural operations of A(J) : intersection and Pontryagin products, pull back and push down under multiplication by integers. We prove that this "tautological subring" is generated (over Q) by the classes of the subvarieties W_1=C, W_2=C+C, ..., W_{g-1}. If C admits a morphism of degree d onto P^1, we prove that the last d-1 classes suffice.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。