🔢 mathematics

Serre duality, Mukai pairing and universal Auslander--Reiten triangle

This paper unifies Serre duality and the Mukai pairing for smooth and proper dg-algebras through an elementary Hochschild pairing, and applies this framework to construct a universal Auslander--Reiten triangle that functorially generates Auslander--Reiten triangles for perfect derived categories.

Original authors: Hiroyuki Minamoto

Published 2026-02-24

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Hiroyuki Minamoto

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 hidden blueprints of a vast, complex city. This city is the world of Mathematics, specifically a branch dealing with shapes, symmetries, and how different structures relate to one another.

The paper you're asking about, written by Hiroyuki Minamoto, is like a master key that unlocks three seemingly different doors in this city, revealing that they all lead to the same central room. It also builds a "universal machine" that can instantly generate specific patterns found throughout the city.

Here is a breakdown of the paper's big ideas using simple analogies:

1. The Three Names for the Same Thing (The Mukai Pairing)

In this mathematical city, there are three different groups of people who have been measuring the "distance" or "relationship" between two objects. They call this measurement a Mukai Pairing.

Group A (C˘ald˘araru–Willerton) measures it one way.
Group B (Shklyarov) measures it another way.
Group C (The Author) invents a third way.

For a long time, mathematicians suspected these three methods were actually measuring the exact same thing, just using different tools. Minamoto's paper is the proof that they are indeed identical.

The Analogy: Imagine three different people trying to measure the height of a mountain.

Person A uses a laser rangefinder.
Person B uses a barometer (air pressure).
Person C uses a satellite image.
Minamoto proves that if you do the math correctly, all three methods give you the exact same number. He doesn't just say "they match"; he builds a new, simpler ruler (an "elementary pairing") that shows why all three methods are just different angles of looking at the same fundamental truth.

2. The Mirror and the Echo (Serre Duality)

The paper connects this "Mukai Pairing" to a famous concept called Serre Duality.

Serre Duality is like a magical mirror. If you look at a shape in the mirror, it tells you something about its "shadow" or its opposite. In math, this helps us understand how objects transform into one another.
The Mukai Pairing is like the "echo" that bounces back when you shout into a canyon.

Minamoto shows that the Mirror (Serre Duality) and the Echo (Mukai Pairing) are actually two sides of the same coin. He proves that the mechanism that creates the echo is the same mechanism that flips the mirror. This explains why certain mathematical maps (called "boundary-bulk" and "bulk-boundary") are perfectly balanced, like a seesaw where if one side goes up, the other goes down in a predictable way.

3. The Universal "AR-Factory" (Universal Auslander-Reiten Triangle)

This is the most practical part of the paper. In the world of algebra, there are special patterns called Auslander-Reiten (AR) triangles. These are like the "DNA" of the city's structures; they show how one building (mathematical object) is built from or breaks down into others.

Usually, to find these patterns for a specific building, you have to do a lot of hard, custom work.

Minamoto's Breakthrough: He builds a Universal Machine (a specific mathematical triangle made of "bimodules").
How it works: You take this Universal Machine and "feed" it any indecomposable building (an object that can't be broken down further). The machine instantly spits out the correct AR-triangle for that specific building.

The Analogy: Imagine you are a baker.

Old Way: To make a cake for every customer, you had to mix the batter, bake, and decorate from scratch for each person.
Minamoto's Way: He built a Universal Cake Printer. You just tell the printer, "I want a cake for Customer X," and it instantly prints the perfect cake for them.
The Result: This proves that these complex patterns aren't random accidents; they are generated by a single, elegant rule that applies to the whole city.

4. The "Quiver Heisenberg" Connection

The paper mentions that when you apply this Universal Machine to a specific type of city (one built from "quivers," which are diagrams of dots and arrows), it recreates a famous structure known as the Quiver Heisenberg Algebra.

Think of this as Minamoto showing that his Universal Machine is the "engine" that powers a very famous, complex car model. It proves his theory isn't just abstract; it explains real, existing mathematical machines.

Summary

In short, this paper does three things:

Unifies: It proves that three different ways of measuring mathematical relationships are actually the same thing.
Explains: It shows that the "mirror" (Serre Duality) and the "echo" (Mukai Pairing) are part of the same system.
Automates: It builds a "Universal Machine" that can instantly generate complex structural patterns (AR triangles) for any object in the system, turning a difficult, manual process into a simple, automatic one.

It's a story about finding the simple, underlying rhythm that makes a complex, chaotic mathematical world make sense.

1. Problem Statement

The paper addresses two interconnected problems in the representation theory of differential graded (dg) algebras and categorical algebraic geometry:

Unification of Pairings: There exist multiple definitions of the Mukai pairing on the Hochschild homology of smooth and proper dg-algebras. Specifically, there are definitions by C˘ald˘araru–Willerton (based on derived categories of varieties) and Shklyarov (based on dg-algebras). While it is folklore that these coincide for algebraic varieties, a rigorous proof for general smooth and proper dg-algebras was lacking. Furthermore, the relationship between the Mukai pairing and Serre duality (via boundary-bulk and bulk-boundary maps) needed a unified, transparent framework.
Functorial Construction of Auslander–Reiten (AR) Triangles: In the context of the perfect derived category $\text{perf } A$ of a smooth and proper dg-algebra $A$ , AR theory provides a way to study the structure of the category via AR triangles. However, constructing these triangles is often non-functorial or case-specific. The author seeks a universal construction that generates AR triangles for any indecomposable object via a single exact triangle of bimodules, particularly for non-positive dg-algebras.

2. Methodology

The author employs a framework based on 2-category theory (specifically the Morita 2-category of dg-algebras) and string diagrams to handle complex derived tensor products and dualities.

String Diagrams: The paper introduces a visual calculus (string diagrams) to represent dg-bimodules and their derived tensor products. This simplifies the manipulation of adjunctions and dualities (left, right, and $k$ -duality) which are central to the proofs.
Canonical Pairing: The core technical innovation is the introduction of an elementary pairing between Hochschild homology ( $HH_\bullet$ ) and Hochschild cohomology ( $HH^\bullet$ ). This pairing is defined generally for dg-algebras and serves as the "parent" structure.
Specialization: The author demonstrates that both Serre duality and the Mukai pairing arise as specific specializations of this elementary pairing.
Adjointness: By utilizing the uniqueness of adjoint functors in the 2-categorical setting, the author proves the adjointness of the boundary-bulk and bulk-boundary maps naturally, without ad-hoc computations.
Trace Formula: For the AR theory section, the author utilizes a trace formula derived from the Hirzebruch–Riemann–Roch (HRR) theorem and the established adjointness properties to apply Happel's criterion for AR triangles.

3. Key Contributions and Results

A. Unification of Mukai Pairings and Serre Duality

Alternative Definition: The author proposes a new definition of the Mukai pairing, denoted $\langle -, + \rangle_{\text{Mukai}}$ , derived directly from the elementary pairing between $HH_\bullet$ and $HH^\bullet$ .
Coincidence Theorem (Theorem 3.23): The paper proves that three distinct definitions of the Mukai pairing coincide for any smooth and proper dg-algebra $A$ :
$\langle -, + \rangle_{\text{Mukai}} = \langle -, + \rangle_{\text{Shk-Mukai}} = \langle -, + \rangle_{\text{CW-Mukai}}$
This resolves the question of whether the C˘ald˘araru–Willerton and Shklyarov definitions agree in the general dg-setting.
Adjointness of Maps: The paper establishes that the boundary-bulk map ( $\tau_M$ ) and the bulk-boundary map ( $\sigma_M$ ) are adjoint with respect to the Mukai pairing and the Serre pairing. This is a direct consequence of the unified framework (Theorem 3.20).
Generalized HRR Theorem: The paper provides a generalized Hirzebruch–Riemann–Roch theorem (Theorem 3.25) relating the Mukai pairing of Chern characters to the trace of endomorphisms, bridging the gap between topological field theory concepts and dg-algebra representation theory.

B. Universal Auslander–Reiten Triangle

Construction: For a non-positive smooth and proper dg-algebra $A$ , the author constructs an exact triangle of dg- $A$ - $A$ -bimodules, denoted $v_{AR}$ , parameterized by a "weight" $v$ in the extended Grothendieck group $K_0(A)_k$ :
$v_{AR}: A \xrightarrow{v\varrho} v\Xi \xrightarrow{v\pi} \Sigma A V \xrightarrow{-v\theta} \Sigma A$
Here, $AV = R\text{Hom}_{A^e}(A, A^e)$ is the bimodule dual, and $v\Xi$ is the cone of a morphism $v\theta$ related to the Chern character.
Universal Property (Theorem 1.2 / Corollary 4.9): If $v$ is a regular weight (meaning $v\chi(M) \neq 0$ for all indecomposable $M$ ), then for any indecomposable object $M \in \text{perf } A$ , the derived tensor product of the universal triangle with $M$ yields an Auslander–Reiten triangle:
$v_{AR}M: M \to v\Xi \otimes^L_A M \to \nu_1^{-1}(M) \to \Sigma M$
This provides a functorial construction of AR triangles, a significant advancement over previous non-functorial methods.
Connection to Quiver Heisenberg Algebras: In the specific case where $A = kQ$ (path algebra of a quiver), the bimodule $v\Xi$ corresponds to the degree 1 part of the quiver Heisenberg algebra. This links the abstract dg-construction to concrete algebraic structures studied in previous works.
Symmetry and Duality: The paper investigates the behavior of these universal triangles under the action of the Derived Picard Group ($DPic(A)$) and $k$ -duality, showing how the weight $v$ transforms (via the Coxeter matrix) under these operations.

4. Significance

Theoretical Unification: The paper successfully unifies Serre duality and the Mukai pairing under a single elementary pairing, clarifying the structural relationship between them and the maps connecting Hochschild homology and cohomology.
Rigorous Proof of Folklore: It provides the first rigorous proof that the C˘ald˘araru–Willerton and Shklyarov Mukai pairings coincide for general smooth and proper dg-algebras, not just for algebraic varieties.
New Tool for Representation Theory: The "Universal Auslander–Reiten Triangle" offers a powerful, functorial tool for constructing AR triangles in the derived category of dg-algebras. This is particularly useful for studying the representation theory of non-positive dg-algebras and generalizing results from path algebras to broader contexts.
Bridge to Physics: By clarifying the adjointness of boundary-bulk and bulk-boundary maps, the paper strengthens the mathematical foundation for topological field theories (TFT) where these structures are fundamental.
2-Categorical Insight: The work demonstrates the necessity and utility of 2-categorical language (adjoint 1-morphisms) even when the primary objects of study are dg-algebras, suggesting that higher categorical structures are intrinsic to the duality phenomena in these fields.

In summary, Minamoto's paper provides a cohesive theoretical framework that resolves long-standing questions about the equivalence of Mukai pairings and introduces a novel, functorial mechanism for generating Auslander–Reiten triangles, thereby deepening the connection between dg-algebra theory, representation theory, and mathematical physics.