Quadrature domains: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Helpful Pixie Bot
m ISBNs (Build KE)
 
en>Monkbot
 
Line 1: Line 1:
In mathematics, '''crystalline cohomology''' is a [[Weil cohomology theory]] for schemes introduced by {{harvs|txt|first=Alexander|last=Grothendieck|authorlink=Alexander Grothendieck|year1=1966|year2=1968}} and developed by {{harvs|txt|authorlink=Pierre Berthelot|first=Pierre|last= Berthelot|year=1974}}. Its values are [[module (mathematics)|modules]] over [[ring (mathematics)|rings]] of [[Witt vector]]s over the [[base field]]. 
Nestor is the title my [http://www.volvocars.com/us/sales-services/sales/volvo_certified_preowned/Pages/default.aspx mothers] and fathers gave me [http://www.team-i7.de/index.php?mod=users&action=view&id=8588 extended car warranty] auto warranty but I don't like when individuals use my full title. The thing I adore most flower arranging and now [http://www.consumerreports.org/cro/magazine/2014/04/extended-warranties-for-cars-are-an-expensive-game/ extended] [http://www.carbuyingtips.com/warranty.htm auto warranty] I have time to take on new issues. Her family members lives in Idaho. Interviewing is what she does  [http://zocken-in-gesellschaft.de/index.php?mod=users&action=view&id=10093 auto warranty] in her working day occupation but soon her spouse and her will begin their personal business.<br><br>my homepage: extended auto warranty ([http://Www.Thelamda.com/index.php?mod=users&action=view&id=3598 review])
 
Crystalline cohomology is partly inspired by the [[p-adic number|''p''-adic]] proof in {{harvtxt|Dwork|1960}} of part of the [[Weil conjectures]] and is closely related to the algebraic version of '''[[de Rham cohomology]]''' that was introduced by [[Alexander Grothendieck|Grothendieck]] (1963). Roughly speaking, crystalline cohomology of a [[Algebraic_variety|variety]] ''X'' in characteristic ''p'' is the de Rham cohomology of a smooth lift of ''X'' to characteristic 0, while de Rham cohomology of ''X'' is the crystalline cohomology reduced mod ''p'' (after taking into account higher [[Tor functor|''Tor''s]]).
 
The idea of crystalline cohomology, roughly, is to replace the [[Zariski topology|Zariski open sets]] of a [[Scheme (mathematics)|scheme]] by infinitesimal thickenings of Zariski open sets with  [[divided power structure]]s. The motivation for this is that it can then be calculated by taking a local lifting of a scheme from characteristic ''p'' to characteristic ''0'' and employing an appropriate version of algebraic de Rham cohomology.
 
Crystalline cohomology only works well for smooth proper schemes. [[Rigid cohomology]] extends it to more general schemes.
 
==Applications==
 
For schemes in [[positive characteristic|characteristic ''p'']], crystalline cohomology theory can handle questions about ''p''-torsion in cohomology groups better than [[l-adic cohomology|''p''-adic étale cohomology]]. This makes it a natural backdrop for much of the work on [[p-adic L-function]]s.
 
Crystalline cohomology, from the point of view of number theory, fills a gap in the [[l-adic cohomology]] information, which occurs exactly where there are 'equal characteristic primes'.  Traditionally the preserve of [[ramification theory]], crystalline cohomology converts this situation into [[Dieudonné module]] theory, giving an important handle on arithmetic problems. Conjectures with wide scope on making this into formal statements were enunciated by [[Jean-Marc Fontaine]], the resolution of which is called [[p-adic Hodge theory]].
 
==de Rham cohomology==
 
De Rham cohomology solves the problem of finding an algebraic definition of the cohomology groups ([[singular cohomology]])
 
:''H''<sup>''i''</sup>(''X'','''C''')
 
for ''X'' a [[Smooth scheme|smooth]]  [[complex variety]]. These groups are the cohomology of the complex of smooth [[differential form]]s on ''X'' (with complex number coefficients), as these form a resolution of the constant [[Sheaf (mathematics)|sheaf]] '''C'''.
 
The algebraic de Rham cohomology is defined to be the [[hypercohomology]] of the complex of algebraic forms ([[Kähler differential]]s) on ''X''. The smooth ''i''-forms form an [[acyclic sheaf]], so the hypercohomology of the complex of smooth forms is the same as its cohomology, and the same is true for algebraic sheaves of ''i''-forms over [[Affine variety#Affine varieties|affine varieties]],  but algebraic sheaves of ''i''-forms over non-affine varieties can have non-vanishing higher cohomology groups, so the hypercohomology can differ from the cohomology of the complex.
 
For smooth complex varieties Grothendieck (1963) showed that the algebraic de Rham cohomology  is isomorphic to the usual smooth [[de Rham cohomology]] and therefore (by [[de Rham's theorem]]) to the cohomology with complex coefficients. This definition of algebraic de Rham cohomology is available for [[algebraic varieties]] over any field ''k''.
 
==Coefficients==
If ''X'' is a variety over an algebraically closed field of [[characteristic p|characteristic ''p'']] &gt; 0, then the [[l-adic cohomology]] groups for ''l'' any prime number other than ''p'' give satisfactory cohomology groups of ''X'', with coefficients in the ring '''Z'''<sub>''l''</sub> of [[p-adic integer|''l''-adic integers]]. It is not possible in general to find similar cohomology groups with coefficients in the ''p''-adic numbers (or the rationals, or the integers).  
 
The classic reason (due to Serre) is that if ''X'' is a [[supersingular elliptic curve]], then its [[Endomorphism ring|ring of endomorphisms]] generates a [[quaternion algebra]] over '''Q''' that is non-split at ''p'' and infinity. If ''X'' has a cohomology group over the ''p''-adic integers with the expected dimension 2, the ring of endomorphisms would have a 2-dimensional representation; and this is not possible as it is non-split at ''p''. (A quite subtle point is that if ''X'' is a supersingular elliptic curve over the prime field, with ''p'' elements, then its crystalline cohomology is a free rank 2 module over the ''p''-adic integers. The argument given does not apply in this case, because some of the endomorphisms of supersingular elliptic curves are only defined over a [[quadratic extension]] of the field of order ''p''.)
 
Grothendieck's crystalline cohomology theory gets around this obstruction because it takes values in the ring of [[Witt vector]]s over the [[ground field]]. So if the ground field is the [[algebraic closure]] of the field of order ''p'', its values are modules over the ''p''-adic completion of the [[maximal unramified extension]] of the ''p''-adic integers, a much larger ring containing ''n''-th roots of unity for all ''n'' not divisible by ''p'', rather than over the ''p''-adic integers.
 
==Motivation==
One idea for defining a Weil cohomology theory of a variety ''X'' over a field ''k'' of characteristic ''p'' is to 'lift' it to a variety ''X''* over the ring of Witt vectors of ''k'' (that gives back ''X'' on [[reduction mod p]]), then take the de Rham cohomology of this lift. The problem is that it is not at all obvious that this cohomology is independent of the choice of lifting.
 
The idea of crystalline cohomology in characteristic 0 is to find a direct definition of a cohomology theory as the cohomology of constant sheaves on a suitable [[Site (sheaf theory)|site]]
 
:Inf(''X'')
 
over ''X'', called the '''infinitesimal site''' and then show it is the same as the de Rham cohomology of any lift.
 
The site Inf(''X'') is a category whose objects can be thought of as some sort of generalization of the conventional open sets of ''X''. In characteristic 0 its objects are infinitesimal thickenings ''U''→''T'' of [[Zariski open]] subsets ''U'' of ''X''. This means that ''U'' is the  closed subscheme of a scheme ''T'' defined by a nilpotent sheaf of ideals on ''T''; for example, Spec(''k'')→ Spec(''k''[''x'']/(''x''<sup>2</sup>)).
 
Grothendieck showed that for smooth schemes ''X'' over '''C''', the cohomology of the sheaf ''O''<sub>''X''</sub> on Inf(''X'') is the same as the usual (smooth or algebraic) de Rham cohomology.
 
==Crystalline cohomology==
In characteristic ''p'' the most obvious analogue of the crystalline site defined above in characteristic 0 does not work. The reason is roughly that in order to prove exactness of the de Rham complex, one needs some sort of [[Poincaré lemma]], whose proof in turn uses integration, and integration requires various divided powers, which exist in characteristic 0 but not always in characteristic ''p''. Grothendieck solved this problem by defining objects of the crystalline site of ''X'' to be roughly infinitesimal thickenings of Zariski open subsets of ''X'', together with a [[divided power structure]] giving the needed divided powers.
 
We will work over the ring  ''W''<sub>''n''</sub> = ''W''/''p''<sup>''n''</sup>''W'' of [[Witt vectors]] of length ''n'' over a perfect field ''k'' of characteristic ''p''&gt;0. For example, ''k'' could be the finite field of order ''p'', and ''W''<sub>''n''</sub> is then the ring '''Z'''/''p''<sup>''n''</sup>'''Z'''. (More generally one can work over a base scheme ''S'' which has a fixed sheaf of ideals ''I'' with a divided power structure.) If ''X'' is a scheme over ''k'', then the '''crystalline site of''' ''X'' '''relative to''' ''W''<sub>''n''</sub>, denoted Cris(''X''/''W''<sub>''n''</sub>), has as its objects pairs
''U''→''T'' consisting of a closed immersion of a Zariski open subset ''U'' of ''X'' into some ''W''<sub>''n''</sub>-scheme ''T''
defined by a sheaf of ideals ''J'', together with a divided power structure on ''J'' compatible with the one on ''W''<sub>''n''</sub>.
 
Crystalline cohomology of a scheme ''X'' over ''k'' is defined to be the inverse limit
:<math>H^i(X/W)=\lim_{\leftarrow}H^i(X/W_n)</math>
where
:<math>H^i(X/W_n)= H^i(Cris(X/W_n),O)</math>
is the cohomology of the crystalline site of ''X''/''W''<sub>''n''</sub> with values in the sheaf of rings ''O'' = ''O''<sub>''X''/''Wn''</sub>.
 
A key point of the theory is that the crystalline cohomology of a smooth scheme ''X'' over ''k'' can often be calculated in terms of the algebraic de Rham cohomology of a proper and smooth lifting of ''X'' to a scheme ''Z'' over ''W''. There is a canonical isomorphism
:<math>H^i(X/W) = H^i_{DR}(Z/W) \quad(= H^i(Z,\Omega_{Z/W}^*)= \lim_{\leftarrow}H^i(Z,\Omega_{Z/W_n}^*))</math>
of the crystalline cohomology of ''X'' with the de Rham cohomology of ''Z'' over the [[formal scheme]] of ''W''
(an inverse limit of the hypercohomology of the complexes of differential forms).
Conversely the de Rham cohomology of ''X'' can be recovered as the reduction mod ''p'' of its crystalline cohomology (after taking higher ''Tor''s into account).
 
==Crystals==
If ''X'' is a scheme over ''S'' then the sheaf ''O''<sub>''X''/''S''</sub> is defined by
''O''<sub>''X''/''S''</sub>(''T'') = coordinate ring of ''T'', where we write ''T'' as an abbreviation for
an object ''U''→''T'' of Cris(''X''/''S'').
 
A '''crystal''' on the site Cris(''X''/''S'') is a sheaf ''F'' of ''O''<sub>''X''/''S''</sub> modules that is '''rigid''' in the following sense:
:for any map ''f'' between objects ''T'', ''T''&prime; of Cris(''X''/''S''), the natural map from ''f''<sup>*</sup>''F''(''T'') to ''F''(''T''&prime;) is an isomorphism.
This is similar to the definition of a [[quasicoherent sheaf]] of modules in the Zariski topology.
 
An example of a crystal is the sheaf ''O''<sub>''X''/''S''</sub>.
 
The term ''crystal'' attached to the theory, explained in Grothendieck's letter to [[John Tate|Tate]] (1966), was a metaphor inspired by certain properties of [[algebraic differential equation]]s. These had played a role in ''p''-adic cohomology theories (precursors of the crystalline theory, introduced in various forms by [[Bernard Dwork|Dwork]], [[Paul Monsky|Monsky]], Washnitzer, Lubin and [[Nick Katz|Katz]]) particularly in Dwork's work. Such differential equations can be formulated easily enough by means of the algebraic [[Koszul connection]]s, but in the ''p''-adic theory the analogue of [[analytic continuation]] is more mysterious (since ''p''-adic discs tend to be disjoint rather than overlap). By decree, a ''crystal'' would have the 'rigidity' and the 'propagation' notable in the case of the analytic continuation of complex analytic functions. (Cf. also the [[rigid analytic space]]s introduced by [[John Tate|Tate]], in the 1960s, when these matters were actively being debated.)
 
== See also ==
*[[Motivic cohomology]]
*[[De Rham cohomology]]
 
==References==
*{{Citation | last1=Berthelot | first1=Pierre | author1-link=Pierre Berthelot (mathematician) | title=Cohomologie cristalline des schémas de caractéristique p>0 | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics, Vol. 407 | doi=10.1007/BFb0068636 | mr=0384804 | year=1974|isbn=978-3-540-06852-5 | volume=407}}
*{{Citation | last1=Berthelot | first1=Pierre | author1-link=Pierre Berthelot (mathematician) | last2=Ogus | first2=Arthur | title=Notes on crystalline cohomology | publisher=[[Princeton University Press]] | isbn=978-0-691-08218-9 | mr=0491705 | year=1978}}
*{{Citation | last1=Chambert-Loir | first1=Antoine | title=Cohomologie cristalline: un survol | url=http://perso.univ-rennes1.fr/antoine.chambert-loir/publications | mr=1654786 | year=1998 | journal=[[Expositiones Mathematicae]] | issn=0723-0869 | volume=16 | issue=4 | pages=333–382}}
*{{Citation | doi=10.2307/2372974 | last1=Dwork | first1=Bernard | title=On the rationality of the zeta function of an algebraic variety | mr=0140494 | year=1960 | journal=[[American Journal of Mathematics]] | issn=0002-9327 | volume=82 | pages=631–648 | issue=3 | publisher=The Johns Hopkins University Press | jstor=2372974}}
* {{Citation | last1=Grothendieck | first1=Alexander | author1-link = Alexander Grothendieck | title=On the de Rham cohomology of algebraic varieties | url=http://www.numdam.org/item?id=PMIHES_1966__29__95_0 | mr=0199194 | year=1966 | journal=Institut des Hautes Études Scientifiques. Publications Mathématiques | issn=0073-8301 | issue=29 | pages=95–103 | doi=10.1007/BF02684807 | volume=29}} (letter to Atiyah, Oct. 14 1963)
*{{citation|last=Grothendieck|first= A. |url=http://www.math.jussieu.fr/~leila/grothendieckcircle/crystals.pdf|title= Letter to J. Tate|year= 1966}}.
*{{Citation | last1=Grothendieck | first1=Alexander | author1-link=Alexander Grothendieck | editor1-last=Giraud | editor1-first=Jean | editor2-last=Grothendieck | editor2-first=Alexander | editor2-link=Alexander Grothendieck | editor3-last=Kleiman | editor3-first=Steven L. | editor3-link=Steven Kleiman | editor4-last=Raynaud | editor4-first=Michèle | title=Dix Exposés sur la Cohomologie des Schémas | url=http://www.math.jussieu.fr/~leila/grothendieckcircle/DixExp.pdf | publisher=North-Holland | location=Amsterdam | series=Advanced studies in pure mathematics | mr=0269663 | year=1968 | volume=3 | chapter=Crystals and the de Rham cohomology of schemes | pages=306–358}}
*{{Citation | last1=Illusie | first1=Luc | author1-link=Luc Illusie | title=Algebraic geometry  | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Proc. Sympos. Pure Math. | mr=0393034 | year=1975 | volume=29 | chapter=Report on crystalline cohomology | pages=459–478}}
* {{Citation | last1=Illusie | first1=Luc | title=Séminaire Bourbaki (1974/1975: Exposés Nos. 453-470), Exp. No. 456 | url=http://www.numdam.org/numdam-bin/fitem?id=SB_1974-1975__17__53_0 | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Math. | mr=0444668 | year=1976 | volume=514 | chapter=Cohomologie cristalline (d'après P. Berthelot) | pages=53–60}}
* {{Citation | last1=Illusie | first1=Luc | title=Motives (Seattle, WA, 1991) | publisher=Amer. Math. Soc. | location=Providence, RI | series=Proc. Sympos. Pure Math. | mr=1265522 | year=1994 | volume=55 | chapter=Crystalline cohomology | pages=43–70}}
*{{Citation | last1=Kedlaya | first1=Kiran S. | editor1-last=Abramovich | editor1-first=Dan | editor2-last=Bertram | editor2-first=A. | editor3-last=Katzarkov | editor3-first=L. | editor4-last=Pandharipande | editor4-first=Rahul | editor5-last=Thaddeus. | editor5-first=M. | title=Algebraic geometry---Seattle 2005. Part 2 | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Proc. Sympos. Pure Math. | isbn=978-0-8218-4703-9 | mr=2483951{{arxiv|0601507}} | year=2009 | volume=80 | chapter=p-adic cohomology | arxiv=math/0601507 | pages=667–684}}
 
[[Category:Algebraic geometry]]
[[Category:Cohomology theories]]
[[Category:Homological algebra]]

Latest revision as of 00:29, 24 July 2014

Nestor is the title my mothers and fathers gave me extended car warranty auto warranty but I don't like when individuals use my full title. The thing I adore most flower arranging and now extended auto warranty I have time to take on new issues. Her family members lives in Idaho. Interviewing is what she does auto warranty in her working day occupation but soon her spouse and her will begin their personal business.

my homepage: extended auto warranty (review)