Pith. sign in

REVIEW 4 major objections 5 minor 38 references

Multivariable period rings of $p$-adic false Tate curve extension

T0 review · 4 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper constructs two multivariable period rings for p-adic false Tate extensions and proves they give an explicit equivalence between étale (φ,Γ)-modules and étale (φ,τ)-modules.

desk verdict New multivariable period rings over false Tate extensions with a credible bridge between (φ,Γ)- and (φ,τ)-modules; the main results hold up, though part of the proof rests on an unpublished preprint. read the letter →

arxiv 2505.24064 v2 pith:6BOHOQOI submitted 2025-05-29 math.NT

Yijun Yuan This is my paper
classification math.NT MSC 14G4511F8011E9511S2511S15
keywords falseTatecurveextensionmultivariableperiodrings(φΓ)-modulesτ)-modulesfieldofnormsIwasawacohomologyψ-operatorp-adicHodgetheory
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper builds two new multivariable period rings attached to the false Tate tower $K(\pi_K^{1/p^\infty},\zeta_{p^\infty})$, the field obtained by adjoining all $p$-power roots of a uniformizer and all $p$-power roots of unity. It proves that étale $(\varphi,\Gamma)$-modules and étale $(\varphi,\tau)$-modules are connected through these rings by an explicit equivalence of categories, without passing through Galois representations. The paper also shows that the classical cohomology complexes for these two module theories become kernel subcomplexes of one total complex over the new rings, and it constructs a $\psi$ operator as a step toward Iwasawa cohomology. A careful reader would care because this gives a direct, representation-free route between two central toolkits in p-adic Hodge theory.

What carries the argument

The central object is the pair of multivariable period rings built from the image of $k_K[[X,Y]]$ under the embedding $f \mapsto f(u_K, \eta_K)$ into the tilted perfectoid field $\mathcal{O}^{\flat}_{\mathbf{C}_p}$, where $u_K$ is a uniformizer of the Kummer field of norms and $\eta_K$ a uniformizer of the cyclotomic field of norms. The two-variable embedding lemma, proved via Hasse derivatives and Galois-theoretic Taylor expansions, establishes injectivity and gives valuation control, allowing the construction of the fraction field $E_{\mathfrak{F},K}^{\mathrm{np},\circ}$, its $H_{\mathfrak{F},K}$-invariant separable closure $E_{\mathfrak{F},K}^{\mathrm{np}}$, and the completion $\widehat{E}_{\mathfrak{F},K}^{\mathrm{np},\circ}$. These fields are imperfect with $[E:\varphi(E)] = p^2$, and their p-Cohen rings carry a liftable action of $\Gamma_{\mathfrak{F},K}$. The load-bearing identities are the fixed-point computations $E^{H_{\tau,K}} = E_{\tau,K}$ and $E^{H_K} = E_K$, which make the category equivalence and the kernel-complex cohomology comparison work.

What would settle it

Find a finite extension $K/\mathbf{Q}_p$ satisfying Assumption 1.2 and an element in the completion $\widehat{E}_{\mathfrak{F},K}^{\mathrm{np},\circ}$ that is fixed by $H_{\tau,K}$ but does not lie in $E_{\tau,K}$. Such an element would contradict Proposition 6.1 and therefore break the quasi-inverse construction in Theorem B.

Watch

Extended reading notes

Core claim

The central claim is Theorem B: for either multivariable period ring $A_{\mathfrak{F},K}^{\mathrm{np}}$ or $A_{\mathfrak{F},K}^{\mathrm{np},\mathrm{c}}$, the functor $D \mapsto (A_{\mathfrak{F},K}^{\mathrm{np},?} \otimes_{A_K} D)^{H_{\tau,K}}$ induces an equivalence of categories between étale $(\varphi,\Gamma)$-modules over $A_K$ and étale $(\varphi,\tau)$-modules over $(A_{\tau,K}, A_{\mathfrak{F},K}^{\mathrm{np},?})$, with quasi-inverse $D' \mapsto (A_{\mathfrak{F},K}^{\mathrm{np},?} \otimes_{A_{\tau,K}} D')^{H_K}$. The same rings support a cohomological bridge: the Herr-type complex for $(\varphi,\Gamma)$-modules and the analogous complex for $(\varphi,\tau)$-modules both embed into the total complex of the Herr–Ribeiro complex over $A_{\mathfrak{F},K}^{\mathrm{np},?}$, and these embeddings are quasi-isomorphisms. Finally, the paper defines a $\psi$ operator on étale $(\varphi,\Gamma_{\mathfrak{F},K})$-modules and proves that the $H^0$ of the $\psi$-complex agrees with the $H^0$ of the $\varphi$-complex, leaving the higher-degree comparison as an open problem.

Load-bearing premise

The entire construction assumes the false Tate extension $KF$ over $K$ is totally ramified, so the residue field of the fields of norms is just $k_K$; if this fails, the fixed-point identities and the lift of $\Gamma_{\mathfrak{F},K}$ that the equivalence depends on are not established.

Editorial extensions

If this is right

  • The equivalence in Theorem B gives a direct way to pass between $(\varphi,\Gamma)$-modules and $(\varphi,\tau)$-modules without using the category of Galois representations as an intermediate bridge.
  • Galois cohomology can be computed from the total complex over the new multivariable rings, since the classical $(\varphi,\Gamma)$-complex and the $(\varphi,\tau)$-complex both sit inside it as kernel subcomplexes with quasi-isomorphic inclusions.
  • The existence of a $\psi$ operator on étale $(\varphi,\Gamma_{\mathfrak{F},K})$-modules opens a concrete path toward an Iwasawa-cohomology computation for false Tate extensions, starting from the proven agreement at $H^0$.
  • The explicit valuation comparison between the perfectoid valuation and the monomial valuation on $E_{\mathfrak{F},\mathbf{Q}_p}^{\mathrm{np},\circ,+}$ supplies a quantitative tool that can be used in future estimates for the $\psi$-complex.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same two-variable construction could likely be adapted to other p-adic Lie towers formed from a Kummer layer and a cyclotomic layer, replacing $(u_K,\eta_K)$ with analogous pairs of uniformizers; this is a natural testable extension of the method.
  • If the open conditions (C1) and (C2) in Section 7 can be verified using the appendix's valuation bounds, the $\psi$-complex would compute the Iwasawa cohomology of false Tate extensions, an outcome the paper explicitly leaves as a possibility rather than a proved theorem.
  • Because the bridge is explicit rather than representation-theoretic, it may allow integral p-adic Hodge theory to transfer results between Breuil–Kisin modules on the $(\varphi,\tau)$ side and classical $(\varphi,\Gamma)$-modules, a direction the paper does not develop.
  • The construction is admittedly artificial, and the paper itself suggests that a natural interpretation through locally analytic vectors in mixed characteristic could simplify the definitions and extend the approach beyond the totally ramified case.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper constructs two multivariable period rings A^{np}_{F,K} and A^{np,c}_{F,K} for the false Tate curve extension KF = K(π_K^{1/p^∞}, ζ_{p^∞}) of a p-adic field K, based on the image of k_K[[X,Y]] in the perfectoid field C^♭_p. It proves structural results for the associated characteristic-p fields (Theorem A), establishes an equivalence (Theorem B) between étale (φ,Γ)-modules over the cyclotomic field-of-norms ring A_K and étale (φ,τ)-modules over (A_{τ,K}, A^{np,?}_{F,K}) via (φ,Γ_{F,K})-modules, and shows that the Herr–Ribeiro complex over these rings interpolates the classical Herr and Zhao complexes (Theorem C). It also introduces a ψ-operator on these modules and gives an explicit comparison between the perfectoid and monomial valuations (Theorem D). The main theorems are proved by explicit constructions, Hasse-derivative embedding lemmas, rank arguments, and Fontaine-style equivalences, with several key inputs quoted from the preprint [Zha22].

Significance. If Theorem B is valid, it gives a new, explicit, and constructive answer to a question of Caruso, connecting (φ,Γ)-modules and (φ,τ)-modules without passing through Galois representations and without requiring an explicit norm-compatible system of uniformizers for the false Tate tower. The paper's construction of the imperfect period rings and the valuation estimates (Theorem D) are self-contained contributions of independent interest. The results are falsifiable in the sense that the functors are explicitly defined and the categories are concrete; no free parameters are fitted. The main risk is not circularity but verification-theoretic dependence on the unpublished preprint [Zha22] and on several terse 'similarly' arguments, which are discussed in the major comments.

major comments (4)
  1. [§4 (Lemma 4.2; Proposition 4.14)] Lemma 4.2 and part (A2) of Proposition 4.14 are cited to the unpublished preprint [Zha22] (respectively [Zha22, Proposition 3.1.4] and [Zha22, Lemma 3.3.1]). These two results are load-bearing: Lemma 4.2 justifies the definition of the fields E^{np}_{F,K} and bE^{np}_{F,K} in Definition 4.3, and Proposition 4.14(A2) provides the p-basis property used for the Cohen ring construction in Proposition 5.7 and for the ψ-operator in Definition 7.3. Since [Zha22] is an arXiv preprint and the manuscript does not specify whether the cited statements hold for every finite extension K or only for K=Q_p, the paper should either supply complete proofs or explicitly record that the main theorems depend on the correctness and generality of [Zha22]. A reduction to K=Q_p via Lemma 5.6 is plausible but is not explained for these specific citations.
  2. [§6 (Proposition 6.6(2))] Proposition 6.6(2) is proved by 'similarly', but it is used directly in the proof of Theorem B (Corollary 6.7). The two assertions in (2) are not formal consequences of (1): the isomorphism A^{np,?}_{F,K} ⊗_{A_{τ,K}} D^{np,?}_{τ}(V) ≅ D^{np,?}_{F}(V) requires the definition of D^{np,?}_{τ}(V) via the appropriate Cohen ring, and the fixed-point identity D^{np,?}_{F}(V)^{H_{τ,K}} ≅ D^{np,?}_{τ}(V) requires a Mackey-type argument for the subgroups H_{F,K} ⊂ H_{τ,K}. Please provide a detailed proof.
  3. [§6 (Proposition 6.1)] In Proposition 6.1 the second half, E^{H_K} = E_K, is dismissed with 'can be deduced similarly'; the brief τ-invariant argument given afterward covers only the case of E^{np,◦}_{F,K} and only the inclusion in one direction. This proposition is the basis of Corollary 6.3 and hence of Proposition 6.6; please give the full argument for all three fields E ∈ {E^{np,◦}_{F,K}, E^{np}_{F,K}, bE^{np,◦}_{F,K}}.
  4. [§6 (Corollary 6.7) / §2 (Theorem 2.14)] The category of étale (φ,τ)-modules over (A_{τ,K}, A^{np,?}_{F,K}) is not one of the pairs listed in Definition 2.11 for which Theorem 2.14 is stated. Proposition 6.5 proves the analogue for (φ,Γ_{F,K})-modules over A^{np,?}_{F,K}, but no analogue is proved for the (φ,τ) pair. In particular, the existence of D^{np,?}_{τ}(V) as an étale (φ,τ)-module over (A_{τ,K}, A^{np,?}_{F,K}) associated to V, used in Proposition 6.6(2) and Corollary 6.7, relies on an unstated extension of Theorem 2.14. Please state and prove this extension.
minor comments (5)
  1. [§1 (Assumption 1.2)] Assumption 1.2 is redundant: the Kummer layer K(π_K^{1/p^n}) and the cyclotomic layer K(ζ_{p^n}) are both totally ramified over K, so KF/K has residue field k_K. The assumption could be replaced by a one-line proof.
  2. [§1 (Definition 1.6) / §5 (Definition 5.9)] Definition 1.6 in the introduction defines A^{np}_{F,K} and A^{np,c}_{F,K} only for K=Q_p, while Definition 5.9 gives the general construction. The relationship between the two definitions should be stated explicitly.
  3. [§4 (Proof of Proposition 4.5)] The proof of Proposition 4.5 contains 'θ > >0'; this should be 'θ ≫ 0'.
  4. [§7 (Diagram (7.1))] In the diagram (7.1), the morphism f indicated by the squiggly arrow is not defined; a short sentence describing its components would make the diagram self-contained.
  5. [References] The paper refers to [Zha22] as a preprint; if [Zha25] contains the published versions of the cited results, please indicate which results are cited from which version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the bridge and period-ring theorems are derived from explicit fixed-point and liftability computations, with no fitted parameters or conclusion-by-construction; reliance on external works is a verification concern, not a circular one.

full rationale

The claimed derivation chain is not circular. Theorem B/Corollary 6.7 is obtained in Proposition 6.6 from the fixed-point identifications of Proposition 6.1 and Corollary 6.3; these are proved by genuine minimal-polynomial, valuation, and devissage arguments, not by defining the rings so that the conclusion holds. The period rings A^{np,?}_{F,K} are p-Cohen rings of fields E^{np,?}_{F,K} constructed independently, and the identities (A^{np,?})^{H_{\tau,K}}=A_{\tau,K} and (A^{np,?})^{H_K}=A_K are theorems, not definitions. The author's own earlier papers [WY22, WY24] appear only as background on explicit uniformizers and are not used in the proofs of Theorems A-C. External inputs are used substantively: Lemma 4.2 is quoted from [Zha22, Prop. 3.1.4], Proposition 4.14 uses [Zha22, Lemma 3.3.1], Proposition 6.1 uses [Zha22, Lemma 3.3.19], and footnote 5 adapts [Rib11, Thm. 1.5(ii)] without proof; these are verification gaps if the cited preprint or adaptation fails, but they are independent external facts, not self-citations and not restatements of the target results. The paper also honestly flags incompleteness in Section 7.2 (conditions (C1)/(C2) are left open) and artificiality in Remark 1.7, neither of which is a circular step. No fitted parameter is renamed as a prediction, and no equation in the proof reduces to its own input by construction.

Assumptions & free parameters 0 free parameters · 7 assumptions · 2 invented entities

The main new inputs are the constructed subfields and Cohen rings; the proof relies on standard results in p-adic Hodge theory, field of norms, and algebraic independence. No parameter is fitted to data; the only explicit auxiliary choice is the uniformizer η_K and the p-basis, which are standard structural choices.

assumptions (7)
  • domain assumption K is a finite extension of Q_p with p ≥ 3.
    Throughout the paper; Lemma 2.3 (and hence the Galois group structure Γ_{F,K} ≅ Z_p ⋊ Γ_K) is stated to fail for p=2 (Remark 2.4).
  • domain assumption The false Tate extension KF is totally ramified over K.
    Assumption 1.2; used to identify residue fields with k_K. Absent from the abstract.
  • domain assumption The extensions K∞, Kp∞ and KF are sAPF extensions of K.
    Required for the field-of-norms theory (Section 2.2); cited from Wintenberger and Sen.
  • standard math Fontaine's equivalence of categories between Rep_{Z_p}(G_K) and étale (φ,Γ)-modules over A_K.
    Theorem 2.14 is a quoted background result used in the proofs of Proposition 6.6 and Theorem C.
  • standard math The field-of-norms embedding X_K(L) ↪ \hat{L}^♭ (Wintenberger) is continuous and injective.
    Theorem 2.7, used to define E_K, E_{τ,K}, E_{F,K} inside C_p^♭.
  • standard math The algebraic independence result [AR19, Example 7.2] on the formal power series ∑ (Z/X)^{n!}.
    Used in the proof of Proposition 4.11 to show E^{np}_{F,K} is a proper subfield of \hat{E}^{np,◦}_{F,K}.
  • standard math The rank facts about absolute Galois groups: uncountable rank for k_K(X,Y), countable for k_K((T)).
    Used in Proposition 4.8; cited from [KKS23] and [NSW08].
invented entities (2)
  • Fields E^{np,◦}_{F,K}, E^{np}_{F,K}, \hat{E}^{np,◦}_{F,K} inside \tilde{E}_{F,K} independent evidence
    purpose: Serve as imperfect residue fields for the new period rings; they interpolate between the field of norms and the perfectoid field.
    Explicitly constructed via the embedding lemma and studied in Section 4; used for the p-Cohen ring construction.
  • Period rings A^{np}_{F,K} and A^{np,c}_{F,K} independent evidence
    purpose: Multivariable period rings with lifted Γ_{F,K} action; bridge (φ,Γ) and (φ,τ) modules.
    Defined as p-Cohen rings in Section 5, with proved liftability; the category equivalence in Section 6 provides an external criterion.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Multivariable period rings of $p$-adic false Tate curve extension." pith.science (2026). https://pith.science/paper/6BOHOQOI

@misc{pith2026250524064,
  author       = {Pith},
  title        = {Pith review of: Multivariable period rings of $p$-adic false Tate curve extension},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6BOHOQOI}},
  note         = {Machine review of arXiv:2505.24064}
}
abstract

Let $p\geq 3$ be a prime number and $K$ be a finite extension of $\mathbf{Q}_p$ with uniformizer $\pi_K$. In this article, we introduce two multivariable period rings $\mathbf{A}_{\mathfrak{F},K}^{\operatorname{np}}$ and $\mathbf{A}_{\mathfrak{F},K}^{\operatorname{np},\operatorname{c}}$ for the \'etale $(\varphi,\Gamma_{\mathfrak{F},K})$-modules of $p$-adic false Tate curve extension $K\left(\pi_K^{1/p^\infty},\zeta_{p^\infty}\right)$. Various properties of these rings are studied and as applications, we show that $(\varphi,\Gamma_{\mathfrak{F},K})$-modules over these rings bridge $(\varphi,\Gamma)$-modules and $(\varphi,\tau)$-modules over imperfect period rings in both classical and cohomological sense, which answers a question of Caruso. Finally, we construct the $\psi$ operator for false Tate curve extension and discuss the possibility to calculate Iwasawa cohomology for this extension via $(\varphi,\Gamma_{\mathfrak{F},K})$-modules over these rings.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

38 extracted references · 37 canonical work pages

  1. [1]

    S. S. Abhyankar, W. Heinzer S. Wiegand -- On the compositum of two power series rings , Proceedings of the American Mathematical Society 112 (1991), no. 3, p. 629--636, DOI: 10/bn9jt9 http://dx.doi.org/10/bn9jt9

    work page 1991

  2. [2]

    F. Aroca G. Rond -- Support of Laurent series algebraic over the field of formal power series , Proceedings of the London Mathematical Society 118 (2019), no. 3, p. 577--605, DOI: 10/gkvr9x http://dx.doi.org/10/gkvr9x

    work page 2019

  3. [3]

    Berger -- Lifting the field of norms , Journal de l’École polytechnique — Mathématiques 1 (2014), p

    L. Berger -- Lifting the field of norms , Journal de l’École polytechnique — Mathématiques 1 (2014), p. 29--38, DOI: 10/m827 http://dx.doi.org/10/m827

    work page 2014

  4. [4]

    Bellemare A

    H. Bellemare A. Lei -- Explicit Uniformizers for Certain Totally Ramified Extensions of the Field of p -Adic Numbers , Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 90 (2020), no. 1, p. 73--83, DOI: 10/gg332r http://dx.doi.org/10/gg332r

    work page 2020

  5. [5]

    Caruso -- Représentations galoisiennes p -adiques et ( , ) -modules , Duke Mathematical Journal 162 (2013), no

    X. Caruso -- Représentations galoisiennes p -adiques et ( , ) -modules , Duke Mathematical Journal 162 (2013), no. 13, p. 2525--2607, DOI: 10/kpmr http://dx.doi.org/10/kpmr

    work page 2013

  6. [6]

    Cherbonnier P

    F. Cherbonnier P. Colmez -- Theorie D ' Iwasawa des Representations p- Adiques D 'un Corps Local , Journal of the American Mathematical Society 12 (1999), no. 1, p. 241--268, DOI: 10/btnvx5 http://dx.doi.org/10/btnvx5

    work page 1999

  7. [7]

    Coates, T

    J. Coates, T. Fukaya, K. Kato, R. Sujatha O. Venjakob -- The GL _2 Main Conjecture for Elliptic Curves without Complex Multiplication , Publications mathématiques de l'IHÉS 101 (2005), no. 1, p. 163--208, DOI: 10/cdnckt http://dx.doi.org/10/cdnckt

    work page 2005

  8. [8]

    P. Colmez -- Fontaine’s rings and p -adic L -functions , course notes at Tsinghua University, 2004, URL: https://webusers.imj-prg.fr/ pierre.colmez/tsinghua.pdf https://webusers.imj-prg.fr/ pierre.colmez/tsinghua.pdf

    work page 2004

Show all 38 references
  1. [9]

    A. J. Engler A. Prestel -- Valued Fields , Springer Monographs in Mathematics , Springer-Verlag, 2005, DOI: 10/b69sh6 http://dx.doi.org/10/b69sh6

    2005

  2. [10]

    M. Fried M. Jarden -- Field Arithmetic , Ergebnisse Der Mathematik Und Ihrer Grenzgebiete . 3. Folge / A Series of Modern Surveys in Mathematics , vol. 11, Springer Berlin Heidelberg, 2008, DOI: 10/bm9cwh http://dx.doi.org/10/bm9cwh

    2008

  3. [11]

    Fontaine Y

    J.-M. Fontaine Y. Ouyang -- Theory of p -adic Galois representations , Springer, 2022, URL: http://staff.ustc.edu.cn/ yiouyang/galoisrep.pdf http://staff.ustc.edu.cn/ yiouyang/galoisrep.pdf

    2022

  4. [12]

    Fontaine -- Représentations p -adiques des corps locaux (1ère partie) , in The Grothendieck Festschrift, Birkhäuser Boston, 1990, p

    J.-M. Fontaine -- Représentations p -adiques des corps locaux (1ère partie) , in The Grothendieck Festschrift, Birkhäuser Boston, 1990, p. 249--309, DOI: 10/cw5qkf http://dx.doi.org/10/cw5qkf

    1990

  5. [13]

    H. Gao L. Zhao -- Cohomology of ( , ) -modules , 2024, arXiv: 2402.02492 https://arxiv.org/abs/2402.02492

    2024 arXiv

  6. [14]

    Herr -- Sur la cohomologie galoisienne des corps p -adiques , Bulletin de la Société Mathématique de France 126 (1998), no

    L. Herr -- Sur la cohomologie galoisienne des corps p -adiques , Bulletin de la Société Mathématique de France 126 (1998), no. 4, p. 563--600, DOI: 10/kpmg http://dx.doi.org/10/kpmg

    1998

  7. [15]

    Harbater K

    D. Harbater K. F. Stevenson -- Local Galois theory in dimension two , Advances in Mathematics 198 (2005), no. 2, p. 623--653, Special volume in honor of Michael Artin: Part 2, DOI: 10/fnzgt2 http://dx.doi.org/10/fnzgt2

    2005

  8. [16]

    I. M. Isaacs -- Algebra: A graduate course, Graduate Studies in Mathematics, vol. 100, American Mathematical Society, 2009, DOI: 10/pfsg http://dx.doi.org/10/pfsg

    2009

  9. [17]

    L. S. Krapp, S. Kuhlmann M. Serra -- Generalised power series determined by linear recurrence relations , 2023, arXiv: 2206.04126 https://arxiv.org/abs/2206.04126

    2023 arXiv

  10. [18]

    Koshy -- Catalan Numbers with Applications , Oxford University Press, 2008, DOI: 10/fc9f2h http://dx.doi.org/10/fc9f2h

    T. Koshy -- Catalan Numbers with Applications , Oxford University Press, 2008, DOI: 10/fc9f2h http://dx.doi.org/10/fc9f2h

    2008

  11. [19]

    Liu -- On lattices in semi-stable representations: a proof of a conjecture of Breuil , Compositio Mathematica 144 (2008), no

    T. Liu -- On lattices in semi-stable representations: a proof of a conjecture of Breuil , Compositio Mathematica 144 (2008), no. 1, p. 61--88, DOI: 10/btgtjm http://dx.doi.org/10/btgtjm

    2008

  12. [20]

    Matsumura -- Commutative Ring Theory , 1 , Cambridge University Press, 1987, DOI: 10/mbs7 http://dx.doi.org/10/mbs7

    H. Matsumura -- Commutative Ring Theory , 1 , Cambridge University Press, 1987, DOI: 10/mbs7 http://dx.doi.org/10/mbs7

    1987

  13. [21]

    S. Nazir A. Popescu -- On some subfields of K (( X )) , Journal of Prime Research in Mathematics 2 (2006), p. 194--197, URL: https://jprm.sms.edu.pk/on-some-subfields-of-kx/ https://jprm.sms.edu.pk/on-some-subfields-of-kx/

    2006

  14. [22]

    Neukirch, A

    J. Neukirch, A. Schmidt K. Wingberg -- Cohomology of number fields, Grundlehren der mathematischen Wissenschaften, Springer Berlin Heidelberg, 2008, DOI: 10/m9kq http://dx.doi.org/10/m9kq

    2008

  15. [23]

    Porat -- Locally analytic vectors and decompletion in mixed characteristic , 2024, URL: https://arxiv.org/abs/2407.19791 https://arxiv.org/abs/2407.19791

    G. Porat -- Locally analytic vectors and decompletion in mixed characteristic , 2024, URL: https://arxiv.org/abs/2407.19791 https://arxiv.org/abs/2407.19791

    2024

  16. [24]

    Poyeton -- Extensions de Lie p-adiques et (Phi, Gamma) -modules , , Université de Lyon, 2019, URL: https://theses.hal.science/tel-02148215 https://theses.hal.science/tel-02148215

    L. Poyeton -- Extensions de Lie p-adiques et (Phi, Gamma) -modules , , Université de Lyon, 2019, URL: https://theses.hal.science/tel-02148215 https://theses.hal.science/tel-02148215

    2019

  17. [25]

    F. T. Ribeiro -- An explicit formula for the Hilbert symbol of a formal group , Annales de l’institut Fourier 61 (2011), no. 1, p. 261--318, DOI: 10/bzxq8f http://dx.doi.org/10/bzxq8f

    2011

  18. [26]

    Schoeller -- Groupes affines, commutatifs, unipotents sur un corps non parfait , Bulletin de la Soci\'et\'e Math\'ematique de France 100 (1972), p

    C. Schoeller -- Groupes affines, commutatifs, unipotents sur un corps non parfait , Bulletin de la Soci\'et\'e Math\'ematique de France 100 (1972), p. 241--300, DOI: 10/m829 http://dx.doi.org/10/m829

    1972

  19. [27]

    Scholze -- Perfectoid Spaces , Publications mathématiques de l'IHÉS 116 (2012), no

    P. Scholze -- Perfectoid Spaces , Publications mathématiques de l'IHÉS 116 (2012), no. 1, p. 245--313, DOI: 10/ggz7xg http://dx.doi.org/10/ggz7xg

    2012

  20. [28]

    Schneider -- Galois Representations and ( , ) - Modules , 1 , Cambridge University Press, 2017, DOI: 10/kpms http://dx.doi.org/10/kpms

    P. Schneider -- Galois Representations and ( , ) - Modules , 1 , Cambridge University Press, 2017, DOI: 10/kpms http://dx.doi.org/10/kpms

    2017

  21. [29]

    Sen -- Ramification in p -adic Lie extensions , Inventiones mathematicae 17 (1972), no

    S. Sen -- Ramification in p -adic Lie extensions , Inventiones mathematicae 17 (1972), no. 1, p. 44--50, DOI: 10/dbncc3 http://dx.doi.org/10/dbncc3

    1972

  22. [30]

    Serre -- Local Class Field Theory , in Algebraic Number Theory (J

    J.-P. Serre -- Local Class Field Theory , in Algebraic Number Theory (J. W. S. Cassels A. Fröhlich, ), London Mathematical Society, 1967, URL: https://www.lms.ac.uk/publications/algebraic-number-theory https://www.lms.ac.uk/publications/algebraic-number-theory

    1967

  23. [31]

    Viviani -- Ramification groups and Artin conductors of radical extensions of Q , Journal de Théorie des Nombres de Bordeaux 16 (2004), no

    F. Viviani -- Ramification groups and Artin conductors of radical extensions of Q , Journal de Théorie des Nombres de Bordeaux 16 (2004), no. 3, p. 779--816, DOI: 10/dxjvk5 http://dx.doi.org/10/dxjvk5

    2004

  24. [32]

    Warner -- Finite Extensions of Valued Fields , Canadian Mathematical Bulletin 29 (1986), no

    S. Warner -- Finite Extensions of Valued Fields , Canadian Mathematical Bulletin 29 (1986), no. 1, p. 64–69, DOI: 10/fnthp2 http://dx.doi.org/10/fnthp2

    1986

  25. [33]

    C. A. Weibel -- An Introduction to Homological Algebra , Cambridge Studies in Advanced Mathematics , Cambridge University Press, 1994, DOI: 10/kzm2 http://dx.doi.org/10/kzm2

    1994

  26. [34]

    Wintenberger -- Le corps des normes de certaines extensions infinies de corps locaux; applications , Annales scientifiques de l'École normale supérieure 16 (1983), no

    J.-P. Wintenberger -- Le corps des normes de certaines extensions infinies de corps locaux; applications , Annales scientifiques de l'École normale supérieure 16 (1983), no. 1, p. 59--89, DOI: 10/kpmp http://dx.doi.org/10/kpmp

    1983

  27. [35]

    S. Wang Y. Yuan -- Uniformizer of the false Tate curve extension of Q _p , The Ramanujan Journal 58 (2022), p. 549--595, DOI: 10/gmkfxj http://dx.doi.org/10/gmkfxj

    2022

  28. [36]

    , Uniformizer of the False Tate Curve Extension of Q _p ( II ) , International Journal of Number Theory 20 (2024), no. 01, p. 1--18, DOI: 10/kqb6 http://dx.doi.org/10/kqb6

    2024

  29. [37]

    Zhao -- Galois cohomology of p -adic fields and ( , ) -modules , 2022, arXiv: 2201.11235 https://arxiv.org/abs/2201.11235

    L. Zhao -- Galois cohomology of p -adic fields and ( , ) -modules , 2022, arXiv: 2201.11235 https://arxiv.org/abs/2201.11235

    2022 arXiv

  30. [38]

    66--98, DOI: 10/pfsj http://dx.doi.org/10/pfsj

    , Herr complex of ( , ) -modules , Journal of Number Theory 271 (2025), p. 66--98, DOI: 10/pfsj http://dx.doi.org/10/pfsj

    2025

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.