🔢 mathematics

Buchstaber, Ochanine, Krichever, and Witten genera

This paper introduces a new class of formal group laws that generate Buchstaber's polynomials, computes their associated Hirzebruch genus on specific manifolds, and clarifies their distinct relationship to the Ochanine, Krichever, and Witten genera while providing examples outside the scope of Hirzebruch's elliptic genera of level $n$ .

Original authors: Mikhail Kornev

Published 2026-03-24

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Mikhail Kornev

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 build a universal "shape detector." In the world of mathematics, specifically a branch called Topology, there are shapes (like spheres, donuts, or more complex multi-dimensional blobs) that can be twisted and stretched but not torn. Mathematicians want a way to assign a unique number or "fingerprint" to each of these shapes to tell them apart. This is called a Genus.

For decades, mathematicians have had a few famous "fingerprint machines" (like the Witten, Ochanine, and Krichever genera). These machines work by taking a shape and running it through a specific mathematical recipe to spit out a number.

This paper, written by Mikhail Kornev, introduces a brand new fingerprint machine called the Buchstaber Genus. Here is how the paper works, explained through simple analogies:

1. The "Modulus Square" Magic Trick

The paper starts with a clever trick called the "Modulus Square Construction."

The Analogy: Imagine you have a single, perfect mirror (a standard mathematical rule). If you look at your reflection, you see one image. But what if you take that reflection, put it in a box, and look at the square of the reflection? Suddenly, you don't just see one image; you see a pair of images that are linked together.
The Math: In this paper, the author takes a standard mathematical rule (a "formal group law") and applies this "squaring" trick. Usually, this creates a messy, two-valued result (two possible answers for every input).
The Discovery: Kornev found a specific, new type of rule that, when you apply this "squaring" trick, creates a very special, clean set of polynomials (equations) that had been discovered by a mathematician named Buchstaber years ago. It's like finding a new key that fits a lock everyone knew existed but didn't know how to open.

2. The New Machine vs. The Old Ones

The paper compares this new machine (Buchstaber) with the famous old ones (Krichever, Ochanine, Witten).

The Family Resemblance: Think of these genera as different models of cars. The Krichever car is a high-performance sports car that can handle many different terrains. The Ochanine car is a specific version of that sports car with the engine turned off in a specific way.
The Difference: The new Buchstaber car looks very similar to the Krichever car, but it has a secret feature.
- If you set a specific dial on the Buchstaber machine to "zero," it becomes exactly the Ochanine machine.
- But if you turn that dial to "non-zero," the machine does something completely new. It detects features in shapes that the old Krichever machine completely misses.

3. The "Ghost" Shape (The Proof)

To prove his new machine is special, Kornev finds a specific, complex shape (a "ghost" shape) that exists in the mathematical world.

The Test: He runs this shape through the old Krichever machine, and it says, "This shape is zero/empty." The machine thinks the shape doesn't exist.
The Result: He runs the same shape through his new Buchstaber machine, and it says, "No, this shape is real! Here is a non-zero number."
Why it matters: This proves that the Buchstaber genus sees things the others don't. It's like having a night-vision camera that sees a ghost that a regular camera misses.

4. The "Recipe Book" (Theta Divisors and Projective Spaces)

The author then tests his new machine on two very famous, standard shapes:

Complex Projective Spaces: Think of these as the "standard bricks" of the mathematical universe.
Theta Divisors: These are like the "special, intricate patterns" found on complex, multi-dimensional doughnuts.

He calculates exactly what numbers his machine spits out for these shapes. He finds that the answers follow a very neat, predictable pattern involving three numbers ( $a_1, a_2, a_3$ ). It's like discovering that every time you bake a cake with these specific ingredients, the cake always rises to a perfect height.

5. The "Integer" Secret (Hurwitz Series)

Finally, the paper looks at the "ingredients" of the recipe. In math, sometimes when you do these calculations, you get messy fractions.

The Discovery: Kornev shows that for his new machine, the ingredients are always "whole numbers" (integers) if you mix them in a specific way.
The Analogy: Imagine a recipe that usually requires 1/3 of a cup of sugar. Kornev found a version of the recipe where, no matter how many times you double or triple it, you only ever need whole cups of sugar. This makes the math much "cleaner" and more stable.

Summary

In short, Mikhail Kornev has:

Found a new mathematical "key" (the Buchstaber Genus) that unlocks a specific type of shape-detection.
Proved it is different from and more powerful than existing keys (like Krichever's) because it can detect "ghost" shapes that others miss.
Shown that this new key works perfectly with standard mathematical shapes and follows a very clean, integer-based recipe.

This is a significant step forward because it expands the toolbox mathematicians have to understand the hidden structure of the universe's shapes.

1. Problem Statement

The paper addresses the classification and construction of formal group laws within the context of complex cobordism and Hirzebruch genera. Specifically, it investigates the relationship between:

Buchstaber's family of polynomials ( $B_a$ ), which define two-valued formal groups via the "modulus square construction."
The Krichever genus, associated with Baker–Akhiezer functions and elliptic curves.
The Ochanine and Witten genera, which are specific cases of elliptic genera.

The central problem is to determine if the formal groups yielding Buchstaber's polynomials coincide with the known Krichever family. The author identifies a new class of formal groups that generates Buchstaber's polynomials but is distinct from the Krichever family when a specific parameter ( $a_3$ ) is non-zero. This distinction implies the existence of new genera that do not arise from Hirzebruch's elliptic genera of level $n$ .

2. Methodology

The paper employs a combination of algebraic topology, the theory of formal groups, and elliptic function theory.

Modulus Square Construction: The author utilizes the construction introduced by Buchstaber and Novikov, which maps a single-valued formal group $F(u, v)$ to a two-valued formal group $G_F$ . This is achieved by considering the square of the logarithm $B(x) = g(u)^2$ where $x = u^2$ .
Differential Equations and Logarithms: The study relies on the differential equations characterizing the logarithm of two-valued formal groups (specifically Theorem 6.4 from Buchstaber's 1975 work). The author solves these equations to derive the exponential and logarithm series for the new class of groups.
Elliptic Functions: The construction involves Weierstrass elliptic functions ( $\wp, \sigma, \zeta$ ) and their generalizations. The author relates the parameters of the new formal group to the invariants $g_2$ and $g_3$ of the underlying elliptic curve.
Genus Evaluation: The author computes the values of the resulting Hirzebruch genus on specific manifolds:
- Complex Projective Spaces ( $\mathbb{C}P^n$ ).
- Theta Divisors ( $\Theta_n$ ) on principally polarized abelian varieties.
Comparative Analysis: The paper compares the new "Buchstaber genus" with the Krichever, Ochanine, and Witten genera by analyzing their exponential series and evaluating them on specific cobordism classes (specifically a class $K \in \Omega^{-12}_U$ ).

3. Key Contributions

A. Introduction of a New Formal Group Law

The author introduces a new formal group law $F_{Bc}(u, v)$ defined by:
$F_{Bc}(u, v) = \left[ \left( \frac{u\sqrt{Q(v)} - v\sqrt{Q(u)}}{u^2 - v^2} \right)^2 + a_3 u^2 v^2 \right]^{-1/2}$
where $Q(t) = 1 - a_1 t^2 + a_2 t^4 - a_3 t^6$ .

Significance: The modulus square of this group yields Buchstaber's family of polynomials $B_a$ .
Distinction: This group belongs to the Krichever family (Eq. 2 in the paper) if and only if $a_3 = 0$ . When $a_3 \neq 0$ , the group is distinct from the Krichever formal groups, providing a new class of genera not covered by the standard elliptic genera of level $n$ .

B. The Buchstaber Genus

The author defines the Buchstaber genus ( $B_c$ ) corresponding to the formal group $F_{Bc}$ .

Logarithm and Exponential: The logarithm is given by the integral $g_{Bc}(u) = \int_0^u \frac{dt}{\sqrt{1 - a_1 t^2 + a_2 t^4 - a_3 t^6}}$ , and the exponential is expressed via the Weierstrass $\wp$ -function: $f_{Bc}(u) = (\wp(u; g_2, -g_3) + a_1/3)^{-1/2}$ .
Universality: This group is universal for single-valued formal groups with the condition $u = -u$ (odd functions) that yield Buchstaber's two-valued law.

C. Computation of Values on Theta Divisors and Projective Spaces

The paper explicitly calculates the values of the Buchstaber genus on $\mathbb{C}P^n$ and smooth theta divisors $\Theta_n$ :

Vanishing: $B_c(\mathbb{C}P^{2n+1}) = 0$ and $B_c(\Theta_{2n+1}) = 0$ due to the oddness of the exponential.
Non-zero values: The values on even dimensions are polynomials in the parameters $a_1, a_2, a_3$ $a_{1}, a_{2}, a_{3}$ . For example:
- $B_c(\Theta_2) = -a_1$
- $B_c(\Theta_4) = a_1^2 + 12a_2$
- $B_c(\Theta_6) = -a_1^3 - 132a_1 a_2 - 360a_3$
Proposition 4: It is proven that all values $B_c(\Theta_n)$ lie in the ring $\mathbb{Z}[a_1, a_2, a_3]$ .

D. Separation from Krichever and Witten Genera

Krichever Distinction: The paper constructs a specific cobordism class $K \in \Omega^{-12}_U$ (a linear combination of products of theta divisors) such that the Krichever genus vanishes on $K$ (over $\mathbb{Q}$ ), while the Buchstaber genus is non-zero ( $B_c(K) = -360a_3$ ). This proves the Buchstaber genus is not a specialization of the Krichever genus when $a_3 \neq 0$ .
Witten/Hurwitz Series: The author compares the Buchstaber exponential with the Witten genus (associated with the Weierstrass $\sigma$ -function). It is shown that for $a_1=0$ , the Buchstaber exponential is a Hurwitz series over the ring $\mathbb{Z}[g_2, g_3]$ , satisfying specific integrality conditions related to the 2-adic valuation of multinomial coefficients.

4. Results

Classification: The intersection of the Buchstaber family and the Krichever family is exactly the Ochanine genus (characterized by $a_3 = 0$ ).
New Genera: For $a_3 \neq 0$ , the Buchstaber genus provides examples of Hirzebruch genera that are not elliptic genera of level $n$ in the sense of Hirzebruch.
Algebraic Structure: The values of the genus on theta divisors form a subring generated by the parameters $a_1, a_2, a_3$ , confirming a deep algebraic structure in the cobordism ring.
Integrality: The exponential series of the Buchstaber genus (in the case $a_1=0$ ) satisfies strong integrality properties (Hurwitz series over $\mathbb{Z}[g_2, g_3]$ ), analogous to but distinct from the Witten genus.

5. Significance

This work bridges the gap between the theory of two-valued formal groups (Buchstaber's framework) and the theory of elliptic genera (Krichever/Witten).

Theoretical Expansion: It expands the known landscape of Hirzebruch genera, showing that the class of genera derived from Buchstaber's polynomials is strictly larger than the class of Krichever genera.
Cobordism Theory: By identifying a class $K$ where the Krichever genus vanishes but the Buchstaber genus does not, the paper provides new tools for distinguishing elements in the complex cobordism ring $\Omega_U$ .
Connection to Physics: The Witten genus is central to string theory (related to the partition function of the superstring). The introduction of a new genus with similar modular properties but distinct algebraic structure offers potential new avenues for mathematical physics research, particularly regarding the classification of manifolds and their invariants.

In summary, Kornev constructs a new, universal family of formal groups that generalizes the Ochanine genus, proves its independence from the Krichever genus, and establishes its arithmetic properties, thereby enriching the taxonomy of genera in algebraic topology.