🔢 mathematics

Families of singular algebraic varieties that are rationally elliptic spaces

This paper constructs an infinite family of hypersurfaces with isolated singularities in projective space that are rationally elliptic spaces with nef (anti-)canonical classes, while proving in the appendix that no such infinite family exists for smooth rationally elliptic 3-folds.

Original authors: A. Libgober

Published 2026-02-02

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: A. Libgober

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 an architect trying to understand the "shape" of buildings. In mathematics, these buildings are called algebraic varieties. Some are smooth and perfect like a polished marble statue, while others have cracks, sharp corners, or singularities (like a crumpled piece of paper).

This paper, written by A. Libgober, explores a very specific group of these mathematical buildings. The author is looking for structures that are "rationally elliptic."

What does "Rationally Elliptic" mean?

Think of a shape's "complexity" as the amount of information needed to describe its holes, loops, and twists.

Rationally Elliptic: These are shapes where the complexity is finite. You can list all their holes and loops on a finite piece of paper. They are "tame" and well-behaved, even if they look complicated.
Rationally Hyperbolic: These are shapes with infinite complexity. Their loops and holes multiply endlessly, like a fractal that never stops growing.

The author is asking: "Can we build an infinite number of different 'tame' (elliptic) buildings that have singularities (cracks), yet still look like they belong to a specific family?"

The Three Families of "Cracked" Buildings

The paper presents three specific blueprints (equations) for these singular buildings. Even though they have cracks, they turn out to be "rationally elliptic."

The Weighted Projective Family (Type 1):
Imagine a building where the floors are stacked unevenly, like a spiral staircase that gets wider or narrower at different rates. These are defined in a "weighted" space. The paper shows that despite their uneven weights and singular points, they are topologically similar to a standard projective space (a mathematical version of a sphere or a flat plane extended infinitely).
The "Twisted" Family (Type 2):
These are hypersurfaces (surfaces in higher dimensions) defined by a specific chain of terms. Think of them as a series of rooms connected in a loop, where the last room connects back to the first in a tricky way.
- The Result: Even though they have a sharp corner (a singularity), they are "homologically" identical to a standard projective space. They have the same number of holes and loops as a perfect sphere, just with a kink in the fabric.
The "Quadric" Family (Type 3):
These are new examples created by the author. They look like a chain of terms where each term feeds into the next.
- The Result: These singular shapes are topologically equivalent to smooth quadrics (which are like higher-dimensional spheres or hyperboloids). The paper proves that even with their singularities, they share the same "real" shape as their smooth cousins.

The Big Surprise: Infinite Variety vs. Finite Smoothness

Here is the most interesting part of the paper, which uses a great contrast:

The Smooth Case: If you look for smooth (perfect, no cracks) 3-dimensional buildings that are "rationally elliptic" and have a specific property called a "nef canonical class" (a technical way of saying the building's curvature is well-behaved), there are only a finite number of types. It's like saying there are only a few ways to build a perfect, smooth house that doesn't collapse.
The Singular Case: However, if you allow singularities (cracks), the author shows you can build an infinite number of distinct types of these "tame" buildings. You can make infinitely many different "cracked" versions that are all rationally elliptic.

The Analogy:
Imagine you are trying to make perfect, smooth clay spheres. There are only a few ways to do it without the clay cracking. But if you are allowed to make cracked spheres, you can make an infinite number of unique, cracked shapes that still feel like spheres when you touch them (in a mathematical sense).

The "Real" vs. "Rational" Distinction

The paper makes a subtle but important distinction:

Over the Rational Numbers (Q): These singular shapes might look different from each other. They have different "DNA" (homotopy types).
Over the Real Numbers (R): If you zoom out and look at the big picture, many of these different shapes actually look the same. They fall into just two main "real" categories.

The Appendix: A Warning for Smooth Shapes

In the appendix, the author adds a "spoiler" for smooth shapes. Using results from other mathematicians, they prove that no such infinite family exists for smooth 3-dimensional shapes. If you want a smooth, rationally elliptic 3D shape with a well-behaved curvature, you are limited to a small, finite list. The "infinite variety" only appears when you introduce singularities (cracks).

Summary

This paper is a catalog of singular mathematical shapes that are surprisingly well-behaved ("rationally elliptic").

It proves you can create infinitely many distinct types of these shapes if you allow them to have singularities.
It shows that these shapes, despite their cracks, share the same fundamental "shape" (homotopy type) as smooth, perfect shapes like projective spaces or quadrics.
It highlights a sharp difference: Smooth shapes of this type are rare and finite; Singular shapes of this type are abundant and infinite.

The paper does not discuss clinical uses or future engineering applications; it is purely a mathematical exploration of the geometry and topology of these specific algebraic varieties.

Technical Summary: Families of Singular Algebraic Varieties that are Rationally Elliptic Spaces

Problem Statement
The paper addresses the classification and existence of rationally elliptic algebraic varieties. A rationally elliptic space is defined as a simply connected topological space $X$ satisfying the finiteness conditions $\dim H^*(X, \mathbb{Q}) < \infty$ and $\dim \pi_*(X) \otimes \mathbb{Q} < \infty$ . While smooth rationally elliptic manifolds are well-studied (e.g., homogeneous spaces, Fano varieties), the paper investigates whether infinite families of such spaces exist within the realm of singular algebraic varieties, specifically hypersurfaces with isolated singularities.

A central motivation is the relationship between geometric properties (such as the nefness of the canonical or anti-canonical class) and homotopy types. The author notes that for smooth varieties in dimensions 2 and 3, there are only finitely many deformation types of rationally elliptic varieties with nef canonical or anti-canonical classes. The paper explores whether this finiteness holds for singular varieties or if infinite families of distinct homotopy types exist under similar geometric constraints.

Methodology
The author constructs explicit families of singular projective hypersurfaces defined by specific polynomial equations in weighted projective spaces and standard projective spaces. The methodology involves:

Explicit Construction: Defining three families of hypersurfaces:
- Family (1): $H(a_0, \dots, a_{n+1})$ in a weighted projective space $\mathbb{P}(w_0, \dots, w_{n+1})$ , given by $z_0^{a_0}z_1 + z_1^{a_1}z_2 + \dots + z_{n+1}^{a_{n+1}}z_0 = 0$ (for $n$ odd).
- Family (2): $V^d_n$ in $\mathbb{P}^{n+1}$ , given by $z_1^d + z_0 z_2^{d-1} + z_2 z_3^{d-1} + \dots + z_n z_{n+1}^{d-1} = 0$ .
- Family (3): $W^d_n$ in $\mathbb{P}^{n+1}$ , given by $z_0 z_1^{d-1} + z_1 z_2^{d-1} + \dots + z_n z_{n+1}^{d-1} = 0$ .
Topological Analysis:
- Homology and Cohomology: Calculating the rational homology and cohomology rings of these varieties. For Families (1) and (2), the author demonstrates they possess the rational homology of projective spaces ( $\mathbb{P}^n$ ). For Family (3), the author shows they have the rational homology of smooth even-dimensional quadrics.
- Monodromy and Milnor Numbers: Utilizing the theory of isolated singularities, the author computes the characteristic polynomials of the local monodromy ( $\Phi^d_n(t)$ ) and the Milnor numbers for the singular points. This involves recurrence relations derived from the Thom-Sebastiani theorem and properties of weighted homogeneous singularities.
- Formality: Establishing that these singular varieties are "formal" spaces (in the sense of Sullivan). This property ensures that the isomorphism of their rational cohomology rings induces an isomorphism of their Sullivan minimal models, thereby confirming their rational homotopy types.
Geometric Properties: Analyzing the canonical bundles of these varieties to determine if they are nef or anti-nef, and calculating self-intersection numbers.

Key Contributions and Results

Infinite Families of Distinct Homotopy Types: The paper proves the existence of infinite families of singular rationally elliptic hypersurfaces in any dimension $n > 1$ .
- Theorem 2.1 & 2.2: Families (1) and (2) are rationally homotopy equivalent to $\mathbb{P}^n$ . Despite being rationally elliptic and having the rational homology of $\mathbb{P}^n$ , they represent infinitely many distinct integral homotopy types (though falling into two real homotopy types).
- Theorem 3.1 & Proposition 3.6: Family (3) ( $W^d_n$ for even $n$ ) provides singular hypersurfaces that are rationally elliptic and have the real homotopy type of a smooth even-dimensional quadric. However, they are not rationally homotopy equivalent to each other for different parameters, representing distinct rational homotopy types.
Geometric Constraints and Nefness:
- The constructed singular varieties possess either a nef canonical class or a nef anti-canonical class.
- The paper highlights a contrast with the smooth case: While smooth rationally elliptic 3-folds with nef canonical classes are finite in number (a result cited from [1]), the singular examples provided here form infinite families with these properties.
Appendix Result (Smooth Case): The author includes an appendix demonstrating that an infinite family of smooth rationally elliptic 3-folds with a nef canonical class does not exist. This reinforces the significance of the singular examples found in the main text.
Circle Actions: The paper notes that the links of the affine cones over these singular hypersurfaces yield examples of circle actions on stratified spaces that are homology spheres (for Family 2) or rational products of spheres (for Family 3), connecting the results to the Montgomery-Yang problem.

Significance
The paper claims significance by providing the first explicit examples of infinite families of singular algebraic varieties that are rationally elliptic and possess nef (or anti-nef) canonical classes, yet exhibit infinitely many distinct homotopy types. This challenges the intuition derived from the smooth case, where such finiteness often holds.

The work bridges the gap between algebraic geometry and rational homotopy theory by showing that singularities can preserve the "rationally elliptic" property while allowing for a vast diversity of topological structures. The results align with Hodge-theoretic properties discussed in related literature (e.g., [24], [37]), specifically regarding mixed Hodge structures being of Hodge-Tate type.

The author explicitly states that these examples serve to answer the question of whether finiteness of homotopy types extends to singular varieties with nef canonical classes, concluding that it does not. The paper does not claim to solve the general classification of all rationally elliptic varieties but rather establishes the existence of these specific, infinite families of singular counterexamples to smooth-case finiteness expectations.