Kapranov Motivic Zeta Function

• Kapranov’s motivic zeta function is the generating series of symmetric powers of a variety in the Grothendieck ring, encapsulating complex geometric data.
• Its formulation via the λ-ring and Witt vector structures connects motivic measures with classical zeta functions and enables rationality tests.
• The theory extends to marked and singular curves, using dual-graph stratification and correction factors to elucidate rationality and geometric invariants.

Kapranov’s motivic zeta function is the generating series of symmetric powers of an algebraic variety in the Grothendieck ring of varieties. For a field $K$ of characteristic zero and a quasi-projective $K$-variety $X$, it is defined by

$Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$

where $\Sym^n X=X^n/S_n$ and $[X]$ denotes the class of $X$ in $K_0(\Var_K)$ (Shein, 20 Aug 2025). The construction packages the geometry of all symmetric powers into a single formal series, interacts naturally with the $\lambda$-ring structure on $K_0(\Var_K)$, specializes to the classical Weil zeta function under point counting over finite fields, and serves as a testing ground for rationality phenomena in motivic geometry (Huang, 2017).

1. Definition in the Grothendieck ring

The ambient object is the Grothendieck ring $K$0, generated by symbols $K$1 for $K$2-varieties, subject to the scissor relation

$K$3

with multiplication induced by Cartesian product. The Lefschetz class is

$K$4

Kapranov’s zeta function is then the formal power series obtained by taking classes of symmetric powers (Shein, 20 Aug 2025).

The symmetric-power operations define a $K$5-structure on $K$6 via

$K$7

so that $K$8 (Shein, 20 Aug 2025). This places the construction in the general formalism of $K$9-rings and makes it compatible with motivic measures, Witt vectors, and various realization functors.

A broader version replaces the identity map on $X$0 by a motivic measure $X$1, where $X$2 is a commutative ring. One then defines

$X$3

which specializes to Kapranov’s original series when $X$4 is the identity (Ramachandran et al., 2014). This generalized viewpoint is central in later structural results.

2. Curves as the basic rational case

The first major rationality theorem is the curve case. Kapranov showed that if $X$5 is a smooth projective curve with a $X$6-rational point, then $X$7 is rational in $X$8; D. Litt later removed the need for a rational point, proving rationality for any geometrically connected curve over a field of characteristic zero (Shein, 20 Aug 2025).

For a smooth projective curve $X$9 of genus $Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$0, one has the explicit form

$Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$1

where $Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$2 is a polynomial of degree $Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$3 (Brandt et al., 2019). This formula is the model for much of the subsequent theory: the denominator reflects the Jacobian-type geometry of symmetric powers, while the numerator encodes the finer motive.

The smooth unmarked curve case is also the point at which later generalizations reconnect with Kapranov’s original definition. For a smooth curve $Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$4,

$Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$5

so the divisorial zeta function introduced for marked stable curves reduces exactly to

$Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$6

in this case (Brandt et al., 2019). This identifies Kapranov’s series as the base case of a broader framework encompassing nodal and marked curves.

A common misconception is that the curve case is representative of the general situation. The later literature shows the opposite: curve rationality is exceptional rather than universal.

3. Motivic measures, Witt vectors, and formal properties

A decisive structural advance is the interpretation of motivic zeta functions in the big Witt ring $Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$7. As a set, $Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$8 may be identified with $Z(X,t)=\sum_{n=0}^{\infty}[\Sym^n X]\,t^n \in K_0(\Var_K)[[t]],$9, with Witt multiplication determined by the Teichmüller rule

$\Sym^n X=X^n/S_n$0

for $\Sym^n X=X^n/S_n$1 (Ramachandran et al., 2014). If $\Sym^n X=X^n/S_n$2 is a motivic measure, the assignment

$\Sym^n X=X^n/S_n$3

is always a group homomorphism, and $\Sym^n X=X^n/S_n$4 is called exponentiable when it is in fact a ring homomorphism (Ramachandran et al., 2014).

Exponentiability yields the product formula

$\Sym^n X=X^n/S_n$5

This is the formal mechanism behind many multiplicativity statements for motivic zeta functions (Ramachandran et al., 2014). In particular, if $\Sym^n X=X^n/S_n$6 and $\Sym^n X=X^n/S_n$7 are rational elements of $\Sym^n X=X^n/S_n$8, then $\Sym^n X=X^n/S_n$9 is also rational (Ramachandran et al., 2014).

In the Witt-ring setting, rationality means membership in the subring $[X]$0, equivalently the existence of polynomials $[X]$1 with $[X]$2 such that

$[X]$3

This notion differs from the denominator-clearing definition used in $[X]$4, and the distinction is significant in the literature (Ramachandran et al., 2014).

A further consequence of exponentiability is Totaro’s formula: $[X]$5 This underlies many computations for affine and projective bundles (Ramachandran et al., 2014). The same paper shows that Gillet–Soulé’s measure is exponentiable and that any measure factoring through it, including Euler characteristic, Hodge–Deligne polynomial, Poincaré polynomial, Larsen–Lunts exotic measure, and Albanese, is also exponentiable (Ramachandran et al., 2014).

4. Finite-field incarnation and MacDonald-type formulas

Over a finite field $[X]$6, the counting measure

$[X]$7

is exponentiable, and its associated Kapranov zeta function is the classical Hasse–Weil zeta function

$[X]$8

(Huang, 2017). Thus Kapranov’s construction is not merely analogous to the classical zeta function; under point counting it becomes exactly that function.

The Witt-vector formalism makes possible a MacDonald-type formula for the zeta functions of symmetric powers. If

$[X]$9

in $X$0, then in $X$1 one has

$X$2

where $X$3 is the double Teichmüller lift (Huang, 2017). This realizes the generating series of the zeta functions of all symmetric powers as a closed Witt-theoretic expression.

The formalism admits explicit computations. For affine space,

$X$4

and for projective space,

$X$5

in $X$6 (Huang, 2017). For an elliptic curve $X$7 with

$X$8

the Witt expression is

$X$9

and the symmetric-power generating series is obtained by replacing each Teichmüller term by its double lift (Huang, 2017).

These formulas are a finite-field analogue of the role played by Macdonald-type identities in topology and cohomology. This suggests that Kapranov’s zeta function is best understood as a universal symmetric-power generating series whose realizations recover more classical enumerative invariants.

5. Rationality, irrationality, and geometric constraints

The rationality problem for Kapranov’s zeta function is subtle because $K_0(\Var_K)$0 is not even an integral domain. One standard convention is that

$K_0(\Var_K)$1

is rational over $K_0(\Var_K)$2 if there exists a polynomial

$K_0(\Var_K)$3

such that

$K_0(\Var_K)$4

(Larsen et al., 2018). In this form, the question was sharpened by the Denef–Loeser conjecture, which predicted rationality after inverting $K_0(\Var_K)$5 for every variety in characteristic zero (Larsen et al., 2018).

Larsen and Lunts disproved this expectation by constructing a K3 surface $K_0(\Var_K)$6 such that

$K_0(\Var_K)$7

is not rational in $K_0(\Var_K)$8 (Larsen et al., 2018). Their argument uses a refined motivic measure

$K_0(\Var_K)$9

built from mod $\lambda$0 étale cohomology, together with the Göttsche identity

$\lambda$1

and a failure of the linear recurrences that rationality would force (Larsen et al., 2018). The result is the first unconditional counterexample to the Denef–Loeser conjecture in characteristic $\lambda$2 (Larsen et al., 2018).

For surfaces over $\lambda$3, the Larsen–Lunts criterion states: if $\lambda$4 is a smooth projective surface, then $\lambda$5 is rational in $\lambda$6 if and only if the Kodaira dimension $\lambda$7 is negative (Shein, 20 Aug 2025). Recent work extends the irrationality direction to higher dimension: for a smooth complex projective variety $\lambda$8 of dimension $\lambda$9, rationality of $K_0(\Var_K)$0 over $K_0(\Var_K)$1 implies

$K_0(\Var_K)$2

(Shein, 20 Aug 2025). Thus nonnegative Kodaira dimension or the existence of nonzero even-degree differential forms obstruct rationality.

The same work proves that if a variety has $K_0(\Var_K)$3-rational singularities, then all of its symmetric powers also have $K_0(\Var_K)$4-rational singularities (Shein, 20 Aug 2025). A plausible implication is that the singularity theory of $K_0(\Var_K)$5 is not merely auxiliary: it is structurally tied to the rationality problem for $K_0(\Var_K)$6.

6. Extension to marked stable curves

A natural generalization of Kapranov’s construction to singular and marked curves is the divisorial motivic zeta function of Brandt–Ulirsch. Let $K_0(\Var_K)$7 be algebraically closed of characteristic zero, and let $K_0(\Var_K)$8 be a pointed quasiprojective curve. For each $K_0(\Var_K)$9, $K$00 is the coarse moduli scheme of tuples

$K$01

such that $K$02 is a connected nodal curve whose stabilization is $K$03, the $K$04 lie over the marked points, $K$05 is an effective Cartier divisor of degree $K$06 avoiding nodes and marked points, and $K$07 is ample with $K$08. One then sets

$K$09

(Brandt et al., 2019).

When $K$10 is smooth and unmarked, the identification

$K$11

shows that

$K$12

so Kapranov’s motivic zeta function appears as the smooth case of the divisorial theory (Brandt et al., 2019).

For any stable marked quasiprojective curve, $K$13 is rational (Brandt et al., 2019). The proof stratifies $K$14 by dual-graph combinatorics and multidegrees, identifies each stratum as a product of symmetric powers of smooth loci and copies of $K$15, and then glues nodes to factor the zeta function into componentwise contributions with explicit correction terms (Brandt et al., 2019).

If $K$16 is the dual graph of the stable curve $K$17, and $K$18 is the normalization of the component corresponding to $K$19, the master formula is

$K$20

Here $K$21 is the number of nodes and $K$22 is the number of marked points (Brandt et al., 2019). Each factor

$K$23

comes from introducing a new node marked by two halves, and each factor $K$24 comes from closing a marked point to a node (Brandt et al., 2019).

This formula makes precise how Kapranov’s zeta function changes under semistable degeneration. In particular, if $K$25, the correction factors disappear and one recovers the smooth case immediately. The example

$K$26

shows that the generalized theory still admits explicit calculations (Brandt et al., 2019). More broadly, it exhibits Kapranov’s zeta function as the smooth vertex-wise factor in a dual-graph factorization for nodal and marked curves.