🔢 mathematics

Holomorphic tensors on products of algebraic cones

This paper establishes that holomorphic tensors on products of algebraic cones and Sasaki manifolds are invariant under specific contraction flows and Reeb fields, respectively, by demonstrating their invariance under Zariski closures and utilizing explicit embeddings into normal varieties.

Original authors: Vlad Marchidanu

Published 2026-06-18

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Vlad Marchidanu

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

The Big Picture: The "Magic Zoom" and the "Unmoving Patterns"

Imagine you have a complex, multi-layered geometric shape (like a crystal or a strange, folded piece of paper). In mathematics, these shapes are called manifolds. Some of these shapes have a special property: they look like a cone. If you zoom in on the tip of the cone, it looks the same as if you zoomed out. This "zooming" action is called a contraction.

The paper asks a simple but deep question: If you have a pattern drawn on a shape made by combining two of these cones, does that pattern stay the same when you "zoom" or "rotate" the shape in specific ways?

The author proves that yes, the pattern must stay still. It is "invariant." No matter how you twist or zoom the shape using these specific rules, the pattern doesn't change.

The Cast of Characters

To understand the paper, let's meet the main characters using metaphors:

The Algebraic Cone (The Shape): Think of this as a funnel or a cone made of glass. It has a sharp point at the bottom (the singularity). The paper studies what happens when you take two of these funnels and glue them together side-by-side.
The Contraction (The Zoom): Imagine a magical camera that can zoom in infinitely on the tip of the cone. In math, this is a "contraction." The paper studies what happens when you have a group of these zooms working together.
The Holomorphic Tensor (The Pattern): This is the fancy math term for a "pattern" or a "rule" drawn on the surface of the shape. It could be a vector field (arrows pointing everywhere) or a more complex shape. The paper is interested in patterns that are "holomorphic," which basically means they are perfectly smooth and follow the rules of complex numbers (like the surface of a soap bubble).
The Sasaki Manifold (The Odd-Dimensional Twin): These are the "odd-numbered" cousins of the cones. If a cone is a 3D object, a Sasaki manifold is a 2D surface wrapped around it. They are related to the cones in a very specific way: if you take a Sasaki manifold and stretch it out into a cone, you get the algebraic cone the paper studies.
The Reeb Field (The Spinning Top): On a Sasaki manifold, there is a special direction of movement, like a spinning top. This is the "Reeb field." The paper proves that the patterns on the manifold don't change when you spin the top.

The Story of the Paper

Part 1: The Cone Factory (Sections 2–4)

The author starts by building a factory for these "cones." He shows that if you take two cones and combine them, you can define a set of rules (an "algebraic structure") for how they behave.

He then proves a Golden Rule: If you have a pattern on a shape made of two cones, and you have a "zoom" button that shrinks both cones simultaneously, then any pattern that doesn't change when you press the zoom button once, will not change even if you press the "Zariski closure" button.

The Analogy: Imagine you have a pattern on a rubber sheet. If you stretch the sheet in a specific way, and the pattern looks the same, the paper proves that the pattern is so rigid that it must look the same even if you stretch it in every possible mathematical variation of that stretch. The pattern is "locked in."

Part 2: The Bridge to Reality (Sections 5–6)

The cones are abstract mathematical objects. To make them useful for real-world geometry (like the Sasaki manifolds mentioned above), the author needs to build a bridge.

He constructs a map (an embedding) that takes the "open cone" (the shape without the tip) and fits it perfectly inside a standard grid of numbers (like a computer screen).

The Analogy: Imagine trying to fit a weird, curved balloon into a square box. The author proves you can do this without tearing the balloon, and once it's in the box, the balloon's surface looks like a standard, well-behaved algebraic shape. This allows him to use the "Golden Rule" from Part 1 on these real-world shapes.

He also shows that the "ingredients" (sections of a line bundle) used to build this map are finite and manageable, like a recipe with a fixed list of ingredients rather than an infinite one.

Part 3: The Final Proof (Section 7)

Now, the author applies his "Golden Rule" to the Sasaki manifolds.

He takes two Sasaki manifolds and combines them.
He realizes that the "cone" over this combined shape is exactly the kind of object he studied in Part 1.
He identifies the "spinning top" movement (the Reeb field) as being part of the "Zariski closure" of the zooming action.
The Conclusion: Because the pattern (the holomorphic tensor) is locked in by the zooming action, it must also be locked in by the spinning top action.

In plain English: If you have a pattern on a combined Sasaki manifold, and you spin the manifold along its special "Reeb" axis, the pattern will not change. It is completely immune to that rotation.

Why This Matters (According to the Paper)

The paper doesn't claim this will cure diseases or build better engines. Instead, it solves a puzzle in pure geometry.

The Puzzle: Mathematicians knew that patterns on certain shapes (Vaisman manifolds) didn't change under specific flows. They wanted to know if this was true for products of Sasaki manifolds (which are more complex).
The Solution: By translating the problem into the language of "algebraic cones" and using the "Zariski closure" trick, the author proved that the answer is yes. The patterns are invariant.

Summary Metaphor

Imagine two spinning wheels (Sasaki manifolds) connected together. You draw a picture on them. The paper proves that if you spin these wheels in a very specific, synchronized way (the Reeb flow), your drawing will look exactly the same as it did before you started spinning. The drawing is "frozen" in time relative to that spin, no matter how complex the wheels are. The author proved this by first studying the "shadows" of these wheels (the cones) and showing that the shadows have a rigid structure that forces the drawing to stay still.

Technical Summary: Holomorphic Tensors on Products of Algebraic Cones

Problem Statement
The paper addresses the rigidity of holomorphic tensors on products of Sasaki manifolds. While it is established that holomorphic tensors on Vaisman manifolds are invariant under the flows of the Lee and anti-Lee fields, the behavior of such tensors on products of Sasaki manifolds remained an open question. Specifically, the author seeks to prove that any holomorphic tensor on the product of two Sasaki manifolds is invariant under the flows of their respective Reeb fields. This problem is situated within the broader context of locally conformally Kähler (LCK) geometry, where Sasaki manifolds serve as the odd-dimensional counterparts to Kähler manifolds, and their metric cones relate to Vaisman geometry.

Methodology
The author employs a multi-stage strategy that bridges complex differential geometry, algebraic geometry, and the theory of LCK manifolds:

Algebraic Cone Framework: The paper first abstracts the problem to the setting of algebraic cones. An algebraic cone is defined as a complex variety with a unique isolated singularity admitting a holomorphic contraction. The author utilizes the equivalence between closed algebraic cones and the Stein completions of $\mathbb{Z}$ -covers of LCK manifolds with proper potential.
Product Structure and Algebraic Embedding: The core technical challenge involves the product of two such cones. The author constructs an algebraic structure on the product $X = X_1 \times X_2$ $X = X_{1} \times X_{2}$ determined by the $\gamma^*$ $γ^{*}$ -finite holomorphic functions, where $\gamma$ $γ$ is a contraction on both factors. A critical step is the explicit construction of an embedding of the cone of a Sasaki manifold (and its product) into $\mathbb{C}^N \setminus \{0\}$ $C^{N} ∖ {0}$ such that the closure is a normal variety. This requires:
- Revisiting embedding strategies for orbifolds.
- Proving the finite generation of the ring of sections of powers of a specific line orbibundle over the quotient orbifold.
- Establishing the algebraic normality of this ring to ensure the image closure is a normal variety.
Invariance via Zariski Closure: The proof relies on the mechanism that if a holomorphic section is invariant under a contraction $\gamma$ , it is also invariant under the Zariski closure of the group generated by $\gamma$ . This is demonstrated using properties of coherent sheaves on normal varieties and the behavior of jets at the singular point.
Application to Sasaki Manifolds: The abstract results are applied to Sasaki manifolds by:
- Identifying the cone over a Sasaki manifold as an open algebraic cone.
- Utilizing the complex structure on the product of Sasaki manifolds defined by a non-real parameter $\alpha$ (following previous work by the author and others).
- Constructing specific contractions within the group $G_\alpha$ defining the product structure. The author demonstrates that for any Reeb field flow, there exists a contraction in $G_\alpha$ whose Zariski closure contains that flow.

Key Contributions and Results

Theorem 4.1 (Invariance on Algebraic Cones): The paper proves that any holomorphic section of a tensor bundle on the quotient of a product of two closed algebraic cones (by a $\mathbb{C}$ -action containing a contraction on both factors) is invariant under the Zariski closure of that contraction, provided the factors have dimension $\ge 2$ .
Explicit Embedding of Sasaki Cones: The author provides an explicit proof of the embedding of the cone of a Sasaki manifold into $\mathbb{C}^N \setminus \{0\}$ with a normal variety closure. This fills a gap in the literature regarding the explicit control of generators and the algebraic normality of the ring of sections, which is necessary for the subsequent invariance arguments.
Theorem 7.3 (Main Result): The paper establishes that any holomorphic tensor on the product of two Sasaki manifolds is invariant under the flows of the Reeb fields of the constituent manifolds. This is achieved by showing that the Reeb flows lie within the Zariski closure of specific contractions acting on the associated algebraic cones.

Significance and Claims
The paper claims to provide a natural generalization of the invariance results known for Vaisman manifolds to the product of Sasaki manifolds. The significance lies in the synthesis of algebraic geometry (specifically the theory of normal varieties and Stein completions) with the differential geometry of Sasaki and LCK manifolds.

The author notes that the passage to the context of algebraic cones is difficult and serves as a pretext to compile results from algebraic geometry and complex analysis. The work does not claim to solve the existence of LCK metrics on these products (referencing previous work showing they cannot bear LCK metrics) but rather focuses on the rigidity of the tensor fields themselves. The results rely heavily on the specific algebraic structure induced by the Reeb fields and the properties of the associated orbibundles. The paper remains modest regarding future implications, focusing strictly on the proof of the invariance theorem and the necessary algebraic machinery to support it.