Pith. sign in

REVIEW 4 major objections 5 minor 38 references

P-adic Period Conjectures for 1-motives: Integration and Linear Relations

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

Pith's one-line read The paper establishes p-adic period conjectures for 1-motives at depths 1 and 2, relative to canonical Q-structures, by showing all linear relations among these p-adic periods are induced by bilinearity and functoriality.

desk verdict Ambitious p-adic period framework with a real integration pairing, but the central subgroup theorem has an unproved lifting step that the main theorems inherit. read the letter →

arxiv 2507.15020 v1 pith:CBFEV2TC submitted 2025-07-20 math.NT math.AG

classification math.NTmath.AG MSC 14F3011S8014C1514C30
keywords p-adicperiods1-motivesintegrationcrystallinecohomologyperiodconjecturesanalyticsubgrouptheoremQ-structuresB_dRring
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

This paper develops a $p$-adic analogue of the classical theory of periods for 1-motives, the mixed motives built from a lattice mapping into a semi-abelian variety. It constructs a $p$-adic integration pairing that generalizes the Colmez–Fontaine–Messing theory from abelian varieties to all 1-motives with good reduction, and it uses this pairing to build canonical $\mathbb{Q}$-structures on the $p$-adic realizations. The central result is that, relative to these structures, all linear relations among the corresponding $p$-adic periods are induced by bilinearity and functoriality: this is proved at depth 1 for the $h_p$-periods and at depth 2 for the $H^\varphi_p$- and $H^\varpi_p$-periods. Because these motives include Kummer extensions, tori, and abelian varieties, the theorem gives a $p$-adic counterpart to the Kontsevich–Zagier conjecture for 1-motives over $\bar{\mathbb{Q}}$. The paper matters because it converts a transcendence-style conjecture about $p$-adic numbers into a provable structural statement about exact sequences of 1-motives.

What carries the argument

The load-bearing objects are the $p$-adic integration pairing $\int^{\varpi}\colon T_p(M)\times T^\vee_{\mathrm{dR}}(M)\to B_2$, with $B_2 = B^+_{\mathrm{dR}}/t^2B^+_{\mathrm{dR}}$, which is bilinear, perfect, Galois-equivariant, and compatible with the Hodge filtration (Theorem 1), and Fontaine's map $\varphi_M\colon T_p(M)\to \mathrm{Lie}(G)\otimes C_p(1)$ that it refines. On top of these sit the canonical $\mathbb{Q}$-structures $h_p(M)$, $H^\varphi_p(M)$, and $H^\varpi_p(M)$, built from rational-point logarithms and their pullbacks along $\varphi_M$ and $\varpi_M$. The structural engine is the $p$-adic subgroup theorem for 1-motives (Theorem 2), which uses the $p$-adic analytic subgroup theorem of Bertrand and Fuchs to attach to every period class $x\in H^\varphi_p(M)$ a short exact sequence $0\to M_1\to M^n\to M_2\to 0$ with $x\in H^\varphi_p(M_1)$ and $\mathrm{Ann}(x)\subseteq T^\vee_{\mathrm{dR}}(M_2)$. The depth-2 conclusion for $H^\varpi_p$ additionally uses Lemma 5.2, which shows that the degree-one Hodge component of an admissible filtered isocrystal with nonzero slopes generates the whole isocrystal under Frobenius, allowing the differential form in a vanishing period to be transported to $\mathrm{coLie}(G)$.

What would settle it

Take a Kummer 1-motive $M = [\mathbb{Z}\to\mathbb{G}_m]$ over a number field with good reduction at $p$, attached to a non-root-of-unity $g$, and compute which elements of $h_p(M) + V(M)C_p \subseteq \mathrm{Lie}(G^{\natural})_{C_p}$ lie in the image of the logarithm map on $G^{\natural}(K')$ for finite extensions $K'$; exhibiting one element that lies in no such image would falsify the unproved lifting assertion in Section 5.2, invalidate Theorem 2, and collapse Theorem 4 and Theorem 5.

Watch

Extended reading notes

Core claim

The paper's central claim is that the $p$-adic period conjectures for 1-motives over number fields with good reduction at $p$ hold at depth 2 for the period spaces built from the integration pairing $\varpi_M$ and from Fontaine's map $\varphi_M$, and at depth 1 for the period space built from rational-point logarithms $h_p(M)$. Concretely, Theorem 4 and Theorem 5 assert that every linear relation among $H^\varpi_p$-periods or $H^\varphi_p$-periods is a formal consequence of bilinearity and functoriality applied through a short exact sequence of 1-motives, and the same holds for $h_p$-periods already at depth 1. These results are established relative to the canonical $\mathbb{Q}$-structures $H^\varphi_p(M)$, $H^\varpi_p(M)$, and $h_p(M)$ constructed in Section 4.2, which the authors obtain by pulling back rational points of the formal $p$-divisible group along the integration and Fontaine maps. The proof routes through a $p$-adic analytic subgroup theorem for 1-motives that controls the annihilator of any period class by the de Rham realization of a subquotient motive, mirroring Wüstholz's classical theorem.

Load-bearing premise

The proof assumes without proof that every $p$-adic period class can be split into a logarithm of a rational point of a finite extension plus a vector-group part, and that the combined element still lies in the range of the logarithm map; if this lifting fails for any 1-motive, the subgroup theorem, and with it the depth-1 and depth-2 period conjectures, loses its main structural support.

Editorial extensions

If this is right

  • All linear relations among $h_p$-periods of 1-motives with good reduction are induced by bilinearity and functoriality (Corollary 5.2), so the $p$-adic analogue of the Kontsevich–Zagier conjecture holds at depth 1 for this class.
  • Every zero $H^\varpi_p$-period or $H^\varphi_p$-period is explained by a short exact sequence of 1-motives: the period vector lies in the sub-motive and the form in the quotient, so vanishing periods receive a motivic classification (Theorem 6 for the Picard 1-motives of varieties).
  • Periods of motives whose generated categories admit no nontrivial morphisms are linearly independent; for instance, a nonzero $H^\varpi_p$-period of an abelian variety is linearly independent over the coefficient field from one of $\mathbb{G}_m$ (Corollary 6.1).
  • The depth-2 statement is optimal: for Kummer motives, the depth-1 formal period space differs from the depth-2 space, showing that genuine relations beyond bilinearity and functoriality exist and are exactly captured at depth 2 (Example 6.3).

Reading between the lines

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

  • The depth-stratified formalism suggests a hierarchy the paper does not develop: relations among periods attached to $k$-fold extensions of 1-motives should be governed by depth-$k$ versions of the subgroup theorem, with depths 1 and 2 as the first two rungs.
  • Because the canonical $\mathbb{Q}$-structures come from rational points of the formal $p$-divisible group rather than from algebraic classes in crystalline cohomology, the same template could define period conjectures for other mixed motives that admit a $p$-adic integration map.
  • A testable consequence of the depth-1 result is that for a Kummer motive with non-root-of-unity $g$ and good reduction at $p$, the $h_p$-periods should admit no nontrivial $\mathbb{Q}$-linear relations; numerically computing $p$-adic logarithms of powers of $g$ and testing their linear independence would probe Theorem 5 directly.
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 develops a p-adic integration theory for 1-motives with good reduction, constructs canonical Q-structures H^φ_p, H^ϖ_p, and hp on p-adic realizations from formal p-divisible groups, and introduces a depth-stratified formalism of period conjectures. Its main results (Theorems 4 and 5) claim that the H^ϖ_p- and H^φ_p-period conjectures hold at depth 2 and the hp-period conjecture holds at depth 1, relative to these Q-structures. The proofs rely on a p-adic analytic subgroup theorem for 1-motives (Theorem 2), which is derived from the Bertrand–Fuchs p-adic analytic subgroup theorem. The paper also includes examples and criteria for linear independence of p-adic periods.

Significance. If the central claims were established, the paper would be a valuable contribution to p-adic period theory: Theorem 1 generalizes Colmez–Fontaine integration to 1-motives, the construction of the Q-structures hp, H^φ_p, and H^ϖ_p is original, and the stratified depth formalism provides a new framework for linear relations among p-adic periods. The authors deserve credit for explicit constructions, for the careful statement of limitations (e.g., the unknown relation to André's p-adic periods), and for providing concrete examples. However, the main structural theorem (Theorem 2) and the supporting lemmas currently exhibit load-bearing gaps; without them, the period conjectures at depths 1 and 2 are not established.

major comments (4)
  1. [§5.2, proof of Theorem 2] The proof decomposes x ∈ H^φ_p(M) as x = u + v with u ∈ hp(M,K) and v ∈ V(M)⊗Cp, and then applies Proposition 5.1 to u+v ∈ Lie(G^♮)_Cp. Proposition 5.1 requires each u_i to lie in log_G(G(Q)_f) (or log_G(G(Q)) for semi-abelian G), i.e., to be the p-adic logarithm of a rational point over a finite extension. The argument only justifies that u is such a logarithm; it does not show that v, an arbitrary Cp-linear combination in the vector group V(M), lies in V(M)(K') for any finite extension K', nor that u+v is the logarithm of a point of G^♮. Consequently, the application of Theorem 3 (the p-adic analytic subgroup theorem) is unjustified, and the existence of H1 ⊆ G^♮ with u+v ∈ Lie(H1)_Cp is unsupported. Since Theorem 2 is the key input to Theorems 4, 5, and Proposition 6.1, this gap is load-bearing.
  2. [§5.2, construction of N in the case v ∉ V(M1)_Cp] In the proof of Theorem 2, for the case v ∉ V(M1)_Cp, the authors define N := G^∨/(K1 ∩ K2), where K1 is 'a subgroup of G^∨ whose Lie algebra is contained in Ann(v), possibly after extending scalars to Cp'. It is not shown that such a subgroup K1 exists as an algebraic subgroup over a finite extension of K; a Lie-algebra condition over Cp does not automatically yield an algebraic subgroup defined over the base field. It is also not demonstrated that the quotient N is a semi-abelian scheme, nor that the inclusions in diagrams (5.4) and (5.5) exist as claimed. The subsequent conclusion that x ∈ H^φ_p(M'_1) and Ann(x) ⊆ T^∨_dR(M'_2)_Cp therefore lacks support. This step is necessary for the full statement of Theorem 2, so the gap is load-bearing.
  3. [§5.1, proof of Proposition 5.1] The proof of Proposition 5.1 sets V := Ann Ann(u) ⊂ Lie(G)_Cp and then invokes Theorem 3, which is stated for a non-zero Q-linear subspace V ⊆ Lie(G). The proof does not explain how a Cp-subspace is replaced by a Q-subspace to which Theorem 3 applies, nor does it verify that the resulting algebraic subgroup H1 satisfies Ann(u) = coLie(H2)_Cp after using Lemma 5.1. Thus the reformulated subgroup theorem, Proposition 5.1, is not established as stated, independent of the lifting issue in Theorem 2.
  4. [§5.3, Lemma 5.2] Lemma 5.2 claims that for an admissible filtered isocrystal N with nonzero slopes and the stated filtration, the Frobenius translates of X generate N. The proof asserts 'Since N and Y have only positive slopes' without justification; the lemma only assumes nonzero slopes, which allows negative slopes. Moreover, the argument that N/Y contradicts admissibility uses the weak admissibility of N/Y, which is not proved. Since this lemma is used in the proof of Theorem 4 to conclude that ω = F^n(γ) for some γ in coLie(G) ∩ eN, the reduction from a vanishing H^ϖ_p-period to a vanishing H^φ_p-period is incomplete.
minor comments (5)
  1. [§4 header] The section title 'P-adic peirods of 1-motives' contains a typo; it should read 'P-adic periods of 1-motives'.
  2. [Example 4.1] The citation 'Hubber and Wüstholz' should be 'Huber and Wüstholz'.
  3. [§1, paragraph 7] The phrase 'and and providing' contains a duplicated 'and'.
  4. [Theorem 2 statement] The notation 'M n' in the exact sequence 0 → M1 → M n → M2 → 0 is ambiguous; it should be written M^{⊕ n} to indicate the direct sum of n copies of M.
  5. [§4.2] The symbol K is used both for the number field and for a p-adic completion in the same subsection, which is confusing; a distinct notation such as K_v would help.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the p-adic period conjectures are proven relative to explicitly constructed Q-structures using an external analytic subgroup theorem; the main weakness is an unproven lifting assertion, which is a correctness gap rather than a circular reduction.

full rationale

The paper's load-bearing derivation chain does not reduce to its own inputs by construction or by self-citation. The Q-structures hp(M), H^phi_p(M), and H^varpi_p(M) are explicitly defined in Definitions 4.7-4.9 from the p-adic logarithm on rational points, Fontaine's map, and the p-adic integration map, and the period conjectures at depths 1 and 2 are then proven as Theorems 4 and 5 rather than assumed. The central structural input, Theorem 2, is deduced from Proposition 5.1, whose proof invokes the external p-adic analytic subgroup theorem of Bertrand and Fuchs (Theorem 3, [Ber85, FP15]) together with standard structure theory of commutative algebraic groups. The reference list contains no self-citations by the present authors, so there is no self-citation load-bearing chain. The Huber-Wustholz result for classical 1-periods is cited as external independent support and reformulated as 'depth 1' in Example 4.1, which is a repackaging of a known theorem, not a circular derivation. The depth-2 formal period relations are defined by exact sequences and are shown to exhaust all relations via the subgroup theorem, which is genuine mathematical content. The only significant weakness is a proof gap in Section 5.2: the paper asserts without justification that for x = u + v with u in hp(M,K) and v in V(M) tensor C_p, the element u+v in Lie(G^#)_C_p lies in the image of the p-adic logarithm of a rational point of G^# over a finite extension of K, as required by Proposition 5.1. This is an omitted justification and a correctness risk, not a circular reduction, because the required lifting statement is neither an input assumption nor a renamed version of the theorem being proved. Accordingly, the paper is self-contained relative to its cited external theorem, and no circularity is present.

Assumptions & free parameters 0 free parameters · 5 assumptions · 5 invented entities

No numerical constants are fitted in this paper. The main external inputs are the p-adic analytic subgroup theorem, the crystalline-de Rham comparison, and Tate's Hodge-Tate theory. The newly introduced Q-structures are definitions rather than unexplained entities, but they lack independent external evidence.

assumptions (5)
  • domain assumption 1-motive M over a number field K has good reduction at p, i.e., extends to a 1-motive M over OK.
    All constructions in Section 3 and the Q-structures in Section 4.2 are only defined for 1-motives with good reduction at p.
  • standard math The p-adic analytic subgroup theorem of Bertrand and Fuchs (Theorem 3, [Ber85], [FP15]).
    Used as a black box in Proposition 5.1 and Theorem 2; the paper does not prove it.
  • standard math Crystalline-de Rham comparison isomorphism for 1-motives with good reduction, Theorem A' of [ABV05].
    Invoked in Remark 2.2 and Section 3.5 to identify TdR with Tcrys and to justify the crystalline integration pairing.
  • standard math Hodge-Tate decomposition for p-divisible groups and vanishing of Galois cohomology of Cp(n) for n not equal to 0 ([Tat67]).
    Used in Proposition 2.2 and Lemma 3.1 to compute invariants.
  • standard math Chevalley's structure theorem for commutative algebraic groups ([Con02]) and Dieudonne-Manin slope decomposition ([DO12]).
    Used in the proof of Theorem 2 and in the definition of eN(M).
invented entities (5)
  • H^phi_p(M)
    purpose: Q-subspace of Tp(M) tensor Cp defined as fiber product of hp(M,K) and Tp(M) tensor Cp over Lie(G) tensor Cp(1); used to define H^phi_p-periods.
    No external characterization is given; the paper states it is unknown whether these correspond to algebraic classes in H^2_crys (Section 1).
  • H^varpi_p(M)
    purpose: Q-structure in Tp(M) tensor B2 defined as pullback of H^phi_p(M) along the projection B2 to Cp; used for H^varpi_p-periods.
    Defined via the p-adic integration map; no independent handle is provided.
  • gH^varpi_p(M)
    purpose: Refined Q-structure intersecting fTp(M) tensor B2,rig; needed to prove the depth-2 conjecture.
    Defined using crystalline Frobenius; no independent evidence is given.
  • eN(M)
    purpose: Nonzero-slope part of the de Rham realization; used as the differential side of the H^varpi_p pairing.
    Defined via the Dieudonne-Manin decomposition; no independent characterization is offered.
  • hp(M)
    purpose: Q-structure generated by p-adic logarithms of rational points in the formal group; used for hp-periods.
    It is a rational structure from formal group points, but not characterized independently.

how reviews work

0 comments
Cite this review

Pith. "Pith review of P-adic Period Conjectures for 1-motives: Integration and Linear Relations." pith.science (2026). https://pith.science/paper/CBFEV2TC

@misc{pith2026250715020,
  author       = {Pith},
  title        = {Pith review of: P-adic Period Conjectures for 1-motives: Integration and Linear Relations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CBFEV2TC}},
  note         = {Machine review of arXiv:2507.15020}
}
abstract

We develop a $p$-adic theory of periods for 1-motives, extending the classical theory of complex periods into the non-archimedean setting. For 1-motives with good reduction over $p$-adic local fields, we construct a $p$-adic integration pairing that generalizes the Colmez--Fontaine--Messing theory for abelian varieties. This pairing is bilinear, perfect, Galois-equivariant, and compatible with the Hodge filtration, taking values in a quotient of the de Rham period ring. Building on this construction, we introduce a stratified formalism for $p$-adic periods, defining period spaces at various depths that capture increasingly refined relations among periods, and formulating conjectures that mirror the Grothendieck period conjecture in this new context. The classical period conjecture for 1-motives over $\bar{Q}$, previously resolved via the Huber--Wustholz analytic subgroup theorem, is recovered at depth 1 in our framework. For 1-motives over number fields with good reduction at $p$, we identify canonical $Q$-structures on the $p$-adic realizations arising from rational points of their associated formal $p$-divisible groups. Relative to these structures, we establish the conjectures at depths 1 and 2. A key tool is the development of a $p$-adic analytic subgroup theorem tailored to 1-motives, providing an analogue of Wustholz's classical result. Our work not only yields a $p$-adic counterpart to the Kontsevich--Zagier conjecture for 1-motives but also opens new pathways for the study of linear relations among $p$-adic periods and their transcendence properties.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    Crystalline realizations of 1-motives

    Fabrizio Andreatta and Luca Barbieri-Viale. Crystalline realizations of 1-motives. Mathematische Annalen , 331:111--172, 2005

  2. [2]

    Algebraic classes in mixed characteristic and Andr\'e's p-adic periods

    Giuseppe Ancona and Dragos Fratila. Algebraic classes in mixed characteristic and Andr\'e's p-adic periods. arXiv:2207.09213 , 2022. Version Number: 2

  3. [3]

    Une introduction aux motifs (motifs purs, motifs mixtes, p\'eriodes) , volume 17 of Panoramas et Synth\`eses

    Yves Andr\'e. Une introduction aux motifs (motifs purs, motifs mixtes, p\'eriodes) , volume 17 of Panoramas et Synth\`eses . Soci\'et\'e Math\'ematique de France, Paris, 2004

  4. [4]

    Groupes de G alois motiviques et p\'eriodes

    Yves Andr\'e. Groupes de G alois motiviques et p\'eriodes. Number 390, pages Exp. No. 1104, 1--26. 2017. S\'eminaire Bourbaki. Vol. 2015/2016. Expos\'es 1104--1119

  5. [5]

    Joseph A. Ayoub. Nouvelles cohomologies de Weil en caract \'e ristique positive. Algebra & Number Theory , 14:1747--1790, 2020

  6. [6]

    Cohomologie cristalline des schémas de caractéristique p 0

    Pierre Berthelot. Cohomologie cristalline des schémas de caractéristique p 0 . Lecture Notes in Mathematics , Vol . 407. Springer-Verlag, Berlin, 1974

  7. [7]

    Lemmes de zéros et nombres transcendants

    Daniel Bertrand. Lemmes de zéros et nombres transcendants. Séminaire Bourbaki , 1985:86, 1985. Publisher: Société Mathématique de France

  8. [8]

    Integration of One -forms on P -adic Analytic Spaces .( AM -162)

    Vladimir G Berkovich. Integration of One -forms on P -adic Analytic Spaces .( AM -162) . Princeton University Press, 2007

Show all 38 references
  1. [9]

    Deligne's duality for de Rham realizations of 1‐motives

    Alessandra Bertapelle. Deligne's duality for de Rham realizations of 1‐motives. Mathematische Nachrichten , 282(12):1637--1655, December 2009

  2. [10]

    A generalization of Coleman’s p-adic integration theory

    Amnon Besser. A generalization of Coleman’s p-adic integration theory. Inventiones Mathematicae , 142:397--434, 2000

  3. [11]

    Elements of Mathematics: Lie Groups and Lie Algebras

    Nicolas Bourbaki. Elements of Mathematics: Lie Groups and Lie Algebras. Pt. 1. Chapters 1-3 . Hermann, 1975

  4. [12]

    Notes on motivic periods

    Francis Brown. Notes on motivic periods. Communications in Number Theory and Physics , 2(3):557--655, 2017

  5. [13]

    Sharp de rham realization

    Luca Barbieri-Viale and Alessandra Bertapelle. Sharp de rham realization. Advances in mathematics , 222(4):1308--1338, 2009

  6. [14]

    Albanese and P icard 1-motives

    Luca Barbieri-Viale and Vasudevan Srinivas. Albanese and P icard 1-motives. M\'em. Soc. Math. Fr. (N.S.) , (87):vi+104, 2001

  7. [15]

    Construction des représentations p-adiques semi-stables

    Pierre Colmez and Jean-Marc Fontaine. Construction des représentations p-adiques semi-stables. Inventiones mathematicae , 140(1):1--44, 2000. Publisher: Berlin, Springer-Verlag

  8. [16]

    Périodes p-adiques des variétés abéliennes

    Pierre Colmez. Périodes p-adiques des variétés abéliennes. Mathematische Annalen , 292:629--644, 1992. Publisher: Springer-Verlag

  9. [17]

    A modern proof of Chevalley 's theorem on algebraic groups

    Brian Conrad. A modern proof of Chevalley 's theorem on algebraic groups. Journal-Ramanujan mathematical society , 17(1):1--18, 2002. Publisher: the Ramanujan mathematical society

  10. [18]

    Théorie de Hodge , III

    Pierre Deligne. Théorie de Hodge , III . Publications Mathématiques de l'Institut des Hautes Études Scientifiques , 44(1):5--77, 1974. Publisher: Springer

  11. [19]

    A simple proof of D ieudonn\'e- M anin classification theorem

    Yi Wen Ding and Yi Ouyang. A simple proof of D ieudonn\'e- M anin classification theorem. Acta Math. Sin. (Engl. Ser.) , 28(8):1553--1558, 2012

  12. [20]

    Courbes et fibrés vectoriels en théorie de Hodge p-adique

    Laurent Fargues, Jean Marc Fontaine, and Pierre Colmez. Courbes et fibrés vectoriels en théorie de Hodge p-adique . Number 406 in Astérisque. Société Mathématique de France, Paris, 2018. OCLC: on1085494962

  13. [21]

    Formes diff \'e rentielles et modules de tate des vari \'e t \'e s ab \'e liennes sur les corps locaux

    Jean-Marc Fontaine. Formes diff \'e rentielles et modules de tate des vari \'e t \'e s ab \'e liennes sur les corps locaux. Inventiones Mathematicae , 65(3):379--409, 1982

  14. [22]

    Le corps des périodes \(p\)-adiques

    Jean-Marc Fontaine. Le corps des périodes \(p\)-adiques. In Périodes \(p\)-adiques , number 223 in Astérisque, pages 59--111. Société Mathématique de France, 1994

  15. [23]

    Repr \'e sentations p -adiques semi-stables

    Jean-Marc Fontaine. Repr \'e sentations p -adiques semi-stables. In P \'e riodes p -adiques , volume 223 of Ast \'e risque , pages 113--184. Soci \'e t \'e Math \'e matique de France, 1994

  16. [24]

    Fuchs and D

    C. Fuchs and D. H. Pham. The p -adic analytic subgroup theorem revisited. p-Adic Numbers, Ultrametric Anal. Appl. , 7(2):143--156, 2015

  17. [25]

    p -adic multiple zeta values I

    Hidekazu Furusho. p -adic multiple zeta values I . Inventiones Mathematicae , 155(2):253--286, February 2004

  18. [26]

    On the de rham cohomology of algebraic varieties

    Alexander Grothendieck. On the de rham cohomology of algebraic varieties. Publications Math \'e matiques de l'Institut des Hautes \'E tudes Scientifiques , 29(1):95--103, 1966

  19. [27]

    Transcendence and linear relations of 1-periods , volume 227

    Annette Huber and Gisbert Wüstholz. Transcendence and linear relations of 1-periods , volume 227. Cambridge University Press, 2022

  20. [28]

    A note on formal periods

    Fritz Hörmann. A note on formal periods. arXiv:2106.03803 , 2021

  21. [29]

    Morrow, and Alexandru Zaharescu

    Adrian Iovita, Jackson S. Morrow, and Alexandru Zaharescu. On p -adic uniformization of abelian varieties with good reduction. Compositio Mathematica , 158(7):1449--1476, July 2022

  22. [30]

    Good Reduction of 1-Motives

    Tzanko Ivanov Matev. Good Reduction of 1-Motives . Ph.d. thesis, Universität Bayreuth, 2013. Available through the German National Library (DNB ID: 1060010070)

  23. [31]

    Algebraic Surfaces in Positive Characteristics : Purely Inseparable Phenomena in Curves and Surfaces

    Masayoshi Miyanishi and Hiroyuki Ito. Algebraic Surfaces in Positive Characteristics : Purely Inseparable Phenomena in Curves and Surfaces . World Scientific, August 2020

  24. [32]

    Commutative group schemes , volume 15

    Frans Oort. Commutative group schemes , volume 15. Springer, 1966

  25. [33]

    Algebraic groups and class fields , volume 117 of Graduate Texts in Mathematics

    Jean-Pierre Serre. Algebraic groups and class fields , volume 117 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1988

  26. [34]

    p- Divisible groups

    John T Tate. p- Divisible groups. In Proceedings of a Conference on Local Fields : NUFFIC Summer School held at Driebergen ( The Netherlands ) in 1966 , pages 158--183. Springer, 1967

  27. [35]

    Hodge structure on the fundamental group and its application to p -adic integration , volume 3

    Vadim Vologodsky. Hodge structure on the fundamental group and its application to p -adic integration , volume 3. 2003

  28. [36]

    Algebraische punkte auf analytischen untergruppen algebraischer gruppen

    Gisbert Wustholz. Algebraische punkte auf analytischen untergruppen algebraischer gruppen. Annals of Mathematics , 129(3):501--517, 1989

  29. [37]

    Bounds for the dimensions of p -adic multiple L -value spaces

    Go Yamashita. Bounds for the dimensions of p -adic multiple L -value spaces. Doc. Math. , pages 687--723, 2010

  30. [38]

    Yu.\ G. Zarhin. p -adic abelian integrals and commutative L ie groups , volume 81, pages 2744--2750. 1996. J. Math. Sci. Algebraic geometry, 4

Pith tools

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