🔢 mathematics

A Computation of Tamarkin-Tsygan Calculus

This paper computes the full Tamarkin-Tsygan calculus for a Koszul algebra with global dimension exceeding its number of generators, demonstrating that even algebras with economic presentations and favorable homological properties can exhibit intricate Hochschild (co)homology and calculus structures.

Original authors: Jun Chen, Xiabing Ruan, Jia Yang

Published 2026-02-19

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jun Chen, Xiabing Ruan, Jia Yang

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 understand the blueprint of a very strange, non-Euclidean building. In the world of mathematics, this building is an algebra—a set of rules for how things (like numbers or symbols) can be added and multiplied together.

Most buildings in math follow a predictable pattern. If you know how many "bricks" (generators) are used to build a wall, you can usually predict how tall or complex the wall can be. This is a rule in "commutative" math (where $A \times B = B \times A$ , like $2 \times 3 = 3 \times 2$ ).

But this paper is about a rogue building called Algebra A.

It was built with only 3 bricks (the letters $x, y, z$ ).
However, when you try to map out its internal structure, it turns out to be 4 stories tall (it has a "global dimension" of 4).
In the normal world of math, this is impossible. It's like building a 4-story skyscraper using only 3 foundation stones. This algebra is a "counterexample"—a glitch in the matrix that breaks the old rules.

The authors of this paper, Jun Chen, Xiabing Ruan, and Jia Yang, decided to take a magnifying glass to this rogue building to see exactly how it works inside. They didn't just look at the walls; they looked at the plumbing, the electricity, and the structural stress points. In math terms, they computed the Tamarkin–Tsygan calculus.

What is the "Tamarkin–Tsygan Calculus"?

Think of this calculus as a super-sensor suite for the building. It doesn't just tell you what the building looks like; it tells you:

How the rooms connect (Homology).
How the rooms can be rearranged (Cohomology).
How you can combine rooms (Cup Product).
How you can drill holes or merge spaces (Cap Product).
How the building vibrates or twists (Gerstenhaber Bracket).
How the building flows or cycles (Connes' Differential).

The Big Discovery: Chaos vs. Order

The authors found something fascinating: The building is a mix of total chaos and hidden order.

1. The "Messy" Part (The Gerstenhaber Bracket)

Imagine trying to describe how two specific rooms in this building interact when you push them together.

The Finding: The rules for this interaction are incredibly complicated. There is no simple formula. It's like trying to predict the weather in a hurricane; the patterns are intricate and messy.
The Surprise: Even though it looks messy, the authors found a hidden "skeleton" inside the chaos. They discovered that a specific part of this interaction follows the rules of something called the Witt algebra.
The Analogy: Imagine a chaotic jazz jam session. To the untrained ear, it's just noise. But the authors realized that the saxophone player is actually following a strict, beautiful classical score (the Witt algebra) hidden inside the noise. This score describes how "vector fields" (imaginary wind currents) twist and turn in this non-commutative space.

2. The "Simple" Part (Cup and Cap Products)

Now, imagine you want to know what happens if you multiply two rooms together (Cup Product) or if you take a room and shrink it down (Cap Product).

The Finding: Surprisingly, these operations are boringly simple.
The Analogy: In this building, if you try to combine most rooms, they just vanish or turn into nothing. The only time they do something interesting is when you combine them with the "main entrance" (the unit).
It's like a vending machine where every button you press results in "Nothing," except for the "Hello" button, which gives you a free soda. The complexity of the building doesn't affect these specific operations; they are trivial.

Why Does This Matter?

You might ask, "Why spend so much time on a weird algebra with 3 letters?"

Breaking the Rules: This algebra proves that in the "non-commutative" world (where order matters, like $A \times B \neq B \times A$ ), things can be much stranger than we thought. You can't just copy-paste the rules from normal geometry.
A New Map: The authors created the first complete "map" of this calculus for a non-monomial algebra (one that doesn't follow simple, single-term rules).
Future Geometry: By understanding how this "rogue building" vibrates and twists, mathematicians hope to build a better understanding of non-commutative geometry. This is a field that tries to describe spaces where the usual rules of distance and shape don't apply—spaces that might be relevant to quantum physics or the fabric of the universe itself.

The Bottom Line

The paper is a detective story. The detectives found a suspect (Algebra A) that broke the law of "3 bricks = 3 stories." They interrogated the suspect using a high-tech toolkit (Tamarkin–Tsygan calculus).

They found that the suspect's internal life is a wild, chaotic jazz improvisation (the Gerstenhaber bracket) that secretly follows a strict classical score (the Witt algebra), while its basic structural connections are simpler than a child's toy (the Cup/Cap products).

This work shows us that even in the most complex, rule-breaking mathematical structures, there is often a hidden, elegant order waiting to be discovered—if you know how to look.

1. Problem Statement and Motivation

The paper addresses the computation of the Tamarkin–Tsygan calculus (a rich algebraic structure encompassing Hochschild (co)homology, cup/cap products, the Gerstenhaber bracket, and Connes' differential) for a specific non-commutative algebra $A$ .

The Algebra: $A = k\langle x, y, z \rangle / (x^2 + yx, xz, zy)$ , where $k$ is a field of characteristic 0.
Context: This algebra was introduced by Iyudu and Shkarin as a counterexample to a conjecture by Polishchuk and Positselski, which posited that a Koszul algebra with finite global dimension $n$ must have at least $n$ generators. $A$ is Koszul, has global dimension 4, but only 3 generators.
Significance: While the commutative case of Hochschild (co)homology is well-understood via the Hochschild–Kostant–Rosenberg (HKR) isomorphism (relating homology to differential forms and cohomology to polyvector fields), the geometric meaning in the non-commutative setting remains elusive. The authors aim to compute the full calculus for $A$ to provide a concrete example of how these structures behave in a non-monomial, non-commutative setting with "singular" properties (global dimension > number of generators).

2. Methodology

The authors employ a combination of Algebraic Morse Theory and explicit Gröbner basis techniques to bridge the gap between the Koszul resolution and the Bar resolution.

Resolution Construction:
- They utilize the two-sided Koszul resolution ( $K_\bullet$ ) of $A$ , which is minimal due to the Koszul property of $A$ .
- They compare this with the reduced two-sided Bar resolution ( $B(A, A)$ ), which is the standard complex for defining Hochschild (co)homology operations but is computationally unwieldy.
Algebraic Morse Theory:
- To compute the comparison morphisms between $K_\bullet$ and $B(A, A)$ , the authors construct a Morse matching on the quiver associated with the Bar resolution.
- They extend a known Morse matching by Sköldberg (which yields the Anick resolution) by adding specific arrows to obtain the two-sided Koszul resolution as the resulting Morse complex.
- This allows them to explicitly construct chain maps $\iota: K_\bullet \to B(A, A)$ and $\pi: B(A, A) \to K_\bullet$ , which are homotopy inverses.
Computation Strategy:
- Basis Determination: Using the Koszul resolution, they explicitly compute bases for Hochschild homology $HH_\bullet(A)$ and cohomology $HH^\bullet(A)$ .
- Operations:
  - Cup Product: Computed directly on Koszul cochains.
  - Cap Product: Computed using the Koszul chain/cochain forms.
  - Gerstenhaber Bracket & Connes' Differential: These are computed by transporting the standard operations from the Bar resolution to the Koszul resolution using the comparison morphisms $\iota$ and $\pi$ . Specifically, $[f, g] = \iota^*[\pi^*(f), \pi^*(g)]$ .

3. Key Contributions and Results

A. Hochschild (Co)homology Structure

Homology: $HH_n(A) = 0$ $H H_{n} (A) = 0$ for $n \neq 0, 1$ $n \neq = 0, 1$ .
- $HH_0(A)$ is generated by the unit and monomials of the form $x y^{n_1} z^{m_1} \dots z^{m_p}$ (modulo cyclic permutations).
- $HH_1(A)$ has a basis involving elements like $x^{n-1} \otimes x$ , $y^{n-1} \otimes y$ , $z^{n-1} \otimes z$ , and specific sums over cyclic decompositions.
Cohomology: $HH^n(A) = 0$ $H H^{n} (A) = 0$ for $n \notin \{0, -1, -2, -4\}$ $n \in / {0, - 1, - 2, - 4}$ .
- $HH^0(A) \cong k$ .
- $HH^{-1}(A)$ and $HH^{-2}(A)$ have complex bases involving maps defined on the generators and relations.
- $HH^{-4}(A)$ is non-trivial, reflecting the global dimension of 4.

B. The Cup Product

Result: The cup product on $HH^\bullet(A)$ is trivial except for the action of the unit.
Detail: For any $f, g \in HH^{-n}(A)$ with $n > 0$ , $f \cup g = 0$ . This contrasts with the commutative case where the cup product corresponds to the wedge product of polyvector fields.

C. The Cap Product

Result: The cap product $\cap: HH_1(A) \otimes HH^{-1}(A) \to HH_0(A)$ admits simple, compact formulas.
Detail: The action is explicitly described in terms of the basis elements, showing how cohomology classes act on homology classes to reduce degree.

D. The Gerstenhaber Bracket

Complexity: The bracket structure is highly intricate with no simple uniform pattern.
Key Structural Insight: Despite the complexity, the authors identify a significant subalgebra structure.
- The subspace spanned by specific basis elements $\{L_n, I_n\}_{n \geq 1}$ in $HH^{-1}(A)$ and $HH^{-4}(A)$ forms a Lie algebra isomorphic to the positive part of the semidirect product of the Witt algebra and tensor density modules, denoted as $W(0, 0)$ .
- Specifically, the elements $L_n = B^{-1}(n)$ satisfy the Witt algebra relation:
  $[L_n, L_m] = (m - n)L_{n+m}$
- This provides a rare explicit realization of infinite-dimensional Lie algebras within the Hochschild cohomology of a finite-dimensional algebra.

E. Connes' Differential

Result: The Connes' differential $B: HH_n(A) \to HH_{n+1}(A)$ is non-trivial only for $B_0: HH_0(A) \to HH_1(A)$ .
Formula: It acts as a derivation-like map, e.g., $B_0(y^n) = n y^{n-1} \otimes y$ (modulo boundaries), effectively counting the degree of the monomials.

4. Significance

First Complete Description: This is the first complete description of the Tamarkin–Tsygan calculus for a non-monomial algebra. Most previous computations were limited to monomial algebras or commutative cases.
Non-Commutative Geometry: The results highlight the "intricate behavior" of Hochschild (co)homology even for algebras with "good" homological properties (Koszul, finite global dimension). The fact that the cup product vanishes while the Gerstenhaber bracket contains a Witt algebra structure suggests a deep, non-trivial geometric singularity in the non-commutative setting.
Methodological Advancement: The paper demonstrates the power of Algebraic Morse Theory in constructing explicit comparison morphisms between the Koszul and Bar resolutions, enabling the computation of complex operations (like the Gerstenhaber bracket) that are otherwise intractable.
Counterexample Analysis: It provides a deep structural analysis of the Iyudu–Shkarin counterexample, showing that while it breaks the generator-dimension conjecture, it possesses a rich internal algebraic structure (Witt algebra subalgebras) that compensates for its "singularity."

In summary, the paper successfully computes the full Tamarkin–Tsygan calculus for a challenging non-commutative algebra, revealing a trivial cup product but a rich, infinite-dimensional Lie algebraic structure within the Gerstenhaber bracket, thereby offering new insights into the geometry of non-commutative spaces.