Lowest Discriminant Subvariety

• The lowest discriminant subvariety is the first nonempty zero locus in a discriminant stratification that isolates the most degenerate fibers in algebraic and geometric contexts.
• It is constructed via determinant calculations of trace forms in module-finite algebras, linking the behavior of Cayley–Hamilton Hopf algebras with classical polynomial and matrix discriminants.
• The concept unifies various settings—including matrix theory, toric geometry, and arithmetic of cubic surfaces—by providing insights into singularity structures and representation stability.

In contemporary algebraic and geometric literature, the lowest discriminant subvariety is the first nonempty discriminant stratum obtained when discriminant loci are ordered by increasing degeneracy. In the most literal formulation, for a Cayley–Hamilton Hopf algebra $(H,C,\mathrm{tr})$ that is module-finite over a central Hopf subalgebra, it is the zero locus $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$ of the lowest discriminant ideal, where $\ell$ is the smallest index for which the discriminant locus is nonempty. Closely related constructions occur in the discriminant hypersurface of univariate polynomials, in subdiscriminant varieties of matrices, and in several algebro-geometric settings where the same organizing idea appears as a deepest singular stratum, a minimal-degree discriminant-type invariant, or a locus of minimal discriminant behavior (Mi et al., 2023, Chen et al., 30 Sep 2025).

1. General discriminant-stratification framework

For a module-finite algebra with trace $(A,C,\mathrm{tr})$, the $k$-discriminant ideal and modified $k$-discriminant ideal are defined by

$$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$

In the Cayley–Hamilton setting, their zero loci coincide and admit the Brown–Yakimov description

$$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$

There is then a unique integer $\ell$ such that

$$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$

and $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$0 is the lowest discriminant ideal while $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$1 is the lowest discriminant subvariety. In this sense, the locus records the most degenerate fibers, in the opposite direction from the Azumaya locus (Mi et al., 2023).

An analogous nested hierarchy appears in the discriminant hypersurface of a monic univariate polynomial

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$2

There one defines

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$3

giving the chain

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$4

The stratum $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$5 consists of polynomials with exactly $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$6 distinct complex roots. Here the “lowest” object is the terminal nonempty stratum $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$7, the locus of polynomials of the form $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$8 up to translation (Chen et al., 30 Sep 2025).

2. Deepest stratum of the univariate polynomial discriminant

For the discriminant hypersurface of a monic univariate polynomial, the classical subdiscriminant stratification is

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$9

where $\ell$0 is the discriminant and $\ell$1 are the subdiscriminants. The paper "Stratifying Discriminant Hypersurface" replaces this description by two constructions that use only the discriminant itself (Chen et al., 30 Sep 2025).

The first construction is local-algebraic. If $\ell$2 is a coefficient vector and $\ell$3 is the order of vanishing of $\ell$4 at $\ell$5, then

$\ell$6

equivalently,

$\ell$7

Thus a polynomial has at most $\ell$8 distinct roots if and only if the discriminant vanishes to order at least $\ell$9 at the corresponding coefficient point. The stratification is therefore simultaneously a stratification by number of distinct roots and a stratification by order of singularity.

The second construction is intrinsic and geometric: $(A,C,\mathrm{tr})$0 hence

$(A,C,\mathrm{tr})$1

Starting from the full discriminant hypersurface $(A,C,\mathrm{tr})$2, successive singular loci recover $(A,C,\mathrm{tr})$3. Each difference $(A,C,\mathrm{tr})$4 is smooth, and $(A,C,\mathrm{tr})$5 itself is smooth.

The deepest nonempty stratum is

$(A,C,\mathrm{tr})$6

consisting of polynomials with one distinct root. The paper identifies $(A,C,\mathrm{tr})$7 explicitly as an affine line parametrized by

$(A,C,\mathrm{tr})$8

If “lowest discriminant subvariety” is interpreted as the deepest nonempty singular stratum of the discriminant hypersurface, then $(A,C,\mathrm{tr})$9 is exactly that object (Chen et al., 30 Sep 2025).

3. Lowest discriminant ideals in Cayley–Hamilton Hopf algebras

The paper "The lowest discriminant ideal of a Cayley-Hamilton Hopf algebra" studies a Cayley–Hamilton Hopf algebra $k$0 with central Hopf subalgebra $k$1, $k$2 module-finite over $k$3, and basic identity fiber $k$4 (Mi et al., 2023). In this setting the identity fiber determines a finite group

$k$5

and $k$6 acts on each fiber $k$7 by tensoring: $k$8

For $k$9, the stabilizer

$k$0

satisfies

$k$1

A module is maximally stable when equality holds. The paper proves several equivalent characterizations: $k$2 and

$k$3

In that case the primitive quotient is a twisted group algebra

$k$4

The discriminant threshold at a point $k$5 is given by

$k$6

From this, the level of the lowest discriminant ideal is

$k$7

Moreover, for $k$8, the following are equivalent: $k$9 lies in the zero set of the lowest discriminant ideal; there exists $$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$0 that is maximally stable; every $$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$1 is maximally stable. The lowest discriminant subvariety is therefore the locus where the fiber representation theory is maximally stable under tensoring with the identity-fiber character group (Mi et al., 2023).

4. Chevalley-property refinements and subgroup rigidity

The subsequent Chevalley-property theory replaces the basicity hypothesis by a representation-theoretic condition on the identity fiber algebra $$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$2. Under that assumption, any nonempty zero locus of a discriminant ideal contains the orbit of the identity under left or right winding automorphisms,

$$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$3

and the level of the lowest discriminant ideal becomes

$$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$4

The lowest locus can then be characterized by complete reducibility of tensor squares: $$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$5 lies in the zero locus of the lowest discriminant ideal if and only if, for every irreducible $$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$6-module $$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$7, the module $$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$8 is completely reducible; equivalently,

$$D_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i a_j))_{i,j=1}^k \right\rangle,\qquad MD_k(A/C,\mathrm{tr})=\left\langle \det(\mathrm{tr}(a_i b_j))_{i,j=1}^k \right\rangle.$$9

where $$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$0 (Huang et al., 27 Jun 2025).

The same paper proves that if $$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$1 has the Chevalley property, then all discriminant ideals are trivial: $$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$2 Equivalently, the discriminant filtration has only one jump: $$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$3 In this regime, the lowest discriminant subvariety is the whole base (Huang et al., 27 Jun 2025).

A further rigidity theorem shows that, assuming the identity fiber algebra has the Chevalley property, the lowest discriminant subvariety

$$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$4

is a closed subgroup of the affine algebraic group $$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$5. In particular, it is smooth and equidimensional. The same work establishes that, for an irreducible $$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$6-module $$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$7, the following are equivalent: $$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$8 is tensor-reducible; $$\mathcal V_k=\{\mathfrak m\in \operatorname{MaxSpec} C \mid \sum_{V\in \operatorname{Irr}(A/\mathfrak mA)}(\dim V)^2<k\}.$$9 is left tensor-reducible; $\ell$0 is right tensor-reducible; $\ell$1 is annihilated by the lowest discriminant ideal; $\ell$2 is completely reducible. It also proves that $\ell$3 has the Chevalley property if and only if the identity fiber algebra has the Chevalley property and all the discriminant ideals are trivial (Huang et al., 17 Apr 2026).

5. Explicit Hopf-algebra realizations

A complete calculation is available for group algebras of central extensions of Abelian groups. In the setting

$\ell$4

with $\ell$5 and $\ell$6 finitely generated Abelian, $\ell$7 finite Abelian, $\ell$8 algebraically closed, $\ell$9, $$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$0, and $$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$1, the paper proves

$$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$2

The fiber $$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$3 is simple for every maximal ideal $$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$4, its irreducible representations are tensor products of representations of algebras

$$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$5

and every irreducible representation is maximally stable. In this class, the lowest discriminant subvariety is therefore the entire $$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$6 (Mi, 2024).

The later Hopf-algebra literature supplies more structured examples. For the big quantized Borel algebra $$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$7, with central Hopf subalgebra $$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$8, the identity fiber is basic and the lowest discriminant variety equals the winding orbit of the identity. For irreducible $$\varnothing=\mathcal V_1=\cdots=\mathcal V_{\ell-1}\subsetneq \mathcal V_\ell,$$9-modules, tensor-reducible, left tensor-reducible, right tensor-reducible, $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$00-dimensional, and maximally stable are equivalent conditions. For the generalized Liu algebras $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$01, where $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$02 and $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$03, the lowest discriminant subvariety is the finite cyclic subgroup

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$04

More generally, for a prime affine Cayley–Hamilton Hopf algebra of GK-dimension one with Chevalley identity fiber, either $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$05 is commutative or $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$06 is a finite cyclic subgroup of $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$07 (Huang et al., 17 Apr 2026).

6. Analogues in matrix theory, toric geometry, and plane-curve discriminants

The matrix-theoretic analogue is the variety $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$08 of real symmetric $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$09 matrices with at most $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$10 distinct eigenvalues. It is the zero set of the $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$11-subdiscriminant: $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$12 Up to a nonzero scalar, $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$13 is the only $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$14-invariant homogeneous polynomial of degree

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$15

vanishing on $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$16, and there is no such invariant polynomial of smaller degree. For general matrices, the same uniqueness statement holds with $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$17 in place of $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$18. The paper also proves that the minimal degree of any nonzero polynomial vanishing on $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$19 is

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$20

In this setting, the subdiscriminant is the canonical lowest-degree discriminant-type invariant defining the bounded-eigenvalue locus (Domokos, 2012).

For a smooth toric variety $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$21 with base point free line bundle $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$22, the discriminant $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$23 is the subvariety of singular sections. The discriminant defect is

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$24

The toric paper treats “lowest discriminant” behavior as the regime of smallest discriminant dimension, equivalently largest defect. It proves bounds such as

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$25

classifies the extremal cases $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$26, $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$27, $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$28, and $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$29, and shows that when the discriminant is a hypersurface with isolated general singularities its degree is

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$30

This is a discriminant-minimality theory rather than a theory of a single canonical lowest stratum (Muñoz et al., 2019).

For separable plane curves $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$31, the paper "Plane Curves With Minimal Discriminant" defines minimality by

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$32

for irreducible $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$33. This is equivalent to the closure $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$34 being rational, having a unique place over $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$35, and being smooth outside that place. In the monic irreducible case, minimal discriminant is equivalent to being a coordinate polynomial. A plausible implication is that this paper uses “minimal discriminant” to single out a rigid geometric stratum of curves rather than a separate subvariety defined intrinsically in parameter space (Simon et al., 2015).

7. Cubic-surface discriminantal coverings and distinguished special loci

In the arithmetic geometry of cubic surfaces, the nearest analogue to a lowest discriminant subvariety is not the vanishing locus $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$36 of the discriminant itself, but a distinguished subvariety inside the discriminantal covering of the pentahedral parameter space. For a cubic surface in Sylvester’s pentahedral normal form

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$37

the discriminantal double cover is

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$38

Inside the transformed parameter space, the paper identifies a smooth quadric surface $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$39 defined by $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$40 such that on $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$41

$$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$42

Hence the discriminantal cover splits over $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$43, and rational points on $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$44 lift to rational points on the cover (Elsenhans et al., 2010).

This quadric is an accumulating subvariety in the precise arithmetic sense used in the paper: it is a smooth quadric surface, rational points are much denser there than expected from the ambient threefold, and among smooth quadrics satisfying the splitting and tangency conditions it is unique up to permutation of coordinates. The cubic-surface setting therefore uses a different but related notion: a distinguished locus on which the discriminant becomes maximally special by turning into a square, rather than a lowest stratum in a chain of vanishing loci (Elsenhans et al., 2010).

Across these settings, a common pattern emerges. The lowest discriminant subvariety is the endpoint of a hierarchy ordered by degeneracy: the first nonempty discriminant zero locus for Cayley–Hamilton Hopf algebras, the deepest singular stratum $$\mathcal V_\ell=\mathcal V(D_\ell(H/C;\mathrm{tr}))$$45 of the polynomial discriminant hypersurface, the locus cut out by the first nontrivial subdiscriminant for matrices, or a special minimal-discriminant locus in algebraic geometry. This suggests that the phrase is best understood not as a universally fixed object, but as the terminal or first nontrivial piece in a discriminant stratification adapted to a given category of geometric or representation-theoretic problems.