The Riemann-Roch theorem for the Adams operations

A. Navarro and J. Navarro

arXiv: 2211.10178v1 · PDF · 18 November 2022
Categories: math.KT, math.AG, math.AT
Licence: CC BY 4.0 The site shows the text.

Abstract

We prove the classical Riemann-Roch theorems for the Adams operations \,\psi^j\, on K-theory: a statement with coefficients on \mathbb{Z}[j^{-1}], that holds for arbitrary projective morphisms, as well as another one with integral coefficients, that is valid for closed immersions. In presence of rational coefficients, we also analyze the relation between the corresponding Riemann-Roch formula for one Adams operation and the analogous formula for the Chern character. To do so, we complete the elementary exposition of the work of Panin-Smirnov that was initiated by the first author in a previous work. Their notion of oriented cohomology theory of algebraic varieties allows to use classical arguments to prove general and neat statements, which imply all the aforementioned results as particular cases.

Items 29

Theorem

QAN2

Let \,\varphi \colon A\to \bar{A}\, be a morphism of functor of rings between oriented cohomology theories, whose associated series \mathrm{S} \in \bar{A}(*)[[t]] is invertible. For any projective morphism \,f \colon Y \to X\, between smooth, quasi-projective k-varieties, the following diagram commutes

\vcenter{\xymatrix{ A(Y) \ar[rrr]^-{f_*} \ar[d]_{\varphi} & & & A(X) \ar[d]^{\varphi} \\ \bar{A}(Y) \ar[rrr]^-{f_* ( \mathrm{S}_{\times}^{-1} (T_f) \cdot \ \underline{\phantom{a}}\ ) } & & & \bar{A} (X)}}

where \mathrm{S}_\times^{-1} \colon K \to \bar{A} denotes the multiplicative extension of the series \mathrm{S}^{-1}.

Theorem

8ACP

Let \,\varphi \colon A \to \bar{A}\, be a morphism of functor of rings between oriented cohomology theories, with associated series \, \mathrm{S} \in \bar{A}(*)[[t]]\,. For any closed inmersion \, i \colon Z \hookrightarrow X\,, the following square commutes:

\vcenter{\xymatrix{ A(Z) \ar[rrr]^-{i_*} \ar[d]_{\varphi} & & & A(X) \ar[d]^{\varphi} \\ \bar{A} (Z) \ar[rrr]^-{i_* (\mathrm{S}_{\times} (N_i) \cdot \ \underline{\phantom{a}}\ ) } & & & \bar{A}(X)}}

where \, N_i := i^* T_{X} - T_Z = - T_i\, denotes the normal bundle of i.

Definition

Definition 1.1

0J0O

Let k be a field. An oriented cohomology theory is a contravariant functor A\, from the category of smooth quasi-projective varieties over k\, into the category of commutative rings. Part of the data are also direct images for projective morphisms; that is to say, a morphism of groups f_*\colon A(Y)\to A(X), for any projective morphism f\colon Y\to X, such that \mathrm{Id}_*=\mathrm{Id}, (fg)_*=f_*g_*\, and such that the projection formula f_*(f^*(x)y)=xf_*(y) holds.

On an oriented cohomology theory \,A, any smooth closed subvariety \,i\colon Z\to X\, has a fundamental class

\,[Z]^A\coloneqq i_*(1)\in A(X)\ ,

and any line bundle \,L\to X\, has a Chern class

\,c_1^A(L)\coloneqq s_0^*(s_{0*}(1))\in A(X) \ ,

where \,s_0\colon X\to L\, is the zero section.

These data are also assumed to satisfy the following axioms:

The ring morphism i_1^*+i_2^*\colon A(X_1\amalg X_2)\to A(X_1)\oplus A(X_2) is an isomorphism, where i_j\colon X_j\to X_1\amalg X_2 is the natural immersion (in particular, A(\emptyset )=0).
For any affine bundle \pi \colon P\to X, the ring morphism \pi ^*\colon A(X)\to A(P) is an isomorphism.
For any smooth closed subvariety i\colon Z \to X, the following is an exact sequence:
\ A(Z)\xrightarrow{i_*}A(X)\xrightarrow{j^*}A(X-Z)\ .
If a morphism f\colon \bar X\to X is transversal to a smooth closed subvariety i\colon Z\to X of codimension d, then the following square is commutative:
\xymatrix{A(Z) \ar[r]^-{f^*} \ar[d]^{i _*} & A(\bar Z) \ar[d]^{i _*}\\ A(X) \ar[r]^-{f^*} & A(\bar X). }
For any morphism f\colon Y\to X and any projective bundle \pi \colon \mathbb{P}(E)\to X, the following square is commutative:
\xymatrix{A(\mathbb{P}(E))\ar[r]^-{f^*} \ar[d]^{\pi _*} & A(\mathbb{P}(f^*E)) \ar[d]^{\pi _*}\\ A(X) \ar[r]^-{f^*} & A(Y). }
If E\to X is a vector bundle of rank r+1, then the A(X)-module in A(\mathbb{P}(E)) is free of rank r+1:
A(\mathbb{P}(E))=A(X)\oplus A(X)x_E\oplus \ldots \oplus A(X)x_E^r.
where x_E=c_1^A(\xi _E) is the first Chern class of the tautological line bundle.

A morphism of cohomologies \varphi \colon A\to \bar A\, is a natural transformation preserving direct images; i.e., it is a morphism of functors of rings \,\varphi \colon A\to \bar A\, such that

\varphi (f_*(a))=\bar f_*(\varphi (a))

for any projective morphism f\colon Y\to X and any element a\in A(Y).

Used by Example 1.2, Proposition 1.5, Corollary 1.7, Definition 4.2, Proposition 4.3, Theorem 4.4, Corollary 4.5

Example

Example 1.2

TGJF

Weil cohomologies are oriented cohomologies in the sense above. These examples include singular cohomology of complex varieties, de Rham cohomology of varieties over a field k of characteristic zero, or l-adic cohomology, with k of characteristic different from l\,.
The Chow ring \, CH^\bullet (X)\, of rational equivalence classes of algebraic cycles is also an oriented cohomology theory ([Fulton]).
Grothendieck’s K-theory is an oriented cohomology theory where the cohomology rings \,K(X)\, have no graduation (v. gr., [ExpositionesI]).
Algebraic cobordism \, \Omega^{\bullet} (X), as constructed by Levine and Morel ([LevineMorel]), is also an oriented cohomology.

Uses Definition 1.1

Theorem

Theorem 1.3

OFBM

For any quasi-projective k-variety \,X, there exists an affine bundle \,P \to X\, such that \,P\, is an affine variety.

Definition

Definition 1.4

JL86

A commutative formal group law over a ring \,R\, is a power series \,f(u,v) \in R[[u,v]]\, that satisfies the axioms for a commutative group operation with 0 as the neutral element; namely,

a) f(u,v) = f(v,u) \in R[[u,v]].
b) f(u,0) = u \in R[[u]].
c) f(u, f(v,w)) = f(f(u,v), w) \in R[[u,v,w]].
d) There exist a series \, opp(u) \in R[[u]]\, such that \, opp(0) = 0\, and \,f(u, opp(u) ) = 0 \in R[[u]].

The additive group law is f(u , v)= u + v\ , and the multiplicative group law is f(u ,v)= u+v-uv.

Used by Proposition 1.5, Example 1.6, Corollary 1.7, Proposition 2.2, Theorem 2.3, Remark 2.5, Corollary 3.5, Corollary 4.1, Corollary 4.6

Proposition

Proposition 1.5

ASUL

Let \,A\, be an oriented cohomology theory. There exists a unique commutative formal group law \,f^A(u,v)\in \,A(*)[[u,v]]\, such that

c_1^A (L_x \otimes L_y) = f^A(x,y)

for any pair of line bundles L_x, L_y, with Chern classes x := c_1^A (L_x) and y := c_1^A (L_y).

We say that A follows the law f^A, or that the series f^A(u,v) is the formal group law associated to A.

Uses Definition 1.1, Definition 1.4

Example

Example 1.6

4OO5

Graded cohomology theories follow the additive group law ([ExpositionesI, Lemma 3.1]). These examples include all Weil cohomologies or the Chow ring.
Grothendieck’s K-theory follows the multiplicative group law, whereas algebraic cobordism follows the universal group law (in particular, \, \Omega^{\bullet} (*) \, is the Lazard ring, see [LevineMorel]).
The equality \xi_d \otimes \xi^*_d = \mathcal{O}_X implies a relation between the Chern classes x_d = c_1^A (\xi_d) and y_d = c_1^A(\xi^*_d): if A follows the additive law, then x_d=- y_d, whereas, if A follows the multiplicative law, then x_d =-y_d/(1-y_d).

Uses Definition 1.4

Corollary

Corollary 1.7

7DVQ

If there exists a morphism of cohomologies \, \varphi \colon A \to \bar{A}, then both cohomology theories follow the same group law.

Uses Definition 1.1, Definition 1.4

Definition

Definition 1.8

B6QQ

The Chern classes c_n^A(E)\in A(X) of a vector bundle E\to X of rank r are the coefficients of the characteristic polynomial c(E)=x^r-c_1^A(E)x^{r-1}+\ldots +(-1)^rc_r^A(E) of the endomorphism of the free A(X)-module A(\mathbb{P}(E)) defined by the multiplication by x_E=c_1^A(\xi _E), so that

x_E^r-c_1^A(E)x_E^{r-1}+\ldots +(-1)^rc_r^A(E)=0 \ .

Used by Example 2.4

Lemma

Lemma 2.1

THGE

Let A be an oriented cohomology. Morphisms of functor of monoids \,\phi \colon K^+ \to (A , \cdot ), as well as morphisms of functor of groups \,\phi \colon K \to A\,, are determined by their values on the tautological line bundles \,\{\xi_d\}_{d\in \mathbb{N}}.

Proposition

Proposition 2.2

UVWI

Let A be an oriented cohomology and \,F \in A(*)[[t]]\, be any series.

Multiplicative extension: There exists a unique morphism of functor of monoids,
F_\times \colon K^+ \longrightarrow (A , \cdot ) \ ,
whose value on the the tautological line bundles is F_\times (\xi_d) := F(x_d).
Additive extension: There exists a unique morphism of functor of groups
F_+ \colon K \longrightarrow A \ ,
whose value on the tautological line bundles is \, F_+ (\xi_d) := F(x_d).

Uses Definition 1.4

Theorem

Theorem 2.3

KM2B

Any morphism of functor of monoids \, \phi \colon K^+ \to (A,\cdot) \, is the multiplicative extension, \phi = F_\times, of a unique series \,F \in A(*)[[t]].

Any morphism of functor of groups \, \phi \colon K \to A\, is the additive extension, \phi = F_+, of a unique series \,F \in A(*)[[t]].

Uses Definition 1.4

Example

Example 2.4

CZRF

The additive extensions of the monomials \,t^m\, are morphisms of groups:

s_m \colon K \to A \quad , \quad s_m (E) = \alpha_1^m + \ldots + \alpha_r^m \ ,

which, due to the Newton’s formulae, can be written in terms of the Chern classes:

\begin{aligned} s_0(E) &= \operatorname{rank} ( E) \\ s_1 (E) &= c_1^A (E) \\ s_2 (E) &= c_1^A (E)^2 - 2 c_2^A(E) \\ \ldots \end{aligned}

Uses Definition 1.8

Remark

Remark 2.5

PTL5

If the series \,F\, is invertible, then \,F_\times\, extends to a natural transformation of groups \, F_\times \colon K \longrightarrow (A^* , \cdot ) that takes values in the multiplicative group A^* of units of the cohomology. Moreover, for any element a \in K(X),

F_\times (-a) = F_\times (a)^{-1} = (F^{-1})_\times (a) \ .

Uses Definition 1.4

Theorem

Theorem 2.6

MHPB

Any morphism of functor of rings \,\varphi \colon K \to A\, is the additive extension, \varphi = F_+, of a unique series \, F \in A(*) [[t]]\, satisfying

F( f^A (x,y) ) = F(x) \cdot F(y) \ .

Example

Example 2.7

HTGM

Any morphism of functor of rings \,\varphi \colon K \to K\, is the additive extension, \varphi = F_+, of a unique series \, F \in \mathbb{Z} [[t]]\, satisfying
F( x + y - xy ) = F(x) \cdot F(y) \ .
For any integer \,j, the series \, (1-t)^{j} satisfies this condition.
The Adams operation \,\psi^j \colon K \to K\, is the additive extension of the series(The minus sign in the exponent is chosen in order to agree with the classical definition.) \,(1-t)^{-j}. These operations are morphisms of rings \,\psi^j \colon K(X) \longrightarrow K (X)\, that, for a non-zero j, act on line bundles as follows:
\psi^j (L_x) = (1-x)^{-j} = \left( 1 - \left( 1 - L_x^{-1} \right) \right)^{-j} = L_x^{j} \ ,
where \,x = c_1^K (L_x) = 1 - L_x^{-1}. In particular, \,\psi^{-1}(L)=L^*.
If A follows the additive law and A(*) is a \mathbb{Q}-algebra, the exponential series
\exp (t) := \sum_n \frac{t^n}{n!}\, \in A(*) [[t]]
fulfills equation (2.6), and therefore its additive extension \mathrm {ch} \colon K \to A is a morphism of rings, called the Chern character.
Let A(*) be a ring where 1, 2, \ldots , p-1 are units, and that contains a nilpotent element \varepsilon such that \varepsilon^p = 0 (for example, k [\varepsilon]/ (\varepsilon^p) with k a field with characteristic zero or bigger or equal than p). If, moreover, A follows the additive law, then the twisted exponential
\exp_{\varepsilon} (t) := \exp ( \varepsilon \, t) = 1 + \varepsilon \, t + \ldots + \frac{\varepsilon^{p-1}}{(p-1)!}\, t^{p-1} \in A(*) [t]
also satisfies equation (2.6), and hence its additive extension \mathrm {ch}_{\varepsilon} \colon K \to A is a morphism of rings, that we call twisted Chern character.

Proposition

Proposition 3.1

OIIO

Let \,\phi \colon A \to \bar{A}\, be a morphisms of functor of groups. There exists a unique series \, \mathrm{S} \in \bar{A}(*)[[t]]\,, called the series associated to \,\phi\,, such that

\phi (x_d ) \, = \, \mathrm{S} (\bar{x}_d)\, \bar{x}_d \ ,

for all \, d \in \mathbb{N} \cup \{0\}.

Example

Example 3.2

RHRF

If A follows the additive law, then the series associated to s_m \colon K \to \bar{A} is the monomial (-t)^{m-1}:
s_m (x_d) \, = \, s_m (1 - \xi^*_d) \, = \, 0 - \bar{y}_d^m \, = \,- (-\bar{x}_d)^m \, = \, (-\bar{x}_d)^{m-1} \bar{x}_d \ .
The series associated to the Adams operation \psi^j \colon K \to K is the polynomial
\mathsf{B}^j := \frac{1 - (1-t)^{j}}{t}\ = \ j - \binom{j}{2} t + \ldots + (-1)^{j-1}t^{j-1} \ ,
because
\psi^j (x_d ) \, =\, \psi^j (1 - \xi_d^* ) \, =\, 1 - (\xi_d^*)^j = 1 - (1-x_d)^{j} \, = \, \left( \frac{1 - (1-x_d)^{j}}{x_d} \right) x_d \ .
If A follows the additive law and A(*) is a \mathbb{Q}-algebra, then the series associated to the Chern character \mathrm {ch} \colon K \to A is \frac{1-e^{-t}}{t}:
\mathrm {ch} (x_d ) \, =\, \mathrm {ch} (1 - \xi_d^* ) \, =\, 1 - e^{y_d} \, = \, 1 - e^{-x_d} \, = \, \left( \frac{1-e^{-x_d}}{x_d} \right)\, x_d \ ,
(observe it is the inverse of the standard Todd series \operatorname{Td} (t) := \frac{t}{1-e^{-t}}).
If A follows the additive law and A(*) is as in Example 2.7.3, then the series associated to the twisted Chern character \mathrm {ch}_{\varepsilon} \colon K \to A is
\frac{1-\exp_\varepsilon (- t)}{t}= \varepsilon- \frac{\varepsilon^2}{2}\,t + \ldots + \frac{\varepsilon^{p-1}}{(p-1)!}\, (-t)^{p-2} .

Theorem

Theorem 3.3

27HA

Let \,\varphi \colon A \to \bar{A}\, be a morphism of functor of rings, with associated series \, \mathrm{S} \in \bar{A}(*)[[t]]\,. For any closed inmersion \, i \colon Z \hookrightarrow X\,, the following square commutes:

\vcenter{\xymatrix{ A(Z) \ar[rrr]^-{i_*} \ar[d]_{ \varphi} & & & A(X) \ar[d]^{\varphi} \\ \bar{A} (Z) \ar[rrr]^-{\bar i_* ( \mathrm{S}_{\times} (N_i) \cdot \ \underline{\phantom{a}}\ ) } & & & \bar{A}(X),} }

where \, N_i := i^* T_{X} - T_Z \, denotes the normal bundle of i.

In other words, for any element a \in A(Z),

\varphi \, i_*(a) \, =\, \bar i_*\left( \mathrm{S}_{\times} (N_i) \cdot \varphi(a)\right) \ .

Corollary

Corollary 3.4 (Adams-Riemann-Roch without denominators)

108P

For any closed inmersion \, i \colon Z \hookrightarrow X\, and any \,j \in \mathbb{Z}, the square below commutes:

\vcenter{\xymatrix{ K(Z) \ar[rrr]^-{i_*} \ar[d]_{ \psi^j} & & & K(X) \ar[d]^{\psi^j} \\ K(Z) \ar[rrr]^-{i_* (\theta^j (N_i^*) \cdot \ \underline{\phantom{a}}\ ) } & & & K(X) \ , }}

where N^*_i is the conormal bundle and \theta^j \colon K^+ \to (K, \cdot ) is the morphism of functor of monoids defined on line bundles as

\theta^j (L) := 1 + L + \ldots + L^{j-1} = \frac{1-L^j}{1-L} \ .

Corollary

Corollary 3.5

RKRF

Let A be a cohomology theory following the additive law, and such that A(*) is a ring where 1, 2, \ldots , p-1 are units and that contains a nilpotent element \varepsilon of order p (cf. Example 2.7.3). For any closed inmersion \, i \colon Z \hookrightarrow X\,, the square below commutes:

\vcenter{\xymatrix{ K(Z) \ar[rrr]^-{i_*} \ar[d]_{\mathrm {ch}_{\varepsilon}} & & & K(X) \ar[d]^{\mathrm {ch}_{\varepsilon}} \\ A(Z) \ar[rrr]^-{i_* ( \mathsf{T}_{\varepsilon} (N_i) \cdot \ \underline{\phantom{a}}\ ) } & & & A(X) \ , }}

where \mathsf{T}_{\varepsilon} \colon K^+ \to A is the multiplicative extension of the (non-invertible) polyomial \varepsilon - \frac{\varepsilon^2}{2}\,t + \ldots + \frac{\varepsilon^{p-1}}{(p-1)!}\, (-t)^{p-2}.

Uses Definition 1.4

Corollary

Corollary 4.1

FCYE

If A follows the multiplicative law, then the additive extension of \frac{1}{1-t} = 1 + t + t^2 + \ldots is the unique morphism of cohomology theories \, K \to A.

Uses Definition 1.4

Definition

Definition 4.2

8NZ4

Let \bar{A} be an oriented cohomology theory and let \,\mathrm{S} \in \bar{A}(*)[[t]]^*\, be an invertible series. The modified direct image \,f_*^{\mathrm{S}}\, of a projective morphism f \colon Y \to X is defined as

f^{\mathrm{S}}_{* } \, := \, \mathrm{S}_{\times} (T_X) f_* \left( \mathrm{S}_{\times} \left( T_Y \right)^{-1} \cdot \ \underline{\phantom{a}}\ \right)\, =\, f_* \left( \mathrm{S}_{{\times}} (-T_f) \cdot \ \underline{\phantom{a}}\ \right) \ ,

where T_f := T_Y - f^* T_X \in K(Y) is the virtual relative tangent bundle. That is to say, \, f^\mathrm{S}\, is the dotted arrow that makes this square commutative:

\xymatrix{ \bar{A}(Y) \ar[d]_{\mathrm{S}_\times (T_Y)^{-1}\, \cdot } \ar@{..>}[rr]^-{f_*^{\mathrm{S}} } & & \bar{A}(X) \\ \bar{A}(Y) \ar[rr]^-{f_*} & & \bar{A}(X) \ar[u]_{\cdot \, \mathrm{S}_\times (T_X) } \ . }

Uses Definition 1.1 · Used by Proposition 4.3

Proposition

Proposition 4.3

DICP

The functor \bar{A} endowed with the modified direct images f^\mathrm{S}_* is an oriented cohomology theory, that we denote (\bar{A} , f_{*}^{\mathrm{S}}). Moreover, if we write \bar{x}^{\mathrm{S}}_d for the Chern class of \xi_d in (\bar{A} , f_{*}^{\mathrm{S}}), then

\bar{x}^{\mathrm{S}}_d \, = \, \mathrm{S}(\bar{x}_d)\,\bar{x}_d \ .

Uses Definition 4.2, Definition 1.1

Theorem

Theorem 4.4

1PD0

Let \,\varphi \colon A\to \bar{A}\, be a morphism of functor of rings whose associated series \mathrm{S} \in \bar{A}(*)[[t]] is invertible. Then \varphi is a morphism of cohomologies

\varphi \colon \ A \ \longrightarrow \left( \bar{A} \, , \, f_{*}^{\mathrm{S}} \right) \ .

In other words, for any projective morphism \,f \colon Y \to X\, between smooth quasi-projective k-varieties, the diagram below commutes

\xymatrix{ A(Y) \ar[rrr]^-{f_*} \ar[d]_{\varphi} & & & A(X) \ar[d]^{\varphi} \\ \bar{A}(Y) \ar[rrr]^-{f_* \left( \mathrm{S}_{\times} (-T_f) \cdot \ \underline{\phantom{a}}\ \right) } & & & \bar{A} (X)} \ .

Uses Definition 1.1

Corollary

Corollary 4.5 (Adams-Riemann-Roch)

Z4T9

For any j \in \mathbb{Z}, the Adams operation \psi^j is a morphism of cohomologies

\psi^j \colon K \longrightarrow \left( K \otimes \mathbb{Z}[j^{-1}] \, , \, f_{*}^{\mathsf{B}^j} \right)\ .

Equivalently, for any projective morphism \,f\colon Y\to X\, between smooth quasi-projective k-varieties, the following diagram commutes:

\vcenter{\xymatrix{ K(Y) \ar[rrr]^-{f_*} \ar[d]_{\psi^j} & & & K(X) \ar[d]^{\psi^j} \\ K(Y)\otimes \mathbb{Z}[j^{-1}] \ar[rrr]^-{f_* \left( \theta^j (\Omega_f)^{-1} \cdot \ \underline{\phantom{a}}\ \right) } & & &K(X) \otimes \mathbb{Z}[j^{-1}] \ , }}

where \Omega_f = T_f^* \in K(Y) is the relative cotangent bundle.

Uses Definition 1.1

Corollary

Corollary 4.6 (Grothendieck-Riemann-Roch)

0HGG

Let A be an oriented cohomology following the additive group law and such that A(*) is a \mathbb{Q}-algebra. The Chern character is a morphism of cohomologies

\mathrm {ch} \colon K \longrightarrow \left( A \, , \, f_{*}^{\mathsf{T}} \right) \ ,

where \mathsf{T} = \frac{1-e^{-t}}{t} is its associated series (cf. Example 3.2.3).

Equivalently, for any projective morphism \,f\colon Y\to X\, between smooth quasi-projective k-varieties, the diagram below commutes:

\xymatrix{ K(Y) \ar[rrr]^-{f_*} \ar[d]_{\mathrm {ch}} & & & K(X) \ar[d]^{\mathrm {ch}} \\ A(Y) \ar[rrr]^-{f_* \left( \operatorname{Td} (T_f) \cdot \ \underline{\phantom{a}}\ \right) } & & & A(X) \ , }

where \,\operatorname{Td} \colon K \to A \, is the multiplicative extension of the Todd series \frac{t}{1-e^{-t}}.

Uses Definition 1.4

Corollary

Corollary 4.7

60BS

The following diagram is a commutative square of isomorphisms of cohomologies:

\vcenter{\xymatrix{K_\mathbb{Q}\ar[d]_-{\mathrm {ch} }\ar[rr]^-{\psi^j} & & \left( K_\mathbb{Q} , f^{\mathsf{B}^j}_{* } \right) \ar[d]^-{\mathrm {ch}}\\ \left( CH_\mathbb{Q} , f^{\mathsf{T}}_{*} \right) \ar[rr]^-{\Phi^j}& & \left( CH_\mathbb{Q}, f^{\mathrm{S}^j}_{* } \right)}}

That is to say, the arrows above are isomorphisms of functor of rings such that, for any projective morphism \,f\colon Y\to X\, between smooth, quasi-projective k-varieties, the cube below commutes:

\vcenter{\xymatrix@C-28 pt{ K(Y)_{\mathbb{Q}} \ar[dr]^{\Psi^j} \ar[dd]_{ \mathrm{ch} } \ar[rrr]^{ f_*} & & \qquad \phantom{A} \qquad & K(X)_{\mathbb{Q}} \ar[dr]^{\Psi^j} \ar'[d][dd]^(.45){\mathrm{ch}} & \\ & K(Y)_{\mathbb{Q}} \ar[dd]_(.30){\mathrm{ch}}\ar[rrr]^(.40){f_* \left( \theta^j (\Omega_f)^{-1} \cdot \ \underline{\phantom{a}}\ \right) } & & & K(X)_{\mathbb{Q}} \ar[dd]^{\mathrm{ch}} \\ CH(Y)_\mathbb{Q} \ar[dr]_{\Phi^j} \ar'[r][rrr]^(.40){f_* (\mathrm{Td} (T_f) \cdot \ \underline{\phantom{a}}\ ) }& & & CH(X)_\mathbb{Q} \ar[dr]^{\Phi^j} & \\ & CH(Y)_\mathbb{Q} \ar[rrr]^{f_* (\mathrm{S}^j (-T_f) \cdot \ \underline{\phantom{a}}\ ) } & & & CH(X)_\mathbb{Q} }}

Source and licence

The text on this page is from arXiv:2211.10178v1 by A. Navarro and J. Navarro, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2211/2211.10178.jsonl.