A remark on monoidal structure and homological mirror symmetry

This paper demonstrates that for a symplectic manifold $X$ with a monoidal Fukaya category, the monoidal structure uniquely determines the homological mirror functor to the derived category of coherent sheaves on its mirror $Y$, thereby filling a gap in the literature regarding the reconstruction of the mirror from categorical data.

The Gist

Imagine you are trying to solve a massive jigsaw puzzle, but you've lost the picture on the box. All you have is a pile of unique, magical puzzle pieces.

This paper is about a new, clever way to figure out what the final picture looks like, just by looking at how those pieces fit together and interact with each other.

Here is the story broken down into simple concepts:

1. The Two Worlds: The "Fuzzy" and the "Clear"

In the world of advanced math (specifically Mirror Symmetry), there are two different universes that are secretly twins:

• World A (The Fuzzy World): This is a "Symplectic Geometry." Think of it as a landscape made of flowing water, wind, and vibrating strings. It's hard to pin down. Mathematicians study this using a tool called the Fukaya Category.
• World B (The Clear World): This is an "Algebraic Variety." Think of it as a rigid, geometric sculpture made of precise shapes and equations. It's easier to draw and measure. Mathematicians study this using Coherent Sheaves.

The Big Idea: Homological Mirror Symmetry says these two worlds are actually the same thing, just viewed from different angles. If you have the "Fuzzy" puzzle pieces, you should be able to reconstruct the "Clear" sculpture.

2. The Problem: Which Puzzle Box is the Right One?

Here is the tricky part. Imagine you have a pile of puzzle pieces (World A). You want to build the picture on the box (World B).

• Usually, there is only one way to build a picture.
• But in this math world, you could potentially build two different sculptures using the exact same pile of pieces. They look different, but the pieces fit together in the same way.

So, if you just look at the pieces, how do you know which sculpture you are supposed to build? You need a rulebook.

3. The Rulebook: The "Monoidal Structure"

The paper introduces a special rulebook called a Monoidal Structure.

• The Analogy: Imagine your puzzle pieces aren't just static shapes. Imagine they have a special "glue" or a "dance move" that tells you how to combine two pieces into a bigger piece.
• In the "Clear World" (the sculpture), this glue is standard: you just multiply the shapes together.
• In the "Fuzzy World" (the landscape), this glue is harder to find.

The author argues: If you know exactly how the pieces in the Fuzzy World combine (their "glue"), you can uniquely identify which Clear World sculpture they belong to.

4. The Magic Tool: The Balmer Spectrum

How do we use this "glue" to find the sculpture? The paper uses a tool invented by a mathematician named Balmer, called the Balmer Spectrum.

• The Metaphor: Think of the Balmer Spectrum as a GPS map generated by the puzzle pieces themselves.
• If you take your pile of pieces and ask, "How do these pieces relate to each other?" the Balmer Spectrum draws a map.
• In the past, we knew that if you had the "Clear World" sculpture, this map would perfectly show you the shape of the sculpture.
• The Gap: But what if you start with the "Fuzzy World" pieces? Does the map still work?

5. The Main Discovery

The author, Tatsuki Kuwagaki, fills a gap in the story. He proves two main things:

1. The Map is Real: Even if you start with the "Fuzzy" pieces, if you apply the "glue" rule (the monoidal structure), the Balmer Spectrum map will successfully reconstruct the "Clear" sculpture.
2. The Map is Unique: Most importantly, he proves that the "glue" rule determines the translator.
   • Imagine you have a dictionary to translate from Fuzzy to Clear. There might be many ways to translate a sentence.
   • Kuwagaki proves that once you know the "glue" rule, there is only one correct way to translate the whole story. The "glue" forces the translation to be specific.

6. Why Does This Matter? (The "SYZ" Connection)

The paper connects this to a famous theory called SYZ Fibration.

• The Analogy: Imagine the "Fuzzy World" is a giant loaf of bread. You can slice it in many different ways (different "fibrations").
• Each way of slicing the bread creates a different "Clear World" mirror.
• The "glue" (monoidal structure) is like the crust of the bread. The way the crust holds the bread together tells you exactly how the loaf was sliced.
• Therefore, by studying the crust (the monoidal structure), you can figure out exactly how the bread was sliced and what the mirror image looks like.

Summary

In simple terms, this paper says:

"If you have a mysterious, abstract mathematical object, and you know exactly how its parts combine and interact (its monoidal structure), you don't just know the object—you can uniquely reconstruct the entire geometric world it belongs to. The 'rules of combination' are the key to unlocking the mirror."

It's like saying, "If you know the exact recipe for how ingredients mix in a cake, you can figure out exactly what kind of cake it is, even if you've never seen the finished product."

Technical Summary

Based on the provided text, here is a detailed technical summary of the paper "A remark on monoidal structure and homological mirror symmetry" by Tatsuki Kuwagaki.

1. Problem Statement

The paper addresses a foundational gap in the relationship between Homological Mirror Symmetry (HMS) and monoidal structures in symplectic geometry.

• Context: In HMS, a symplectic manifold $X$ is conjectured to be mirror to an algebraic variety $Y$ such that their derived categories are equivalent: $\text{Fuk}(X) \simeq D^b\text{coh}(Y)$.
• The Issue: The category $D^b\text{coh}(Y)$ possesses a natural monoidal structure (tensor product over the structure sheaf). This induces a monoidal structure on $\text{Fuk}(X)$. However, non-isomorphic varieties $Y$ can have equivalent derived categories. Balmer's reconstruction theorem implies that the monoidal structure distinguishes these varieties.
• The Gap: While it is expected that the monoidal structure on $\text{Fuk}(X)$ arises from a Lagrangian torus fibration (SYZ fibration) via the "family Floer functor," it was not rigorously established whether the monoidal structure alone determines the specific HMS equivalence functor $\text{Fuk}(X) \to D^b\text{coh}(Y)$.
• Goal: To prove that the monoidal structure on the Fukaya category uniquely determines the mirror functor, thereby filling a logical gap in the "diagram of implications" connecting SYZ fibrations, fiberwise addition, and HMS.

2. Methodology

The author employs Tensor Triangulated Geometry and Higher Category Theory (specifically $\infty$-categories) to refine Balmer's reconstruction theorem.

• Balmer Spectrum: The paper utilizes the Balmer spectrum, $\text{Spc}^\otimes(\mathcal{T})$, which reconstructs a geometric space from a tensor triangulated category $\mathcal{T}$.
• Enhanced Setting: The work moves beyond the classical homotopy category level to the level of symmetric monoidal stable $\infty$-categories. This allows for the construction of a "higher" structure sheaf.
• Canonical Functor Construction:
  1. Let $\mathcal{C}$ be a symmetric monoidal stable $\infty$-category over a field $K$.
  2. Construct the Balmer spectrum of its homotopy category, $\text{Spc}^\otimes(\pi_0(\mathcal{C}))$.
  3. Define a presheaf of algebras using the endomorphisms of the monoidal unit in quotient categories.
  4. Sheafify this presheaf to obtain the higher structure sheaf $\mathcal{O}_\mathcal{C}$.
  5. Construct a canonical functor $m_{\mathcal{C}, \otimes}: \mathcal{C} \to D(\mathcal{O}_{\text{Spc}^\otimes(\mathcal{C})})$ by mapping objects to their Hom-functors relative to the unit object.

3. Key Contributions

A. The Canonical Functor Theorem (Theorem 1.2)

The paper establishes the existence of a canonical functor $m_{\mathcal{T}, \otimes}$ from a tensor triangulated category $\mathcal{T}$ (with enhancement) to the derived category of modules over its Balmer spectrum.

• Assumptions: The spectrum must be hypercomplete, and the higher structure sheaf must be classical (i.e., the higher homotopy groups of the sheaf vanish, $\pi_0(\mathcal{O}_\mathcal{C}) \simeq \mathcal{O}_\mathcal{C}$).
• Result: Under these conditions, if $\mathcal{T} = \text{Perf}(Y)$ (perfect complexes on a Noetherian scheme $Y$), the canonical functor $m_{\mathcal{T}, \otimes}$ is equivalent to the standard inclusion $\text{Perf}(Y) \hookrightarrow D(\mathcal{O}_Y)$.

B. Recovery of the Mirror Functor (Corollary 1.3)

This is the paper's primary application to Mirror Symmetry.

• Statement: If there is an equivalence $F: \text{Fuk}(X) \xrightarrow{\sim} D^b\text{coh}(Y)$, and $\text{Fuk}(X)$ is equipped with the monoidal structure $\otimes_F$ induced by $F$, then the canonical functor constructed from $(\text{Fuk}(X), \otimes_F)$ recovers $F$ exactly.
• Implication: The monoidal structure is sufficient to determine the specific mirror functor; there is no ambiguity in the "horizontal arrow" of the HMS diagram (Equation 1.1).

C. Refinement of Balmer's Reconstruction

The author refines Balmer's original theorem by working in the $\infty$-categorical setting. This allows for a more precise definition of the structure sheaf and the reconstruction functor, ensuring compatibility with modern derived algebraic geometry.

4. Main Results

1. Invertibility of the Diagram: The paper proves that the map from "Monoidal Structure on $\text{Fuk}(X)$" to "HMS Functor $\text{Fuk}(X) \to D^b\text{coh}(Y)$" is invertible (Claim 1.1).
2. Uniqueness of Reconstruction: Given a symplectic geometry $X$ and a monoidal structure on $\text{Fuk}(X)$ that is "mirror" to a standard tensor structure on a variety $Y$, the reconstruction process via the Balmer spectrum yields the unique functor $F$ that establishes the equivalence.
3. Technical Validation: The paper validates that for standard algebraic varieties, the abstractly constructed canonical functor coincides with the standard geometric inclusion, bridging abstract tensor geometry with classical algebraic geometry.

5. Significance

• Theoretical Clarity: The paper resolves a conceptual ambiguity in Homological Mirror Symmetry. It confirms that the "geometric meaning" of the non-canonicity of monoidal structures (different SYZ fibrations) is precisely captured by the different HMS functors they induce.
• Bridge between SYZ and HMS: It formally connects the SYZ fibration picture (fiberwise addition inducing monoidal structure) with the Family Floer functor picture. It suggests that the monoidal structure is the algebraic shadow of the SYZ fibration's additive structure.
• Methodological Advancement: By utilizing $\infty$-categories and the hypercompleteness assumption, the paper provides a robust framework for reconstructing geometric spaces from categorical data, extending Balmer's work to the derived setting required for modern mirror symmetry.
• Future Directions: While the paper focuses on the standard monoidal unit, Remark 2.8 hints at potential extensions to the Matsui spectrum (for categories without a monoidal structure), though the author notes this requires choosing a specific object to play the role of the unit, which is less canonical.

In summary, Kuwagaki demonstrates that the monoidal structure is not merely an auxiliary feature of the Fukaya category but is the defining data that reconstructs the specific homological mirror symmetry equivalence, thereby solidifying the link between symplectic topology and algebraic geometry.