Larsen–Lunts Conjecture

• Larsen–Lunts Conjecture is a statement linking the Grothendieck ring of varieties to the piecewise isomorphism of smooth projective varieties.
• It employs scissor relations and decomposition techniques to compare varieties, with specific counterexamples highlighting its limitations in higher dimensions.
• The conjecture has deep implications for birational geometry and motivic zeta functions, influencing studies on stable birational equivalence and the Lefschetz motive.

The Larsen–Lunts Conjecture is a central and deeply consequential statement in the interplay between algebraic geometry and the theory of motivic invariants, specifically concerning the relationship between the Grothendieck ring of varieties and piecewise isomorphism. Formulated in 2003, it posits that two smooth projective varieties over an algebraically closed field with the same class in the Grothendieck ring are necessarily piecewise isomorphic. This property, if true in general, would imply a powerful connection between the algebraic structure of $K_0(\mathrm{Var}_k)$ and the geometry of varieties, tying cut-and-paste phenomena to deep birational and stable birational invariants.

1. The Grothendieck Ring and Piecewise Isomorphism

Let $k$ denote an algebraically closed field. The Grothendieck ring $K_0(\mathrm{Var}_k)$ is the free abelian group generated by the isomorphism classes $[X]$ of reduced, separated, finite-type $k$-schemes (varieties) modulo the scissor relations: $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$ Multiplication is given by

$[X]\cdot[Y] = [X \times Y],$

endowing $K_0(\mathrm{Var}_k)$ with a commutative ring structure.

Two varieties $X$ and $Y$ are called piecewise isomorphic if there exist finite decompositions into locally closed subvarieties,

$k$0

possibly after reindexing. Clearly, piecewise isomorphic varieties have the same Grothendieck class, but the converse, which is the assertion of the Larsen–Lunts Conjecture, is highly nontrivial and generally fails in high dimensions (Blanc et al., 2023, Karzhemanov, 2014, Kuber, 2013).

2. Precise Forms of the Larsen–Lunts Conjecture

Original Formulation (2003):

If $k$1 are smooth projective varieties over $k$2 such that $k$3 in $k$4, then $k$5 and $k$6 are piecewise isomorphic.

This can be equivalently stated as: the semiring of piecewise isomorphism classes is cancellative under disjoint union (Kuber, 2013).

Isomorphism Modulo Lefschetz Motive:

There is a refined version involving the Lefschetz class $k$7: $k$8 where $k$9 denotes the stable birational equivalence classes of irreducible varieties. Every smooth projective $K_0(\mathrm{Var}_k)$0 maps to its stable birational class in this setting (Zakharevich, 2015).

3. Verified Cases and Counterexamples

Significant progress has been made for special classes:

• For rational normal projective surfaces admitting a desingularisation by trees of smooth rational curves (e.g., Du Val surfaces), it is proven that $K_0(\mathrm{Var}_k)$1 in $K_0(\mathrm{Var}_k)$2 if and only if $K_0(\mathrm{Var}_k)$3 and $K_0(\mathrm{Var}_k)$4 are piecewise isomorphic (Blanc et al., 2023).
• The proof in this case utilizes explicit combinatorial classification of such surfaces via $K_0(\mathrm{Var}_k)$5 and explicit decompositions into $K_0(\mathrm{Var}_k)$6, reducing piecewise isomorphism to matching these summands.

However, counterexamples in higher dimension show the conjecture fails in general:

• Karzhemanov constructs smooth projective threefolds $K_0(\mathrm{Var}_k)$7 with $K_0(\mathrm{Var}_k)$8 in $K_0(\mathrm{Var}_k)$9 but which are not piecewise isomorphic by any decomposition (Karzhemanov, 2014).
• The counterexample uses pencils of cubic surfaces, techniques from birational rigidity theory, and careful manipulation in the Grothendieck ring.

4. Structural and Homotopical Approaches

A homotopical framework has been developed to study the Grothendieck ring via the spectrum of varieties $[X]$0, with $[X]$1 and higher homotopy groups encoding deeper geometric invariants (Zakharevich, 2015). Notably:

• The spectral sequence arising from filtrations by dimension relates the relations in $[X]$2 to birational and piecewise automorphism obstructions.
• The kernel of multiplication by $[X]$3 in $[X]$4 can be explicitly represented by pairs $[X]$5 with $[X]$6 but $[X]$7 and $[X]$8 not piecewise isomorphic, thus capturing the failure of $[X]$9-cancellation (Zakharevich, 2015).

5. Connections to Birational Geometry and Stable Birationality

The quotient $k$0 is isomorphic to the free abelian group generated by stable birational equivalence classes. This isomorphism is closely related to the structure theorem of Larsen–Lunts (Zakharevich, 2015). The implication is that, modulo $k$1, all relations in the Grothendieck ring come from stable birational geometry:

• If $k$2 modulo $k$3, then $k$4 and $k$5 are stably birational.
• This underpins the phenomenon that nontrivial geometric differences (e.g., types of singularities, or invariants like Kodaira dimension) are invisible in $k$6.
• Quotient singularities for $k$7 behave according to the stable rationality of the classifying stack $k$8 (Esser et al., 2022).

6. Motivic Zeta Functions and Rationality Criteria

Kapranov’s motivic zeta function,

$k$9

links to the Larsen–Lunts program via rationality considerations.

• For surfaces, rationality of $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$0 in $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$1 characterizes negative Kodaira dimension; this criterion is conjectured to extend to all dimensions (Shein, 20 Aug 2025).
• The irrationality direction—if $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$2 is rational, then $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$3 must have negative Kodaira dimension and admit no global nonzero differential forms of even degree—now holds for arbitrary dimension (Shein, 20 Aug 2025).
• The technical advance in this context is the theory of $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$4-rational singularities, ensuring that all symmetric powers of a variety inherit this property, stabilizing the passage between $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$5 and its resolutions in the Grothendieck ring modulo $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$6.

7. Limitations, Open Problems, and Broader Implications

Despite substantial progress, the Larsen–Lunts conjecture fails in general. Known limitations and open directions include:

• General piecewise isomorphism classification is tractable only in dimension one and for certain rational surfaces; there is no general classification in higher dimension (Blanc et al., 2023).
• Counterexamples hinge on the coexistence of equal Grothendieck classes with birational rigidity or other geometric obstructions to piecewise isomorphism.
• The status of the Lefschetz class $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$7 as a potential zero divisor in $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$8 remains unresolved (Kuber, 2013).
• The interplay with Gromov’s extension problem for birational self-maps is now known to be equivalent to the Larsen–Lunts conjecture (Kuber, 2013).
• Motivic measures and finer invariants are required to distinguish varieties beyond the detecting power of the Grothendieck ring, especially for cut-and-paste phenomena and singularities invisible in $$[X] = [Z] + [X \setminus Z],\quad Z \subset X \text{ closed}.$$9 or its stable-birational quotient (Karzhemanov, 2014).

A plausible implication is that while the Grothendieck ring is a powerful invariant, it does not, in general, encode the full piecewise or birational geometry of varieties, especially for complex or rigid structures in higher dimension. The failure of the conjecture motivates ongoing development of refined cohomological, λ-ring, and homotopical invariants within the study of motives and birational geometry.