Geometric Degeneracy Variety

• Geometric degeneracy variety is the study of loci in parameter spaces where generic conditions (such as rank, tangency, or isotropy) fail, exemplified by invariant subspace embeddings and hyperplane dependencies.
• It systematically organizes diverse settings—including orbit closure degeneration, determinantal loci, and tensor/matrix degeneracies—using combinatorial and determinantal methods.
• Applications span algebraic geometry, tensor analysis, moduli problems, and cosmology, facilitating deeper insights into structural transitions and degeneracy patterns in complex systems.

In current research usage, “geometric degeneracy variety” does not denote a single standardized object. The phrase is applied to loci defined by the failure of a generic geometric condition: orbit closure degeneration for invariant subspaces of nilpotent operators, hyperplane dependence on Segre varieties, drop of dual-variety dimension, enlargement of eigenspaces in matrix space, vanishing projected exchange fields in band theory, weakly special collapse in universal abelian schemes, or isotropy for a degenerate multilinear form. Across these settings, the common feature is that an ambient parameter or configuration space is stratified by a degeneracy condition expressible through rank, tangency, isotropy, closure, or vanishing equations (Kosakowska et al., 2012, Alstad et al., 30 Jun 2026, Frank et al., 23 Jul 2025, Gao et al., 2023).

1. Invariant-subspace varieties and orbit-closure degeneracy

A particularly explicit algebraic realization occurs for invariant subspaces of nilpotent operators. For a partition $$\alpha=(\alpha_1\ge \alpha_2\ge \dots \ge \alpha_t)$$, the associated nilpotent $k[T]$-module is

$N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$

and an embedding of invariant subspaces is a monomorphism $f:N_\alpha\hookrightarrow N_\beta$. Fixing $\alpha,\beta,\gamma$, the locus

$$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$

consists of monomorphisms with $\mathrm{Coker}\,f\cong N_\gamma$; this is the main geometric degeneracy variety in that setting. It sits inside the affine space $$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$, and becomes a degeneration problem once $k$ is assumed algebraically closed (Kosakowska et al., 2012).

The relevant group is

$G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$

Its orbits are precisely isomorphism classes of short exact sequences

$k[T]$0

For $k[T]$1 and $k[T]$2, geometric degeneration is defined by

$k[T]$3

Inside the subcategory $k[T]$4, where $k[T]$5, this order is combinatorially controlled by Klein tableaux and arc diagrams. If $k[T]$6 is the arc diagram of $k[T]$7, with crossing number $k[T]$8, then

$k[T]$9

Using

$N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$0

the orbit dimension is reduced by exactly one for each arc crossing. The degeneration order, the Ext-order, the Hom-order, and the arc order coincide on fixed partition type in $N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$1, and over an algebraically closed field they are also equivalent to the orbit-closure order $N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$2. Within each Littlewood–Richardson stratum there is a unique dominant Klein tableau with no crossings and maximal orbit dimension, and a unique maximal-crossing tableau with minimal orbit dimension (Kosakowska et al., 2012).

2. Determinantal and dual-type degeneracy loci

A second major usage concerns loci cut out by hyperplane dependence, Hessian rank bounds, or degeneration of Gauss images. For Segre varieties, if

$N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$3

is the Segre embedding and $N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$4, the Segre-determinantal locus $N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$5 is the smallest closed subvariety containing all $N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$6-tuples whose Segre images lie on a common hyperplane. Writing $N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$7 for the matrix whose rows are the Segre coordinates of the $N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$8, one has

$N_\alpha=\bigoplus_{i=1}^t k[T]/(T^{\alpha_i}),$9

where $f:N_\alpha\hookrightarrow N_\beta$0 is generated by the maximal minors of $f:N_\alpha\hookrightarrow N_\beta$1. This ideal is prime, has height $f:N_\alpha\hookrightarrow N_\beta$2, the quotient ring is Cohen–Macaulay, and the maximal minors form a universal Gröbner basis. In the flatland case $f:N_\alpha\hookrightarrow N_\beta$3, the image variety for three flatland cameras is exactly $f:N_\alpha\hookrightarrow N_\beta$4 (Alstad et al., 30 Jun 2026).

For hypersurfaces, another degeneracy variety is

$f:N_\alpha\hookrightarrow N_\beta$5

the Zariski closure of degree-$f:N_\alpha\hookrightarrow N_\beta$6 hypersurfaces whose dual variety has dimension at most $f:N_\alpha\hookrightarrow N_\beta$7. If $f:N_\alpha\hookrightarrow N_\beta$8 is irreducible and $f:N_\alpha\hookrightarrow N_\beta$9 is a general point of the affine cone over $\alpha,\beta,\gamma$0, Katz’s formula gives

$\alpha,\beta,\gamma$1

Hence $\alpha,\beta,\gamma$2 is equivalent to rank bounds on Hessian restrictions, or equivalently to divisibility conditions $\alpha,\beta,\gamma$3 for all $\alpha,\beta,\gamma$4-dimensional subspaces $\alpha,\beta,\gamma$5. The resulting set-theoretic equations form an $\alpha,\beta,\gamma$6-module of degree $\alpha,\beta,\gamma$7. The determinant orbit closure $\alpha,\beta,\gamma$8 is an irreducible component of $\alpha,\beta,\gamma$9, and this yields the lower bound

$$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$0

The same dual-geometric viewpoint controls degeneration in families: for

$$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$1

the flat limit of the duals $$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$2 is reducible, with components $$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$3 and $$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$4 of multiplicity $$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$5, $$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$6 of multiplicity $$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$7, and $$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$8 of multiplicity $$V_{\alpha,\gamma}^\beta(k)\subset V_{\alpha,\beta}(k)$$9 (Landsberg et al., 2010, Zhang, 2023).

3. Tensor and matrix degeneracy varieties

For tridimensional tensors, degeneracy is formulated through a kernel incidence condition. If

$\mathrm{Coker}\,f\cong N_\gamma$0

the kernel $\mathrm{Coker}\,f\cong N_\gamma$1 consists of triples $\mathrm{Coker}\,f\cong N_\gamma$2 satisfying the three systems

$\mathrm{Coker}\,f\cong N_\gamma$3

The tensor is degenerate iff $\mathrm{Coker}\,f\cong N_\gamma$4. Associated to $\mathrm{Coker}\,f\cong N_\gamma$5 are matrices $\mathrm{Coker}\,f\cong N_\gamma$6 of linear forms and determinantal schemes $\mathrm{Coker}\,f\cong N_\gamma$7. If $\mathrm{Coker}\,f\cong N_\gamma$8 is degenerate and $\mathrm{Coker}\,f\cong N_\gamma$9, then $$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$0 are degenerate points of $$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$1, respectively. Conversely, a degenerate but non bi-degenerate point of one of these schemes implies degeneracy of $$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$2. When $$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$3, the hyperdeterminant exists and

$$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$4

When $$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$5, one has

$$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$6

The same framework also relates degeneracy to conciseness, essential format, and tensor rank in small formats such as $$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$7, $$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$8, and $$H_{\alpha,\beta}(k)=\mathrm{Hom}_k(N_\alpha,N_\beta)\cong k^{|\alpha||\beta|}$$9 (Gimigliano et al., 11 May 2026).

For matrices, the geometric degeneracy variety is

$k$0

defined by the existence of an eigenvalue of geometric multiplicity at least $k$1. Equivalently,

$k$2

Its determinantal lift is

$k$3

Here $k$4 is determinantal, irreducible, and Cohen–Macaulay, while $k$5 itself is not Cohen–Macaulay for $k$6. At a strictly $k$7-fold eigenvalue $k$8, the multiplicity of the corresponding local branch satisfies

$k$9

For a holomorphic map germ $G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$0, isolated with respect to that branch, the number of complex Weyl points created by a generic perturbation is computed from the pullback of the $G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$1 minors of $G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$2. In the linear case this gives the upper bound

$G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$3

for the Weyl points born from a strictly $G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$4-fold degeneracy (Frank et al., 23 Jul 2025).

4. Degeneracy as directional, tangency, and vanishing-field geometry

Some recent usages are geometric in a more structural sense. In projective geometric algebra, Euclidean PGA is built from a degenerate quadratic space $G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$5 with

$G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$6

The Clifford algebra decomposes as

$G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$7

where $G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$8 is the grade-involution. The radical line $G=\Aut_N(N_\alpha(k))\times \Aut_N(N_\beta(k)), \qquad (g,h)\cdot f=hfg^{-1}.$9, the quotient $k[T]$00 of parallel classes, and the square-zero ideal $k[T]$01 together supply a “degeneracy variety” of directions and ideal elements. The quotient $k[T]$02 represents parallel classes of hyperplanes, and the Playfair projection $k[T]$03 associated with a complement $k[T]$04 algebraizes the existence and uniqueness of parallels (Bamberg et al., 2024).

In spin-orbit-free compensated magnets, geometric spin degeneracy is encoded by the projected effective Zeeman field

$k[T]$05

The degeneracy condition is

$k[T]$06

Writing $k[T]$07 in the probability simplex, each equation

$k[T]$08

defines a “zero effective Zeeman field” hyperplane. Zero net magnetization,

$k[T]$09

forces these hyperplanes to pass through the simplex center. The resulting degeneracy locus

$k[T]$10

can be a nodal surface, nodal line, or isolated nodal point, depending on dimension and the number of independent spin components (Lee et al., 14 Apr 2026).

A closely related tangency formulation appears in the Elekes–Szabó setting. For a smooth hypersurface $k[T]$11, local degeneracy at a coordinate-regular point is equivalent to the factorization

$k[T]$12

The associated boundary varieties

$k[T]$13

record tangency to the coordinate hyperplane $k[T]$14. Under the factorization hypothesis, every local irreducible component of $k[T]$15 is contained in a coordinate slice $k[T]$16. For one-parameter families of hyperspheres, this forces a rigid classification: in dimensions $k[T]$17, degeneracy implies a concentric family; in dimension $k[T]$18, the family is either concentric or consists of fixed-radius circles whose centers lie on a line parallel to a coordinate axis (Makhul, 3 Jul 2026).

5. Degeneracy loci in families, moduli, and cosmology

In the universal family of principally polarized abelian varieties,

$k[T]$19

degeneracy is measured relative to weakly special or bi-algebraic geometry. For an irreducible closed $k[T]$20, the quantity

$k[T]$21

measures the vertical dimension of the minimal bi-algebraic closure. The $k[T]$22-th degeneracy locus is

$k[T]$23

Although defined as a union, $k[T]$24 is Zariski closed. If $k[T]$25 contains a non-empty open subset of $k[T]$26 and the generic fiber is not contained in a proper algebraic subgroup, then there exists an endomorphism $k[T]$27 of the abelian scheme over the regular locus of $k[T]$28 such that $k[T]$29 on a large family of subvarieties $k[T]$30, the fibers $k[T]$31 are finite unions of translates of $k[T]$32, and the quotient abelian varieties $k[T]$33 are pairwise isomorphic for general $k[T]$34. This degeneracy formalism is used in uniform Mordell–Lang arguments and is linked to a conjectural route toward relative Manin–Mumford through the density of $k[T]$35 (Gao et al., 2023).

In cosmology, the term is used differently. For the Hybrid $k[T]$36 model

$k[T]$37

“geometric degeneracy” means exact agreement with $k[T]$38CDM at the background level: the same $k[T]$39 and distance–redshift relations. Early-time viability forces

$k[T]$40

after which the background reduces to

$k[T]$41

The degeneracy is then broken only in the perturbation sector, because

$k[T]$42

and the preferred parameter range implies $k[T]$43 at late times. Redshift-space distortions and $k[T]$44 therefore distinguish a model that is geometrically degenerate with $k[T]$45CDM in the homogeneous sector. This usage is conceptual rather than a subvariety of an ambient algebraic space, but it preserves the same theme: identical generic geometry, distinct behavior on a lower-level structure (Kolhatkar et al., 13 Apr 2026).

6. Degenerate homogeneous models and a synthetic perspective

A further algebraic-geometric instance is the variety $k[T]$46, defined from a degenerate $k[T]$47-form $k[T]$48 on a $k[T]$49-dimensional vector space $k[T]$50 by

$k[T]$51

This is a degeneration of the adjoint variety $k[T]$52, obtained from a flat family of $k[T]$53-forms $k[T]$54 that are non-degenerate for $k[T]$55 and specialize to $k[T]$56 at $k[T]$57. The special fiber is singular along a plane, but it also admits a concrete projective model: it is the image of $k[T]$58 under the linear system of quadrics containing a twisted cubic. Degenerating that twisted cubic to three lines produces toric Gorenstein Fano fivefolds, and these degenerations are used to construct geometric transitions between Calabi–Yau threefolds. The same variety also governs special linear sections: every polarized K3 surface of Picard number $k[T]$59, genus $k[T]$60, and admitting a $k[T]$61 appears as a linear section of $k[T]$62 (Kapustka, 2011).

Taken together, these examples suggest a stable conceptual pattern. A geometric degeneracy variety is typically embedded in an ambient parameter, representation, or configuration space; it is defined by a precise failure of genericity; it carries a stratification by multiplicity, orbit type, tableau data, Jordan type, or weakly special defect; and it often admits auxiliary models that are better behaved than the original locus, such as determinantal lifts, arc-diagram posets, Segre matrices, or resolutions. In that sense, the expression names not one object but a recurrent constructional scheme: geometry is encoded by the place where a generic rank, orbit, tangent, isotropy, or effective-field condition ceases to hold (Kapustka, 2011, Frank et al., 23 Jul 2025, Alstad et al., 30 Jun 2026).