$q$-bic threefolds and their surface of lines

This paper investigates the geometry of the smooth surface of lines $S$ on a $q$-bic threefold by employing projective, moduli-theoretic, and degeneration techniques alongside modular representation theory to compute the cohomology of its structure sheaf when $q$ is prime.

The Gist

Imagine you are an architect exploring a vast, strange new landscape made of pure mathematics. This landscape is built not with bricks and mortar, but with equations and shapes existing in a world where the rules of arithmetic are slightly different (specifically, in "positive characteristic," a setting used in advanced number theory and cryptography).

The paper you are asking about is a tour guide through a specific, fascinating corner of this landscape: The "q-bic Threefold" and its "Surface of Lines."

Here is the story of the paper, broken down into simple concepts and analogies.

1. The Setting: The "q-bic" World

First, imagine a standard 3D room. Now, imagine a 4D room (a "threefold" is a 3D object living in 4D space). In this paper, the author studies a specific type of 4D shape called a q-bic threefold.

• The Analogy: Think of a standard sphere. It's defined by a simple equation like $x^2 + y^2 + z^2 = 1$.
• The Twist: In this paper, the "sphere" is defined by a much weirder equation involving powers of a number $q$ (which is a power of the prime number $p$ that defines the math world). It looks like $x^{q+1} + y^{q+1} + \dots = 0$.
• Why it matters: These shapes are special. They are like the "superheroes" of this mathematical world. They have unique properties that make them behave differently than normal shapes, especially when you try to count things on them.

2. The Main Character: The "Surface of Lines"

The author isn't just looking at the big 4D shape; he is looking at the lines that can be drawn inside it.

• The Analogy: Imagine a giant, complex sculpture (the 3D shape). If you were to stick a straight wire (a line) through it, how many ways could you do that?
• The Discovery: For these specific "q-bic" shapes, the collection of all possible straight lines you can fit inside them forms its own shape. This new shape is a Surface of Lines (let's call it S).
• The Comparison: In the world of normal "cubic" shapes (like the famous Fermat cubic), mathematicians already knew that the surface of lines was a very special, smooth object. This paper asks: Does this hold true for our weird "q-bic" shapes?
• The Answer: Yes! The surface S is a smooth, beautiful 2D object (a surface), but it has some very strange, "exotic" features that only exist in this specific mathematical universe.

3. The Big Challenge: The "Unliftable" Shape

One of the most exciting discoveries in the paper is that this surface S is unliftable.

• The Analogy: Imagine you have a sculpture made of clay. Usually, if you have a clay sculpture, you can imagine it being made of marble or wood. You can "lift" the design from clay to a more permanent material.
• The Problem: This author proves that for these specific shapes, you cannot lift them. If you try to imagine this surface existing in a "standard" mathematical world (characteristic 0), it falls apart. It is a creature that only exists in this specific, exotic mathematical climate. It's like a fish that can only breathe in a specific type of alien water; if you put it in normal water, it dies.

4. The Detective Work: Counting the "Holes"

The main goal of the paper is to count the "holes" in this surface S. In math, counting holes (cohomology) tells you how complex a shape is.

• The Problem: Because the shape is "unliftable," the usual tools mathematicians use to count holes don't work. It's like trying to measure the volume of a ghost using a ruler.
• The Solution: The author uses a clever trick called degeneration.
  • The Metaphor: Imagine you have a perfect, smooth ice sculpture. It's too slippery to measure. So, you let it melt just a tiny bit into a puddle (a singular, messy shape).
  • The Strategy: He studies the messy, melted version first. He calculates the holes in the mess. Then, he uses a sophisticated "filter" (called the geometric theory of filtrations) to figure out which parts of the mess "melted away" and which parts remained solid in the original smooth sculpture.
  • The Result: By carefully tracking what melts and what stays, he successfully counts the holes in the original, smooth surface.

5. The "Cone" Trick

To make this calculation work, the author uses a geometric trick involving cones.

• The Analogy: Imagine a lighthouse. If you shine a light from the top (the cone point) down onto the ground, you can map the ground to the light beam.
• The Application: The author finds special points on the shape (called "cone points" or "star points"). By projecting the lines from these points, he can flatten the complex 3D problem down into a simpler 1D problem (a curve). This allows him to use the tools of the finite unitary group (a type of symmetry group) to do the heavy lifting of the calculation.

6. The Grand Conclusion

The paper concludes with a precise formula for the number of "holes" in this surface, but only when the number $q$ is a prime number.

• The Takeaway: The author shows that even though these shapes are weird, exotic, and refuse to exist in normal math, they follow a very strict, predictable pattern. The number of holes grows in a specific polynomial way as the size of the shape ($q$) increases.
• The Analogy: It's like discovering that a chaotic, alien jungle actually has a hidden, perfect grid system underneath the vines. Once you find the grid, you can predict exactly how many trees will grow in any size of that jungle.

Summary for the Layperson

Raymond Cheng has built a bridge between two worlds:

1. The World of Cubic Shapes: Well-understood, smooth, and classical.
2. The World of q-bic Shapes: Exotic, existing only in specific mathematical climates, and previously mysterious.

He proved that the "Surface of Lines" in this exotic world behaves like its classical cousin but has unique, un-liftable properties. By melting the shape down to a mess and carefully filtering it back up, he managed to count its hidden complexities, revealing a beautiful, predictable mathematical structure hidden within the chaos.

Technical Summary

Here is a detailed technical summary of the paper "q-BIC THREEFOLDS AND THEIR SURFACE OF LINES" by Raymond Cheng.

1. Problem Statement and Context

The paper investigates the geometry of $q$-bic threefolds, a class of hypersurfaces in projective 4-space ($\mathbb{P}^4$) defined over an algebraically closed field $k$ of characteristic $p > 0$. A $q$-bic threefold $X$ is defined by an equation of the form:
$$\sum_{i,j=0}^4 a_{ij} x_i^q x_j = 0$$
where $q = p^e$ is a power of the characteristic. These varieties generalize the classical Fermat threefold of degree $q+1$.

The central object of study is the Fano surface of lines $S$ (the scheme parameterizing lines contained in $X$). The author aims to:

1. Establish a rigorous analogy between the geometry of lines on $q$-bic threefolds and the classical theory of lines on smooth cubic threefolds (degree 3) in characteristic 0.
2. Compute the cohomology of the structure sheaf $\mathcal{O}_S$, specifically when $q=p$ (the prime case).
3. Address the challenge that these varieties are "purely positive characteristic phenomena" that do not lift to characteristic 0 or even to the second Witt vectors $W_2(k)$ when $q > 2$, rendering classical vanishing theorems inapplicable.

2. Methodology

Cheng employs a sophisticated blend of techniques from algebraic geometry, representation theory, and deformation theory:

• Projective Geometry and Cone Situations: The author utilizes the existence of "cone points" (generalizations of Eckardt points) on $q$-bic threefolds. By projecting from a cone point, a rational map $\phi: S \dashrightarrow C$ is constructed, where $C$ is a smooth $q$-bic curve. This map is resolved via a blow-up $\tilde{S} \to S$ and a quotient map $\rho: \tilde{S} \to T$, where $T$ is a specific degeneracy locus in a product of projective bundles over $C$.
• Degeneration Arguments: To compute cohomology for the smooth case, the paper specializes the smooth $q$-bic threefold $X$ to a singular threefold $X_0$ of type $1 \oplus 3 \oplus N_2$. The Fano surface$S_0$of$X_0$is non-normal, but its normalization$S_0^\nu$is a projective bundle over$C$.
• Modular Representation Theory: The computation of cohomology groups relies heavily on the representation theory of the finite unitary group $U_3(p)$ (and its subgroup $SU_3(p)$). The cohomology groups are identified as specific representations of this group.
• Geometric Theory of Filtrations: A crucial innovation is the use of the geometric theory of filtrations (inspired by Simpson's work on non-abelian Hodge theory). By constructing a $\mathbb{G}_m$-equivariant family over $\mathbb{A}^1$, the author relates the cohomology of the smooth fiber $S$ to the singular fiber $S_0$. The $\mathbb{G}_m$-action induces a filtration on the cohomology of $S$, whose graded pieces correspond to components of the cohomology of $S_0$. This allows the author to refine upper semicontinuity bounds to exact equalities.
• Normalization and Conductors: For the singular case, the paper analyzes the conductor ideal of the normalization map $\nu: S_0^\nu \to S_0$. The cohomology of $\mathcal{O}_{S_0}$ is reduced to the cohomology of a specific sheaf $\mathcal{F}$ on the curve $C$, derived from the conductor.

3. Key Contributions and Results

A. Geometry of the Fano Surface (Theorem A)

For a smooth $q$-bic threefold $X$, the Fano surface $S$ is an irreducible, smooth, projective surface of general type.

• Tangent Bundle: $T_S \cong \mathcal{S} \otimes \mathcal{O}_S(2-q)$, where $\mathcal{S}$ is the tautological rank 2 subbundle.
• Invariants: Explicit formulas are derived for the Chern numbers $c_1(S)^2$ and $c_2(S)$, and the Euler characteristic $\chi(S, \mathcal{O}_S)$.
• Non-liftability: If $q > 2$, $S$ does not lift to $W_2(k)$ (violating Kodaira-Akizuki-Nakano vanishing) nor to characteristic 0 (violating the Bogomolov-Miyaoka-Yau inequality).

B. Analogy with Clemens-Griffiths (Theorem)

The paper establishes a positive-characteristic analogue of the Clemens-Griffiths theorem for cubic threefolds. There are purely inseparable isogenies between the Albanese variety of $S$, the intermediate Jacobian of $X$, and the Picard variety of $S$:
$$\text{Alb}_S \leftarrow \text{Ab}^2_X \to \text{Pic}^0_{S, \text{red}}$$
All are supersingular abelian varieties of dimension $\frac{1}{2}q(q-1)(q^2+1)$.

C. Cohomology Computations (Theorem B)

When $q=p$ (the prime case), the dimensions of the cohomology groups of the structure sheaf are computed exactly:

• $\dim_k H^1(S, \mathcal{O}_S) = \frac{1}{2}p(p-1)(p^2+1)$.
• $\dim_k H^2(S, \mathcal{O}_S) = \frac{1}{12}p(p-1)(5p^4 - 2p^2 - 5p - 2)$.
• Consequently, the Picard scheme of $S$ is smooth.

D. Singular Case and Degeneration (Theorem C)

For the singular threefold $X_0$ of type $1 \oplus 3 \oplus N_2$, the Fano surface$S_0$is non-normal. Its normalization$S_0^\nu$is a$\mathbb{P}^1$-bundle over a smooth$q$-bic curve$C$. The cohomology of$S_0$ is computed using the conductor sheaf and modular representation theory, yielding dimensions slightly larger than the smooth case.

E. The Degeneration Argument (Theorem B Proof)

The core technical achievement is proving that the cohomology of the smooth surface $S$ is strictly smaller than that of the singular surface $S_0$ by a specific amount.

• Upper semicontinuity gives an inequality: $\dim H^1(S) \leq \dim H^1(S_0)$.
• Using the $\mathbb{G}_m$-equivariant family, the author identifies a filtration on $H^1(S)$ whose graded pieces are subspaces of $H^1(S_0)$.
• By analyzing the action of the unipotent group $\alpha_p$ and the representation theory of $U_3(p)$, the author proves that a specific subspace of $H^1(S_0)$ (of dimension $\frac{1}{6}p(p-1)(p-2)$) does not lift to $H^1(S)$. This tightens the bound to an equality.

4. Significance

• New Phenomena in Positive Characteristic: The paper provides a concrete example of a smooth surface of general type that is "purely positive characteristic," failing to lift to characteristic 0. This challenges the intuition that geometric properties of Fano schemes should behave uniformly across characteristics.
• Methodological Innovation: The application of the geometric theory of filtrations to determine cohomology dimensions via degeneration is a novel technique. It offers a new tool for studying varieties where standard vanishing theorems fail.
• Representation Theory in Geometry: The work demonstrates a deep interplay between the geometry of $q$-bic hypersurfaces and the modular representation theory of finite unitary groups, specifically in computing cohomology of structure sheaves.
• Generalization of Classical Results: It successfully extends the classical Clemens-Griffiths theory of cubic threefolds to the $q$-bic setting, providing a unified framework for understanding Fano schemes of hypersurfaces defined by Frobenius-twisted forms.
• Moduli Perspective: The author suggests viewing $q$-bic hypersurfaces as a single family parameterized by the prime power $q$, where invariants vary polynomially in $q$. This perspective opens avenues for studying families of schemes over varying characteristics.

In summary, Raymond Cheng's paper resolves the cohomology of the Fano surface of lines for $q$-bic threefolds in the prime characteristic case, utilizing a novel degeneration strategy combined with deep representation-theoretic insights to overcome the lack of lifting and vanishing theorems in positive characteristic.