|
|
| Line 1: |
Line 1: |
| {{DISPLAYTITLE:''p''-adic Hodge theory}}
| | For some people no matters how limited the budget gets, they can count on one thing that is entertainment. In todays world all want some entertainment from routine life and are active in daily work but its not always possible for a family person since it matters a whole lot. This majestic [http://verified.codes/ verified coupon codes] portfolio has collected original suggestions for the purpose of this viewpoint. <br><br>With activity coupon book register you are able to enjoy your lifetime. Discover extra info on our favorite related article directory by browsing to [http://verified.codes/Fredericks fredericks coupons]. a coupon is like an admission that"s being sold to get an financial discount or concessions. That voucher can be easily found at look, paper and on web. <br><br>Web is the better method to get a entertainment coupon guide as you dont have to go anywhere you can get it online with all the detail by detail information related to shop, theaters, traveling, restaurants, hotel, stores and a lot more where-in exchange of coupon you get discount. Because they are can are very quickly and easily available and easily printed out by consumer himself. <br><br>On line coupon web sites make your finding easier. On some internet sites you will need to do one and registration some not. Examine all the policies carefully before entering all your private information. <br><br>You may get free promotional code which will be also called as free shipping code. These promotional codes have many special deals from many of large brands. You can use such codes everywhere like hospital, cosmetic, traveling and many more and one best part is that you can use this coupon along with other promotional offers. <br><br>Today you dont need to want to simply take your family for movie, traveling or restaurant Just enjoy your day together with your love ones. <br><br>Anna Josephs is a freelance journalist having experience of many years writing news releases and articles on various matters such as pet health, car and social problems. She also has great fascination with poetry and pictures, ergo she wants to write on these topics too. Currently writing for this website Borders Coupon Book. For more information please contact at annajosephs@gmail.com. Dig up further on this related wiki - Click here: [http://verified.codes/Amazon amazon promo codes].<br><br>If you have any type of inquiries relating to where and the best ways to use [http://hungryplaster7412.page.tl dog health problems], you could call us at the web-site. |
| In [[mathematics]], '''''p''-adic Hodge theory''' is a theory that provides a way to classify and study [[Galois representation|''p''-adic Galois representations]] of [[characteristic (algebra)|characteristic 0]] [[local field]]s<ref>In this article, a ''local field'' is [[complete (topology)|complete]] [[discrete valuation field]] whose residue field is [[perfect field|perfect]].</ref> with residual characteristic ''p'' (such as [[p-adic number|'''Q'''<sub>''p''</sub>]]). The theory has its beginnings in [[Jean-Pierre Serre]] and [[John Tate]]'s study of [[Tate module]]s of [[abelian variety|abelian varieties]] and the notion of [[Hodge–Tate representation]]. Hodge–Tate representations are related to certain decompositions of ''p''-adic [[cohomology]] theories analogous to the [[Hodge decomposition]], hence the name ''p''-adic Hodge theory. Further developments were inspired by properties of ''p''-adic Galois representations arising from the [[étale cohomology]] of [[Algebraic variety|varieties]]. [[Jean-Marc Fontaine]] introduced many of the basic concepts of the field.
| |
| | |
| ==General classification of ''p''-adic representations==
| |
| Let ''K'' be a local field of residue field ''k'' of characteristic ''p''. In this article, a ''p-adic representation'' of ''K'' (or of ''G<sub>K</sub>'', the [[absolute Galois group]] of ''K'') will be a [[continuous (mathematics)|continuous]] representation ρ : ''G<sub>K</sub>''→ GL(''V'') where ''V'' is a finite-dimensional [[vector space]] over '''Q'''<sub>''p''</sub>. The collection of all ''p''-adic representations of ''K'' form an [[abelian category]] denoted <math>\mathrm{Rep}_{\mathbf{Q}_p}(K)</math> in this article. ''p''-adic Hodge theory provides subcollections of ''p''-adic representations based on how nice they are, and also provides [[faithful functor]]s to categories of [[linear algebra]]ic objects that are easier to study. The basic classification is as follows:<ref>{{harvnb|Fontaine|1994|p=114}}</ref>
| |
| :<math>\mathrm{Rep}_{cris}(K)\subsetneq\mathrm{Rep}_{st}(K)\subsetneq \mathrm{Rep}_{dR}(K)\subsetneq \mathrm{Rep}_{HT}(K)\subsetneq \mathrm{Rep}_{\mathbf{Q}_p}(K)</math>
| |
| where each collection is a [[full subcategory]] properly contained in the next. In order, these are the categories of [[crystalline representation]]s, [[semistable representation]]s, [[de Rham representation]]s, Hodge–Tate representations, and all ''p''-adic representations. In addition, two other categories of representations can be introduced, the [[potentially crystalline representation]]s Rep<sub>pcris</sub>(''K'') and the [[potentially semistable representation]]s Rep<sub>pst</sub>(''K''). The latter strictly contains the former which in turn generally strictly contains Rep<sub>cris</sub>(''K''); additionally, Rep<sub>pst</sub>(''K'') generally strictly contains Rep<sub>st</sub>(''K''), and is contained in Rep<sub>dR</sub>(''K'') (with equality when the residue field of ''K'' is finite, a statement called the [[p-adic monodromy theorem|''p''-adic monodromy theorem]]).
| |
| | |
| ==<span id="periodrings"></span>Period rings and comparison isomorphisms in arithmetic geometry==
| |
| The general strategy of ''p''-adic Hodge theory, introduced by Fontaine, is to construct certain so-called '''period rings'''<ref>These rings depend on the local field ''K'' in question, but this relation is usually dropped from the notation.</ref> such as [[Ring of p-adic periods|''B''<sub>dR</sub>]], [[Ring of semistable periods|''B''<sub>st</sub>]], [[Ring of cristalline periods|''B''<sub>cris</sub>]], and [[Ring of Hodge–Tate periods|''B''<sub>HT</sub>]] which have both an [[group action|action]] by ''G<sub>K</sub>'' and some linear algebraic structure and to consider so-called '''Dieudonné modules'''
| |
| :<math>D_B(V)=(B\otimes_{\mathbf{Q}_p}V)^{G_K}</math>
| |
| (where ''B'' is a period ring, and ''V'' is a ''p''-adic representation) which no longer have a ''G<sub>K</sub>''-action, but are endowed with linear algebraic structures inherited from the ring ''B''. In particular, they are vector spaces over the fixed field <math>E:=B^{G_K}</math>.<ref>For ''B'' = ''B''<sub>HT</sub>, ''B''<sub>dR</sub>, ''B''<sub>st</sub>, and ''B''<sub>cris</sub>, <math>B^{G_K}</math> is ''K'', ''K'', ''K''<sub>0</sub>, and ''K''<sub>0</sub>, respectively, where ''K''<sub>0</sub> = Frac(''W''(''k'')), the [[fraction field]] of the [[Witt vector]]s of ''k''.</ref> This construction fits into the formalism of [[B-admissible representation|''B''-admissible representations]] introduced by Fontaine. For a period ring like the aforementioned ones ''B''<sub>∗</sub> (for ∗ = HT, dR, st, cris), the category of ''p''-adic representations Rep<sub>∗</sub>(''K'') mentioned above is the category of [[B-admissible representation|''B''<sub>∗</sub>-admissible]] ones, i.e. those ''p''-adic representations ''V'' for which
| |
| :<math>\dim_ED_{B_\ast}(V)=\dim_{\mathbf{Q}_p}V</math>
| |
| or, equivalently, the [[B-admissible representation|comparison morphism]]
| |
| :<math>\alpha_V:B_\ast\otimes_ED_{B_\ast}(V)\longrightarrow B_\ast\otimes_{\mathbf{Q}_p}V</math>
| |
| is an [[isomorphism]].
| |
| | |
| This formalism (and the name period ring) grew out of a few results and conjectures regarding comparison isomorphisms in [[arithmetic geometry|arithmetic]] and [[complex geometry]]:
| |
| *If ''X'' is a [[proper morphism|proper]] [[smooth morphism|smooth]] [[scheme (mathematics)|scheme]] over '''[[complex number|C]]''', there is a classical comparison isomorphism between the [[algebraic de Rham cohomology]] of ''X'' over '''C''' and the [[singular cohomology]] of ''X''('''C''')
| |
| ::<math>H^\ast_{\mathrm{dR}}(X/\mathbf{C})\cong H^\ast(X(\mathbf{C}),\mathbf{Q})\otimes_\mathbf{Q}\mathbf{C}.</math>
| |
| :This isomorphism can be obtained by considering a [[pairing]] obtained by [[integral|integrating]] [[differential form]]s in the algebraic de Rham cohomology over [[algebraic cycle|cycles]] in the singular cohomology. The result of such an integration is called a [[ring of periods|period]] and is generally a complex number. This explains why the singular cohomology must be [[extension of scalars|tensored]] to '''C''', and from this point of view, '''C''' can be said to contain all the periods necessary to compare algebraic de Rham cohomology with singular cohomology, and could hence be called a period ring in this situation.
| |
| *In the mid sixties, Tate conjectured<ref>See {{harvnb|Serre|1967}}</ref> that a similar isomorphism should hold for proper smooth schemes ''X'' over ''K'' between algebraic de Rham cohomology and ''p''-adic étale cohomology (the [[Hodge–Tate conjecture]], also called C<sub>HT</sub>). Specifically, let '''C'''<sub>''K''</sub> be the [[complete (topology)|completion]] of an [[algebraic closure]] of ''K'', let '''C'''<sub>''K''</sub>(''i'') denote '''C'''<sub>''K''</sub> where the action of ''G<sub>K</sub>'' is via ''g''·''z'' = χ(''g'')<sup>''i</sup>g''·''z'' (where χ is the [[cyclotomic character|''p''-adic cyclotomic character]], and ''i'' is an integer), and let <math>B_{\mathrm{HT}}:=\oplus_{i\in\mathbf{Z}}\mathbf{C}_K(i)</math>. Then there is a functorial isomorphism
| |
| ::<math>B_{\mathrm{HT}}\otimes_K\mathrm{gr}H^\ast_{\mathrm{dR}}(X/K)\cong B_{\mathrm{HT}}\otimes_{\mathbf{Q}_p}H^\ast_{\mathrm{\acute{e}t}}(X\times_K\overline{K},\mathbf{Q}_p)</math>
| |
| :of [[graded vector space]]s with ''G<sub>K</sub>''-action (the de Rham cohomology is equipped with the [[Hodge filtration]], and <math>\mathrm{gr}H^\ast_{\mathrm{dR}}</math> is its associated graded). This conjecture was proved by [[Gerd Faltings]] in the late eighties<ref>{{harvnb|Faltings|1988}}</ref> after partial results by several other mathematicians (including Tate himself).
| |
| *For an abelian variety ''X'' with good reduction over a ''p''-adic field ''K'', [[Alexander Grothendieck]] reformulated a theorem of Tate's to say that the [[crystalline cohomology]] ''H''<sup>1</sup>(''X''/''W''(''k'')) ⊗ '''Q'''<sub>''p''</sub> of the special fiber (with the Frobenius endomorphism on this group and the Hodge filtration on this group tensored with ''K'') and the ''p''-adic étale cohomology ''H''<sup>1</sup>(''X'','''Q'''<sub>''p''</sub>) (with the action of the Galois group of ''K'') contained the same information. Both are equivalent to the [[Barsotti–Tate group|''p''-divisible group]] associated to ''X'', up to isogeny. Grothendieck conjectured that there should be a way to go directly from ''p''-adic étale cohomology to crystalline cohomology (and back), for all varieties with good reduction over ''p''-adic fields.<ref>{{harvnb|Grothendieck|1971|p=435}}</ref> This suggested relation became known as the '''mysterious functor'''.
| |
| | |
| To improve the Hodge–Tate conjecture to one involving the de Rham cohomology (not just its associated graded), Fontaine constructed<ref>{{harvnb|Fontaine|1982}}</ref> a ''[[filtration (mathematics)|filtered]]'' ring ''B''<sub>dR</sub> whose associated graded is ''B''<sub>HT</sub> and conjectured<ref>{{harvnb|Fontaine|1982}}, Conjecture A.6</ref> the following (called C<sub>dR</sub>) for any smooth proper scheme ''X'' over ''K''
| |
| :<math>B_{\mathrm{dR}}\otimes_KH^\ast_{\mathrm{dR}}(X/K)\cong B_{\mathrm{dR}}\otimes_{\mathbf{Q}_p}H^\ast_{\mathrm{\acute{e}t}}(X\times_K\overline{K},\mathbf{Q}_p)</math>
| |
| as filtered vector spaces with ''G<sub>K</sub>''-action. In this way, ''B''<sub>dR</sub> could be said to contain all (''p''-adic) periods required to compare algebraic de Rham cohomology with ''p''-adic étale cohomology, just as the complex numbers above were used with the comparison with singular cohomology. This is where ''B''<sub>dR</sub> obtains its name of ''ring of p-adic periods''.
| |
| | |
| Similarly, to formulate a conjecture explaining Grothendieck's mysterious functor, Fontaine introduced a ring ''B''<sub>cris</sub> with ''G<sub>K</sub>''-action, a "Frobenius" φ, and a filtration after extending scalars from ''K''<sub>0</sub> to ''K''. He conjectured<ref>{{harvnb|Fontaine|1982}}, Conjecture A.11</ref> the following (called C<sub>cris</sub>) for any smooth proper scheme ''X'' over ''K'' with good reduction
| |
| :<math>B_{\mathrm{cris}}\otimes_{K_0}H^\ast_{\mathrm{dR}}(X/K)\cong B_{\mathrm{cris}}\otimes_{\mathbf{Q}_p}H^\ast_{\mathrm{\acute{e}t}}(X\times_K\overline{K},\mathbf{Q}_p)</math>
| |
| as vector spaces with φ-action, ''G<sub>K</sub>''-action, and filtration after extending scalars to ''K'' (here <math>H^\ast_{\mathrm{dR}}(X/K)</math> is given its structure as a ''K''<sub>0</sub>-vector space with φ-action given by its comparison with crystalline cohomology). Both the C<sub>dR</sub> and the C<sub>cris</sub> conjectures were proved by Faltings.<ref>{{harvnb|Faltings|1989}}</ref> | |
| | |
| Upon comparing these two conjectures with the notion of ''B''<sub>∗</sub>-admissible representations above, it is seen that if ''X'' is a proper smooth scheme over ''K'' (with good reduction) and ''V'' is the ''p''-adic Galois representation obtained as is its ''i''th ''p''-adic étale cohomology group, then
| |
| :<math>D_{B_\ast}(V)=H^i_{\mathrm{dR}}(X/K).</math>
| |
| In other words, the Dieudonné modules should be thought of as giving the other cohomologies related to ''V''.
| |
| | |
| In the late eighties, Fontaine and Uwe Jannsen formulated another comparison isomorphism conjecture, C<sub>st</sub>, this time allowing ''X'' to have [[semi-stable reduction]]. Fontaine constructed<ref>{{harvnb|Fontaine|1994}}, Exposé II, section 3</ref> a ring ''B''<sub>st</sub> with ''G<sub>K</sub>''-action, a "Frobenius" φ, a filtration after extending scalars from ''K''<sub>0</sub> to ''K'' (and fixing an extension of the [[p-adic logarithm|''p''-adic logarithm]]), and a "monodromy operator" ''N''. When ''X'' has semi-stable reduction, the de Rham cohomology can be equipped with the φ-action and a monodromy operator by its comparison with the [[log-crystalline cohomology]] first introduced by Osamu Hyodo.<ref>{{harvnb|Hyodo|1991}}</ref> The conjecture then states that
| |
| :<math>B_{\mathrm{st}}\otimes_{K_0}H^\ast_{\mathrm{dR}}(X/K)\cong B_{\mathrm{st}}\otimes_{\mathbf{Q}_p}H^\ast_{\mathrm{\acute{e}t}}(X\times_K\overline{K},\mathbf{Q}_p)</math> | |
| as vector spaces with φ-action, ''G<sub>K</sub>''-action, filtration after extending scalars to ''K'', and monodromy operator ''N''. This conjecture was proved in the late nineties by Takeshi Tsuji.<ref>{{harvnb|Tsuji|1999}}</ref>
| |
| | |
| ==Notes==
| |
| {{reflist|2}}
| |
| | |
| ==References==
| |
| | |
| ===Primary sources===
| |
| *{{Citation
| |
| | last=Faltings
| |
| | first=Gerd
| |
| | author-link=Gerd Faltings
| |
| | title=''p''-adic Hodge theory
| |
| | year=1988
| |
| | journal=Journal of the American Mathematical Society
| |
| | volume=1
| |
| | issue=1
| |
| | pages=255–299
| |
| | mr=0924705
| |
| | doi=10.2307/1990970
| |
| }}
| |
| *{{Citation
| |
| | last=Faltings
| |
| | first=Gerd
| |
| | author-link=Gerd Faltings
| |
| | contribution=Crystalline cohomology and ''p''-adic Galois representations
| |
| | title=Algebraic analysis, geometry, and number theory
| |
| | isbn=978-0-8018-3841-5
| |
| | mr=1463696
| |
| | publisher=Johns Hopkins University Press
| |
| | location=Baltimore, MD
| |
| | editor-last=Igusa
| |
| | editor-first=Jun-Ichi
| |
| | pages=25–80
| |
| }}
| |
| *{{Citation
| |
| | last=Fontaine
| |
| | first=Jean-Marc
| |
| | author-link=Jean-Marc Fontaine
| |
| | title=Sur certains types de représentations ''p''-adiques du groupe de Galois d'un corps local; construction d'un anneau de Barsotti–Tate
| |
| | year=1982
| |
| | journal=[[Annals of Mathematics]]
| |
| | volume=115
| |
| | issue=3
| |
| | mr=0657238
| |
| | pages=529–577
| |
| }}
| |
| *{{Citation
| |
| | last=Grothendieck
| |
| | first=Alexander
| |
| | author-link=Alexander Grothendieck
| |
| | contribution=Groupes de Barsotti–Tate et cristaux
| |
| | title=Actes du Congrès International des Mathématiciens (Nice, 1970)
| |
| | volume=1
| |
| | year=1971
| |
| | pages=431–436
| |
| | mr=0578496
| |
| }}
| |
| *{{Citation
| |
| | last=Hyodo
| |
| | first=Osamu
| |
| | title=On the de Rham–Witt complex attached to a semi-stable family
| |
| | year=1991
| |
| | journal=[[Compositio Mathematica]]
| |
| | volume=78
| |
| | issue=3
| |
| | pages=241–260
| |
| | mr=1106296
| |
| }}
| |
| *{{Citation
| |
| | last=Serre
| |
| | first=Jean-Pierre
| |
| | author-link=Jean-Pierre Serre
| |
| | contribution=Résumé des cours, 1965–66
| |
| | title=Annuaire du Collège de France
| |
| | location=Paris
| |
| | year=1967
| |
| | pages=49–58
| |
| }}
| |
| *{{Citation
| |
| | last=Tsuji
| |
| | first=Takeshi
| |
| | title=''p''-adic étale cohomology and crystalline cohomology in the semi-stable reduction case
| |
| | year=1999
| |
| | journal=[[Inventiones Mathematicae]]
| |
| | volume=137
| |
| | issue=2
| |
| | mr=1705837
| |
| | pages=233–411
| |
| }}
| |
| | |
| ===Secondary sources===
| |
| *{{Citation
| |
| | last=Berger
| |
| | first=Laurent
| |
| | contribution=An introduction to the theory of ''p''-adic representations
| |
| | year=2004
| |
| | publisher=Walter de Gruyter GmbH & Co. KG
| |
| | location=Berlin
| |
| | mr=2023292
| |
| | volume=I
| |
| | title=Geometric aspects of Dwork theory
| |
| | isbn=978-3-11-017478-6
| |
| | arxiv=math/0210184
| |
| }}
| |
| *{{Citation
| |
| | last=Brinon
| |
| | first=Olivier
| |
| | last2=Conrad
| |
| | first2=Brian
| |
| | author2-link=Brian Conrad
| |
| | title=CMI Summer School notes on p-adic Hodge theory
| |
| | url=http://math.stanford.edu/~conrad/papers/notes.pdf
| |
| | year=2009
| |
| | accessdate=2010-02-05
| |
| }}
| |
| *{{Citation
| |
| | editor-last=Fontaine
| |
| | editor-first=Jean-Marc
| |
| | editor-link=Jean-Marc Fontaine
| |
| | title=Périodes p-adiques
| |
| | publisher=Société Mathématique de France
| |
| | location=Paris
| |
| | year=1994
| |
| | mr=1293969
| |
| | series=Astérisque
| |
| | volume=223
| |
| }}
| |
| *{{Citation
| |
| | last=Illusie
| |
| | first=Luc
| |
| | contribution=Cohomologie de de Rham et cohomologie étale ''p''-adique (d'après G. Faltings, J.-M. Fontaine et al.) Exp. 726
| |
| | title=Séminaire Bourbaki. Vol. 1989/90. Exposés 715–729
| |
| | publisher=Société Mathématique de France
| |
| | location=Paris
| |
| | year=1990
| |
| | pages=325–374
| |
| | mr=1099881
| |
| | series=Astérisque
| |
| | volume=189–190
| |
| }}
| |
| | |
| [[Category:Algebraic number theory]]
| |
| [[Category:Galois theory]]
| |
| [[Category:Representation theory of groups]]
| |
| [[Category:Hodge theory]]
| |
For some people no matters how limited the budget gets, they can count on one thing that is entertainment. In todays world all want some entertainment from routine life and are active in daily work but its not always possible for a family person since it matters a whole lot. This majestic verified coupon codes portfolio has collected original suggestions for the purpose of this viewpoint.
With activity coupon book register you are able to enjoy your lifetime. Discover extra info on our favorite related article directory by browsing to fredericks coupons. a coupon is like an admission that"s being sold to get an financial discount or concessions. That voucher can be easily found at look, paper and on web.
Web is the better method to get a entertainment coupon guide as you dont have to go anywhere you can get it online with all the detail by detail information related to shop, theaters, traveling, restaurants, hotel, stores and a lot more where-in exchange of coupon you get discount. Because they are can are very quickly and easily available and easily printed out by consumer himself.
On line coupon web sites make your finding easier. On some internet sites you will need to do one and registration some not. Examine all the policies carefully before entering all your private information.
You may get free promotional code which will be also called as free shipping code. These promotional codes have many special deals from many of large brands. You can use such codes everywhere like hospital, cosmetic, traveling and many more and one best part is that you can use this coupon along with other promotional offers.
Today you dont need to want to simply take your family for movie, traveling or restaurant Just enjoy your day together with your love ones.
Anna Josephs is a freelance journalist having experience of many years writing news releases and articles on various matters such as pet health, car and social problems. She also has great fascination with poetry and pictures, ergo she wants to write on these topics too. Currently writing for this website Borders Coupon Book. For more information please contact at annajosephs@gmail.com. Dig up further on this related wiki - Click here: amazon promo codes.
If you have any type of inquiries relating to where and the best ways to use dog health problems, you could call us at the web-site.