Duality of analytic Hopf algebras and the Amice transform
Pith reviewed 2026-05-19 18:58 UTC · model grok-4.3
The pith
Analytic Hopf algebras for Amice duality can be built over any Banach ring without depending on a prime p.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct global versions of the analytic Hopf algebras used in the p-adic Fourier theory of Amice and Mahler over a general Banach ring, independently of the choice of prime p. This is done by generalising Kothe echelon and coechelon spaces to an arbitrary base Banach ring R and proving reflexivity and nuclearity results. We show how to define an analytic Hopf algebra structure on them and investigate their duality theory. The particular case of the Hopf algebra of analytic functions converging on the open unit disk around 1 and its dual is studied in detail. Amice duality is recovered from this case by base-change to a p-adic ring. Most notably, when R is the ring of integers with the t
What carries the argument
Generalised Kothe echelon and coechelon spaces over an arbitrary Banach ring R, which carry the analytic Hopf algebra structure once reflexivity and nuclearity are established.
If this is right
- Amice duality is recovered exactly by base change from the global construction to any p-adic ring.
- The Hopf algebra of analytic functions on the open unit disk around 1 and its dual admit a well-defined analytic Hopf structure over any Banach ring.
- When the base ring is the integers with the trivial norm, the resulting duality is global and independent of any prime.
- Duality theory for these analytic Hopf algebras can be investigated uniformly without fixing a prime in advance.
Where Pith is reading between the lines
- The same generalised spaces might support similar duality statements for other classes of analytic functions beyond the unit disk.
- One could test whether the construction yields new integral transforms when the base ring is the integers with the trivial norm.
- The independence from p suggests the theory could be compared directly with complex-analytic or archimedean counterparts without p-adic restrictions.
Load-bearing premise
The generalised Kothe echelon and coechelon spaces over an arbitrary Banach ring R satisfy the reflexivity and nuclearity properties needed to support an analytic Hopf algebra structure and its duality theory.
What would settle it
A concrete Banach ring R for which the corresponding generalised Kothe spaces fail to be reflexive or nuclear would block the construction of the analytic Hopf algebra and the claimed duality.
read the original abstract
We construct global versions of the analytic Hopf algebras used in the $p$-adic Fourier theory of Amice and Mahler over a general Banach ring, independently of the choice of prime $p$. This is done by generalising K\"othe echelon and coechelon spaces to an arbitrary base Banach ring $R$ and proving reflexivity and nuclearity results. We show how to define an analytic Hopf algebra structure on them and investigate their duality theory. The particular case of the Hopf algebra of analytic functions converging on the open unit disk around $1$ and its dual is studied in detail. Amice duality is recovered from this case by base-change to a $p$-adic ring. Most notably, when $R$ is the ring of integers with the trivial norm, we obtain a global analytic version of Amice duality that does not depend on $p$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs global versions of analytic Hopf algebras over an arbitrary Banach ring R by generalizing Köthe echelon and coechelon spaces, proves reflexivity and nuclearity for these spaces, equips them with an analytic Hopf algebra structure, and develops their duality theory. It examines in detail the case of analytic functions converging on the open unit disk around 1 and its dual, recovers Amice duality via base change to p-adic rings, and claims that the case R = ℤ with the trivial norm yields a global analytic Amice duality independent of p.
Significance. If the reflexivity and nuclearity results hold uniformly, including for the trivial norm, the work would provide a meaningful global extension of Amice-Mahler p-adic Fourier theory, allowing analytic Hopf algebra structures and dualities without fixing a prime. The base-change recovery of the classical case is a standard and clean approach that, if rigorously established, would be a useful contribution to analytic number theory and Hopf algebra duality.
major comments (1)
- [Reflexivity and nuclearity section] The reflexivity and nuclearity proofs for the generalized Köthe echelon and coechelon spaces (the section immediately following the generalization to arbitrary Banach rings R): these properties are load-bearing for the entire construction, especially the claim of a p-independent global Amice duality when R = ℤ equipped with the trivial norm. With the trivial norm the topology is discrete away from zero, so analytic convergence on the open unit disk reduces to formal power series; it is not immediately clear from the argument whether the spaces remain nuclear or whether the dual pairing stays perfect in the sense required for the analytic Hopf algebra structure and duality recovery. A concrete verification or counter-example check for this case would be needed to support the strongest claim.
minor comments (2)
- [Notation and definitions] The notation for the generalized echelon spaces could be introduced with a short comparison table or explicit example contrasting the classical p-adic case with the trivial-norm case to improve readability.
- A few references to prior work on Köthe spaces over non-archimedean rings appear to be missing; adding them would help situate the generalization.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback on our manuscript. We address the major comment below and will incorporate clarifications in the revised version.
read point-by-point responses
-
Referee: The reflexivity and nuclearity proofs for the generalized Köthe echelon and coechelon spaces (the section immediately following the generalization to arbitrary Banach rings R): these properties are load-bearing for the entire construction, especially the claim of a p-independent global Amice duality when R = ℤ equipped with the trivial norm. With the trivial norm the topology is discrete away from zero, so analytic convergence on the open unit disk reduces to formal power series; it is not immediately clear from the argument whether the spaces remain nuclear or whether the dual pairing stays perfect in the sense required for the analytic Hopf algebra structure and duality recovery. A concrete verification or counter-example check for this case would be needed to support the strongest claim.
Authors: We appreciate the referee's observation that the trivial norm case merits explicit attention, as it is a boundary case for the general theory. The reflexivity and nuclearity arguments in the section following the generalization to arbitrary Banach rings R are formulated uniformly and rely only on the seminorm definitions and the Banach ring axioms; they do not require the norm to be non-trivial or non-archimedean. When the norm on ℤ is trivial, the resulting spaces reduce to formal power series (with the discrete topology away from zero), yet the Schauder basis and approximation estimates used to establish nuclearity continue to hold verbatim, and the biduality argument for reflexivity likewise applies without modification. The dual pairing remains perfect because it is constructed via the same continuous linear functionals that are well-defined under the trivial norm. To make this transparent, we will add a short explicit verification subsection (or remark) confirming nuclearity and perfect duality for R = ℤ with the trivial norm, thereby strengthening the support for the p-independent Amice duality claim. revision: yes
Circularity Check
No significant circularity in generalization of Köthe spaces and recovery of Amice duality
full rationale
The paper generalizes Köthe echelon and coechelon spaces to arbitrary Banach rings R, directly proves reflexivity and nuclearity, defines analytic Hopf algebra structures on them, and recovers Amice duality via base change to p-adic rings. The trivial-norm case on ℤ is treated as a direct instance of these proofs rather than a fitted or self-defined reduction. No load-bearing steps reduce by construction to inputs, and no self-citation chains are invoked to justify uniqueness or core properties. The derivation remains self-contained against the stated assumptions.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Banach rings form a suitable base category for defining generalized echelon and coechelon spaces
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem (See Theorems 2.9 and 2.15). Suppose that for every j∈N the sum ∞∑n=0 ρⱼ(n)/ρⱼ₊₁(n) converges. Then λ(ρ) and κ(ρ) are nuclear and reflexive.
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Most notably, when R is the ring of integers with the trivial norm, we obtain a global analytic version of Amice duality that does not depend on p.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
Dagger geometry as Banach algebraic geometry , journal =. 2016 , issn =. doi:https://doi.org/10.1016/j.jnt.2015.10.023 , author =
-
[3]
Oren Ben-Bassat and Kobi Kremnizer , journal=. Fr. 2023 , url=
work page 2023
-
[4]
Nuclearity in the category of complete semilattices , journal =. 1989 , issn =. doi:https://doi.org/10.1016/0022-4049(89)90028-5 , author =
-
[5]
Bambozzi, Federico and Kremnizer, Kobi , title =. 2024 , journal =. doi:https://doi.org/10.1112/jlms.12855 , abstract =
-
[6]
Grothendieck, A. and Verdier, J. L. Prefaisceaux. Th \'e orie des Topos et Cohomologie Etale des Sch \'e mas. 1972
work page 1972
-
[7]
Federico Bambozzi and Kobi Kremnizer , title =
-
[8]
Schneiders, Jean-Pierre , title =. M. 1999 , pages =
work page 1999
-
[9]
Some Special Classes of Locally Convex Spaces
K \"o the, Gottfried. Some Special Classes of Locally Convex Spaces. Topological Vector Spaces I. 1983. doi:10.1007/978-3-642-64988-2_6
-
[10]
Colmez, Pierre , title =. Ast. 2010 , pages =
work page 2010
-
[11]
Proceedings of the Conference on
Amice, Yvette , title =. Proceedings of the Conference on. 1978 , pages =
work page 1978
- [12]
- [13]
- [14]
-
[15]
A Perspective on the Foundations of Derived Analytic Geometry , author=. 2024 , eprint=
work page 2024
-
[16]
Localising invariants in derived bornological geometry , author=. 2025 , eprint=
work page 2025
- [17]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.