Fully-Dualizable and Invertible $\mathcal{E}_n$-Algebras

This paper proves a conjecture by Brochier, Jordan, Safronov, and Snyder that characterizes fully-dualizable and invertible $\mathcal{E}_n$-algebras within higher Morita categories, thereby identifying the specific algebraic structures that generate $(n+1)$-dimensional and invertible topological quantum field theories.

The Gist

Here is an explanation of the paper "Fully-Dualizable and Invertible En-Algebras" using simple language, creative analogies, and metaphors.

The Big Picture: Building a Universal Lego Set

Imagine you are an architect trying to build a machine that works perfectly in any dimension—whether it's a flat 2D world, our 3D world, or a hypothetical 4D or 5D universe. In the world of mathematics and physics, this machine is called a Topological Quantum Field Theory (TQFT).

Think of a TQFT as a universal translator between two languages:

1. The Language of Shapes: How spaces twist, turn, and connect (like knots, spheres, or donuts).
2. The Language of Algebra: The rules of numbers, operations, and structures (like rings and modules).

The paper you are asking about solves a massive puzzle: What are the specific "rules" (algebraic structures) required to build a machine that works in any dimension?

The author, Pablo Bustillo Vazquez, proves a conjecture that acts as a "checklist" for these rules. He tells us exactly what kind of algebraic "Lego bricks" you need to hold together so your machine doesn't fall apart when you try to use it in higher dimensions.

---

The Core Concepts (The "What")

1. The "En-Algebra" (The Shape-Shifting Brick)

In this paper, the main character is an $E_n$-algebra.

• Analogy: Imagine a Lego brick that has a special property. If you have a 1D brick, it can only slide left and right. If you have a 2D brick, it can slide left, right, up, down, and even rotate. An $E_n$-algebra is a mathematical object that can "slide" and "rotate" in $n$ different directions simultaneously.
• The Problem: We know how to use these bricks in low dimensions (like 1D or 2D). But what happens when we try to stack them into a 100-dimensional tower? Do they hold together?

2. "Fully-Dualizable" (The Perfect Mirror)

To build a TQFT that works in $n+1$ dimensions, the algebraic brick must be fully-dualizable.

• Analogy: Think of a mirror. If you stand in front of it, you see a reflection. If the reflection is perfect, you can step "through" the mirror and come out the other side, and everything still makes sense.
• In Math: A "dual" is like a reflection. For a structure to be "fully-dualizable," it must have a perfect reflection at every single level of its complexity. If you look at the object, then look at its reflection, then look at the reflection of the reflection, everything must line up perfectly. If there is even a tiny glitch in the reflection at any level, the whole machine (the TQFT) crashes when you try to use it in higher dimensions.

3. "Invertible" (The Reversible Button)

The paper also looks at invertible theories.

• Analogy: Imagine a video game where you can press a button to undo your last move perfectly, returning the world exactly to how it was before. An invertible theory is one where every operation can be perfectly undone.
• In Math: This is like an "Azumaya algebra" (a fancy name for a specific type of ring). It's the mathematical equivalent of a "perfectly reversible" operation.

---

The Solution: The "Handlebody" Test

How do you check if your algebraic brick is "fully-dualizable" or "invertible"? You can't just look at it; you have to test it.

The author uses a tool called Factorization Homology.

• The Metaphor: Imagine you have a strange, knotted piece of clay (the algebra). To test it, you wrap it in different shapes of "wrapping paper" (stratified spaces or handlebodies).
• The Test: You wrap the clay in a sphere, a donut, a twisted tube, etc. Then you calculate a "score" (a homology) based on how the clay interacts with the wrapping paper.
• The Result: The paper proves that if the "score" comes out perfect for every possible shape of wrapping paper you can imagine, then your algebraic brick is safe to use in any dimension.

The Conjecture Proven:
Brochier, Jordan, Safronov, and Snyder (and originally Lurie) guessed that this "wrapping paper test" was the key. Bustillo Vazquez proved it is true.

He showed that:

1. For Full-Dualizability: You must check that the algebra acts like a "perfect module" (a sturdy building block) when wrapped in specific shapes called $(S^{i-1}, D^i)$. Think of these as specific types of "test tubes" for your algebra.
2. For Invertibility: You must check that the "score" from the test tubes matches a specific "universal standard" (the Center of the algebra). If the test tube result is exactly the same as the universal standard, your theory is invertible (reversible).

---

Why Does This Matter? (The "So What?")

This might sound abstract, but it's actually the "operating manual" for the universe.

1. Physics: Physicists use TQFTs to describe quantum particles and how they behave. This paper tells them exactly what kind of mathematical "ingredients" they need to cook up a theory that works in 3D, 4D, or 10D space.
2. Mathematics: It connects two huge worlds: Topology (the study of shapes) and Algebra (the study of numbers). It says, "If your algebra is structured this way, it automatically describes the geometry of the universe."
3. The "Cobordism Hypothesis": This is the grand theory that says "Everything in the universe is just a collection of these dualizable algebraic bricks." This paper fills in the missing instructions on how to identify those bricks.

Summary in One Sentence

The author proves that to build a mathematical machine that works in any number of dimensions, you must use algebraic structures that pass a specific "mirror test" (dualizability) and a "reversibility test" (invertibility), which can be verified by wrapping the structures in various geometric shapes and checking if the results are perfect.

The "Everyday" Takeaway:
If you want to build a bridge that spans any river, no matter how wide or deep, you don't just guess the materials. You need a specific formula. This paper provides that formula for the "bridges" of the mathematical universe, ensuring they won't collapse when you try to cross into higher dimensions.

Technical Summary

Here is a detailed technical summary of the paper "Fully-Dualizable and Invertible En-Algebras" by Pablo Bustillo Vazquez.

1. Problem Statement and Context

The paper addresses a fundamental question in the classification of Topological Quantum Field Theories (TQFTs) via the Cobordism Hypothesis.

• The Cobordism Hypothesis: Proposed by Baez and Dolan and proven by Lurie, it states that an $n$-dimensional fully extended TQFT is determined by a "fully $n$-dualizable" object in a symmetric monoidal $(\infty, n)$-category.
• The Setting: The author works within the Higher Morita Category, denoted $\mathcal{M}or_n(\mathcal{V})$, where $\mathcal{V}$ is a symmetric monoidal $(\infty, 1)$-category. The objects of this category are $E_n$-algebras, and morphisms are iterated bimodules.
• The Gap: While it is known that $k$-morphisms for $k < n$ in $\mathcal{M}or_n(\mathcal{V})$ automatically possess adjoints (implying they generate $n$-dimensional TQFTs), the condition for the $n$-morphisms (the $E_n$-algebras themselves) to be fully dualizable (allowing extension to $(n+1)$-dimensions) was not explicitly characterized in the general $E_n$ setting.
• The Conjecture: The paper proves a conjecture by Brochier, Jordan, Safronov, and Snyder (BJSS), which generalizes classical results:
  • Classical Case ($n=1$): Fully dualizable algebras are "smooth and proper"; invertible algebras are "Azumaya algebras."
  • Goal: Characterize which $E_n$-algebras are fully dualizable and which are invertible using factorization homology.

2. Methodology

The proof strategy combines higher category theory with geometric topology, specifically factorization homology on stratified spaces.

A. Categorical Foundations (Section 2)

The author first establishes rigorous "folklore" results regarding adjoints in $(\infty, n)$-categories:

• Colimits and Adjoints: Proves that the property of having adjoints is preserved under colimits of $(\infty, n)$-categories. This relies on the construction of $(\infty, n)$-categories as complete Segal $\Theta_n$-spaces.
• Free Adjunctions: Formalizes the construction of "free" categories with adjoints. A key result is that a morphism is fully dualizable if and only if its units and counits (and their iterated adjoints) lift through a specific sequence of adjunctions.
• Redundancy: Establishes that checking full dualizability reduces to checking the dualizability of the "once-fully-adjoint" units and counits, avoiding infinite regress.

B. Geometric Tools: Factorization Homology (Section 3)

The core technical innovation is the translation of categorical duality data into geometric operations on stratified spaces:

• Stratified Spaces as Duality Data: The author defines specific stratifications of $\mathbb{R}^n$ (called Bar-stratifications and Handlebody-stratifications) that encode the structure of $k$-morphisms and their adjunctions.
• Pinch Maps: Introduces "pinch maps" (constructible bundles) that collapse specific strata. These maps correspond algebraically to the formation of units ($\eta$) and counits ($\epsilon$) of adjunctions.
• Homological Morphisms: Uses the theory of factorization homology (Ayala, Francis, Rozenblyum, Tanaka) to show that these geometric maps induce functors between categories of algebras.
• Iterated Bimodules: Proves that the existence of adjoints for an $n$-morphism (an $E_n$-algebra) is equivalent to the dualizability of the algebra as a module over its "domain" and "codomain" algebras, where these domains are defined via factorization homology on specific sub-strata.
• Centers and Hochschild Cohomology: Identifies the units of adjunctions with universal maps to Hochschild cohomology (or higher centers) of the algebras.

3. Key Contributions and Results

The paper provides two main theorems characterizing the objects of interest.

Theorem A: Criterion for Full Dualizability

An $E_n$-algebra $M$ (viewed as an $n$-morphism in $\mathcal{M}or_n(\mathcal{V})$) is fully dualizable if and only if:
For all $0 \le i \le n-k$(where$k$is the dimension of the morphism,$0$for algebras), the canonical actions of the factorization homology on the pair$(S^{i-1}, D^i)$exhibit$M$ as a dualizable module.

• Formula: The actions are:
  $$\int_{(S^{i-1}, D^i)} (M, A) \curvearrowright M \quad \text{and} \quad M \curvearrowleft \int_{(S^{i-1}, D^i)} (M, B)$$
  where $A$ and $B$ are the (co)domains of $M$.
• Interpretation: This generalizes the classical condition that an algebra must be "smooth" (perfect as a bimodule) and "proper" (perfect as a module over the base). In the $E_n$ context, this requires $M$ to be dualizable relative to its higher Hochschild homology.

Theorem B: Criterion for Invertibility

An $E_n$-algebra $M$ is invertible (generating an invertible TQFT) if and only if:

1. $M$ is fully dualizable (satisfies Theorem A).
2. For all $1 \le i \le n-k$, the universal maps from the factorization homology to the Hochschild cohomology (centers) are equivalences:
   $$\int_{(S^{i-1}, D^i)} (M, A) \xrightarrow{\sim} HH^{E_{n-k-i}}(M)$$
   $$\int_{(S^{i-1}, D^i)} (M, B) \xrightarrow{\sim} HH^{E_{n-k-i}}(M)$$

• Interpretation: This generalizes the definition of Azumaya algebras. Classically, an algebra is Azumaya if the map to its center is an equivalence and the map to its endomorphisms is an equivalence. Here, the condition requires the "relative Hochschild homology" to compute the "higher center" perfectly.

4. Significance and Impact

• Resolution of the BJSS Conjecture: The paper definitively proves the conjecture formulated by Brochier et al., providing the missing link between the abstract Cobordism Hypothesis and concrete algebraic conditions for $E_n$-algebras.
• Unification of Algebra and Topology: It demonstrates that the complex categorical conditions for TQFTs (full dualizability) can be reduced to computable algebraic invariants (factorization homology and Hochschild cohomology).
• Generalization of Classical Theory: It successfully lifts the classical Morita theory (smooth/proper/Azumaya algebras) to the realm of higher algebra ($E_n$-algebras) and higher category theory.
• New Tools for TQFT Construction: By characterizing exactly which algebras generate $(n+1)$-dimensional TQFTs, the paper provides a practical toolkit for constructing new examples of TQFTs in higher dimensions.
• Methodological Advancement: The use of stratified spaces and pinch maps to model adjunctions in higher categories offers a powerful new geometric perspective on abstract categorical structures, potentially applicable to other problems in higher category theory.

In summary, Bustillo Vazquez provides a rigorous, geometric characterization of the "smoothness" and "invertibility" of higher algebras, bridging the gap between the abstract existence of TQFTs and their concrete algebraic realization.