Formal extension of noncommutative tensor-triangular support varieties

This paper extends support variety theory from the compact to the non-compact part of a monoidal triangulated category in the noncommutative setting, establishing conditions under which the extended theory detects the zero object and thereby confirming a portion of a conjecture by the second author, Nakano, and Yakimov regarding central cohomological support in stable categories of finite tensor categories.

The Gist

Imagine you are an architect trying to understand the layout of a massive, infinite city. You have a detailed map of the city's "downtown" district—a small, manageable area where all the buildings are compact and well-defined. This downtown area represents the compact objects in a mathematical world called a monoidal triangulated category.

For decades, mathematicians have had excellent tools to map this downtown. They can draw "support varieties," which are like colored zones on the map indicating where a specific building (or mathematical object) "lives" or has influence. If a building has no colored zone (empty support), it's essentially invisible or doesn't exist.

The Problem: The Infinite Suburbs
The trouble is, the city doesn't stop at downtown. There are infinite suburbs, vast industrial zones, and sprawling neighborhoods that are too big to fit on the standard downtown map. These are the non-compact objects (like infinite-dimensional representations).

The old maps worked great for downtown, but they failed in the suburbs. If you tried to use the downtown rules to describe a massive skyscraper in the suburbs, the map would break. Mathematicians needed a way to extend the downtown map so it could cover the entire infinite city, while still being accurate enough to tell you if a building is truly "there" or if it's just a ghost (the zero object).

The Solution: The "Rickard Idempotent" Magic Wand
This paper, by Merrick Cai and Kent B. Vashaw, introduces a new method to extend these maps to the infinite suburbs. They use a tool called Rickard idempotent functors.

Think of these functors as a special kind of magic flashlight.

• If you shine the flashlight on a specific neighborhood (a "thick ideal"), it highlights exactly that area and turns everything else off.
• By using a combination of "on" and "off" switches (mathematically, combining these functors), the authors can isolate any specific point in the infinite city.
• They define the "extended support" of a giant suburban object by asking: "If I shine my magic flashlight on every possible neighborhood, does this object light up?"

If the object lights up even once, it exists. If it remains dark no matter how you shine the light, it is truly zero.

The Big Breakthrough: When Does the Map Work?
The authors didn't just build the map; they figured out the exact rules for when this new map is trustworthy. They asked: "Under what conditions can we be 100% sure that if the map says an object is 'empty,' it really is empty?"

They found that if the original downtown map follows certain logical rules (like being "tensorial," which means the map respects how buildings combine and multiply), then the extended map for the suburbs will also be trustworthy.

The Real-World Application: Finite Tensor Categories
Why does this matter? The authors apply this to Finite Tensor Categories, which are mathematical structures used to model things like:

• Quantum physics (how particles interact).
• Symmetry in nature.
• The behavior of complex algebraic systems.

In these systems, there is a specific type of map called the Central Cohomological Support. For a long time, mathematicians (including the paper's authors and their colleagues) had a conjecture: "Does this specific map work for the infinite suburbs?"

Using their new "magic flashlight" extension, they proved that yes, it does work, provided the underlying algebraic structure isn't too chaotic (specifically, if the space is "Noetherian," which is a fancy way of saying the city's layout is finite and well-organized).

The "Tensor Product" Puzzle
One of the most exciting parts of the paper solves a specific question posed by other mathematicians (Pevtsova and Witherspoon). They asked: "If we extend the map to the suburbs, does it still respect the rule that 'the support of two combined objects is the intersection of their individual supports'?"

The authors proved that yes, it does. This confirms that the geometry of these infinite mathematical worlds behaves just as nicely as the geometry of the small, finite worlds we are used to.

In Summary

• The Goal: Create a map that works for both small, finite mathematical objects and huge, infinite ones.
• The Tool: A "magic flashlight" (Rickard idempotents) that can isolate specific parts of the mathematical universe.
• The Result: They proved that if the small map is good, the big map is also good and reliable.
• The Impact: This confirms a major conjecture in the field, giving mathematicians a solid foundation to study complex systems in quantum physics and algebra without worrying that their maps will break down when things get "too big."

It's like taking a reliable GPS for a small town and successfully upgrading it to navigate the entire universe, proving that the rules of the road remain the same no matter how far you drive.

Technical Summary

Here is a detailed technical summary of the paper "Formal Extension of Noncommutative Tensor-Triangular Support Varieties" by Merrick Cai and Kent B. Vashaw.

1. Problem Statement

The paper addresses a fundamental gap in Tensor-Triangular (TT) Geometry: the extension of support variety theories from "small" categories (compact objects, $K^c$) to "big" categories (arbitrary objects, $K$) in the noncommutative setting.

• Context: Support varieties are geometric tools used to classify thick ideals and localizing subcategories in representation theory and algebraic topology. While extensions for commutative settings (Balmer-Favi, Benson-Iyengar-Krause) and specific noncommutative cases (Balmer support) exist, a general framework for noncommutative monoidal triangulated categories was lacking.
• Specific Motivation: The authors focus on stable categories of finite tensor categories (e.g., representations of finite-dimensional Hopf algebras). A recent conjecture by the second author, Nakano, and Yakimov posits that the central cohomological support ($\text{supp}_C$) admits a faithful extension satisfying a generalized tensor product property. Proving this requires a general theory of extending support data in noncommutative contexts.
• Core Question: Under what conditions does a support datum $(X, \sigma)$ defined on compact objects $K^c$ admit an extension $\tilde{\sigma}$ to the whole category $K$ that is faithful (detects the zero object) and tensorial?

2. Methodology

The authors develop a formal extension theory based on Rickard idempotent functors, generalizing constructions by Benson–Carlson–Rickard, Balmer–Favi, and Stevenson.

• Framework: They work within rigidly-compactly-generated monoidal triangulated categories ($K$), where $K^c$ is the subcategory of compact objects.
• Rickard Idempotents: For a specialization-closed subset $S$ of the support space $X$, they define functors $\Gamma_S$ and $L_S$ (localizing and colocalizing functors) associated with the thick ideal $\Theta(S)$. These are constructed via the Verdier quotient and its adjoints.
• Point-wise Functors: For a point $x \in X$, they define a functor $\Gamma_x = \Gamma_{V(x)} \circ L_{Z(x)}$, where $V(x)$ is the closure and $Z(x)$ is the complement of the closure.
• Extension Definition: The extended support $\tilde{\sigma}$ is defined for any object $A \in K$ as:
  $$\tilde{\sigma}(A) := \{ x \in X \mid \Gamma_x A \not\cong 0 \}$$
• Comparative Supports: A key technical tool is the concept of a comparative support, where there exists a "comparison map" $\rho: \text{Spc}(K^c) \to X$ (from the Balmer spectrum to the support space) that acts as a left inverse to the universal map $\eta: X \to \text{Spc}(K^c)$ and satisfies specific topological compatibility conditions.

3. Key Contributions and Results

A. General Extension Theory (Sections 3–5)

The authors establish conditions under which the formal extension $\tilde{\sigma}$ is faithful and tensorial.

• Theorem 1.1 (Faithfulness Criteria):

  • If $\sigma$ is comparative (admits a comparison map $\rho$) and $X$ is a Zariski space (Noetherian and sober), then the extension $\tilde{\sigma}$ is faithful.
  • If $\sigma$ is tensorial, realizing, and $\text{Spc}(K^c)$ is Noetherian, $\tilde{\sigma}$ is faithful if and only if for every prime $P \in \text{Spc}(K^c)$, the fiber $\eta^{-1}(\{P\})$ has a unique generic point.
  • If $\sigma$ is induced by a surjective closed map $\rho: \text{Spc}(K^c) \to X$, then $\tilde{\sigma}$ is faithful.

• Tensoriality of Extended Balmer Support:
  The authors prove that the extension of the universal Balmer support ($\text{Supp}_B$) is tensorial when $\text{Spc}(K^c)$ is Noetherian (Proposition 4.4). This confirms that the extended Balmer support satisfies the generalized tensor product property.

• Uniqueness:
  They show that if a support is tensorial, faithful, and realizing, its faithful tensorial extension is unique (Proposition 5.12). This implies that if a faithful tensorial extension exists, it must coincide with the one constructed via Rickard idempotents.

B. Application to Finite Tensor Categories (Section 8)

The theory is applied to the central cohomological support ($\text{supp}_C$) for the stable category of a finite tensor category $\mathcal{C}$.

• Theorem 1.2 (Main Application):
  Let $\mathcal{C}$ be a finite tensor category satisfying the weak finite generation condition. The central cohomological support $\text{supp}_C$ admits a faithful extension to the ind-category $\text{Ind}(\mathcal{C})$ if:

  1. $\text{Proj } \mathcal{C}^\bullet$ is Noetherian and $\text{supp}_C$ is tensorial; OR
  2. The categorical center $\mathcal{C}^\bullet$ is finitely generated and $\text{Spc}(\mathcal{C})$ is Noetherian.

• Resolution of Conjecture: This result confirms a significant part of the NVY Conjecture (Nakano-Vashaw-Yakimov), which hypothesized that $\text{supp}_C$ realizes the Balmer spectrum and admits a faithful tensorial extension.

C. Counterexamples and Characterization

The paper provides examples (Section 6) showing that faithfulness of the original support $\sigma$ does not automatically imply faithfulness of the extension $\tilde{\sigma}$. Faithfulness of the extension depends critically on the topological structure of the fibers of the map $\eta$ (specifically, the existence of unique generic points in the preimages of closed sets).

4. Significance

1. Foundational Theory: The paper provides the first systematic, noncommutative framework for extending support varieties using Rickard idempotents, unifying previous commutative and specific noncommutative results.
2. Validation of Conjectures: It validates the conditions under which the central cohomological support (a concrete, computable invariant) fully captures the abstract Balmer spectrum for finite tensor categories.
3. Tensor Product Property: By proving that the extended Balmer support is tensorial, the authors affirm that the "tensor product property" (a crucial feature for stratification and classification) holds in the noncommutative "big" setting.
4. New Proofs for Known Results: The techniques are applied to recover and generalize results regarding quantum elementary abelian groups (Example 8.9), providing an affirmative answer to a question by Pevtsova and Witherspoon regarding the tensor product property for infinite-dimensional modules. This offers an alternative proof to Negron-Pevtsova's work, independent of "smooth integration" assumptions.
5. Stratification: The results lay the groundwork for the classification of localizing subcategories (stratification) in noncommutative monoidal triangulated categories, a major program in modern representation theory.

In summary, this paper bridges the gap between abstract TT-geometry and concrete representation theory by establishing rigorous conditions for extending support theories to non-compact objects in noncommutative settings, thereby confirming key aspects of recent conjectures in the field.