🔢 mathematics

Rank varieties over the generic hypersurface I

This paper introduces rank varieties for modules and complexes over generic hypersurfaces using extension of scalars, demonstrating that every projective variety can be realized as such a rank variety while investigating their fundamental properties.

Original authors: David A. Jorgensen

Published 2026-05-19

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: David A. Jorgensen

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a detective trying to understand the hidden "shape" or "fingerprint" of a complex mathematical object. In the world of algebra, these objects are often rings and modules (which are like generalized number systems and the things you can build with them).

For a long time, mathematicians had a tool to find the "shape" of these objects, but it worked by taking things apart. They would restrict the object to smaller, simpler pieces to see where it broke or behaved strangely. This is called "restriction of scalars."

David Jorgensen's paper introduces a new, fresh way to look at these shapes. Instead of taking things apart, he proposes building them up by adding new ingredients. This is called "extension of scalars."

Here is a breakdown of the paper's main ideas using simple analogies:

1. The Setting: The "Generic" Playground

Imagine you have a specific, messy room (a "local complete intersection ring") where you want to study furniture (modules). Usually, to understand the furniture, you look at it in that specific messy room.

Jorgensen says, "Let's build a generic room first."

This generic room is a "hypersurface" (a fancy word for a specific type of geometric shape defined by an equation).
Think of this generic room as a master blueprint that contains all possible variations of the messy rooms you might encounter. It's like a universal simulator.
The paper focuses on studying objects inside this universal simulator.

2. The New Tool: "Rank Varieties"

In the old method, to find the "shape" (called a variety) of an object, you would check if the object broke when you shrank it down to a tiny, specific corner of the room.

Jorgensen's new method works differently:

The Analogy: Imagine you have a complex machine (the object). Instead of shrinking it, you plug it into different power outlets (different "permissible hypersurfaces").
The Test: You plug the machine into an outlet defined by a specific setting (a point in a geometric space).
- If the machine stops working (becomes "contractible" or trivial) when plugged into that outlet, that setting is not part of its shape.
- If the machine keeps humming (stays complex and non-trivial) when plugged into that outlet, that setting is part of its shape.
The Result: By testing the machine against every possible outlet, you map out a "Rank Variety." This is a geometric picture (like a cloud of points or a curve) that represents the object's true nature.

3. The Big Discovery: You Can Draw Any Shape

One of the most exciting claims in the paper is about Realizability.

The Question: Can we build a mathematical object whose "Rank Variety" looks like any shape we can imagine? (For example, a circle, a star, or a disconnected blob).
The Answer: Yes.
Jorgensen proves that for any projective shape you can draw on a piece of paper, there is a specific mathematical machine (a "graded totally acyclic complex") that, when tested against his new method, produces exactly that shape. It's like saying, "If you can draw it, we can build a machine that has that exact fingerprint."

4. A Surprising Twist: Broken Shapes Don't Always Mean Broken Machines

In the old world of math (using the "restriction" method), there was a rule: If an object's shape was disconnected (like two separate islands), the object itself had to be made of two separate, independent parts (decomposable). It was like saying, "If the shadow is in two pieces, the object casting it must be in two pieces."

Jorgensen found that this rule breaks in his new "generic" world.

The Discovery: He found an example of a machine that is indestructible (it cannot be taken apart into two independent pieces), yet its "Rank Variety" (its shadow) is disconnected (it looks like two separate islands).
Why it matters: This shows that the new method reveals a different, perhaps more subtle, layer of reality than the old method. The "shadow" doesn't always tell the whole story about whether the object is one piece or two.

5. Why Switch Methods?

The paper argues that while the old method (restriction) and the new method (extension) are related, the new method is simpler and more direct for this specific "generic" setting.

It makes proving that shapes are "closed" (mathematically tidy) much easier.
It allows mathematicians to construct specific examples (like the "any shape" result) much more easily than before.

Summary

David Jorgensen is introducing a new way to map the "geometric soul" of algebraic objects. Instead of shrinking them to see where they fail, he plugs them into a universal testing ground to see where they stay strong. He proves that this method can map out any geometric shape you can imagine, and he discovers that in this new world, a shape can be broken into pieces even if the object itself is perfectly whole.

Technical Summary: Rank Varieties over the Generic Hypersurface I

Problem Statement
The paper addresses the theory of rank and support varieties for modules and complexes over commutative local complete intersection (lci) rings. While support varieties for lci rings are well-established via restriction of scalars to "permissible hypersurfaces" (rings of the form $Q/(a_1f_1 + \dots + a_cf_c)$ ), this work focuses on the generic hypersurface $R$ . The generic hypersurface is defined as $R = Q[x_1, \dots, x_c]/(f_1x_1 + \dots + f_cx_c)$ , where $Q$ is a regular local ring and $f_1, \dots, f_c$ is a regular sequence.

The central problem is to define and study rank varieties for objects (specifically graded totally acyclic complexes and modules) over $R$ itself. The author notes that previous frameworks for rank varieties rely on restriction of scalars. In contrast, this paper investigates a framework based on extension of scalars, motivated by the equivalence between the singularity category of an lci ring and that of its associated generic hypersurface (Orlov [22], Buchweitz [7]).

Methodology
The paper employs homological algebra techniques within the context of graded rings and complexes. The core methodology involves:

Extension of Scalars: For a point $\alpha = (\alpha_1, \dots, \alpha_c)$ in the projective space $\mathbb{P}^{c-1}_k$ , the author defines a specialized ring $R_\alpha = R/(x_1-a_1, \dots, x_c-a_c)$ , where $a_i$ are preimages of $\alpha_i$ in $Q$ . This ring is isomorphic to a permissible hypersurface $Q/(a_1f_1 + \dots + a_cf_c)$ .
Definition of Rank Variety: For a graded totally acyclic complex $C$ over $R$ , the rank variety $V(C)$ is defined as the set of points $\alpha \in \mathbb{P}^{c-1}_k$ such that the specialized complex $C_\alpha = C \otimes_R R_\alpha$ is not contractible.
Homotopy and Minimality: The analysis relies heavily on the properties of minimal complexes over local rings and the behavior of contractibility under homotopy equivalence. The paper utilizes the fact that $R$ is an integral domain to define ranks of differentials via minors.
Zariski Topology: The paper establishes that these varieties are Zariski closed sets by relating the contractibility of $C_\alpha$ to the vanishing of specific ideals generated by minors of the differentials of $C$ .

Key Contributions and Results

Well-Definedness: The paper proves that the definition of the rank variety is independent of the choice of preimages $a_i$ for $\alpha_i$ (Theorem 3.4) and is invariant under homotopy equivalence of complexes (Proposition 3.5).
Zariski Closedness: It is shown that $V(C)$ is a Zariski closed subset of $\mathbb{P}^{c-1}_k$ . Specifically, $V(C)$ is the zero set of the intersection of ideals generated by minors of the differentials of $C$ (Theorem 3.6).
Properties of Rank Varieties: The author establishes several standard properties analogous to those in the restriction-of-scalars context:
- Invariance under shift: $V(C) = V(\Sigma C)$ .
- Additivity: $V(C \oplus C') = V(C) \cup V(C')$ .
- Duality: $V(C) = V(\text{Hom}(C, R))$ .
- Triangle inequality: For an exact triangle, the variety of one term is contained in the union of the varieties of the other two (Theorem 3.8).
Realizability: A major result is that every projective variety in $\mathbb{P}^{c-1}_k$ can be realized as the rank variety of some graded totally acyclic complex over $R$ (Theorem 4.3). This is achieved by constructing complexes via mapping cones of multiplication maps on a complete resolution of the residue field.
Dade's Lemma Analogue: The paper provides a condition for the rank variety to be empty. $V(C) = \emptyset$ if and only if $C$ is contractible or the radical of the ideal of maximal minors of the differentials is the irrelevant ideal (Proposition 3.9).
Failure of Connectedness: Contrary to the behavior of support varieties over group algebras and lci rings (where indecomposability implies connectedness), the paper demonstrates that a rank variety over the generic hypersurface can be disconnected even if the underlying object is indecomposable (Example 5.1). This highlights a fundamental difference between the generic hypersurface setting and the specialized lci setting.
Extension to Modules: The theory is extended to finitely generated graded modules. The rank variety of a module $M$ is defined via the infinite projective dimension of $M_\alpha$ over $R_\alpha$ . It is shown that $V(M) = V(C)$ where $C$ is a complete resolution of $M$ , thereby inheriting the properties of the complex case (Theorem 6.3, 6.4, 6.5).
Affine Patches: The paper briefly addresses the realizability of affine patches of projective varieties over the associated complete intersection ring $S$ , using non-finitely generated modules (Theorem 6.6).

Significance and Claims
The paper claims that the framework of extension of scalars over the generic hypersurface provides a simpler and more direct approach to proving closure properties and realizability results compared to the traditional restriction of scalars.

The author emphasizes that while rank varieties and support varieties are equivalent in the context of lci rings (via the singularity category equivalence), studying them directly over the generic hypersurface reveals distinct structural properties. Specifically, the failure of the "indecomposable implies connected" theorem in this setting suggests that the geometry of rank varieties over the generic hypersurface is richer and less constrained than previously thought. The paper positions these rank varieties as concrete invariants for graded matrix factorizations and totally acyclic complexes, offering a new perspective on the homological algebra of hypersurfaces.

The work does not claim to solve the realizability problem for the associated lci ring $S$ directly (which is already known), but rather establishes the generic hypersurface as a robust testing ground where realizability is straightforward and where new phenomena, such as disconnected rank varieties for indecomposable objects, can be observed.