---
title: 'Tamarkin Category: Microlocal Sheaf Invariants'
url: https://www.emergentmind.com/topics/tamarkin-category
type: topic
---

# Tamarkin Category: Microlocal Sheaf Invariants

The Tamarkin category is a monoidal, triangulated (often stable ∞-) category constructed as a quotient of the derived category of sheaves on a product manifold with $\mathbb R$. It encodes a sheaf-theoretic approach to symplectic topology, providing a microlocal model for symplectic invariants, persistence, and quantization. The Tamarkin category admits a convolution product, rich internal structure, and critical connections to Novikov rings, persistence modules, and Fukaya-type categories. Core to its utility are its support conditions, relation to microsupport, and its quantitative enhancement via interleaving metrics. Recent research establishes “almost equivalence” with categories of (derived) complete Novikov modules, and positions the Tamarkin category as a central object unifying sheaf-theoretic, persistence-theoretic, and symplectic invariants.

## 1. Definition and Fundamental Construction

Let $M$ be a smooth or real analytic manifold, and $t$ the coordinate on $\mathbb R_t$. The Tamarkin category is typically realized as a Verdier quotient or left-orthogonal complement in the derived (dg or stable ∞-) category of sheaves $Sh(M\times\mathbb R_t)$:
\[
\mathcal{T}(M) := Sh(M\times\mathbb R_t) / Sh_{\{\tau\le 0\}}(M\times\mathbb R_t),
\]
where $\tau$ is the dual cotangent variable to $t$, and $Sh_{\{\tau\le 0\}}$ denotes those sheaves with microsupport in $\{\tau\le 0\}$ [2406.08245][1807.09878][1512.02747]. The objects of $\mathcal T(M)$ are thus represented by sheaves on $M\times\mathbb R$ whose nontrivial microsupport lies in $\{\tau>0\}$.

The category is equipped with a convolution (or “star”) product along $t$:
\[
F \star G := m_! \left(\pi_1^{-1}F \otimes \pi_2^{-1}G\right),
\]
with $m(x, t_1, t_2) = (x, t_1 + t_2)$ and $\pi_i(x, t_1, t_2) = (x, t_i)$, giving $\mathcal T(M)$ a monoidal structure [2307.01561][2505.24599][1807.09878].

The reduced microsupport of $F\in \mathcal T(M)$, given as the image of its full microsupport intersected with $\{\tau>0\}$ and projected via $(x, t; \xi, \tau) \mapsto (x; \xi/\tau)$, defines a geometric correspondence with subsets of $T^*M$ [2312.14429][2307.01561].

## 2. Category-Theoretic and Algebraic Structure

The Tamarkin category, in both its non-equivariant and $G$-equivariant forms, admits notable algebraic enhancements:
- **Equivariant version:** For a discrete subgroup $G\subset\mathbb R$, consider $Sh^G(M\times\mathbb R_t)$, the $G$-equivariant derived category, and $Sh^G_{\{\tau\le 0\}}$ its subcategory with $\tau\le 0$ support. The $G$-equivariant Tamarkin category is
  \[
  \mu^G(T^*M) := Sh^G(M\times \mathbb R_t) / Sh^G_{\{\tau\le 0\}}(M\times \mathbb R_t)
  \]
  and is monoidal and $G$-graded [2406.08245][2503.15933].
- **Module and monoidal structures:** The monoidal unit is the direct sum of step sheaves $1_\mu := \bigoplus_{c\in\mathbb R} K_{t\ge c}$. Relevant endomorphism algebras recover Novikov-type semigroup or completion rings [2406.08245].

The Tamarkin category can be equivalently described in the language of filtered sheaves, persistence modules, and almost modules over Novikov rings. The APT (Almost–Persistence–Tamarkin) correspondence framework expresses equivalences between categories of persistence modules, filtered or $\gamma$-microsupported sheaves, and derived-complete modules over Novikov rings [2503.15933]. 

## 3. Quantitative and Microlocal Invariants

The Tamarkin category supports a suite of quantitative invariants and categorical metrics central to symplectic topology:
- **Interleaving, isomorphism, and weak-isomorphism distances:** Given objects $F,G$ in $\mathcal T(M)$, the $c$-interleaving and $(a, b)$-isomorphisms are defined in terms of time-shifts and commutative diagrams involving natural morphisms. The resulting pseudo-metrics—interleaving distance ($d_{int}$), weak-isomorphism distance ($d_{w-isom}$), and isomorphism distance ($d_{isom}$)—satisfy $d_{int} \leq d_{w-isom} \leq d_{isom} \leq 2d_{w-isom}$ [2301.10598][1807.09878].
- **Sheaf capacities:** For each $F\in\mathcal T(M)$, the sheaf-theoretic capacity $c(F)$ is the minimal shift making $(F, F)$ $c$-torsion under the convolution. This recovers symplectic capacity-like invariants of domains in $T^*M$ [1807.09878].
- **Persistence-theoretic interpretation:** There is a categorical equivalence between certain constructible sheaf categories with microsupport $\tau\le 0$ and finite-type persistence modules, where the Tamarkin interleaving distance matches the standard barcode metric [1807.09878][2503.15933].

## 4. Connections to Novikov Rings and Almost-Equivalence

A fundamental structural result is the almost equivalence of the equivariant Tamarkin category $\mu^G(*)$ and the category of derived complete modules over the Novikov ring $\Lambda_0^G$:
- **Novikov ring:** For $G\subset \mathbb R$, the Novikov ring is defined as
  \[
  \Lambda_0^G = \lim_{r\to+\infty} K[S]/m(r),\qquad S=G\cap\mathbb R_{\ge 0},\ m(r)=(T^a\,|\,a>r),
  \]
  and modules are completed with respect to the natural filtration [2406.08245][2307.01561].
- **Almost-equivalence theorem:** The Yoneda–Morita functor from $\mu^G(*)$ to $\operatorname{Mod}_c(\Lambda_0^G)$ (derived complete modules) is an almost equivalence: for any $M$, the global category satisfies
  \[
  \mu^G(T^*M) \to Sh(M, \Lambda_0^G)
  \]
  is an almost embedding, with kernel and cokernel almost zero in the sense of Gabber–Ramero [2406.08245][2503.15933].

Variants for higher-dimensional cones (“$\gamma$-Tamarkin categories”) and with various coefficient or symmetry groups are available, adapting to persistent, toric, or log Calabi–Yau settings [2503.15933][2307.01561].

## 5. Symplectic Topology, Fukaya Categories, and Mirror Correspondences

The Tamarkin category serves as a sheaf-theoretic model for key symplectic and homological constructions:
- **Sheaf quantization:** Smooth (exact) Lagrangian branes in $T^*M$ admit canonical sheaf quantizations $F_L\in\mathcal T(M)$ with reduced microsupport $L$, and conversely, simple objects with prescribed microsupport quantize admissible branes [2312.14429][2307.01561].
- **Separation and non-displaceability:** The separation theorem states that for closed (possibly non-compact, end-conic) $A',B'\subset T^*M$ with compactly disjoint projections, any $F\in\mathcal T_{A'}(M)$ and $G\in\mathcal T_{B'}(M)$ satisfy $\operatorname{Hom}(F, G) = 0$. Non-displaceability and Lagrangian intersection bounds—such as via shadow distance and interleaving metrics—follow as immediate corollaries [2406.08247][2312.14429][1807.09878].
- **Hamiltonian stability and energy:** Under Hamiltonian isotopy, objects in $\mathcal T(M)$ have distances controlled by oscillation norms, quantifying symplectic displacement energy at the categorical level [2301.10598].
- **Fukaya category conjecture:** The Novikov-linear (enhanced) Tamarkin category for a Liouville or Weinstein $X$ admits an almost fully faithful embedding of the wrapped (or infinitesimally wrapped) Fukaya category over $\Lambda_0$, recovering exact calculations and conjectured equivalences in mirror symmetry [2307.01561].

Hochschild cohomology of the Tamarkin category over suitable open domains is canonically isomorphic, with action filtration, to filtered symplectic cohomology [2312.11447].

## 6. Enhanced Sheaves, Universality, and Higher Algebraic Perspective

The universal property of the Tamarkin category as a “coefficients” enhancement—allowing for a genuine exponential local system and Fourier transform in the Betti sheaf theory—positions it as the universal monoidal sheaf theory with these symmetries. Structures such as the category of wild or enhanced Betti sheaves ($D(X,\mathbb W)$), where $\mathbb W$ denotes continuously complete $\mathbb R$-filtered spectra, are shown to be canonical recipients of monoidal functors from the Tamarkin category [2505.24599]. 

From the $\infty$-categorical viewpoint, the Tamarkin category connects fundamentally with persistence modules over $\mathbb R$, categories of almost Novikov modules, and log-perfectoid sheaf models for toric and Calabi–Yau geometries. These connections are mediated by explicit functorial correspondences, completions, and the action of $\mathbb R$ or its subgroups [2503.15933][2406.08245].

## 7. Examples, Calculations, and Applications

- **Euclidean ball:** The explicit calculation of sheaf projectors for $U=B^{2n}(R)\subset T^*\mathbb R^n$ yields capacity and cohomology calculations matching symplectic invariants [2312.11447][1807.09878].
- **Persistent homology:** Correspondence between barcode decompositions in persistence theory and interleaving structures in Tamarkin categories is established by concrete calculations [1807.09878][2503.15933].
- **Toric and Landau–Ginzburg models:** Sheaf-theoretic models via Tamarkin-type categories provide mirror correspondences for (perfectoid) toric varieties with Novikov coefficients [2503.15933].
- **Lagrangian cobordisms:** Sheaf quantizations of cobordisms (iterated cones, shadow distance) yield fine invariants for Lagrangian intersection and energy cost in symplectic field theory [2312.14429].

The Tamarkin category thus serves as a geometric and algebraic framework unifying microlocal sheaf theory, persistence, and symplectic/homological invariants, with deep connections to almost mathematics, mirror symmetry, and higher-categorical infrastructure.

Source: https://www.emergentmind.com/topics/tamarkin-category