On the Structure of Second Jacobian Ideals

Fei Ye

2024-11-23

Abstract:We show that the second Jacobian ideal of a hypersurface can be decomposed such that a power of the Jacobian ideal becomes a factor. As an application of the decomposition, we present an elementary proof establishing that the second Nash blow-up algebra of a hypersurface singularity is a contact invariant.

Algebraic Geometry

What problem does this paper attempt to address?

Higher Jacobian ideals, contact equivalence and motivic zeta functions

Quy Thuong Lê,Takehiko Yasuda

2023-10-12

Abstract:We show basic properties of higher Jacobian matrices and higher Jacobian ideals for functions and apply it to obtain two results concerning singularities of functions. Firstly, we prove that a higher Nash blowup algebra is invariant under contact equivalences, which was recently conjectured by Hussain, Ma, Yau and Zuo. Secondly, we obtain an analogue of a result on motivic nearby cycles by Bussi, Joyce and Meinhardt.

Algebraic Geometry,Commutative Algebra
Jacobian schemes arising from hypersurface arrangements in $\mathbb P^n$

Juan Migliore,Uwe Nagel

2024-07-11

Abstract:Freeness is an important property of a hypersurface arrangement, although its presence is not well understood. A hypersurface arrangement in $\PP^n$ is free if $S/J$ is Cohen-Macaulay (CM), where $S = K[x_0,\ldots,x_n]$ and $J$ is the Jacobian ideal. We study three related unmixed ideals: $J^{top}$, the intersection of height two primary components, $\sqrt{J^{top}}$, the radical of $J^{top}$, and when the $f_i$ are smooth we also study $\sqrt{J}$. Under mild hypotheses, we show that these ideals are CM. This establishes a full generalization of an earlier result with Schenck from hyperplane arrangements to hypersurface arrangements. If the hypotheses fail for an arrangement in projective $3$-space, the Hartshorne-Rao module measures the failure of CMness. We establish consequences for the even liaison classes of $J^{top}$ and $\sqrt{J}$.

Algebraic Geometry,Commutative Algebra
Jacobian Schemes Arising From Hypersurface Arrangements in P n

Juan Migliore,Uwe Nagel

DOI: https://doi.org/10.1093/imrn/rnae164

2024-07-31

International Mathematics Research Notices

Abstract:Abstract Freeness is an important property of a hypersurface arrangement, although its presence is not well understood. A hypersurface arrangement in ${\mathbb{P}}^{n}$ is free if $S/J$ is Cohen–Macaulay (CM), where $S = K[x_{0},\ldots ,x_{n}]$ and $J$ is the Jacobian ideal. We study three related unmixed ideals: $J^{top}$, the intersection of height two primary components, $\sqrt{J^{top}}$, the radical of $J^{top}$, and when the $f_{i}$ are smooth we also study $\sqrt{J}$. Under mild hypotheses, we show that these ideals are CM. This establishes a full generalization of an earlier result with Schenck from hyperplane arrangements to hypersurface arrangements. If the hypotheses fail for an arrangement in projective $3$-space, the Hartshorne–Rao module measures the failure of CMness. We establish consequences for the even liaison classes of $J^{top}$ and $\sqrt{J}$.

mathematics
Explicit construction of decomposable Jacobians

Mesut Buğday,Mohammad Sadek

2024-10-12

Abstract:In this note we give explicit constructions of decomposable hyperelliptic Jacobian varieties over fields of characteristic $0$. These include hyperelliptic Jacobian varieties that are isogenous to a product of two absolutely simple hyperelliptic Jacobian varieties, a square of a hyperelliptic Jacobian variety, and a product of four hyperelliptic Jacobian varieties three of which are of the same dimension. As an application, we produce families of hyperelliptic curves with infinitely many quadratic twists having at least two rational non-Weierstrass points; and families of quadruples of hyperelliptic curves together with infinitely many square-free $d$ such that the quadratic twists of each of the curves by $d$ possess at least one rational non-Weierstrass point.

Algebraic Geometry
Jacobian Newton Polyhedra and equisingularity

Bernard Teissier

DOI: https://doi.org/10.48550/arXiv.1203.5595

2012-03-26

Algebraic Geometry

Abstract:This is the LaTeX version of the handwritten notes of a lecture at the Kyoto Singularities Symposium held at the RIMS in April 1978. It presents the relationship of various invariants of isolated singularities of complex analytic hypersurfaces with the jacobian Newton polygon built from the polar curves. An appendix presents features of the semiring of Newton polygons, because the product of Jacobian Newton polygons corresponds to the Thom-Sebastiani sum of hypersurfaces. Analogies between mixed multiplicities and mixed volumes are noticed. They have been explained since.
A Jacobian criterion for nonsingularity in mixed characteristic

Melvin Hochster,Jack Jeffries

2024-09-16

Abstract:We give a version of the usual Jacobian characterization of the defining ideal of the singular locus in the equal characteristic case: the new theorem is valid for essentially affine algebras over a complete local algebra over a mixed characteristic discrete valuation ring. The result makes use of the minors of a matrix that includes a row coming from the values of a $p$-derivation. To study the analogue of modules of differentials associated with the mixed Jacobian matrices that arise in our context, we introduce and investigate the notion of a perivation, which may be thought of, roughly, as a linearization of the notion of $p$-derivation. We also develop a mixed characteristic analogue of the positive characteristic $\Gamma$-construction, and apply this to give additional nonsingularity criteria.

Commutative Algebra
On Jacobians of geometrically reduced curves and their Néron models

Otto Overkamp

2023-10-27

Abstract:We study the structure of Jacobians of geometrically reduced curves over arbitrary (i. e., not necessarily perfect) fields. We show that, while such a group scheme cannot in general be decomposed into an affine and an Abelian part as over perfect fields, several important structural results for these group schemes nevertheless have close analoga over non-perfect fields. We apply our results to prove two conjectures due to Bosch-Lütkebohmert-Raynaud about the existence of Néron models and Néron lft-models over excellent Dedekind schemes in the special case of Jacobians of geometrically reduced curves. Finally, we prove some existence results for semi-factorial models and related objects for general geometrically integral curves in the local case.

Algebraic Geometry,Number Theory
Lefschetz properties of Jacobian algebras and Jacobian modules

Alexandru Dimca,Giovanna Ilardi

2023-10-19

Abstract:Let $V:f=0$ be a hypersurface of degree $d \geq 3$ in the complex projective space $\mathbb{P}^n$, $n \geq 3$, having only isolated singularities. Let $M(f)$ be the associated Jacobian algebra and $H: \ell=0$ be a hyperplane in $\mathbb{P}^n$ avoiding the singularities of $V$, but such that $V \cap H$ is singular. We related the Lefschetz type properties of the linear maps $\ell: M(f)_k \to M(f)_{k+1}$ induced by the multiplication by linear form $\ell$ to the singularities of the hyperplane section $V \cap H$. Similar results are obtained for the Jacobian module $N(f)$.

Algebraic Geometry
How to split two-dimensional Jacobians: a geometric construction

Andrea Gallese

2024-12-10

Abstract:Let $\pi\colon Y \to X$ be a branched cover of complex algebraic curves of respective genera $g(Y)=2$ and $g(X)=1$. The Jacobian of $Y$ is isogenous to the product of two elliptic curves: $\operatorname{Jac} Y \sim \operatorname{Jac} X \times \operatorname{Jac} W$. We present an explicit geometric construction of the complementary curve $W$. Furthermore, we establish a criterion to decide whether an algebraic correspondence of curves admits a push-out.

Algebraic Geometry
Non-isogenous superelliptic jacobians II

Yuri G. Zarhin

2024-10-06

Abstract:Let $\ell$ be an odd prime and $K$ a field of characteristic different from $\ell$. Let $\bar{K}$ be an algebraic closure of $K$. Assume that $K$ contains a primitive $\ell$th root of unity. Let $n \ne \ell$ be another odd prime. Let $f(x)$ and $h(x)$ be degree $n$ polynomials with coefficients in $K$ and without repeated roots. Let us consider superelliptic curves $C_{f,\ell}: y^{\ell}=f(x)$ and $C_{h,\ell}: y^{\ell}=h(x)$ of genus $(n-1)(\ell-1)/2$, and their jacobians $J^{(f,\ell)}$ and $J^{(h,\ell)}$, which are $(n-1)(\ell-1)/2$-dimensional abelian varieties over $\bar{K}$. Suppose that one of the polynomials is irreducible and the other reducible over $K$. We prove that if $J^{(f,\ell)}$ and $J^{(h,\ell)}$ are isogenous over $\bar{K}$ then both endomorphism algebras $\mathrm{End}^{0}(J^{(f,\ell)})$ and $\mathrm{End}^{0}(J^{(h,\ell)})$ contain an invertible element of multiplicative order $n$.

Number Theory,Algebraic Geometry
Higher-weight Jacobians

Sheela Devadas,Max Lieblich

2024-09-18

Abstract:We define and study Jacobians of Hodge structures with weight greater than 1. Jacobians of weight 2 naturally come up in the context of the Brauer group and the Tate conjecture. They were previously studied in a special case by Beauville in his work on surfaces of maximal Picard number, and are related to the work of Totaro on Hodge structures with no middle pieces. Higher-weight Jacobians are complex tori, and it is generally quite difficult to tell if they are algebraic. After discussing some general theory, we compute numerous examples of Jacobians of various weights for special classes of varieties: abelian varieties of maximal Picard number, Kummer varieties, and singular K3 surfaces. It turns out that all of these Jacobians are algebraic. We compute their fields of definition.

Algebraic Geometry
On the Jacobian Scheme of a plane curve

Stefano Canino,Alessandro Gimigliano,Monica Idà

2024-02-07

Abstract:We study the Jacobian scheme of a plane algebraic curve at an ordinary singularity, characterizing it through a geometric property. We compute the Tjurina number for a family of curves at an ordinary singularity showing that it reaches the minimum possible value, using very elementary methods, essentially Gröbner basis. We give an algorithm that gives the analytic type of a double point using the algebraic version of the Mather-Yau Theorem.

Algebraic Geometry
On The Group Algebra Decomposition of a Jacobian Variety

Leslie Jiménez

DOI: https://doi.org/10.1007/s13398-015-0226-6

2016-03-11

Abstract:Given a compact Riemann surface X with an action of a finite group G, the group algebra Q[G] provides an isogenous decomposition of its Jacobian variety JX, known as the group algebra decomposition of JX. We obtain a method to concretely build a decomposition of this kind. Our method allows us to study the geometry of the decomposition. For instance, we build several decompositions in order to determine which one has kernel of smallest order. We apply this method to families of trigonal curves up to genus 10.

Algebraic Geometry
A decomposition of the Jacobian of a Humbert-Edge curve

Robert Auffarth,Giancarlo Lucchini Arteche,Anita M. Rojas

DOI: https://doi.org/10.1090/conm/766/15371

2020-06-16

Abstract:A \textit{Humbert-Edge curve of type} $n$ is a non-degenerate smooth complete intersection of $n-1$ diagonal quadrics. Such a curve has an interesting geometry since it has a natural action of the group $(\mathbb{Z}/2\mathbb{Z})^n$. We present here a decomposition of its Jacobian variety as a product of Prym-Tyurin varieties, and we compute the kernel of the corresponding isogeny.

Algebraic Geometry
The jet transcendence degree of a real hypersurface and Huang-Ji-Yau Conjecture

Jan Gregorovic,Ilya Kossovskiy

2024-02-17

Abstract:We investigate the problem of holomorphic algebraizibility for real hypersurfaces in complex space. We introduce a new invariant of a (real-analytic) Levi-nondegenerate hypersurface called {\em the jet transcendence degree}. Using this invariant, we solve in the negative the Conjecture of Huang, Ji and Yau on the algabraizability of real hypersurfaces with algebraic syzygies.

Complex Variables
An Equisingular Specialisation of the Compactified Jacobian and its applications

Sourav Das,A.J. Parameswaran,Subham Sarkar

2024-08-19

Abstract:For any positive integer $k$, let $X_k$ be a projective irreducible nodal curve with $k$ nodes. We show that the Betti numbers and the mixed Hodge numbers of the compactified Jacobian $\overline{J_{k}}$ of an irreducible nodal curve $X_k$ with $k$ nodes are the same as the Betti numbers and the mixed Hodge numbers of $J_0\times R^k$, where $J_0$ is the Jacobian of the normalisation of the irreducible nodal curve and $R$ denotes the rational nodal curve with one node. We prove it by constructing a topologically locally trivial family of projective varieties containing $\overline{J_{k}}$ and $J_0\times R^k$ as fibres.

Algebraic Geometry,Algebraic Topology
A Groebner basis for the secant ideal of the second hypersimplex

Seth Sullivant

DOI: https://doi.org/10.48550/arXiv.0804.2897

2008-04-17

Commutative Algebra

Abstract:We determine a Groebner basis for the secant ideal of the toric ideal associated to the second hypersimplex, with respect to any circular term order. The Groebner basis of the secant ideal requires polynomials of odd degree up to n. This shows that the circular term order is 2-delightful, resolving a conjecture of Drton, Sturmfels, and the author. The proof uses Groebner degenerations for secant ideals, combinatorial characterizations of the secant ideals of monomial ideals, and the relations between secant ideals and prolongations.
Second eigenvalue of a jacobi operator f hypersurfaces with constant scalar curvature

Haizhong Li,Xianfeng Wang

DOI: https://doi.org/10.1090/S0002-9939-2011-10892-X

IF: 0.9709

2012-01-01

Proceedings of the American Mathematical Society

Abstract:Let x : M --> Sn+1(1) be an n-dimensional compact hypersurface with constant scalar curvature n(n - 1)r, r >= 1, in a unit sphere Sn+1(1), n >= 5, and let J(s) be the Jacobi operator of M. In 2004, L. J. Alias, A. Brasil and L. A. M. Sousa studied the first eigenvalue of J(s) of the hypersurface with constant scalar curvature n(n - 1) in Sn+1(1), n >= 3. In 2008, Q.-M. Cheng studied the first eigenvalue of the Jacobi operator J(s) of the hypersurface with constant scalar curvature n(n - 1)r, r > 1, in Sn+1(1). In this paper, we study the second eigenvalue of the Jacobi operator J(s) of M and give an optimal upper bound for the second eigenvalue of J(s).
New examples of $2$-nondegenerate real hypersurfaces in $\mathbb{C}^N$ with arbitrary nilpotent symbols

Martin Kolář,Ilya Kossovskiy,David Sykes

2024-04-25

Abstract:We introduce a class of uniformly $2$-nondegenerate CR hypersurfaces in $\mathbb{C}^N$, for $N>3$, having a rank $1$ Levi kernel. The class is first of all remarkable by the fact that for every $N>3$ it forms an {\em explicit} infinite-dimensional family of everywhere $2$-nondegenerate hypersurfaces. To the best of our knowledge, this is the first such construction. Besides, the class an infinite-dimensional family of non-equivalent structures having a given constant nilpotent CR symbol for every such symbol. Using methods that are able to handle all cases with $N>5$ simultaneously, we solve the equivalence problem for the considered structures whose symbol is represented by a single Jordan block, classify their algebras of infinitesimal symmetries, and classify the locally homogeneous structures among them. We show that the remaining considered structures, which have symbols represented by a direct sum of Jordan blocks, can be constructed from the single block structures through simple linking and extension processes.

Complex Variables,Differential Geometry

On the Structure of Second Jacobian Ideals

Higher Jacobian ideals, contact equivalence and motivic zeta functions

Jacobian schemes arising from hypersurface arrangements in $\mathbb P^n$

Jacobian Schemes Arising From Hypersurface Arrangements in P n

Explicit construction of decomposable Jacobians

Jacobian Newton Polyhedra and equisingularity

A Jacobian criterion for nonsingularity in mixed characteristic

On Jacobians of geometrically reduced curves and their Néron models

Lefschetz properties of Jacobian algebras and Jacobian modules

How to split two-dimensional Jacobians: a geometric construction

Non-isogenous superelliptic jacobians II

Higher-weight Jacobians

On the Jacobian Scheme of a plane curve

On The Group Algebra Decomposition of a Jacobian Variety

A decomposition of the Jacobian of a Humbert-Edge curve

The jet transcendence degree of a real hypersurface and Huang-Ji-Yau Conjecture

An Equisingular Specialisation of the Compactified Jacobian and its applications

A Groebner basis for the secant ideal of the second hypersimplex

Second eigenvalue of a jacobi operator f hypersurfaces with constant scalar curvature

New examples of $2$-nondegenerate real hypersurfaces in $\mathbb{C}^N$ with arbitrary nilpotent symbols