🔢 mathematics

Cup product of inhomogeneous Tate cochains, and Galois cohomology of tori over local fields that split over cyclic extensions

This paper derives formulas for the cup product in Tate cohomology using inhomogeneous cochains and applies them to explicitly compute cocycles representing all cohomology classes in $H^1(K,T)$ for a torus $T$ over a non-archimedean local field $K$ that splits over a cyclic extension.

Original authors: Mikhail Borovoi

Published 2026-07-15

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Mikhail Borovoi

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 trying to understand the hidden rules that govern a vast, invisible city. This city isn't made of brick and mortar, but of numbers and symmetries. In the world of mathematics, specifically in a branch called number theory, scientists study "local fields." Think of these as special neighborhoods of numbers that behave in very specific, predictable ways, much like how a clock ticks in a regular rhythm. Within these neighborhoods, there are structures called "tori." Don't picture a giant donut floating in space; instead, imagine a torus as a complex, multi-dimensional shape made of numbers that can stretch, twist, and rotate according to strict rules.

To navigate this city, mathematicians use a tool called "cohomology." You can think of cohomology as a way to map the "holes" or the "twists" in these shapes. If a shape has a hole, it's different from one that is solid. By counting these holes, mathematicians can learn deep secrets about the numbers themselves. Sometimes, they need to combine two different maps to create a new one; this is called a "cup product." It's like taking a map of the streets and a map of the rivers and merging them to see where the bridges might be. For a long time, while mathematicians knew these maps existed and that they could be combined, the actual instructions for how to mix them together were missing or incredibly hard to read. This paper steps in to provide those missing instructions, turning a vague idea into a clear, step-by-step recipe.

The Paper's Mission: Turning Mystery into a Recipe

This paper, written by Mikhail Borovoi, is essentially a guidebook for doing a very specific type of mathematical calculation. The author wants to solve a puzzle involving "tori" (those number-shapes) living in "local fields" (our special number neighborhoods). Specifically, the paper focuses on a situation where the torus splits (unfolds) over a "cyclic extension." To use an analogy, imagine a locked box (the torus) that can only be opened if you turn a key in a specific, repeating pattern (the cyclic extension).

The main problem the paper tackles is how to calculate a specific relationship called the "cup product" when dealing with "inhomogeneous cochains." In plain English, cochains are just lists of numbers or values assigned to different parts of our mathematical shape. "Homogeneous" lists are very orderly, while "inhomogeneous" lists are a bit messier but often easier to work with in real life. The paper provides the exact formulas needed to take these messy lists and combine them correctly.

The Big Discovery: A New Formula for the "Fundamental Class"

The first major finding of the paper is a precise formula for something called the "fundamental class." In the world of these number neighborhoods, there is a special, master key known as the fundamental class. It's the key that unlocks the connection between the shape of the torus and the numbers in the field.

Previously, for certain types of number neighborhoods (specifically, those that are "unramified," or very smooth), mathematicians had a formula for this key. However, for neighborhoods that are a bit rougher or more complex (called "ramified"), the formula was a mystery. Will Sawin, another mathematician, had guessed what the formula might look like in a public online forum. In this paper, Borovoi proves that Sawin's guess was correct.

The paper provides a clear recipe for this master key. If you have a cyclic group (a repeating pattern of symmetries) of a certain size, say $n$ , and you pick a generator (the starting point of the pattern) called $\sigma$ , you can find a special number $e_\sigma$ . The formula for the fundamental class is then a simple table:

If you add two positions in the pattern and the sum is less than $n$ , the value is 1.
If the sum is greater than or equal to $n$ , the value is $e_\sigma$ .

This might sound abstract, but it's a huge deal because it turns a mysterious concept into a concrete calculation that anyone can perform.

The Second Discovery: Mapping the Torus

Once the author has the formula for the fundamental class, he uses it to solve the second part of the puzzle: finding explicit "cocycles" for the torus. A cocycle is a specific type of map that represents a "twist" or a "class" in the cohomology group. Think of the cohomology group $H^1(K, T)$ as a collection of all the possible ways the torus can be twisted or deformed within the local field.

The paper proves that for any torus $T$ that splits over a cyclic extension, we can now write down the exact formula for every single one of these twists. The author shows that if you start with a specific element $x$ (a cocharacter, which is like a direction vector for the torus), you can generate the corresponding twist using a summation formula.

The formula looks like this:
$z_x(\sigma^g) = \sum_{t=1}^{g} \sigma^t \cdot x \otimes e_\sigma$

In everyday terms, this means you take your starting direction $x$ , rotate it step-by-step using the group's symmetry $\sigma$ , and multiply it by the special number $e_\sigma$ for a specific number of steps. The result is a precise mathematical object that represents a unique class in the cohomology group.

Why This Matters

The paper doesn't just say "it's possible"; it gives the actual code to do it. Before this, mathematicians knew these twists existed and knew they were related to the fundamental class, but they didn't have a way to write them down explicitly for the "ramified" cases. This is crucial for "twisting," a technique used in arithmetic geometry to create new shapes from old ones. By having an explicit formula, researchers can now actually construct these new shapes and study their properties, rather than just knowing they exist in theory.

The author is very confident in these results. The paper doesn't just suggest these formulas; it proves them rigorously using the established rules of group cohomology and the properties of local fields. The calculations in the appendix serve as the detailed proof, showing exactly how the messy "inhomogeneous" formulas are derived from the cleaner "homogeneous" ones.

In summary, this paper takes a complex, abstract area of mathematics and hands the reader a set of clear, working tools. It confirms a guess made by a colleague, provides a concrete recipe for a fundamental mathematical object, and allows mathematicians to explicitly calculate the "twists" of tori in a wide range of number systems. It transforms a theoretical understanding into a practical, usable toolkit.

Technical Summary: Cup Product of Inhomogeneous Tate Cohains, and Galois Cohomology of Tori over Local Fields that Split over Cyclic Extensions

Problem Statement
The paper addresses the need for explicit formulas in the Galois cohomology of algebraic tori over non-archimedean local fields. Specifically, for a torus $T$ defined over a local field $K$ that splits over a finite Galois extension $L$ , the group $H^1(K, T)$ is isomorphic to $H^1(G, T(L))$ , where $G = \text{Gal}(L/K)$ . By Tate's theorem, there exists a canonical isomorphism $H^{-1}(G, X) \xrightarrow{\sim} H^1(G, X \otimes L^\times)$ , where $X$ is the cocharacter group of $T$ . While this isomorphism is known to exist, its explicit realization is required for arithmetic applications, such as twisting. The challenge lies in computing this isomorphism explicitly using inhomogeneous cochains, as standard formulas for cup products in Tate cohomology are typically expressed in terms of homogeneous cochains. Furthermore, while the fundamental class $u_{L/K} \in H^2(G, L^\times)$ is well-understood for unramified extensions, an explicit cocycle representation for cyclic extensions (including ramified cases) was previously only conjectured.

Methodology
The author employs a systematic translation between homogeneous and inhomogeneous cochain complexes to derive explicit formulas for cup products in Tate cohomology.

Complex Translation: The paper establishes canonical isomorphisms between the homogeneous cochain complex $F^\bullet$ and the inhomogeneous cochain complex $C^\bullet$ for a $G$ -module $A$ . Using these isomorphisms, the author derives general formulas for the cup product pairing $C^p(G, A) \times C^q(G, B) \to C^{p+q}(G, A \otimes B)$ for all integers $p$ and $q$ , including cases where indices have different signs. These derivations are detailed in Appendix A.
Fundamental Class Construction: For a cyclic extension $L/K$ of degree $n$ with generator $\sigma$ , the author constructs an explicit 2-cocycle $a: G \times G \to L^\times$ representing the fundamental class $u_{L/K}$ . This construction relies on the local reciprocity homomorphism and a specific element $e_\sigma \in K^\times$ such that $(e_\sigma, L/K) = \sigma$ .
Explicit Computation: The author applies the derived inhomogeneous cup product formulas to compute the image of a class $[x] \in H^{-1}(G, X)$ under the isomorphism with $H^1(G, X \otimes L^\times)$ . This involves calculating the cup product of a 1-cochain (representing the cocharacter) and the 2-cocycle representing the fundamental class.

Key Contributions and Results

General Cup Product Formulas: The paper provides a complete set of formulas for the cup product of inhomogeneous Tate cochains for arbitrary degrees $p$ and $q$ . These formulas are necessary because the standard homogeneous formulas involve summations that become complex when translated to the inhomogeneous setting, particularly when signs differ.
Theorem 1.1 (Fundamental Class): The author proves a formula for the fundamental class $u_{L/K}$ in the case of a cyclic extension $L/K$ (possibly ramified). The class is represented by the cocycle $a(\sigma^i, \sigma^j)$ , which equals $1$ if $i+j < n$ and $e_\sigma$ if $i+j \ge n$ . This confirms a formula previously guessed and partially proved by Will Sawin.
Theorem 1.2 (Explicit Cocycles for Tori): The paper provides an explicit formula for the cocycle $z_x: G \to X \otimes L^\times$ representing the image of a class $[x] \in H^{-1}(G, X)$ under Tate's isomorphism. For a cyclic group generated by $\sigma$ and $0 \le g < n$ , the cocycle is given by:
$z_x(\sigma^g) = \sum_{t=1}^g \sigma^t \cdot x \otimes e_\sigma$
The author verifies that this map satisfies the 1-cocycle condition.

Significance and Claims
The paper claims that these results provide the necessary explicit machinery to compute the isomorphism $H^{-1}(G, X) \xrightarrow{\sim} H^1(G, X \otimes L^\times)$ in the cyclic case. The author notes that while Tate's formula describes the group structure up to isomorphism, applications in arithmetic geometry (specifically twisting) require explicit representatives of cohomology classes. By providing formulas for the fundamental class and the cup product in terms of inhomogeneous cochains, the paper enables the direct computation of these representatives. The work is presented as a technical note filling a gap between abstract existence theorems and concrete calculations required for applications.

The Paper's Mission: Turning Mystery into a Recipe

The Big Discovery: A New Formula for the "Fundamental Class"

The Second Discovery: Mapping the Torus

Why This Matters

More like this