Almost equivalences between Tamarkin category and Novikov sheaves

This paper establishes an almost equivalence between the equivariant Tamarkin category and the category of derived complete modules over the Novikov ring, thereby clarifying the relationship between Tamarkin's extra variable and Novikov rings.

The Gist

Here is an explanation of Tatsuki Kuwagaki's paper, "Almost equivalences between Tamarkin category and Novikov sheaves," translated into simple, everyday language using creative analogies.

The Big Picture: Two Different Maps to the Same Treasure

Imagine you are a treasure hunter looking for a hidden island called Symplectic Geometry. This island is full of complex shapes (Lagrangian submanifolds) that represent physical states in the universe.

To find this treasure, mathematicians have developed two different types of maps:

1. The "Tamarkin Map" (The Time-Traveler's View): This map uses a special extra dimension called "Time" ($R_t$). It treats the shapes as if they are moving through time. It's great for seeing how things evolve, but it can get messy when you try to count infinite loops or infinite energy.
2. The "Novikov Map" (The Accountant's View): This map uses a special ledger called the Novikov Ring. Think of this ring as a currency system where you can have infinite amounts of money, but only if the value of the bills gets smaller and smaller (like $1, 1/2, 1/4, 1/8...$). This is perfect for counting infinite loops (like in quantum physics) because it keeps the math from exploding.

The Problem: For a long time, mathematicians knew these two maps were related, but they didn't know exactly how. They were like two different languages describing the same landscape. One was a "sheaf" language (geometry), and the other was an "algebra" language (numbers).

The Breakthrough: This paper proves that these two maps are actually almost the same thing.

---

The Core Analogy: The "Almost" Connection

The author proves a theorem that says: "The Tamarkin Map is almost equivalent to the Novikov Map."

What does "almost" mean here?

Imagine you are looking at a high-resolution photo of a mountain.

• The Tamarkin Map is the raw photo. It has every single pixel, including the dust, the noise, and the tiny imperfections.
• The Novikov Map is the photo after you've applied a "noise filter." It smooths out the tiny dust particles that don't really matter for seeing the shape of the mountain.

In math, these "dust particles" are called almost zero modules. They are so small or insignificant that for the purpose of the big picture, they might as well not exist. The paper says: "If you ignore the dust (the almost zero parts), the Tamarkin Map and the Novikov Map are identical."

Why Do We Need This? (The "Why It Matters" Section)

1. Solving the "Infinite Loop" Problem

In quantum physics (specifically Floer theory), you often have to count an infinite number of paths a particle can take.

• The Novikov Ring was invented specifically to handle these infinite sums. It's the natural home for these calculations.
• The Tamarkin Category was invented to study shapes using geometry and time.
• The Result: This paper says, "Hey, you don't have to choose between the geometry and the algebra. You can use the geometry (Tamarkin) to do the algebra (Novikov) calculations." It gives physicists a new, powerful tool to solve problems that were previously very hard.

2. The "Curved" Reality

In the real world, things aren't always perfectly flat or straight. Sometimes, the "fabric" of space is twisted or curved.

• The paper introduces Curved Sheaves. Imagine a piece of paper (a sheaf) that is slightly bent or has a wrinkle in it.
• By using the Novikov Ring, the author shows how to mathematically "bend" these maps to match the twisted reality of quantum fields. This helps explain how "bulk deformations" (changes in the environment) affect the shapes we are studying.

3. A New Lens for Microscopes

The paper also suggests a new way to look at "micro-local" analysis (looking at things very, very closely).

• Traditionally, microscopes in math could only see things in a "cone" shape (like a flashlight beam).
• This new equivalence allows for Non-conic Microlocal Theory. Imagine a flashlight that can shine in any direction, not just a cone. This allows mathematicians to see details of the "landscape" that were previously hidden in the shadows.

The "Magic" Ingredients

To make this work, the author uses a few clever tricks:

• The "Time" Variable ($R_t$): In the Tamarkin world, there is an extra time dimension. The author shows that this time dimension is actually just a fancy way of writing down the "valuation" (the size/value) of the Novikov Ring. It's like realizing that "Time" and "Money" are just two ways of measuring the same distance.
• The "Completion" Trick: The Novikov Ring is a "completed" version of a polynomial ring. Think of it like a video stream. The polynomial ring is a few frames of the video. The Novikov Ring is the entire infinite video stream, fully loaded. The paper proves that the Tamarkin category naturally lives in this "fully loaded" stream.
• The "Almost" Filter: The author uses a mathematical concept called "Almost Mathematics" (developed by Gabber and Ramero). It's like a filter that says, "If the difference between two things is smaller than any positive number we can name, treat them as equal." This filter is what allows the two very different maps to become identical.

Summary for the Everyday Person

Imagine you have two different apps on your phone to navigate a city.

• App A (Tamarkin) shows you the streets, the traffic, and the time it takes to get there.
• App B (Novikov) shows you the cost of the trip, the fuel consumption, and the infinite number of possible routes.

For years, people thought these apps were totally different. This paper proves that App A and App B are actually the same app, just with a slightly different user interface. If you ignore the tiny glitches (the "almost zero" errors), they show you the exact same route.

Why is this cool?
It means mathematicians can now switch between the "Time/Geometry" view and the "Money/Algebra" view instantly. This makes it much easier to solve complex puzzles in quantum physics and geometry, especially when dealing with infinite loops or twisted spaces. It's like finding a universal translator between two languages that were previously thought to be untranslatable.

Technical Summary

Here is a detailed technical summary of the paper "Almost equivalences between Tamarkin category and Novikov sheaves" by Tatsuki Kuwagaki.

1. Problem Statement and Motivation

The paper addresses a fundamental gap in symplectic geometry and microlocal sheaf theory regarding the relationship between two distinct frameworks used to study Lagrangian submanifolds and Floer theory:

1. Tamarkin Categories: Introduced by Tamarkin, these utilize an extra real variable $t$ (often denoted $R_t$) to study sheaf quantizations. The category $\text{Sh}^{R_d}_{>0}(X \times R_t, K)$ is constructed by quotienting equivariant sheaves on $X \times R_t$ by those with non-positive microsupport. This framework is powerful for exact Lagrangians but requires equivariance to handle non-exact cases.
2. Novikov Rings: In Floer theory, the universal Novikov ring $\Lambda_0$ (a ring of formal power series with exponents in $\mathbb{R}_{\geq 0}$) is essential to handle the infinite number of holomorphic disks and energy filtrations, particularly for non-exact Lagrangians.

The Core Problem: While it was known that the equivariant Tamarkin category is linear over the Novikov ring, the precise structural relationship was unclear. Specifically, does the Tamarkin category equivalent to the category of sheaves valued in modules over the Novikov ring? The author aims to establish this equivalence, noting that for non-exact Lagrangians, the family Floer functor naturally targets sheaves over the Novikov ring, while the equivariant Tamarkin category is the natural sheaf-theoretic model for non-exact Lagrangians.

2. Methodology

The author employs a combination of microlocal sheaf theory, derived algebraic geometry, and almost mathematics to bridge these two worlds.

• Equivariant Setup: The paper generalizes the Tamarkin category to be equivariant with respect to a subgroup $G \subset \mathbb{R}$. The category of interest is $\mu^G(T^*X)$, defined as the quotient of equivariant sheaves $\text{Sh}^G(X \times \mathbb{R}_t, K)$ by sheaves with microsupport in $T^*X \times \mathbb{R} \times \mathbb{R}_{\leq 0}$.
• Novikov Rings and Completions: The author defines the Novikov ring $\Lambda^G_0$ associated with $G$ as a completion of a polynomial ring. For general $G$, this involves a non-commutative quiver algebra $L^G_0$ (an infinite version of the An-quiver algebra) which is completed with respect to a filtration by energy.
• Derived Completeness: A crucial technical hurdle is that the category of standard complete modules is not abelian and behaves poorly homologically. The author utilizes derived complete modules ($\text{Mod}^c$), a concept from derived algebraic geometry (referencing Kedlaya and Aut), which forms a stable, presentable $\infty$-category.
• Almost Mathematics: The equivalence is not strict but holds in the sense of almost mathematics (Gabber-Ramero). This involves ignoring "almost zero" objects (modules annihilated by the maximal ideal of the Novikov ring). The author defines "almost equivalences" between categories, where functors are fully faithful and essentially surjective up to almost isomorphism.
• Morita Equivalence: The core mechanism is a Morita-type functor. The author identifies a specific generator in the Tamarkin category (a sum of shifted unit objects) and constructs a functor mapping objects in the Tamarkin category to Hom-spaces in the category of derived complete modules over the Novikov ring.

3. Key Contributions and Results

A. The Main Theorem (Almost Equivalence)

The central result (Theorem 1.1 and Theorem 5.5) establishes an almost equivalence between the equivariant Tamarkin category and the category of derived complete modules over the Novikov ring.

• Theorem: There exists an almost embedding (and essentially surjective functor):
  $$A: \mu^G_{>0}(X \times \mathbb{R}_t, K) \xrightarrow{\sim_a} \text{Sh}(X, \text{Mod}^c(L^G_0))$$
  where $\text{Mod}^c(L^G_0)$ denotes the category of sheaves on $X$ valued in derived complete modules over the completed Novikov algebra $L^G_0$.
• Mechanism: The functor $A$ is defined by $E \mapsto \text{Hom}(\bigoplus_{c \in \mathbb{R}/G} T_c \mathbf{1}_\mu, E)$. The inverse functor involves tensoring with the generator.
• Significance: This proves that the equivariant Tamarkin category is, up to "almost" errors, exactly the category of sheaves over the Novikov ring. This provides a rigorous sheaf-theoretic model for the Novikov ring approach to Floer theory.

B. Generalization to Higher Dimensions and Cones

The paper extends the result beyond the 1D real line case:

• Variant 1 (Energy Cutoff): The theory is adapted to energy cutoffs (finite Novikov rings $\Lambda_0 / T^c \Lambda_0$), relevant for obstructed Lagrangians.
• Variant 2 (Higher Dimensions): For a simplicial cone $\gamma \subset \mathbb{R}^n$, the author defines a higher-dimensional Novikov ring $\Lambda^\gamma_0$ and establishes an almost embedding for $\gamma$-equivariant sheaves on $X \times \mathbb{R}^n$.

C. Application I: Non-conic Microlocal Sheaf Theory

The paper introduces a non-conic microsupport for sheaves valued in real valuation rings (like the Novikov ring).

• Unlike the classical conic microsupport (which is invariant under positive scaling of the cotangent fiber), this new microsupport $\mu\text{supp}(E)$ captures information about the "valuation" of the sheaf.
• It refines the Kashiwara-Schapira microsupport and allows for a microlocal analysis of sheaves where the "energy" direction is not just a scaling parameter but a valuation.

D. Application II: Curved and Twisted Sheaves

The paper demonstrates how the Novikov ring perspective facilitates the introduction of curved complexes and twisted sheaves, which are natural in Fukaya categories but difficult to define purely in the Tamarkin framework.

• Curved Sheaves: By viewing the category as sheaves over $\Lambda_0$, one can naturally define objects with non-zero curvature ($d^2 \neq 0$) and bulk deformations.
• Twisted Sheaves: The author constructs a category of twisted sheaves $Shtw(X, R, e_w)$ associated with a cohomology class $w \in H^2(X, R)$.
• Theorem 8.6: Proves that the category of curved sheaves with curvature $w$ is equivalent to the category of twisted sheaves. This provides a sheaf-theoretic realization of the bulk deformation and B-field deformation in Fukaya categories.

4. Significance and Impact

1. Unification of Frameworks: The paper rigorously unifies the "sheaf quantization" approach (Tamarkin) with the "Floer theory" approach (Novikov rings). It confirms that the extra variable $t$ in Tamarkin's theory is indeed the valuation parameter of the Novikov ring.
2. Model for Non-Exact Lagrangians: It provides a concrete, alternative model for the Fukaya category of non-exact Lagrangians. Instead of working directly with the complex Novikov ring, one can work with the equivariant Tamarkin category, which may be more amenable to geometric operations (like microlocal cuts).
3. Foundations for Higher-Order WKB: The results support the construction of sheaf quantizations for higher-order $\hbar$-differential equations, where solutions are expected to be transseries (elements of the Novikov ring).
4. New Microlocal Tools: The introduction of non-conic microsupport and curved sheaves opens new avenues for studying symplectic invariants that involve bulk deformations or non-exactness, which were previously difficult to handle in a purely sheaf-theoretic setting.
5. Technical Innovation: The use of "almost mathematics" to handle the discrepancies between the discrete equivariant structure and the continuous Novikov ring is a novel and powerful technique in symplectic geometry.

In summary, Kuwagaki's paper establishes that the equivariant Tamarkin category is the "correct" sheaf-theoretic avatar of the Novikov ring, enabling the transfer of techniques between symplectic topology and microlocal analysis, and paving the way for a robust theory of curved and twisted sheaf quantizations.