Cattani's Theorem in Codimension-Two Algebras

• Cattani’s theorem is a statement in graded Artinian Gorenstein algebras equating ordinary and mixed Hodge–Riemann relations on convex cones.
• The theorem reformulates HRR in the codimension-two setting using explicit algebraic constructs like higher Hessians and Toeplitz matrices.
• Positivity of higher Hessians is shown to correspond to total (non-)positivity of Toeplitz matrices, offering a concrete, algebraic pathway replacing classical Hodge-theoretic methods.

Searching arXiv for Cattani's theorem and related codimension-two/Hodge-Riemann papers. Cattani’s theorem, in the form treated for graded Artinian Gorenstein algebras, asserts that on a convex cone the ordinary Hodge–Riemann relations are equivalent to the mixed Hodge–Riemann relations. In the codimension-two setting, where the algebra is defined by a homogeneous polynomial in two variables, this statement admits an explicit reformulation in terms of higher Hessians and total positivity of Toeplitz matrices. A 2025 arXiv paper gives a new proof in that special case, replacing the original variation-of-Hodge-structure machinery by an explicitly algebraic, matrix-theoretic, and topological argument (McDaniel, 20 Jul 2025).

1. Statement and scope

In the setting of the 2025 treatment, one starts from a graded Artinian Gorenstein algebra $A_F$ associated with a real homogeneous polynomial $F$. Cattani’s theorem is stated as follows: if $U$ is a convex cone, then $A_F$ satisfies ordinary $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$ if and only if it satisfies mixed $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$ (McDaniel, 20 Jul 2025).

The theorem compares two levels of Lefschetz-type positivity. Ordinary Hodge–Riemann relations test positivity using powers of a single linear form $\ell$. Mixed Hodge–Riemann relations allow products of possibly distinct linear forms $\ell_0,\ell_1,\dots$. Mixed HRR imply ordinary HRR by specializing all linear forms to be equal; the content of Cattani’s theorem is the converse under the convex cone hypothesis.

Two caveats are part of the statement as presented in the codimension-two proof. First, the convex cone condition on $U$ is essential. Second, in general one cannot replace top-degree HRR by HRR only up to some smaller $i<\lfloor d/2\rfloor$. These restrictions delimit the exact range in which the equivalence is valid.

2. Algebraic framework in codimension two

The codimension-two case is the case of graded Artinian Gorenstein algebras coming from a homogeneous polynomial in two variables. The paper works with

$F$0

and its associated algebra

$F$1

where $F$2 acts on $F$3 by differential operators,

$F$4

The annihilator is

$F$5

The algebra is graded,

$F$6

with socle degree $F$7, and it carries perfect pairings

$F$8

The paper defines the Sperner number

$F$9

and records that in codimension two the Hilbert function has the standard symmetric form

$U$0

This codimension-two regime is structurally special. The coefficient data of $U$1 is a single sequence, the graded pieces have dimension at most $U$2, and the relevant Lefschetz forms can be written explicitly in a monomial basis. These features are what make the later Hessian and Toeplitz reformulations possible in a concrete form.

3. Ordinary and mixed Hodge–Riemann relations

For a linear form $U$3, the $U$4-th primitive space is

$U$5

The ordinary Lefschetz map in degree $U$6 is

$U$7

and the ordinary $U$8-th Lefschetz form is

$U$9

Ordinary $A_F$0 requires that for every $A_F$1, the form $A_F$2 is positive definite on $A_F$3, concretely

$A_F$4

For a tuple $A_F$5, the mixed primitive space is

$A_F$6

and the mixed Lefschetz form is

$A_F$7

Mixed $A_F$8 requires that for every $A_F$9, the form $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$0 is nondegenerate on $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$1 and positive definite on $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$2, equivalently

$\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$3

The paper works especially with two cones: $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$4 The distinction between $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$5 and $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$6 controls a parallel distinction between total nonnegativity and total positivity. That dichotomy is not cosmetic: it is built into the theorem’s reformulation and into the deformation argument used in the proof.

4. Hessians, Toeplitz matrices, and the codimension-two reformulation

The codimension-two proof translates ordinary HRR into positivity of higher Hessians and mixed HRR into total positivity properties of Toeplitz matrices (McDaniel, 20 Jul 2025). If

$\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$7

then the normalized Toeplitz matrix is

$\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$8

an $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$9 Toeplitz matrix with

$\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$0

The $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$1-th higher Hessian matrix is

$\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$2

For $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$3, this matrix represents the Lefschetz map

$\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$4

up to a nonzero scalar multiple.

The structural equivalences used in the proof are these. Ordinary $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$5 is equivalent to positivity of the higher Hessians on $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$6, and ordinary $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$7 is equivalent to positivity on $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$8. Mixed $\mathrm{HRR}_{\lfloor d/2\rfloor}(U)$9 is equivalent to $\ell$0 being totally positive, while mixed $\ell$1 is equivalent to $\ell$2 being totally non-negative.

The paper packages the resulting codimension-two form of Cattani’s theorem as a Hessian criterion. For $\ell$3 of Sperner number $\ell$4:

• $\ell$5 is totally positive if and only if

$\ell$6

• $\ell$7 is totally non-negative if and only if

$\ell$8

An equivalent maximal-size Toeplitz version is also given, using $\ell$9. In this sense, Cattani’s theorem in two variables becomes a theorem that converts positivity of a finite family of higher Hessians into total positivity or total nonnegativity of a Toeplitz matrix.

5. Proof architecture in two variables

The 2025 proof is organized as a sequence of translations and deformation arguments rather than by variation of Hodge structure (McDaniel, 20 Jul 2025). Its central technical bridge is a Plücker expansion of the Hessian: $\ell_0,\ell_1,\dots$0 where

$\ell_0,\ell_1,\dots$1

This writes each Hessian polynomial as a positive linear combination of monomials whose coefficients are maximal minors of the Toeplitz matrix, weighted by positive integers $\ell_0,\ell_1,\dots$2.

That expansion has two immediate consequences. If the relevant Toeplitz minors are positive or nonnegative, Hessian positivity follows directly. Conversely, Hessian positivity forces nonvanishing of specific minors, especially corner minors, because they occur as extreme coefficients. The proof supplements this with nonvanishing of maximal contiguous minors, obtained via an argument using HRR for derivatives $\ell_0,\ell_1,\dots$3.

A topological step then identifies an open set $\ell_0,\ell_1,\dots$4 of rank-$\ell_0,\ell_1,\dots$5 Toeplitz matrices characterized by nonvanishing corner minors and contiguous minors, and proves

$\ell_0,\ell_1,\dots$6

In particular, $\ell_0,\ell_1,\dots$7 is a union of connected components of $\ell_0,\ell_1,\dots$8. This allows one to use deformation. The shift operator

$\ell_0,\ell_1,\dots$9

preserves ordinary HRR on $U$0 for $U$1, and for $U$2 an elementary perturbation argument yields mixed HRR on a suitable cone, hence total positivity of the corresponding Toeplitz matrix. Since the path remains inside $U$3, the initial matrix must lie in the same connected component.

For the open-cone statement, the proof uses the double shift

$U$4

For $U$5, the transformed polynomial satisfies ordinary HRR on $U$6, so the strict case applies. Passing to the limit $U$7 and using closure of totally positive Toeplitz matrices yields total nonnegativity.

The argument is therefore explicitly algebraic and matrix-theoretic. The paper emphasizes that it avoids the Cattani–Kaplan–Schmid descent lemma and instead uses Macaulay duality in two variables, higher Hessians, Toeplitz total positivity, Plücker expansions, topology of Toeplitz strata, and deformation by shifts.

6. Significance, consequences, and a common confusion of names

The main significance of the codimension-two proof is conceptual. It produces a dictionary in which ordinary HRR corresponds to positivity of higher Hessians, mixed HRR corresponds to total positivity of Toeplitz matrices, and Cattani’s theorem becomes a Hessian criterion for Toeplitz total positivity (McDaniel, 20 Jul 2025). The paper explicitly presents this criterion as analogous to the Wronskian criterion for totally positive flags discovered recently by S. Karp.

A concrete consequence concerns coefficients of the Hessians. If

$U$8

then all coefficients of each $U$9 are strictly positive. If positivity holds only on $i<\lfloor d/2\rfloor$0, then all coefficients are nonnegative. The paper highlights this because positivity of a homogeneous polynomial on the positive orthant does not usually imply coefficientwise positivity; here it does because the Hessians arise from Toeplitz/Plücker data with total positivity constraints.

A frequent source of confusion is the similarity between Cattani’s theorem and Catlin’s theorem. They are unrelated. Catlin’s theorem is a graph-coloring result: if $i<\lfloor d/2\rfloor$1 has maximum degree $i<\lfloor d/2\rfloor$2 and does not contain $i<\lfloor d/2\rfloor$3, then $i<\lfloor d/2\rfloor$4 has a $i<\lfloor d/2\rfloor$5-coloring in which one color class has size $i<\lfloor d/2\rfloor$6, strengthening Brooks’ theorem (Sivaraman, 2014). Cattani’s theorem, by contrast, is a theorem about ordinary and mixed Hodge–Riemann relations for graded Artinian Gorenstein algebras. The similarity is purely nominal.

In its codimension-two form, Cattani’s theorem shows that mixed Hodge–Riemann phenomena can be reconstructed from explicitly computable algebraic data attached to a bivariate form. This suggests a broader perspective in which Hodge-theoretic positivity, higher Hessians, and total positivity belong to a single structural framework, even though the explicit Toeplitz and Hessian technology used here is particular to two variables.