Beyond the square-root barrier: cubic forms of Perazzo type

1. Problemstellung und Kontext

Das Paper adressiert das quantitative Studium rationaler Punkte auf kubischen Hyperflächen über $\mathbb{Q}$. Konkret untersuchen die Autoren die kubische Hyperfläche $X \subset \mathbb{P}^5$, definiert durch die Form:
$$F(x, y) = x_1 y_1^2 + x_2 y_2^2 + x_3 y_3^2 = 0.$$
Diese Form ist ein Beispiel für eine Perazzo-Form, benannt nach Ugo Perazzo, der kubische Hyperflächen mit verschwindender Hesse-Determinante klassifizierte. Die untersuchte Varietät ist singulär entlang einer Ebene $\Pi = \{y_1=y_2=y_3=0\} \cong \mathbb{P}^2$, hat jedoch eine nicht-verschwindende Hesse-Determinante ($H_F = y_1^2 y_2^2 y_3^2$).

Das Hauptproblem:
Die klassische Kreis-Methode (Circle Method) stößt bei der Zählung rationaler Punkte auf kubischen Hyperflächen in $\mathbb{P}^{n-1}$ an eine sogenannte „Wurzelbarriere" (square-root barrier). Für glatte kubische Formen erfordert die Methode typischerweise $n > 6$ Variablen, um asymptotische Formeln zu erhalten. Für $n=6$ (wie in diesem Fall) versagt die Standardmethode oft, da die erwartete Größe der Exponentialsummen ($O(q^{n/2})$) zu groß ist, um den Hauptterm isolieren zu können.

Ziel des Papers ist es, die asymptotische Anzahl der rationalen Punkte $N(B)$ mit Höhe $\le B$ auf dieser spezifischen kubischen Vierfaltigkeit (Fourfold) zu bestimmen und dabei die Wurzelbarriere zu durchbrechen, ohne auf bedingte Annahmen zurückgreifen zu müssen.

2. Methodik

Die Autoren verwenden eine glatte $\delta$-Methode-Variante der Kreis-Methode, wie sie von Heath-Brown entwickelt wurde. Der Ansatz gliedert sich in folgende technische Schritte:

1. Fourier-Analyse und Poisson-Summation:
   Die Zählfunktion wird durch eine glatte Gewichtsfunktion $W$ und eine $\delta$-Funktion dargestellt, um die Gleichung $F(x,y)=0$ zu detektieren. Nach Anwendung der Poisson-Summation entstehen vollständige Exponentialsummen der Form:
   $$S_q(m, n) = \sum_{a \pmod q}^* \sum_{x, y \pmod q} e_q(aF(x, y) + m \cdot x + n \cdot y).$$

2. Analyse der Exponentialsummen (Eigenschaft $\diamond$):
   Ein entscheidender Durchbruch ist die Analyse der Summen $S_q(m, n)$ über endliche Körper. Die Autoren zeigen, dass für die spezifische Form $F$ eine stärkere als die übliche „Wurzel-Kürzung" (square-root cancellation) gilt. Sie definieren die Eigenschaft $(\diamond)$: Für fast alle Vektoren $b$ und Primzahlen $p$ gilt $|S_p(b)| \le C p^3$ (statt des erwarteten $O(p^{7/2})$).
   Dies wird durch eine detaillierte Untersuchung der Struktur der Summen über Primzahlpotenzen und die Nutzung der Dualform $D(m, n)$ erreicht.

3. Die Dualform und die duale Varietät:
   Eine zentrale Rolle spielt die duale Form (sextische Form):
   $$D(m, n) = \sum m_i^2 n_i^4 - 2 \sum_{i<j} m_i m_j n_i^2 n_j^2.$$
   Die Autoren zeigen, dass die Exponentialsummen $S_q(m, n)$ stark von der Bedingung $D(m, n) = 0$ abhängen. Die duale Varietät $X^*$ (definiert durch $D=0$) ist eine Hyperfläche vom Grad 6.

4. Behandlung der Fehlerterme und Hooleys $\Delta$-Funktion:
   Um die Summen über den Modul $q$ zu kontrollieren, müssen Fehlerterme $E_1(B)$ und $E_2(B)$ abgeschätzt werden, die auftreten, wenn $D(m, n) \neq 0$. Hier nutzen die Autoren Hooleys $\Delta$-Funktion (die maximale Anzahl von Teilern in einem Intervall logarithmischer Länge), kombiniert mit oberen Schranken für die durchschnittliche Größe dieser Funktion entlang Polynomfolgen (basierend auf Arbeiten von la Bretèche–Tenenbaum und Chan–Koymans–Pagano–Sofos). Dies erlaubt es, logarithmische Verluste zu vermeiden.

5. Beiträge der dualen Varietät:
   Ein subtiler Aspekt ist, dass der Hauptterm nicht nur von den trivialen Frequenzen $(m, n) = (0, 0)$ stammt, sondern auch signifikante Beiträge von Vektoren $(m, n) \neq (0, 0)$ erhält, für die $D(m, n) = 0$ gilt. Diese Beiträge werden über Gitterpunkte auf der dualen Varietät analysiert.

3. Hauptergebnisse

Das zentrale Ergebnis ist Satz 1.1 (Theorem 1.1):

Für jede glatte Gewichtsfunktion $W$, die auf dem Bereich $\{(x, y) \in \mathbb{R}^6 : y_1 y_2 y_3 \neq 0\}$ kompakt unterstützt ist, gilt für die gewichtete Zählfunktion $N(B)$:
$$N(B) = \frac{\sigma_\infty}{\zeta(3)} B^3 \log B + O(B^3 (\log B)^\varepsilon).$$
Hierbei ist $\sigma_\infty$ die reelle Dichte (weighted real density) und $\zeta(3)$ die Riemannsche Zeta-Funktion bei 3.

Konsequenzen für die Manin-Vermutung:
In Abschnitt 2 wird gezeigt, dass dieses Ergebnis die Manin-Vermutung für eine crepante Auflösung $\rho: \tilde{X} \to X$ der singulären Varietät bestätigt.

• Die Auflösung $\tilde{X}$ ist eine glatte Varietät, die als $\mathbb{P}^2$-Bündel über $\mathbb{P}^2$ strukturiert ist.
• Die asymptotische Formel stimmt exakt mit der Vorhersage von Peyre für die führende Konstante überein:
  $$\alpha(\tilde{X}) \beta(\tilde{X}) \tau_\infty(\tilde{X}) \tau_{\text{fin}}(\tilde{X}) = \frac{\sigma_\infty}{6 \zeta(3)^2}.$$
  (Hinweis: Der Faktor $1/6$ ergibt sich aus der Umrechnung zwischen der Standardzählung und der antikanonischen Höhe).

4. Technische Durchbrüche und Bedeutung

• Durchbrechen der Wurzelbarriere: Dies ist der erste unbedingte Beweis einer asymptotischen Formel für eine reduzierte und irreduzible kubische Vierfaltigkeit ($n=6$) mittels der Kreis-Methode. Bisherige Ergebnisse für $n=6$ waren oft bedingt oder betrafen nur spezielle Fälle (wie Diagonalformen).
• Verfeinerte Exponentialsummen: Die Arbeit demonstriert, dass für bestimmte kubische Formen (insbesondere solche mit linearer Struktur im singulären Ort, wie Perazzo-Formen) die Exponentialsummen eine bessere Abschätzung als die generische Wurzel-Kürzung zulassen. Dies hängt mit dem Verschwinden der „A-Zahl" (nach Katz) zusammen.
• Rolle der Dualvarietät: Das Paper zeigt, dass die duale Varietät nicht nur für Fehlerterme relevant ist, sondern einen wesentlichen Teil des Hauptterms liefert (hier genau $1/4$ des Hauptterms, während $3/4$ von den trivialen Frequenzen kommen). Dies ist ein tiefes strukturelles Ergebnis für die Kreis-Methode bei singulären Varietäten.
• Anwendung des Hooley $\Delta$-Funktion: Die elegante Nutzung der $\Delta$-Funktion zur Kontrolle von Summen über Teiler von Polynomen ist ein methodischer Meilenstein, der es erlaubt, logarithmische Verluste zu vermeiden, die sonst die Schärfe des Ergebnisses beeinträchtigen würden.

5. Fazit

Das Paper liefert einen Meilenstein in der analytischen Zahlentheorie, indem es die Grenzen der Kreis-Methode für kubische Formen in sechs Variablen erweitert. Es verbindet tiefgehende algebraische Geometrie (Dualität, Auflösung von Singularitäten) mit hochentwickelter analytischer Technik (Exponentialsummen, Gitterpunkte, $\Delta$-Funktion), um die Manin-Vermutung für eine wichtige Klasse singulärer kubischer Hyperflächen zu beweisen. Die Ergebnisse deuten darauf hin, dass die „Wurzelbarriere" für bestimmte Familien von kubischen Formen durchbrochen werden kann, wenn deren arithmetische Struktur (hier die Perazzo-Struktur) ausgenutzt wird.