arXiv:0907.2710v2 [math.KT] 9 Sep 2009

arXiv:0907.2710v2 [math.KT] 9 Sep 2009

Algebrai

K

^-theory,

A ¹

-homotopy and Riemann-Roh theorems

JoëlRiou

∗

September9, 2009

Abstrat

Inthisartile, weshowthat theombinationoftheonstrutionsdonein SGA 6[1℄

andthe

A ¹

^{-homotopytheory[32℄naturallyleadstoresultsonhigheralgebrai}

K

^-theory.

Thisappliestotheoperationsonalgebrai

K

^{-theory,Chernharatersand}Riemann-Roh theorems.

Contents

1 First unstable results 3

1.1 Statements . . . 3

1.2 Proofs . . . 5

2 Algebrai strutures 8 2.1 Abstrat operators, formulas,algebrai strutures . . . 8

2.2 Algebrai strutureson objets . . . 9

2.3 Strutures on

Z × Gr

^{. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10}

2.4 Strutures on higher

K

^{-groups . . . . . . . . . . . . . . . . . . . . . . . . . . . 10}

3 Comparison with previous onstrutions 11 3.1 Modelsof algebrai

K

^{-theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11}

3.2 Produts . . . 13

3.3 Operations involving oneoperand . . . 13

4 Virtual ategories 16 4.1 The Thom spetrumofa virtual bundle . . . 16

4.2 Inverting primeson

Z × Gr

^{. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17}

4.3 Operations on virtual ategories . . . 18

5 Additive and stable results 18 5.1 The splittingpriniple . . . 18

5.2 The

P ¹

^-spetrum

BGL

^{. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20}

5.3 Adams operations on

BGL _Q

^{. . . . . . . . . . . . . . . . . . . . . . . . . . . . 23}

∗

Adresses: joel.rioumath.u-psud.fr; Université Paris-Sud 11, Département de mathématiques, bât.

425, 91405Orsay,Frane.

6.1 Adams-Riemann-Roh . . . 27

6.1.1 Pushforwardson

BGL

^{. . . . . . . . . . . . . . . . . . . . . . . . . . . . 28}

6.1.2 Statement ofthetheorem . . . 29

6.1.3 Morphisms

Rf _⋆ BGL _Q,X → BGL _Q,S

^{. . . . . . . . . . . . . . . . . . . 29}

6.2 Motivi Eilenberg-Ma Lane spetra . . . 31

6.2.1 Morphisms

Z × Gr → K(Z(n), 2n)

^{. . . . . . . . . . . . . . . . . . . . . 31}

6.2.2 Additivemorphisms . . . 32

6.2.3 Stable morphisms. . . 33

6.3 Grothendiek-Riemann-Roh . . . 35

The starting point of this artile is thetheorem whih represents the algebrai

K

^-theory

ofregularshemes inthe

A ¹

^{-homotopytheory:}

Theorem 0.1 (Morel-Voevodsky [32, Theorem 3.13, page 140℄) Let

S

^{be a regular}

sheme. Then,for any

n ∈ N

^and

X ∈ Sm/S

^{, there is a anonial} isomorphism

Hom _{H • (S)} (S ⁿ ∧ X ₊ , Z × Gr) ≃ K _n (X)

^.

Here,

Gr

^{is the olimit of the system}

(Gr _d,r ) _(d,r)∈N ²

^{in the ategory of presheaves over}

Sm/S _Nis

^where

Gr _d,r

^{istheGrassmannshemewhih}parametrisessubbundlesofrank

d

^inthe

trivialbundleofrank

d + r

^{. Tomake thedenitionofthetransitionmorphisms}unambiguous enough, we may say that they are of the form

Gr _d,r → Gr _1+d,r

^and

Gr _d,r → Gr _d,r+1

^and

thattheplaewhere

1

^{appears tellsus on whihside atrivial bundleof rank}

1

^isadded.

It should be pointedout that theorem0.1 only applies to regularshemes beause it an

be true only over shemes where the algebrai

K

^{-theory is known to be}

A ¹

-invariant. This is thereasonwhythe assumption thatthebasesheme isregular will appear throughoutthe

paper.

From theorem 0.1, it follows that theendomorphisms of

Z × Gr

ⁱⁿ

H _• (S)

^{aton all the}

algebrai

K

^{-groupsof shemesin}

Sm/S

^{. Thebasiresultwe obtaininsetion1isthatthese}

endomorphismsareompletely haraterisedbytheir ation on

K ₀

^:

Theorem 0.2 Let

S

^{be a regular sheme. We let}

K 0 (−)

^{be the presheaf of sets on}

Sm/S

whihmaps

X

^to

K ₀ (X)

^{. Then,the map indued by theorem0.1 isa bijetion:}

End _H(S) (Z × Gr) → ^∼ End _Sm/S ^opp _Sets (K 0 (−))

^,

where

Sm/S ^opp Sets

^{is the ategory of presheaves of sets on}

Sm/S

^.

It follows that theoperations dened in[1℄ at thelevel of

K 0

^(e.g.,

λ ⁿ

^,

Ψ ^k

^{) uniquely lift}

in

H(S)

^{. Fromthere,usingtheorem0.1,wean make thematonhigheralgebrai}

K

^-theory.

Thispriniple also works for operations involving several operands (e.g., produts) and in a

sensewhihwill be madepreiseinsetion2 ,we obtaina mahinerywhihtakesasaninput

the algebrai strutures on

K ₀

^{and outputs suh a struture on}

Z × Gr

^inside

H(S)

^{. Thus,}

Z × Gr

^{isequipped witha strutureof speial}

λ

^{-ring withduality.}

Struturesof(speial)

λ

^{-ringhadalreadybeenobtainedonhigher}

K

^{-theory,withdierent}

sales of generality. We may mention onstrutions of produts,

λ

-operations or Adams op- erationsbyLoday [30 ℄,Waldhausen [47 ℄,Kratzer [26℄, Soulé[42 ℄, Grayson [18℄, Leomte [27 ℄

andLevine[28 ℄. Weompare thestrutureson

K _⋆ (X)

^for

X

^{regular obtainedbyourmethod}

totheseprevious onstrutionsinsetion3. Theomparison withWaldhausen'sprodut(see

proposition3.2.1 )mayseensurprisinglystraightforward,butitisatypialuseoftheorem0.2

andits variantsinvolving severaloperands (seetheorem 1.1.4 ).

Setion4relatesourresultstovirtualategories,aninsightofDeligne[10 ℄. Weshowthat,

afterinverting

2

^,onstrutionsdoneatthelevelof

K ₀

^{renetothesevirtualategories,whih}

embodiesboth

K 0

^and

K 1

^{. ThistheorywasusedbyDennisErikssoninhisthesis[12℄inorder}

torene Riemann-Rohtheorems at the levelof thesevirtual ategories.

Insetion5,we fousonoperations

τ : K ₀ (−) → K ₀ (−)

^suhthat

τ (x + y) = τ (x) + τ (y)

^,

i.e.,

H

^-group endomorphisms of

Z × Gr

ⁱⁿ

H • (S)

^{. We ompute them using the splitting}

priniple. Weshowthatthedatumof

τ

^{isequivalenttothedatumofanelementin}

K ₀ (S)[[U ]]

^.

Then,we onstrut,uptoaunique isomorphisminthestablehomotopyategory

SH(S)

^,the

P ¹

^-spetrum

BGL

^{whih represents algebrai}

K

^{-theory and study its} endomorphisms (it is somewhat related but quite dierent from the methods of [4, Chapter 6℄, [3 ℄ and [5 ℄). After

tensoring with

Q

^{, we show that this spetrum deomposes in}

SH(S)

^{as the diret sums of}

eigenspaes fortheAdamsoperations. Alternateinterestingdesriptionsofstableoperations

onalgebrai

K

^{-theory(andmoregeneralorientedtheory)havebeenobtainedbyverydierent}

methods byNaumann, Østværand Spitzwek in[33 ℄.

We prove in setion 6 that these ideas an be used to obtain an homotopial variant of

some Riemann-Roh theorems in the ase of a smooth and projetive morphism

f : X → S

^.

Basially, we prove that ertain Riemann-Roh formulas are satised on zeroth

K

^{-groups if}

and only if they are satised on the whole higher algebrai

K

^{-theory. In that setion, we}

give formulas for the groupof morphisms

BGL → H _A [n]

ⁱⁿ

SH(k)

^where

k

^{isa perfet eld}

and

H _A

^{the motivi}Eilenberg-Ma Lane spetrum withoeients in

A

^{. This omputation}

gives a simple example of nonzero stably phantoms morphisms in the

P ¹

^{-stable homotopy}

ategory

SH(k)

^{: allmorphisms}

BGL → H _Z [1]

^{arestablyphantoms. There isanhomologous}

omputationinthestandardtopologialstablehomotopyategory: thisgivesamoreonrete

example than the one onstruted in[8,Proposition 6.10℄.

Ifsetion 6 stands asa signiant exeption, most of these results appearedin mythesis

[36 ℄ and were announed in [38℄ (however, when dierent proofs were available, my hoies

have tendedto be dierent). Hene,I wouldlike tothank YvesAndré,Joseph Ayoub,Denis-

Charles Cisinski, FrédériDéglise, DennisEriksson, Hinda Hamraoui, Bruno Kahn, Florene

Leomte,GeorgesMaltsiniotis,FabienMorel,ChristopheSoulé,BurtTotaro,JörgWildeshaus

for their useful ommentsor disussions.

1 First unstable results

1.1 Statements

Inthispaper,weshallsaythatashemeisregularifitisnoetherianseparatedandthatallits

loalringsareregularloalrings(see [40,IVŸD℄). Foranysheme

S

^{,theategory ofsmooth}

andseparatedshemes ofnite typeover

S

^{is denoted}

Sm/S

^.

For regular shemes, all the standard denitions of algebrai

K

^{-theory agree. Then, we}

maydene some objets in theategory

Sm/S ^opp Sets

^{ofpresheaves of sets over}

Sm/S

^{: for}

anynaturalnumber

n

^{,thepresheafthatmaps}

X ∈ Sm/S

^toits

n

^thalgebrai

K

^-group

K _n (X)

isdenoted

K _n (−)

^.

Theorem 1.1.1 Let

S

^{be a regular sheme. For any natural} transformation

τ : K ₀ (−) → K ₀ (−)

^{ofpresheaves of sets on}

Sm/S

^{suh that}

τ (0) = 0

^{, there isa unique reasonable wayto}

dene an extension of

τ : K _n (−) → K _n (−)

^forall

n

^.

Thistheoremis aonsequene of thefollowing

A ¹

^{-homotopytheoreti statement:}

Theorem 1.1.2 Let

S

^{be aregular sheme. Then,the anonial map indued by the isomor-}

phism of theorem 0.1is a bijetion:

End _H(S) (Z × Gr) → ^∼ End _Sm/S ^opp _Sets (K ₀ (−))

^.

Indeed, if

τ : K 0 (−) → K 0 (−)

^{is a natural} transformation, the theorem says that there existsa unique morphism

τ ˜ : Z × Gr → Z × Gr

ⁱⁿ

H(S)

^induing

τ

^on

K ₀ (−)

^{. As}

Z × Gr

hasastrutureof

H

^{-group(see[32, page139℄),ifweassume}

τ (0) = 0

^{,thenweseethat}

τ ˜

^an

beidentiedto anendomorphism of

Z × Gr

ⁱⁿ

H • (S)

^{. Suh} endomorphisms notonly indue natural transformationson

K ₀ (−)

^{but also on}

K _n (−)

^{for all}

n

^{asone may evaluate them on}

higherhomotopygroups.

This theorem applies to operations like the

λ

-operations

λ ⁿ

^{for all}

n ∈ N

^{[1 , V 2.2 b℄,}

γ

-operations

γ ⁿ

^{for all}

n ∈ N − {0}

^{[1, V 3.2℄ and Adams operations}

Ψ ^k

^{[1, V 7.1℄ for all}

k ∈ Z

^{. Then, toonstrutthese operations onhigher}

K

^{-groups,theonlyspei}information weneed toknowishowto denethem on

K ₀

^{,whih isusuallyeasyusing the}presentation of these groups bygenerators and relations.

Remark1.1.3 One an prove similar results for

Gr

^{instead of}

Z × Gr

^: endomorphisms of

Gr

ⁱⁿ

H(S)

^{identify to}endomorphismsof

K ˜ 0 (−)

ⁱⁿ

Sm/S ^opp Sets

^where

K ˜ 0 (X)

^{isthe kernel}

of the rank map

K ₀ (X) → Z ^{π 0 (X)}

^{. Moreover, in the situationof theorem 1.1.1, if we use the}

fat that the loop spae

RΩ(Z)

^of

Z

^is

•

^{, we see that}

τ : K _n (−) → K _n (−)

^for

n ≥ 1

^only

dependson the natural transformation

K ˜ ₀ (−) → K ˜ ₀ (−)

^{indued by}

τ : K ₀ (−) → K ₀ (−)

^.

The operations onsidered above are unary operations on algebrai

K

^{-theory. One may}

alsoonsideroperationsinvolvingseveral operands(e.g.,theprodutlaw

K ₀ (X) × K ₀ (X) → K 0 (X)

^):

Theorem 1.1.4 Let

S

^{be a regular sheme. Let}

n

^{be a natural number. Then,the anonial}

mapis a bijetion:

Hom _H(S) ((Z × Gr) ⁿ , Z × Gr) → Hom _Sm/S ^opp _Sets (K ₀ (−) ⁿ , K ₀ (−))

^.

Asweshallsee,themethodoftheproofallowstoonsidernotonlyoperationsonalgebrai

K

^{-theorybut alsomaps fromalgebrai}

K

^{-theoryto other ohomologytheories. However,we}

need to knowthattheohomology theoryisrepresentedbyanobjetin

H • (S)

^{,whih means}

that itan be expressedashomotopy presheavesof anobjetin

H • (S)

^:

Denition 1.1.5 Let

S

^{be a noetherian sheme. Let}

E

^{be an objet in}

H(S)

^{. We let}

π ₀ E

^be

the presheaf of sets on

Sm/S

^{dened by}

π ₀ E(X) = Hom _H(S) (X, E)

^{. If}

E

^{belongs to}

H • (S)

and

n

^{is any natural number, we dene a presheaf}

π _n E

^{by the formula}

π _n E(X) = π ₀ RΩ ⁿ E

^,

where

RΩ : H _• (S) → H _• (S)

^{isthe loopspae funtor.}

Theorem 0.1 states that for any natural number

n

^and

S

^{a regular sheme, we have a}

anonialisomorphism

π _n (Z × Gr) ≃ K _n (−)

ⁱⁿ

Sm/S ^opp Sets

^.

Theorem 1.1.6 Let

S

^{be a regular sheme. Let}

E

^{be an objet in}

H _• (S)

^{. If we assume that}

E

^{satisesproperty(K)(amildtehnial} assumption,see denition1.2.2),thentheanonial map is a bijetion:

Hom _H(S) (Z × Gr, E ) → ^∼ Hom _Sm/S ^opp _Sets (K ₀ (−), π ₀ E)

^.

Thisset of morphisms an also be identied to an innite produt indexed by

Z

^{of opies of}

the projetivelimit

lim _(d,r)∈N 2 Hom _H(S) (Gr _d,r , E)

^.

Asabove,thereisasimilarhomotopialdesriptionofnatural transformations

K ₀ (−) ⁿ → π 0 E

^involving

n

^operands.

Wemayfousonthe

1

^{-operandase. Ifanatural}transformation

τ : K ₀ (−) → π ₀ E

^veries

τ (0) = 0

^{,itorrespondstoauniquemorphism}

Z× Gr → E

ⁱⁿ

H • (S)

^{. Then, inthesameway}

we mentioned itfor operations on algebrai

K

^-theory,

τ

^{will indue natural} transformations

τ : K _n (−) → π _n E

^{for all}

n

^.

Theproofoftheorems1.1.2 ,1.1.4and1.1.6will alsosupplyaonreteomputation ofthe

setofall operationson algebrai

K

^{-theory. Inthe}

1

^{-operandase, itgives:}

Theorem 1.1.7 Let

S

^{be a regular sheme. The sets of} endomorphisms

End _H(S) (Z × Gr) ≃ End _Sm/S ^opp _Sets (K ₀ (−))

^{an be identied to the produt}

R ^Z

^{of an innite number of opies}

of a ring

R = K 0 (S)[[˜ γ ¹ , ˜ γ ² , . . . ]]

^{of formal power series with an innite number of variables}

andoeient ring

K ₀ (S)

^{. Theelements}

˜ γ ⁿ

^{are related totheusual}

γ

-operations onalgebrai

K

^-theory.

Theomputation of the setof morphisms

Z × Gr → RΩ ⁱ (Z × Gr)

ⁱⁿ

H(S)

^{is given bya}

similar formula, where

K ₀ (S)

^{is replaedby}

K _i (S)

^.

1.2 Proofs

Lemma 1.2.1 Let

S

^{be a noetherian sheme. Let}

E

^{be a group objet in}

H • (S)

^(i.e.,

E

^is

an

H

^{-group). Let}

(X _i ) _i∈I

^{be a diret system indexed by a direted ordered set}

I

^{. The olimit}

of this system in the ategory of presheaves over

Sm/S

^{is denoted}

X

^{. We assume that}

I

^has

a onal sequene (i.e., there existsa funtor

x : N → I

^{suh that for any}

i ∈ I

^{, there exists}

n ∈ N

^{suh that}

i ≤ x _n

^{). Then, there isan exat sequene of groups.}

1 → R ¹ lim

i∈I π ₁ E(X _i ) → Hom _H(S) (X , E) → lim

i∈I π ₀ E(X _i ) → 1

^.

Using a onal sequene

N → I

^{, one may assume that}

I = N

^{. In that ase, it follows}

from theusual Milnorexat sequene [17,Proposition VI.2.15℄.

Denition 1.2.2 With the notations of lemma 1.2.1, we say that the diret system

(X _i ) _i∈I

does not unveilphantoms in

E

^{if the group}

R ¹ lim

i∈I π ₁ E(X _i )

^{vanishes. We say that}

E

^satises

property (K) if the diret system

(Gr _d,r ) _(d,r)∈N ²

^{does not unveil phantoms in}

E

^{. More gen-}

erally, for any natural number

n

^{, we say that}

E

^{satises property (K) with}

n

^{operands if the}

diret system

( Q n

i=1 Gr _{d i ,r i} ) _(d

1 ,r 1 ,...,d n ,r n )∈N ²ⁿ

^{does not unveil phantomsin}

E

^.

Thus, whenever an indutive system

(X _i ) _i∈I

^{doesnot unveil phantoms in}

E

^{, the datum}

of a morphism

colim

i∈I X _i → E

ⁱⁿ

H(S)

^{is equivalent to the datum of a ompatible family of}

morphisms

X _i → E

ⁱⁿ

H(S)

^.

Denition 1.2.3 We let

T

^{be the family of morphisms in}

Sm/S

^{of the form}

T → X

^where

T

^{is a torsor under a vetor bundle over}

X

^.

Loallyonthe base,morphismsin

T

^areoftheform

A ⁿ × X → X

^{. Thisimpliesthatthey}

indue

A ¹

^-weakequivalenes. The important fatweneed about this familyof mapsis:

Theorem 1.2.4 (Jouanolou[23, Lemme 1.5℄, Thomason[49, Proposition 4.4℄)

Let

S

^{be a regular sheme. For any}

X ∈ Sm/S

^{, there exists a morphism}

T → X

ⁱⁿ

T

suhthat

T

^{is an ane sheme.}

We require that the sheme

T

^{is ane; as}

S

^{is separated, it implies that}

T → S

^{in an}

anemorphism,butthe onverse impliationisnot true. Inthesequel,theword ane will

be usedinthatabsolutesense only.

Denition 1.2.5 Let

S

^{be a regular sheme. Let}

X

^{be a presheaf of sets on}

Sm/S

^{. Then}

X

^{dened an objet in}

H(S)

^{and a presheaf of sets}

π ₀ X

^{is attahed to it. We say that}

π ₀ X

isgenerated by

X

^{up to}

T

^{if for any ane sheme}

U ∈ Sm/S

^{, the map}

X (U ) → π ₀ X (U )

^is

onto.

We will give an explanation for this terminologial hoie in remark 1.2.7 . First, we see

howone mayapply this denitionto algebrai

K

^-theory:

Lemma 1.2.6 Let

S

^{be a regular sheme. If}

X = Z × Gr

^,then

π 0 X

^{isgenerated by}

X

^upto

T

^{. The same onlusion applies to}

(Z × Gr) ⁿ

^{for any natural number}

n

^{andalso to}

(P ^∞ ) ⁿ

^.

Obviously, the ondition we have to hek isstableunder nite produts. Then, we shall

rstfousonthease

X = Z×Gr

^{. Itisimpliitintheproofoftheorem0.1thatforany}

n ∈ Z

and

(d, r) ∈ N ²

^{,if weonsider the anonialinlusion}

ι _d,r,n : Gr _d,r = {n} × Gr _d,r → Z × Gr

asanelement in

X (Gr _d,r )

^{,itsimage in}

π ₀ X (Gr _d,r )

^{orrespondsto thelass}

[M ^′ _d,r ] − d + n

ⁱⁿ

K ₀ (Gr _d,r )

^{under the} isomorphism of theorem0.1, where

M ^′ _d,r

^{is theuniversalvetor bundle}

of rank

d

^on

Gr _d,r

^{. Then, thelemma follows from the obvious fatthat if}

U

^{is a onneted}

ane shemein

Sm/S

^,anylass

x ∈ K ₀ (U )

^isoftheform

x = [M] − d + n

^{for someintegers}

d

^,

n

^{, and}

M

^{a vetor bundle of rank}

d

^on

U

^{. Indeed, as}

U

^{is ane,}

M

^{is isomorphi to a}

diret fator of

O ^d+r _U

^{for a big enough}

r

^{. Then, by denition of Grassmann varieties, there}

existsan

S

^-morphism

f : U → Gr _d,r

^{suh that}

f ^⋆ M ^′ _d,r ≃ M

^{. It follows thatthe element in}

X (U )

orrespondingto the omposition

ι _d,r,n ◦ f : U → X

^{maps to}

x = f ^⋆ ([M ^′ _d,r − d + n])

ⁱⁿ

π ₀ X (U ) ≃ K ₀ (U )

^.

The ase

X = P ^∞

^{is similar: it uses the}identiation

π ₀ P ^∞ = Pic(−)

^{,see [32, Proposi-}

tion3.8, page 138℄.

Remark 1.2.7 The ategory of presheaves on

Sm/S

^{ontains the full subategory of the at-}

egory of presheaves

X

^{suh that for any}

f : T → X

ⁱⁿ

T

^{, the map}

f ^⋆ : X (X) → X (T )

^is

a bijetion. This subategory an be identied to the ategory of presheaves on the loalised

ategory

Sm/S[T ⁻¹ ]

^{(see [15, Lemma I.1.2℄). For any presheaf}

X

^on

Sm/S

^{, there exists a}

universal presheaf

X [T ⁻¹ ]

^on

Sm/S[T ⁻¹ ]

^{equipped with a morphism}

X → X [T ⁻¹ ]

^{(see [2,}

I 5.1℄). As

π ₀ X

^{fators through}

Sm/S[T ⁻¹ ]

^{, the anonial morphism}

X → π ₀ X

^{indues a}

morphism

X [T ⁻¹ ] → π ₀ X

^{. Using theorem 1.2.4, it is easy to hek that the onditionstated}

in denition1.2.5 implies that

X [T ⁻¹ ] → π ₀ X

^{is an} epimorphism. The onverse impliation

generation up to

T

^{in the} terminology.

Moreover, the proof of lemma 1.2.6 atually shows that as a presheaf

F

^on

Sm/S[T ⁻¹ ]

satisfying

F (X ⊔ Y ) → ^∼ F (X) × F (Y )

^{for all}

X

^and

Y

ⁱⁿ

Sm/S

^,

K 0 (−) ≃ π 0 (Z × Gr)

^is

generated by the elements

u _d,r + n

^{for all}

(d, r) ∈ N ²

^and

n ∈ Z

^.

Remark1.2.8 Ifiseasytodedue fromtheorem1.2.4thatthe loalised ategory

Sm/S[T ⁻¹ ]

is equivalent to

SmAff _S [H _A ⁻¹ 1 ]

^where

SmAff _S

^{is the} fullsubategory of

Sm/S

^{onsisting of}

ane shemes and

H _A ¹

^{is the familyof projetions}

X × A ¹ → X

^for

X ∈ SmAff _S

^{(see [25,}

Ÿ7.4℄). Hene, the ategory of

T

^{-invariant presheaves on}

Sm/S

^{is equivalent to the ategory}

of

A ¹

^{-invariant presheaves on}

SmAff _S

^.

Proposition 1.2.9 Let

S

^{be a regular sheme. Let}

E ∈ H • (S)

^{be an}

H

^{-group. Let}

(X _i ) _i∈I

be a diret system in

Sm/S

^{that does not unveil phantoms in}

E

^{. We let}

X

^{be the olimit of}

this system in the ategory of presheavesover

Sm/S

^{. We assumethat}

π 0 X

^{isgenerated by}

X

upto

T

^{. Then, the followingobvious maps are bijetions:}

Hom _H(S) (X , E) ^∼ _α ^{/ /}

∼ γ T T T T T T T T * * T T

T T T T T T

Hom _Sm/S ^opp _Sets (π ₀ X , π ₀ E)

β ∼

lim i∈I π ₀ E(X _i )

Usinglemma 1.2.1 ,wesee thattheassumption that

(X _i ) _i∈I

^{doesnot unveilphantoms on}

E

^{preiselysaysthat}

γ

^{isabijetion. Tonishtheproof,weonlyhavetoprovethat}

β

^isanin-

jetion. Todothis,wemayobservethat

lim

i∈I π 0 E(X i )

^{identies to}

Hom _Sm/S ^opp _Sets (X , π 0 E) ≃ Hom _Sm/S ^opp _Sets (X [T ⁻¹ ], π ₀ E)

^{. Then,}

β

^{identies tothemapobtained byapplyingthefun-}

tor

Hom _Sm/S ^opp _Sets (−, π 0 E)

^{to the anonial map}

X [T ⁻¹ ] → π ₀ X

^{,whihis an} epimorphism as

X → π ₀ X

^isan epimorphism upto

T

^{(seeremark 1.2.7 ). Thus,}

β

^isinjetive.

At this stage, theorem 1.1.6 is proved as lemma 1.2.6 implies that it is a speial ase of

proposition 1.2.9 . To nishthe proofof theorems1.1.1 , 1.1.2and 1.1.4 ,theremaining stepis

the following lemma:

Lemma 1.2.10 Let

S

^{be regular sheme. Let}

n

^{be a natural number. The objet}

Z × Gr

satisesproperty(K)with

n

^{operands. Thisonlusionalsoappliestotheloopspaes}

RΩ ^j (Z×

Gr)

^{for any}

j ∈ N

^.

Ontheonehandwehavetonotiethetehnialfatthat

Z×Gr

^{hasastrutureof}

H

^-group

(see[32,page 139℄). Ontheotherhand,wehaveto provethevanishingofthe

R ¹ lim

^ofsome

projetive systems. To do this,one mayuse the Mittag-Leer ondition, whih isobviously

satised when all transition maps are onto. Then, we need to know that theanonial map

K _j+1 ( Q n i=1 Gr _d ^′

i ,r _i ^′ ) → K _j+1 ( Q n

i=1 Gr _{d i ,r i} ))

^{isonto whenever}

d _i ≤ d ^′ _i

^and

r _i ≤ r ^′ _i

^.

An

S

^-sheme

X

^{is ellular ifthere existsasequene oflosed subshemes}

∅ = Z ₀ ⊂ Z ₁ ⊂

· · · ⊂ Z _k = X

^of

S

^suhthat

Z _i −Z i−1

^{isisomorphitoananespae}

A ^d

^over

S

^for

1 ≤ i ≤ k

^.

Itiswell knownthatGrassmannvarietiesareellular(see[11 ℄)anditiseasy toprovethe

following formulas:

•

^if

X

^{isa smooth ellular}

S

^{-sheme, thenforany}

j ∈ N

^,

K _j (S) ⊗ _{K 0 (S)} K ₀ (X) → ^∼ K _j (X)

^;

•

^if

X

^{is a smooth ellular}

S

^-sheme,

T

^{a regular sheme and}

T → S

^{a morphism, then}

K ₀ (T ) ⊗ _{K 0 (S)} K ₀ (X) → ^∼ K ₀ (T × _S X)

^;

•

^if

X

^and

Y

^{aresmooth ellular}

S

^-shemes,then

K 0 (X) ⊗ _{K 0 (S)} K 0 (Y ) → ^∼ K 0 (X × S Y )

^.

We seethatwe onlyhave toprove that

K ₀ (Gr _d ^′ _,r ^′ ) → K ₀ (Gr _d,r )

^{isonto whenever}

d ≤ d ^′

and

r ≤ r ^′

^{. One may also assume that}

S = Spec(Z)

^{. Then, for any tuple}

(d, r) ∈ N ²

^,

K ₀ (Gr _d,r )

^{is generated asa}

λ

^{-ring bythe lass}

u _d,r = [M ^′ _d,r ] − d

^{(see [1 , VI 4.6℄). Withthe}

notations above, thelemma follows fromthe obviousfat that theinverse image of

u _d ^′ _,r ^′

^by

the inlusion

Gr _d,r → Gr _d ^′ _,r ^′

^is

u _d,r

^.

Remark1.2.11 The partiular ase

d = d ^′ = 1

^{in the proof shows that the diret system}

(P ⁿ ) n∈N

^{does not unveil phantoms in the objets}

RΩ ^j (Z × Gr)

^{. This gives an} interpreta- tion of morphisms

P ^∞ → Z × Gr

ⁱⁿ

H(S)

^{as natural} transformation

Pic(−) → K ₀ (−)

ⁱⁿ

Sm/S ^opp Sets

^.

To nish the proof of theorem 1.1.7 , we have to determine the struture of the ring

R = lim

(d,r)∈N ² K 0 (Gr _d,r )

^{. If we x}

d

^{, we know from [1, VI 4.10℄ that}

lim

r∈N K 0 (Gr _d,r ) ≃ K ₀ (S)[[˜ γ ¹ , . . . , γ ˜ ^d ]]

^where

˜ γ ⁱ

^{isgiven bythe ompatible family}

γ ⁱ (u _d,r )

^{. Then,}

R

^{identies to}

d∈N lim K ₀ (S)[[˜ γ ¹ , . . . , γ ˜ ^d ]]

^{. Onean easily seethattheindued transitionmaps}

K ₀ (S)[[˜ γ ¹ , . . . , ˜ γ ^d , ˜ γ ^d+1 ]] → K ₀ (S)[[˜ γ ¹ , . . . , ˜ γ ^d ]]

areobtained by making

˜ γ ^d+1

^{vanish. It proves that}

R

^{identies to thering of formal power}

series withan innite numberof variables

γ ˜ ¹ , ˜ γ ² , . . .

^{and oeient ring}

K ₀ (S)

^.

2 Algebrai strutures

We shallsee that the previous results show that the algebrai strutureson the sets

K ₀ (X)

^,

X ∈ Sm/S

^{uniquely reneto struturesof the same type on}

Z × Gr

^{inthe ategory}

H(S)

^.

Thus,

Z × Gr

^{shallbe endowed with thestruture of a speial}

λ

^{-ring with dualityin}

H(S)

^.

Inthis setion,weshalluse similarnotions to those appearing in[9℄.

2.1 Abstrat operators, formulas, algebrai strutures

Denition 2.1.1 We dene a language

L

^{as the datum of a familyof elements}

(l i ) i∈I

^alled

abstrat operators, where eah of these operators isequipped withits arity

n _i ∈ N

^.

Denition 2.1.2 A formulaof the language

L = (l _i , n _i ) _i∈I

^{involving variables}

(x _v ) _v∈V

⁽

V

^is

assumed tobe nite) isthe set of expressions indutively built fromthe following rules:

•

^{for any}

v ∈ V

^,

x _v

^{is a formula;}

•

^{for any}

i ∈ I

^,if

F ₁ , . . . , f _{n i}

^{are formulas, then}

l _i (F ₁ , . . . , F _{n i} )

^{isa formula.}

Denition 2.1.3 Anabstrat algebraistrutureisthedatumofalanguage

L

^andofafamily

of pairs

(A _r , B _r ) _r∈R

^{of formulas of}

L

^{involving variables in some nite set}

V _r

^{. These pairs}

are alled relations and shall be denoted

A _r = B _r

^.

L

^{is made of a}

0

^{-ary operator}

e

^{(we may say that}

e

^{is a onstant), a binary operator}

µ

^and

an unaryoperator

i

^{. The relations are:}

• µ(x, µ(y, z)) = µ(µ(x, y), z))

^;

• µ(e, x) = x

^;

• µ(x, e) = x

^;

• µ(x, i(x)) = e

^;

• µ(i(x), x)) = e

^.

Eah of these relations involves a subset of

{x, y, z}

^{as set of variables.}

2.2 Algebrai strutures on objets

Denition 2.2.1 Let

L = (l _i , n _i ) _i∈I

^{be a language. An}

L

^{-objet onsists of an objet}

X

^of

a ategory

C

^{suh that all nite produts}

X ⁿ

^{exist and of a family of morphisms}

X ^{n i} → X

denoted

l i

^{, for all}

i ∈ I

^.

Amorphismof

L

^-objets

X → Y

^inaategory

C

^isamorphism

F : X → Y

ⁱⁿ

C

^suhthat

forany

i ∈ I

^{,the obviousdiagramommutes:}

X ^{n i}

(F,...,F )

l i / / X

F

Y ^{n i l i / /} Y

If

X

^{is an}

L

^{-objet, then one an indutively dene a morphism}

F : X ^V → X

^{for any}

formula

F

^of

L

^{involvinga niteset ofvariables}

V

^.

Denition 2.2.2 Let

S = (L, (A _r = B _r ) _r∈R )

^{be an abstrat algebrai struture. An objet}

equipped withan

S

^{-struture isan}

L

^-objet

X

^{insomeategory}

C

^{suhthatfor any}

r ∈ R

^,the

morphisms

X ^{V r} → X

^{dened by}

A _r

^and

B _r

^{are equal. We mayalsosay that}

X

^isan

S

^-objet

orthat

X

^{is a modelof}

S

^{in the ategory}

C

^.

Wemaydene theategoryof

S

^{-objetsasafullsubategoryoftheategoryof}

L

^-objets.

Proposition 2.2.3 Let

S

^{be an abstratalgebraistruture. Let}

F : C → D

^{be afuntor. We}

assume that nite produts exist in

C

^{and that}

F

^{ommutes with these produts. If}

X

^{is an}

S

^{-objet in}

C

^{, then}

F X

^{has a natural struture of an}

S

^{-objet in}

D

^.

Conversely, if the anonial map

Hom _C (X ⁿ , X) → Hom _D (F(X ⁿ ), F X)

^{is a bijetion for}

any

n ∈ N

^{and some objet}

X

^of

C

^{, then an}

S

^{-struture on}

F X

^{uniquely arises from an}

S

^{-struture on}

X

^.

Furthermore, let

X

^and

Y

^{be two}

S

^{-objets. We assume that for any}

n ∈ N

^{, the map}

Hom _C (X ⁿ , Y ) → Hom _D (F (X ⁿ ), F Y )

^{is a bijetion. Let}

f : X → Y

^{be a morphism in}

C

^.

Then,

f

^{is a morphism of}

S

^{-objets in}

C

^{if and only if}

F f : F X → F Y

^{is a morphism of}

S

^{-objets in}

D

^.

Thisisa pliantly true.

2.3 Strutures on

Z × Gr

The example 2.1.4 shows that there is an obvious abstrat algebrai struture whose mod-

els in the ategory of sets are groups. The same applies to ommutative rings (with unit):

the underlying language of the orresponding abstrat algebrai struture involves the

0

^-ary

operators

0

^and

1

^{, the unary operator}

−

^{and the binary operators}

+

^and

×

^{. Following [1,}

RRRI1℄,ifweaddafamilyofunaryoperators

(λ ⁿ ) _n∈N

^{,we andenetheabstratalgebrai}

strutures of

λ

^{-rings and of speial}

λ

^{-rings. One may also introdue the abstrat algebrai}

strutureofspeial

λ

^{-ringswithduality: weaddan unarydualityoperator thatshouldbe an}

involutionommutingwiththe otheroperators.

Theorem 2.3.1 Let

S

^{be a regular sheme. In the ategory}

H(S)

^{, there exists a unique}

struture of a speial

λ

^{-ring with duality on the objet}

Z × Gr

^{suh that the} orresponding indued strutures of

λ

^{-ringswith dualityon}

K ₀ (X)

^{for all}

X ∈ Sm/S

^{are the usual ones.}

For any

X ∈ Sm/S

^{,the set}

K ₀ (X)

^{isendowed withthestruture ofa speial}

λ

^-ringwith

duality[1,VI3.2℄. Allthesestruturesareompatible withinverseimagemaps

f ^⋆ : K ₀ (X) → K ₀ (Y )

^{for morphisms}

f : Y → X

^{. Thisshows that, asapresheaf of sets on}

Sm/S

^,

K ₀ (−) = π ₀ (Z × Gr)

^{isendowed withthe struture of a speial}

λ

^{-ring withduality.} Proposition 2.2.3 andtheorem1.1.4 shows thatitliftsto aunique struture ofa speial

λ

^{-ring withdualityon}

Z × Gr

ⁱⁿ

H(S)

^.

Proposition 2.3.2 Let

f : Y → X

^{be a morphism ofregular shemes. Let}

Z × Gr _X ∈ H(X)

(resp.

Z × Gr _Y ∈ H(Y )

^{) be the speial}

λ

^{-rings with duality dened in theorem 2.3.1. The}

strutures on

Z × Gr _X

^{indue a struture of speial}

λ

^{-rings with duality on}

f ^⋆ (Z × Gr _X )

^.

Then,theobviousisomorphism

f ^⋆ (Z×Gr X ) ≃ Z×Gr Y

ⁱⁿ

H(Y )

^isanisomorphismofspeial

λ

^{-rings withduality.}

We an usetheonstrution of proposition 2.2.3 beause thefuntor

f ^⋆ : H(X) → H(Y )

(see[32,page108℄)ommuteswithniteproduts. Usingtheorem1.1.4 ,itsuestoompare

the twoinduedspeial

λ

^{-ringswithdualitystruturesonthepresheaf}

K ₀ (−)

^on

Sm/Y

^{. If}

f

issmooth,one mayarguebysaying thatthestrutureson

π ₀ f ^⋆ (Z × Gr _X )

^{areobtained from}

thoseon

π ₀ (Z × Gr _X )

^{byapplying therestrition funtor}

Sm/X ^opp Sets → Sm/Y ^opp Sets

obtained by omposition withthe forgetful funtor

Sm/Y → Sm/X

^{. In the general ase,}

we may observe that it sues to hek that the two speial

λ

^{-rings strutures onsidered}

on

K 0 (−)

ⁱⁿ

Sm/Y ^opp Sets

^{agree on the universal elements}

u _d,r + n ∈ K 0 (Gr _d,r,Y )

^(see

remark1.2.7) and this follows fromthe fatthat the presheaves

K ₀ (−)

^on

Sm/X

^or

Sm/Y

omefroma presheaf ofspeial

λ

^{-ringswithduality ontheategory ofall regular shemes.}

Remark 2.3.3 Similar arguments an be used to prove that, through the interpretation of

operations as formal power series (see theorem 1.1.7), the map

f ^⋆ : End _{H(X )} (Z × Gr _X ) → End _{H(Y )} (Z × Gr _Y )

^{orresponds to the extension of salars of formal power series along the}

morphism

f ^⋆ : K ₀ (X) → K ₀ (Y )

^.

2.4 Strutures on higher

K

^-groups

Let

S

^{be a regular sheme. We have onstruted strutures on}

Z × Gr

ⁱⁿ

H(S)

^{. For any}

X ∈ H(S)

^{,they induestrutureson theset}

Hom _H(S) (X , Z × Gr)

^{,whih we denote}

K ₀ (X )

^.

Asa result, these sets

K ₀ (X )

^{are speial}

λ

^{-ringswith duality. To extend some strutures to}

thehigher

K

^-groups

K _n (X ) = Hom _{H • (S)} (S ⁿ ∧ X ₊ , Z× Gr)

^{,onehastorenesomemorphisms}

in

H(S)

^{tomorphisms in}

H • (S)

^.

Theorem1.1.2andthesubsequentommentsshowsthatthefamiliesofoperations

(Ψ ^k ) _k∈Z

^,

(λ ⁿ ) _n∈N

^and

(γ ⁿ ) _n∈N−{0}

^{and more generally all operations}

τ : K ₀ (−) → K ₀ (−)

^{suh that}

τ (0) = 0

^{naturally at on these sets}

K _n (X )

^{. Moreover, relations known at the level of}

K ₀

implies similar relations on all the

K

^{-groups: for instane, the formula}

Ψ ^k ◦ Ψ ^{k ′} = Ψ ^{kk ′}

^is

satisedbythe orrespondingoperationson

K _⋆ (X )

^.

Thisalsoappliestooperationsinvolvingseveraloperandslike

+

^and

×

^{. Theommutative}

groupstruture on

Z × Gr

ⁱⁿ

H(S)

^{omes fromaommutative group strutureon}

Z × Gr

ⁱⁿ

H • (S)

^{. Using this}

H

^{-group struture,we obtain abelian group strutureson thesets}

K _n (X )

forall

n ∈ N

^{. Using theargument of[31 , page 74℄,theprodutlaw}

× : (Z × Gr) ² → Z × Gr

in

H(S)

^{an easily be renedto a pairing}

µ: (Z × Gr) ∧ (Z × Gr) → Z × Gr

^{,whih indue}

pairings

K _i (X ) × K _j (Y ) → K _i+j (X × Y)

^for

X

^and

Y

ⁱⁿ

H(S)

^{. Using this onstrution}

in the ase

Y = X

^{and the diagonal morphism}

X → X × X

^{, we get a produt law on the}

graded abelian group

K _⋆ (X )

^{. It formally follows from the ommutative ring struture on}

Z × Gr

ⁱⁿ

H(S)

^{that withthese denitions,}

K _⋆ (X )

^{is a graded ommutative ring. One an}

easilyhekompatibilitiesbetween the

λ

-operations andtheprodut. Forinstane, if

k ∈ Z

^,

the fat that

Ψ ^k

^{is an} endomorphism of thering

Z × Gr

ⁱⁿ

H(S)

^{shows that the operation}

Ψ ^k : K _⋆ (X ) → K _⋆ (X )

^{is an}endomorphism ofgradedrings.

Example 2.4.1 The followingonfusingexample shouldwarnthereaderagainstmisinterpre-

tations of the previous results. Let

τ : K ₀ (−) → K ₀ (−)

^{be the operation dened by}

τ (x) = x ²

for any

x ∈ K 0 (X)

^and

X ∈ Sm/S

^{. This operation satises}

τ (0) = 0

^{; then it indues maps}

τ : K _n (X) → K _n (X)

^{for all}

n ∈ N

^and

X ∈ Sm/S

^{. However, this operation on higher}

K

^-

groups is unrelated to the squaring map

K _n (X) → K _2n (X)

^unless

n = 0

^{. Indeed, a simple}

omputationusingthesplittingprinipleshowsthat

τ = Ψ ² + 2λ ²

^{. To thelatter, weassoiated}

maps

K _n (X) → K _n (X)

^{rather than maps}

K _n (X) → K _2n (X)

^.

3 Comparison with previous onstrutions

3.1 Models of algebrai

K

^-theory

Denition 3.1.1 Let

S

^{be a regular sheme. A andidate modelof algebrai}

K

^{-theory (over}

S

^{) is an objet}

K ∈ H _• (S)

^{equipped with a morphism}

α _K : K ₀ (−) → π ₀ K

^{of presheaves of}

pointed sets on

Sm/S

^{. We saythat}

(K, α K )

^{isstrit if}

α _K

^isan isomorphism.

For suhanobjet

K

^,

X ∈ H(S)

^and

n ∈ N

^{,we dene}

K _n ^K (X )

^{to bethesetofmorphisms}

Hom _H • (S) (S ⁿ ∧ X ₊ , K)

^.

Amorphismofandidatemodels

(K, α K ) → (K ^′ , α _K ^′ )

^{isthedatumofamorphism}

f : K → K ^′

ⁱⁿ

H • (S)

^suhthat

α _K ^′ = π ₀ (f ) ◦ α _K

^.

Proposition 3.1.2 Candidatemodels ofalgebrai

K

^{-theoryanbeassoiatedtothefollowing}

denitions of algebrai

K

^{-theory :}

•

^Quillen's

Q

-onstrution [34, 7.1℄;

•

Waldhausen's[47, Ÿ1.9℄;

•

Thomason-Trobaugh's [43,3.5.3℄.

Foreahoftheseonstrutions, thereisawell-denedpresheaf

K

^{ofpointedsimpliialsets}

of

Sm/S

^suhthattheorresponding

K

^{-groupsarethe homotopygroupsof thespaes}

K(X)

forall

X ∈ Sm/S

^{. Thispresheaf}

K

^{denesan objetin}

H • (S)

^{and thereareanonial maps}

for all

X ∈ Sm/S

^{(seedenition1.1.5 ) :}

π 0 (K(X)) → Hom _H • (S) (X, K) = (π 0 K)(X)

^.

For any of these denitions of algebrai

K

^{-theory, in degree zero,}

π ₀ (K(X))

^{is identied to}

the Grothendiek group

K 0 (X)

^{of the exat ategory of vetor bundles on}

X

^{. Then, we get}

the expetedmap

α _K : K ₀ (−) → π ₀ K

ⁱⁿ

Sm/S ^opp Sets _•

^.

Thankstotheorem0.1,theobjet

Z×Gr

^{isendowedwithastrutureofa(strit)andidate}

modelofalgebrai

K

^{-theory. The map}

α _Z×Gr : K ₀ (−) → π ₀ (Z × Gr)

^hasthe(harateristi) propertythatthelass

u _d,r + n ∈ K ₀ (Gr _d,r )

^{ismapped tothehomotopylassoftheinlusion}

Gr _d,r ⊂ {n} × Gr ⊂ Z × Gr

^.

Thefollowingpropositionshowsthatthismodel

(Z×Gr, α Z×Gr )

^{playsanalmostuniversal}

role:

Proposition 3.1.3 Let

S

^{be aregular sheme. Let}

(K, α K )

^{be aandidatemodelofalgebrai}

K

^{-theory over}

S

^{. Then, there exists a morphism}

(Z × Gr, α Z×Gr ) → (K, α K )

^{of andidate}

models of algebrai

K

^{-theory. If this morphism is an} isomorphism, then it is unique and we shall saythat

(K, α K )

^{isa genuine model of algebrai}

K

^-theory.

May

K

^{not be an}

H

^{-group, the} surjetivity part of the Milnor exat sequene stated in lemma1.2.1 is stilltrue. Then, there existsa morphism

f : Z × Gr → H

ⁱⁿ

H _• (S)

^suhthat

the morphism ofpresheaves

α _K

^and

π ₀ (f ) ◦ α _Z×Gr

ⁱⁿ

Hom _Sm/S ^opp _Sets (K ₀ (−), π 0 K)

^oinide

on theuniversallasses

u _d,r + n ∈ K ₀ (Gr _d,r )

^{. Then remark 1.2.7 implies that thatthey are}

equal whih provesthat

f

^{isa morphism ofandidate models of algebrai}

K

^-theory.

If

f

^isanisomorphism,thenwemayreplae

(K, α K )

^by

(Z×Gr, α Z×Gr )

^{andtheuniqueness}

of

f

^{means thatthereexistsa unique}endomorphismof

Z × Gr

^{whihinduestheidentityon}

π 0 (Z × Gr) = K 0 (−)

^{,whihis knownthanksto theorem 1.1.2 .}

Corollary 3.1.4 Let

S

^{be aregular sheme. If}

(K, α K )

^and

(K ^′ , α _K ^′ )

^{are two genuine models}

of algebrai

K

^{-theory, they are anonially isomorphi and the assoiated}

K

^{-groups are also}

anonially isomorphi for all

X ∈ H(S)

^and

n ∈ N

^:

K _n ^K (X ) ≃ K _n ^{K ′} (X )

^.

It follows from the fat that both genuine models are anonially isomorphi to

(Z × Gr, α _Z×Gr )

^.

Proposition 3.1.5 Let

S

^{be a regular sheme. The andidate models dened in proposi-}

tion 3.1.2 are genuine models of algebrai

K

^-theory.