Some computations in the heart of the homotopy t-structure on logarithmic motives

This paper presents a method for computing the $\pi_0$ of effective log motives to demonstrate their $\mathbf{A}^1$-invariance and applies these results to establish the full faithfulness of the stripping functor from log motivic sheaves to Nisnevich sheaves with transfers.

The Gist

Here is an explanation of the paper "Some Computations in the Heart of the Homotopy T-Structure on Logarithmic Motives" using simple language and creative analogies.

The Big Picture: Mapping a Strange New World

Imagine mathematicians are cartographers trying to map a new, mysterious continent called Logarithmic Motives. This continent is a bit weird: it's built using "logarithmic geometry," which is like looking at a landscape through a special pair of glasses that highlights the edges, boundaries, and "corners" of things (like the shoreline of a lake or the edge of a forest) rather than just the open fields.

For a long time, these cartographers knew that this new continent was connected to an old, well-known continent called Classical Algebraic Geometry (the world of standard shapes and numbers). They knew there was a bridge between them, but they weren't sure if the bridge was a sturdy, two-way highway or just a shaky, one-way footpath.

The Goal of this Paper:
The author, Alberto Merici, wants to prove that this bridge is actually a perfect, two-way highway. Specifically, he wants to show that if you can draw a map on the "old" continent, you can automatically and uniquely translate it to the "new" continent, and vice versa, without losing any information.

The Tools: The "Log-Glasses" and the "Smoothness" Test

To understand the paper, we need three main concepts:

1. The Log-Glasses (Logarithmic Structures):
   Imagine you are looking at a smooth, round ball (a sphere). In the old world, you just see a ball. In the "log" world, you might see the ball with a specific line drawn around its equator. This line represents a boundary. The math in this paper studies shapes that have these special boundary lines.

2. The "A1-Invariant" Rule (The Stretchy Rubber Band):
   In this mathematical world, there is a rule called A1-invariance. Think of a shape made of rubber. If you stretch it out into a long tube (like adding a dimension), the rule says the shape shouldn't change its fundamental "identity."

   • Analogy: If you have a clay sculpture of a cat, and you stretch the clay into a long, thin snake, it's still fundamentally the same "cat-essence" in this specific mathematical universe. If a shape breaks this rule (it changes too much when stretched), it's considered "unstable" or "noisy."

3. The Heart of the Structure (The Core):
   The paper focuses on the "heart" of a complex mathematical machine called the Homotopy T-Structure.

   • Analogy: Imagine a giant, complex clockwork machine. The "heart" is the main gear that actually drives the time. The author is zooming in on this main gear to see how it works. He wants to prove that this main gear behaves exactly like the main gear of the old, familiar clock.

The Problem: The "Gap" in the Bridge

Previous mathematicians (Bachmann, Hoyois, Østvær, etc.) built the bridge between the two worlds. They proved that the bridge was safe to walk on (faithful), but they left a small gap in the middle. They suspected the bridge was fully connected (fully faithful), but they couldn't prove it without assuming some very difficult mathematical "magic tricks" (like being able to resolve singularities, which is like assuming you can magically smooth out every craggy mountain peak).

The gap meant: "We think you can translate any map from the old world to the new world, but we haven't proven it works for every single case."

The Solution: The "Gysin" Elevator and the "Residue" Check

Merici's paper fills this gap using a clever method. Here is how he does it, step-by-step:

1. The "Gysin" Elevator

In the old world, there is a tool called a Gysin map. Think of this as an elevator that takes you from a specific point on a map and tells you how that point relates to the whole surrounding area.

• In the new "log" world, this elevator is tricky because of the boundary lines. Merici shows that if you look at the "heart" of the machine (the main gear), this elevator works perfectly and predictably.

2. The "Residue" Check (The Fingerprint)

To prove the bridge is solid, Merici looks at "residues."

• Analogy: Imagine you are trying to verify if a person is who they say they are. You ask them to leave a fingerprint (a residue) on a specific spot. If the fingerprint matches the one on the other side of the bridge, you know they are the same person.
• Merici proves that for these specific mathematical shapes, the "fingerprint" left by a map on the old world always matches the fingerprint required on the new world. There is no mismatch.

3. The "P1" Test Case

To prove his theory, Merici runs a specific test on a shape called P1 (which is basically a circle or a sphere).

• He calculates the "first homotopy group" (a way of counting the loops or holes in the shape).
• He shows that for this shape, the "log" version and the "classic" version are identical.
• The Result: Because the test case works perfectly, and because the "fingerprint" rule holds true, he can prove that the bridge is fully connected for all shapes, not just the test case.

The Conclusion: A Fully Connected Highway

The main result of the paper (Theorem 1.1) is a big "Yes!" to the question: Can we translate maps between these two worlds perfectly?

• Before: "We think so, but we need some magic assumptions."
• Now (Merici's Proof): "Yes, absolutely. No magic assumptions needed. The translation is unique, perfect, and works for every shape."

Why Does This Matter?

This is like discovering that the GPS in your car (the old world) works perfectly with a new, high-tech satellite system (the log world) without needing any extra software updates.

1. It simplifies math: Mathematicians can now use the tools they already know from the "old world" to solve problems in the "new log world" without fear of breaking anything.
2. It fixes a hole: It corrects a previous proof that had a gap, making the entire foundation of this field of math stronger.
3. It opens doors: Now that the bridge is confirmed, researchers can start building new roads between these worlds, potentially leading to discoveries in number theory and physics that were previously inaccessible.

In short: Merici took a shaky, unproven bridge between two mathematical worlds, reinforced it with a clever "fingerprint" test, and declared it a solid, two-way highway.

Technical Summary

Here is a detailed technical summary of the paper "Some Computations in the Heart of the Homotopy T-Structure on Logarithmic Motives" by Alberto Merici.

1. Problem Statement and Context

The paper addresses a fundamental question in the theory of logarithmic motives (log motives), specifically concerning the relationship between the category of effective logarithmic motives and the classical category of Nisnevich sheaves with transfers.

• Background: Log motives, introduced by Binda, Park, and Østvær ([BPØ22]), allow for the computation of non-$\mathbb{A}^1$-invariant cohomologies using motivic homotopy theory. The category of effective log motives, $\logDMeff(k, \mathbb{Z})$, admits a homotopy t-structure (established in [BM21]). The heart of this t-structure, denoted $\logCIltr(k, \mathbb{Z})$, consists of strictly $\square$-invariant Nisnevich sheaves with log transfers (where $\square = (\mathbb{P}^1, \infty)$).
• The Core Question: There exists a "stripping" functor $\omega^\sharp$ that maps a log sheaf $F$ to a classical sheaf on smooth schemes by evaluating it on schemes with trivial log structure ($F(X, \text{triv})$). The composition $\omega^\sharp \iota$ (where $\iota$ is the inclusion of the heart) maps $\logCIltr(k, \mathbb{Z})$ to the category of classical Nisnevich sheaves with transfers, $\Shvtr_{\text{Nis}}(k, \mathbb{Z})$.
• The Gap: It was previously known (Theorem 2.3) that this functor is faithful and exact. However, it was an open conjecture (specifically [BM22, Conjecture 0.2]) whether it is fully faithful. Previous attempts to prove this relied on resolutions of singularities, which left a gap in the proof.
• The Obstruction: The obstruction to fullness is encoded in "residue maps" or Gysin maps. Specifically, a map between the underlying classical sheaves lifts to a map of log sheaves if and only if it respects these residue structures. The paper aims to show that in the presence of transfers, this obstruction vanishes.

2. Methodology

The author employs a combination of homotopical algebra, purity theorems, and explicit computations of homotopy groups to resolve the conjecture without assuming resolutions of singularities.

• Computing $\pi_0$ of Log Motives: The central technical tool is a method to compute $h^\square_0(X)$, the 0-th homotopy sheaf of a log motive, for a smooth and proper variety $X$.

  • The author establishes a criterion (Proposition 3.2) involving a condition $(\star)$ on function fields $K$. If a map $f: S \to T$ induces a surjection on the underlying sheaves and satisfies a specific condition regarding the kernel and the difference of pullbacks along $0$and$1$in$\mathbb{A}^1$, then$h^\square_0(S) \cong T$.
  • This is applied to prove Proposition 3.4: For a smooth proper variety $X$, $h^\square_0(X) \cong \omega^* h^{\mathbb{A}^1}_0(X^\circ)$, where $X^\circ$ is the open part with trivial log structure and $h^{\mathbb{A}^1}_0$ is the classical Suslin homology. This result is significant because it computes log homotopy groups using only classical data, without assuming resolution of singularities.

• Analysis of $\mathbb{P}^1$: The author explicitly computes the first homotopy group of the log motive of the projective line, $\pi_1 \Meff(\mathbb{P}^1)$.

  • Using a Mayer-Vietoris sequence derived from the Gysin triangle for the divisor $0 + \infty$, the author shows that$h^\square_1(\mathbb{P}^1, \text{triv}) \cong \omega^* \mathbb{G}_m$.
  • This computation relies on the known calculation of classical Suslin homology for $\mathbb{A}^1 \setminus \{0\}$ (where $h^{\mathbb{A}^1}_1 = 0$).

• Gysin Maps and Residues: The paper analyzes the Gysin map $Gys_0^F$ associated with the inclusion of the origin in $\mathbb{A}^1$.

  • The author demonstrates that for sheaves with transfers, this Gysin map is induced by the tautological bundle in $\text{Pic}(\mathbb{P}^1)$, which corresponds to the map $\tau: \mathbb{Z}_{tr}(\mathbb{P}^1)[-1] \to \mathbb{G}_m$.
  • Crucially, this map is defined entirely within the category of classical sheaves with transfers ($\Shvtr_{\text{Nis}}$), making it functorial for any map between the underlying sheaves.

3. Key Contributions and Results

Theorem 1.1 (Main Result)

Let $F, G \in \logCIltr(k, \mathbb{Z})$ and let $\phi: \omega^\sharp F \to \omega^\sharp G$ be a map in $\Shvtr_{\text{Nis}}(k, \mathbb{Z})$. Then $\phi$ lifts uniquely to a map $F \to G$ in $\logCIltr(k, \mathbb{Z})$.

• Consequence: The functor $\omega^\sharp \iota: \logCIltr(k, \mathbb{Z}) \to \Shvtr_{\text{Nis}}(k, \mathbb{Z})$ is fully faithful and exact.
• Significance: This confirms [BM22, Conjecture 0.2] unconditionally (without resolution of singularities). It establishes that the category of strictly $\square$-invariant log sheaves with transfers is equivalent to a specific subcategory of classical sheaves with transfers.

Proposition 3.4 (Computation of $h^\square_0$)

For $X$ smooth and proper over $k$, $h^\square_0(X) \cong \omega^* h^{\mathbb{A}^1}_0(X^\circ)$.

• This provides a recursive method to compute log motives of proper varieties using only classical motivic data.

Proposition 3.6 (Computation of $\pi_1$)

The map $h^\square_1(\mathbb{P}^1, \text{triv}) \to \omega^* \mathbb{G}_m$ is an isomorphism.

• This calculation is the linchpin for showing that the obstruction to fullness vanishes in the case with transfers.

Theorem 4.4 (Proof of Conjecture)

By combining the computation of $\pi_1(\mathbb{P}^1)$ with the characterization of the Gysin map (Lemma 4.2), the author proves that the residue condition required for lifting maps is automatically satisfied for sheaves with transfers.

4. Significance and Impact

1. Resolution of a Major Gap: The paper corrects a gap in the proof of [BM21, Section 7] regarding the full faithfulness of the stripping functor. Previous proofs relied on resolutions of singularities, which are not available in all characteristics or for all schemes. This work removes that dependency.
2. Bridge Between Log and Classical Motives: It rigorously establishes that for sheaves with transfers, the "logarithmic" structure (specifically $\square$-invariance) does not introduce new morphisms that are invisible to the classical theory. The log category is essentially a "thickening" of the classical category where the objects are the same, but the structure sheaves are enriched.
3. Methodological Advancement: The technique of computing $h^\square_0$ via the condition $(\star)$ on function fields provides a new tool for analyzing log motives without recourse to resolution of singularities.
4. Future Applications: The author notes that these results are expected to be crucial for comparing log motivic spectra with the $\mathbb{P}^1$-spectra of Annala–Hoyois–Iwasa ([AHI25]), particularly in the context of Gysin maps and purity.

In summary, Merici's paper provides the missing technical link to prove that the heart of the homotopy t-structure on log motives with transfers is fully faithfully embedded into the classical world of Nisnevich sheaves with transfers, fundamentally clarifying the relationship between logarithmic and classical motivic homotopy theories.