🔢 mathematics

A remark on Banecki's theorem

This paper extends J. Banecki's theorem by demonstrating, through a modified proof, that every smooth complete rational variety is algebraically elliptic in the sense of Gromov, not just the projective ones.

Original authors: Shulim Kaliman

Published 2026-08-11

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Shulim Kaliman

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 the universe of mathematics not as a collection of numbers, but as a vast, invisible landscape of shapes. Some of these shapes are smooth and unbroken, like a polished marble sphere, while others are jagged or torn. In a branch of math called algebraic geometry, researchers study these shapes using equations. One of the most fascinating questions they ask is about "connectivity" and "flexibility." Can you travel from any point on a shape to any other point without getting stuck? Can you stretch and bend the shape in specific ways to cover its entire surface?

To answer this, mathematicians use a concept called a "spray." Think of a spray like a magical garden hose attached to a specific spot on a shape. If you turn it on, it shoots out streams of water (mathematical paths) that can reach every single corner of the shape nearby. If a shape has a "dominant spray," it means it is incredibly flexible; you can navigate it freely and smoothly from any starting point. This idea, known as "Gromov ellipticity," is a high-level stamp of approval for a shape's flexibility. The paper you are about to read tackles a specific type of shape called a "rational variety." You can think of these as shapes that are, in a sense, made of simple, stretchy rubber that can be flattened out into a flat plane without tearing. For a long time, mathematicians knew that if these shapes were "projective" (a specific, tidy way of being closed up), they were flexible. But what if they were just "complete" (closed up, but maybe in a messier, less tidy way)? That is the mystery this paper solves.

The author, Sh. Kaliman, takes a recent discovery by a mathematician named J. Banecki and gives it a powerful upgrade. Banecki had already proven that every smooth, projective rational variety is flexible (elliptic). However, the world of shapes is bigger than just the tidy, projective ones. Kaliman's paper shows that Banecki's logic actually works for every smooth, complete rational variety, no matter how messy the "closing up" is. The paper proves that if a shape is smooth, complete, and rational, it is guaranteed to be Gromov elliptic. In other words, these shapes are always flexible enough to be navigated freely using the mathematical equivalent of that magical garden hose.

To reach this conclusion, the author doesn't just repeat Banecki's steps; they add a clever new tool to the toolbox. They use a "refined" version of an old rule called the Chow lemma. Imagine you have a complicated, knotted shape that is hard to study directly. This new rule says you can build a slightly different, cleaner version of the shape (a "projective" version) that looks exactly the same in the area you care about, but is much easier to handle. Once you have this cleaner version, you can use Banecki's existing proof to show it's flexible. Then, using a little mathematical trick involving "embeddings" (which is like showing that if a smaller, flexible piece fits perfectly inside a larger piece, the larger piece inherits that flexibility), the author proves that the original, messy shape must be flexible too.

The paper is very sure of its result; it doesn't just suggest or simulate this outcome, it provides a rigorous mathematical proof. It explicitly rules out the idea that we need the shape to be "projective" to be flexible; the "complete" condition is enough. The author also clarifies that this applies specifically to shapes that are "retract rational," a fancy way of saying they can be pulled back from a flat space without breaking. Since all rational varieties fit this description, the conclusion holds for all of them. By combining Banecki's work on projective shapes with this new "refined" bridge to complete shapes, the paper answers a question that Gromov himself asked years ago: Yes, every smooth, complete rational variety is indeed elliptic in the sense of Gromov. It's a small but significant step in mapping the flexibility of the mathematical universe, confirming that these particular shapes are always ready to be explored from any angle.

Technical Summary: A Remark on Banecki's Theorem

Problem Statement
The paper addresses the question of whether smooth complete rational varieties are "algebraically elliptic" in the sense of Gromov. While J. Banecki had previously established that every smooth projective rational variety is algebraically elliptic, the extension of this result to the broader class of smooth complete rational varieties remained an open problem. The author seeks to determine if the property of being algebraically elliptic holds for all smooth complete rational varieties, not just those that are projective.

Methodology
The proof strategy follows the general scheme used by Banecki for the projective case but introduces a critical modification to handle the non-projective (yet complete) setting. The methodology relies on the following logical steps and tools:

Uniform Retract Rationality: The argument begins by invoking Banecki's Theorem 0.1, which states that every smooth retract rational variety is uniformly retract rational. This ensures that for any point in the variety, there exists an affine neighborhood that is a retract of an open subset of an affine space.
Localization: Following Gromov's localization lemma, the problem is reduced to constructing a dominant algebraic spray on a specific affine neighborhood $V$ of a point $x_0$ within the variety $X$ .
Refined Chow Lemma (Proposition 0.4): To bridge the gap between the affine neighborhood and the global structure, the author employs a consequence of Raynaud's work (Proposition 0.4). This "Refined Chow lemma" guarantees the existence of a proper birational morphism $f: X' \to X$ from a projective variety $X'$ that is an isomorphism over the quasi-projective subset $V$ .
Spray Descent (Proposition 0.5): The author utilizes a modified version of a technique by Lárusson (Proposition 0.5). This proposition asserts that if a dominant spray exists on the preimage of an open set under a morphism, a dominant spray can be induced on the open set itself.
Extension and Flexibility: The proof constructs a rational map from an affine space to the projective variety $X'$ . Since $X'$ is projective, the indeterminacy set of this map has codimension at least 2, allowing the map to extend to a morphism $q: Y \to X'$ where $Y$ is an open subset of affine space with high codimension complement. The author then cites known results (Forster, Kaliman, Kutzschebauch) to establish that $Y$ is flexible and therefore admits a dominant spray.

Key Contributions and Results
The primary contribution of the paper is the generalization of Banecki's theorem from the projective to the complete case.

Theorem 0.3: The paper proves that every smooth complete rational variety is elliptic in the sense of Gromov.
Theorem 0.6 (Main Result): In full generality, the author demonstrates that every smooth complete variety that is retract rational is elliptic in the sense of Gromov. Since all rational varieties are retract rational, this confirms the ellipticity of all smooth complete rational varieties.

The proof relies on the synthesis of Banecki's result on uniform retract rationality, a refined application of the Chow lemma to handle complete non-projective varieties, and the descent of sprays via birational morphisms.

Significance
The paper claims to provide a definitive answer to a question posed by Gromov regarding the ellipticity of smooth complete rational varieties. By showing that Banecki's result for projective varieties extends to the complete case through a relatively simple modification involving the refined Chow lemma and spray descent, the paper unifies the understanding of algebraic ellipticity for rational varieties. The author notes that the proof scheme is essentially the same as the projective case but requires the specific "new ingredient" of the refined Chow lemma to manage the geometry of complete non-projective varieties. The work is presented as a direct resolution to the open question, without positing further applications or future implications beyond the established theorem.

Technical Summary: A Remark on Banecki's Theorem

More like this