Dans ce travail, nous étudions les groupes de Chow-Witt. Ces groupes ont été introduits par J. Barge et F. Morel dans le but de comprendre dans quelle situation un -module projectif de rang égal à la dimension de est isomorphe à un module projectif plus simple . Dans un premier temps, nous montrons que ces groupes satisfont à peu de choses près les propriétés fonctorielles des groupes de Chow classiques. Nous définissons ensuite pour tout -module localement libre de rang (constant) sur un schéma régulier de dimension une classe d’Euler qui est un raffinement de la classe de Chern maximale classique . Cette classe d’Euler satisfait elle aussi de bonnes propriétés fonctorielles. Nous obtenons en particulier que si est un projectif de rang sur un anneau régulier de dimension supérieure ou égale à tel que alors . Nous calculons dans un second temps les groupes de Chow-Witt maximaux d’un anneau régulier de dimension et d’une -algèbre régulière de dimension quelconque. Il découle immédiatement de ces calculs que si est un -module projectif de rang égal à la dimension de l’anneau on a si et seulement si . Finalement nous examinons les liens entre les groupes de Chow-Witt et les groupes des classes d’Euler introduits par S. Bhatwadekar et R. Sridharan.
In this work we study the Chow-Witt groups. These groups were defined by J. Barge et F. Morel in order to understand when a projective module of top rank over a ring has a free factor of rank one, i.e., is isomorphic to . We show first that these groups satisfy the same functorial properties as the classical Chow groups. Then we define for each locally free -module of (constant) rank over a regular scheme an Euler class which is a refinement of the usual top Chern class . The Euler classes satisfy also good fonctorial properties. In particular, we get if is a projective module of rank over a regular ring of dimension such that . Next we compute the top Chow-Witt group of a regular ring of dimension and the top Chow-Witt group of a regular -algebra of finite dimension. For such , we get that if is a projective module of rank equal to the dimension of the ring then if and only if . Finally, we examine the links between the Chow-Witt groups and the Euler class groups defined by S. Bhatwadekar and R. Sridharan.
Classification : 13C10, 13D15, 14C15, 14C17, 18F30
Mots clés : groupes de Chow-Witt, classe d’Euler, fibrés vectoriels
@book{MSMF_2008_2_113__1_0, author = {Fasel, Jean}, title = {Groupes de {Chow-Witt}}, series = {M\'emoires de la Soci\'et\'e Math\'ematique de France}, publisher = {Soci\'et\'e math\'ematique de France}, number = {113}, year = {2008}, doi = {10.24033/msmf.425}, zbl = {1190.14001}, mrnumber = {2542148}, language = {fr}, url = {http://www.numdam.org/item/MSMF_2008_2_113__1_0/} }
TY - BOOK AU - Fasel, Jean TI - Groupes de Chow-Witt T3 - Mémoires de la Société Mathématique de France PY - 2008 DA - 2008/// IS - 113 PB - Société mathématique de France UR - http://www.numdam.org/item/MSMF_2008_2_113__1_0/ UR - https://zbmath.org/?q=an%3A1190.14001 UR - https://www.ams.org/mathscinet-getitem?mr=2542148 UR - https://doi.org/10.24033/msmf.425 DO - 10.24033/msmf.425 LA - fr ID - MSMF_2008_2_113__1_0 ER -
Fasel, Jean. Groupes de Chow-Witt. Mémoires de la Société Mathématique de France, Série 2, , no. 113 (2008), 205 p. doi : 10.24033/msmf.425. http://numdam.org/item/MSMF_2008_2_113__1_0/
[Ba1] Derived Witt groups of a scheme, Journal of pure and applied alg. 141, no. 2 (1999), 101-129. | MR 1706376 | Zbl 0972.18006
,[Ba2] Triangular Witt Groups. Part I : the 12-term exact sequence, K-theory 19 (2000), 311-363. | MR 1763933 | Zbl 0953.18003
,[Ba3] Triangular Witt Groups. Part II : from usual to derived, Math. Zeitschrift 236, no. 2 (2001), 351-382. | MR 1815833 | Zbl 1004.18010
,[Ba4] Products of degenerate quadratic forms, Compositio Math. 141 (2005), 1374-1404. | MR 2188441 | Zbl 1087.18008
,[BG] Koszul complexes and symmetric forms over the punctured affine space, Proceedings of the London Mathematical Society 91, no 2 (2005), 273-299. | MR 2167088 | Zbl 1078.11026
, ,[BW] A Gersten-Witt spectral sequence for regular schemes, Annales Scientifiques de l’ENS. 35, no. 1 (2002), 127-152. | EuDML 82563 | Numdam | MR 1886007 | Zbl 1012.19003
, ,[BM] Groupe de Chow des cycles orientés et classe d’Euler des fibrés vectoriels, C. R. Acad. Sci. Paris 330 (2000), 287-290. | MR 1753295
, ,[BO] Fibrés algébriques sur une surface réelle, Comment. Math. Helv. 62 (1987), 616-629. | EuDML 140102 | MR 920061 | Zbl 0647.14011
, ,[BOU] Algèbre, Eléments de mathématiques, chapitre 10, Masson (1980), Paris. | MR 610795 | Zbl 0455.18010
,[BS1] Projective generation of curves in polynomial extensions of an affine domain and a question of Nori, Invent. Math. 133 (1998), 161-192. | MR 1626485 | Zbl 0936.13005
, ,[BS2] Zero cycles and the Euler class groups of smooth real affine variety, Invent. Math. 136 (1999), 287-322. | MR 1688449 | Zbl 0949.14005
, ,[BS3] The Euler class group of a noetherian ring, Compositio Math. 122 (2000), 183-222. | MR 1775418 | Zbl 0999.13007
, ,[BH] Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, 39. Cambridge University Press, Cambridge, 1993. | MR 1251956 | Zbl 0788.13005
, ,[Fa] The Chow-Witt ring, Doc. Math. 12 (2007), 275–312. | EuDML 55883 | MR 2350291 | Zbl 1169.14302
,[Fu] Intersection theory, Ergebnisse der Math. und ihrer Grenzgebiete (1984), Springer. | MR 732620 | Zbl 0541.14005
,[Gi1] On Witt-groups with support, Thèse, 2001.
,[Gi2] A transfer morphism for Witt groups, J. reine angew. Math. 564 (2003), 215-233. | MR 2021041 | Zbl 1050.11046
,[Gi3] A graded Gersten-Witt complex for schemes with dualizing complex and the Chow group, J. Pure Appl. Algebra 208 (2007), no. 2, 391–419. | MR 2277683 | Zbl 1127.19005
,[Gi4] The general dévissage theorem for Witt groups of schemes Arch. Math. (Basel) 88 (2007), no. 4, 333–343. | MR 2311840 | Zbl 1175.19001
,[Gro1] Eléments de géométrie algébrique (EGA) II, Publ. math IHES 32 (1967).
,[Gro2] Eléments de géométrie algébrique (EGA) III, Publ. math IHES 32 (1967).
,[Gro3] Eléments de géométrie algébrique (EGA) IV, Publ. math IHES 32 (1967). | Zbl 0153.22301
,[Ha1] Residues and duality, Lecture Notes in Math. 20 (1966), Springer. | EuDML 203789 | MR 222093
,[Ha2] R Hartshorne, Algebraic geometry, Graduate text in Math. 52 (1977), Springer. | MR 463157
[Kn] On algebraic curves over real closed fields I, Math. Zeitschrift 150 (1976), 49-70. | EuDML 172405 | MR 422227 | Zbl 0327.14009
,[Ku] Kähler differentials, Adv. lectures in Math. (1986), Vieweg und Sohn. | MR 864975 | Zbl 0587.13014
,[Ma] An algebraic introduction to K-theory, Encyclopedia of Math. and its Applic. 87 (2002). | MR 1906572 | Zbl 1002.19001
,[Mat] Commutative ring theory, Cambridge Studies in Adv. Math., Cambridge University Press (1986), Cambridge.
,[Mi] Algebraic K-theory and quadratic forms, Invent. Math. 9 (1969-1970), 318-344. | EuDML 142017 | MR 260844
,[MH] Symmetric bilinear forms, Ergebnisse der Math. und ihrer Grenzgebiete 73 (1973), Springer. | MR 506372 | Zbl 0292.10016
, ,[Mo] -homotopy classification of vector bundles over smooth affine schemes, preprint available at http ://www.mathematik.uni-muenchen.de/ morel/preprint.html
,[Mu1] A survey of obstruction theory for projective modules of top rank, Contemp. Math. 243 (1999), 153-174. | MR 1732046 | Zbl 0962.13008
,[Mu2] Zero cycles and projective modules, Ann. Math. 140 (1994), 405-434. | MR 1298718 | Zbl 0839.13007
,[Pl] The conjectures of Eisenbud and Evans, Amer. Journal of Math. 105 (1983), 1417-1433. | MR 722004 | Zbl 0532.13008
,[QSS] Quadratic and hermitian forms in additive and abelian categories, Journal of Algebra 59, no. 2 (1979), 264-290. | MR 543249 | Zbl 0412.18016
, , ,[Ro] Chow groups with coefficients, Doc. Math. 1 (1996), 319-193. | EuDML 233731 | MR 1418952 | Zbl 0864.14002
,[Sc] Quadratic and hermitian forms, Grundlehren der math. Wissen. 270 (1985), Springer. | MR 770063 | Zbl 0584.10010
,[Sch] Wittringhomologie, Thèse, 1997.
,[Se] Corps locaux, Public. institut math. université Nancago VIII (1968), Hermann. | MR 354618
,[Sw] A cancellation theorem for projective modules in the metastable range, Invent. Math. 122 (1985), 113-153. | EuDML 142306 | MR 376681
,[Vo] Motivic cohomology with coefficients, Public. Hautes Etudes Sci. 98 (2003), 59-104. | EuDML 104197 | Numdam | MR 2031199 | Zbl 1057.14028
,[We] An introduction to homological algebra, Cambridge Studies in Adv. Math., Cambridge University Press (1994), Cambridge. | MR 1269324 | Zbl 0797.18001
,Cité par Sources :