AN INFINITESIMAL p-ADIC MULTIPLICATIVE MANIN-MUMFORD
CONJECTURE

arXiv:1607.01428v1 [math.NT] 5 Jul 2016

VLAD SERBAN
Abstract. Our results concern analytic functions on the open unit poly-disc in Cn
p centered
at the multiplicative unit and we prove that such functions only vanish at finitely many ntuples of roots of unity (ζ1 − 1, . . . , ζn − 1) unless they vanish along a translate of the formal
multiplicative group. For polynomial functions, this follows from the multiplicative ManinMumford conjecture. However we allow for a much wider class of analytic functions; in
particular we establish a rigidity result for formal tori. Moreover, our methods apply to
Lubin-Tate formal groups beyond just formal Gm and we extend the results to this setting.

1. Introduction
The classical Manin-Mumford Conjecture, proven by M. Raynaud [Ray83], states that for
an algebraic curve C of genus greater than one defined over a number field K together with an
embedding defined over K of C into its Jacobian, there are only finitely many torsion points
of the Jacobian on the curve, i.e. C(K) ∩ Jac(C)(K)tor is a finite set. One may ask a similar
question replacing the Jacobian by an abelian variety, or more generally a commutative group
variety G. The case of G = Gnm , the so-called multiplicative Manin-Mumford Conjecture, was
already proven by S. Lang in [Lan60, Lan65]. It states that if an irreducible curve C embedded
in Gnm contains infinitely many torsion points, it must be a translate of Gm by a torsion point.
Considering the case of n = 2 for ease of exposition, this amounts to the following explicit
statement on polynomials:
Proposition 1.1 ([Lan60], p.28). Let C be an absolutely irreducible plane curve given by the
zero set of a polynomial f (X, Y ) = 0. Assume C passes through the multiplicative origin and
f (ζ, ξ) = 0
for infinitely many pairs of roots of unity (ζ, ξ). Then f (X, Y ) = X m − Y l or f (X, Y ) =
X m Y l − 1 for a pair of nonnegative integers (m, l) 6= (0, 0).
The proof relies on the algebraic properties of the polynomial f . However, in the p-adic
setting, we obtain the following statement for power series as a special case of our results:
Proposition 1.2. Let OF denote the ring of integers of a finite extension F/Qp and φ ∈
OF [[X, Y ]] an irreducible power series passing through the origin. Then if
φ(ζ − 1, ξ − 1) = 0
for infinitely many pairs of p-power roots of unity (ζ, ξ), after possibly switching X and Y
P
m···(m−i+1) i
X.
there is m ∈ Zp so that φ = (X + 1)m − (Y + 1), where (X + 1)m = 1 + ∞
i=1
i!
2010 Mathematics Subject Classification. 11S31, 13H05, 13F25, 14L05.
Corresponding Author: Vlad Serban, Northwestern University, 2033 Sheridan Road, Evanston, IL, United
States. Email: serban@math.northwestern.edu.
1

2

VLAD SERBAN

Denoting S = {ζ − 1|ζ ∈ µp∞ (Qp )}, we consider more generally the set of n-tuples S n . We
prove the following and deduce Proposition 1.2 when n = 2 and I = (φ):
Theorem 1.3. Let A = OF [[X1 , . . . , Xn ]]/I, where OF denotes the ring of integers of a finite
extension of Qp . Then exactly one of the following occurs:
b m by a torsion point of G
bn .
(1) The formal scheme Spf(A) contains a translate of G
m
(2) There exist an explicit constant CI > 0 depending only on I and the choice of p-adic
absolute value | − |p , as well as a finite set F ⊂ S n such that for any φ ∈ I
|φ(ζ1 − 1, . . . , ζn − 1)|p > Cφ
if (ζ1 − 1, . . . , ζn − 1) ∈ S n \ F.
Power series φ ∈ OF [[X1 , . . . , Xn ]] give rise to analytic functions on the open p-adic unit
polydisk Bn (e, Cp ) centered at e = (1, . . . , 1) by evaluating points Q ∈ Bn (e, Cp ) at Q−e. The
only roots of unity on the open disk have p-power order. The proof of Theorem 1.3, given in
Section 2, relies on the fact that any infinite sequence in S n must approach the boundary of
the polydisk since the normalized valuation is vp (ζpk − 1) = 1/(pk − pk−1 ) when ζpk has exact
b n on the torsion
order pk . We also utilize the action of automorphisms of the formal group G
m
n
points in S together with the algebraic properties of formal power series rings. In fact, our
b m by
methods can be used to prove that Theorem 1.3 holds in greater generality replacing G
n
a Lubin-Tate formal group FLT and replacing S by n-tuples of torsion points of FLT . This
is shown in Section 3.
Many generalizations of the Manin-Mumford Conjecture are known by work of S. Zhang
[Zha95, Zha98], E. Ullmo [Ull98] and others, however to our knowledge these infinitesimal padic strengthenings have not previously been considered. Rather, they are related to rigidity
results appearing in H. Hida’s work which we discuss in Section 2.1. We remark that Theorem
1.3 makes the additional claim that there cannot be infinitely many torsion points arbitrarily
close to Spf(A)(Cp ) ⊂ Bn (0, Cp ) unless for a specific geometric reason. This is a purely p-adic
phenomenon, for instance torsion points on abelian varieties are dense even in the complex
analytic topology. It was observed by J. Tate and F. Voloch [TV96] that given a linear form
f vanishing at Z(f ) and a choice of p-adic absolute value | − |p , there is a uniform bound ǫf
such that for any n-tuple of roots of unity,
f (ζ1 , . . . , ζn ) 6= 0 ⇒ |(ζ1 , . . . , ζn ) − P |p > ǫf ∀P ∈ Z(f ).
They formulated a general conjecture for algebraic varieties which was proven by T. Scanlon
[Sca98]. Our results exhibit the same phenomenon for formal power series and p-power roots
of unity, whereas in her thesis A. Neira [Nei02] proves this for analytic functions on the
closed disk. In this case one need not restrict to p-power roots of unity. Finally, P. Monsky
[Mon81] studied such p-adic power series rings with applications to Iwasawa theory in mind
and [Mon81, Section 2] established some of the results used in this paper.
The rings of analytic functions we consider are related to many interesting arithmetic
objects. They occur naturally as completed group rings such as Zp [[Znp ]] ∼
= Zp [[X1 , . . . , Xn ]],
Iwasawa theory studies the ideals cut out by p-adic L-functions inside these rings, and they
are completed local rings at smooth points of schemes over OF . Our initial interest in the
problem was motivated by the study of families of p-adic automorphic forms parametrized
by weight. The spaces of p-adic weights are up to connected components formal power series
rings and one is led to consider a slightly larger class of special points corresponding to weights

AN INFINITESIMAL p-ADIC MULTIPLICATIVE MANIN-MUMFORD CONJECTURE

3

of classical automorphic forms. The applications to this setting constitute the content of a
subsequent paper.
2. Manin-Mumford for formal Gm
Throughout this paper, we fix a prime p. We denote by OF the ring of integers of a finite
extension F of the p-adic numbers Qp and denote by vp the valuation on the p-adic complex
numbers Cp , normalized so that vp (p) = 1.
2.1. Formal schemes and rigidity results. We review some relevant rigidity theorems
found in the literature. Over a field k of characteristic p, C-L. Chai [Cha08] proves a rigidity
result for p-divisible formal groups, which is used in his work together with F. Oort on the
Hecke Orbit Conjecture for Siegel modular varieties (see e.g. [Cha05]). Considering the torus
b n = Spf(k[[X1 , . . . , Xn ]]),
G
m/k

∼ Zn denote the group of cocharacters, so that GL(X∗ ) ∼
b n ) = Homk (G
b m, G
bn ) =
let X∗ (G
=
m
m
p
n
GLn (Zp ) naturally acts on the torus. One has from [Cha08, Theorem 4.3]:
b n a closed formal subscheme, equidimensional
Theorem 2.1 (Chai). Let k = Fp and Z ⊂ G
m/k
of dimension r. If Z is stable under the diagonal action for all u ∈ U in an open subgroup
n
of (Z×
p ) ⊂ GL(X∗ ), then there are finitely many Zp -direct summands T1 , . . . , Ts of rank r of
b n ) so that
X∗ (G
m
s
[
b m/k ⊗ Ti .
G
Z=
i=1

Hida uses Chai’s rigidity results [Hid10, Section 3.4] and establishes characteristic zero
versions thereof in [Hid11, Lemma 1.2] and [Hid14, Section 4]. He proves:
Lemma 2.2 ([Hid14], Lemma 4.1). Let Z = Spf(OF [[X1 , . . . , Xn ]]/I) be a closed formal
b n that is flat and geometrically irreducible. Suppose there is an open subgroup
subscheme of G
m
×
U ⊆ Zp such that Z is stable under the action (1 + Xi ) 7→ (1 + Xi )u for all u ∈ U . If there
exists a subset Ω ⊆ Z(Cp ) ∩ µnp∞ (Cp ) Zariski dense in Z, then Z is the translate of a formal
subtorus by a torsion point in Ω.
In particular, he obtains a rigidity result for formal power series by applying Lemma 2.2
to their graph in [Hid14, Corollary 4.2]:
Corollary 2.3 (Hida). Let φ ∈ OF [[X1 , . . . , Xn ]] be a power series such that there is a Zariskib n (Cp ) with φ(ζ −1) ⊆ µp∞ (Cp ) for all ζ ∈ Ω. Then there exist
dense subset Ω ⊂ µnp∞ (Cp ) in G
m
Q
ζ0 ∈ µp∞ (OF ) and N = (N1 , . . . , Nn ) ∈ Znp such that φ(X1 , . . . , Xn ) = ζ0 ni=1 (1 + Xi )Ni .
Writing A = OF [[X1 , . . . , Xn ]]/I and assuming Spf(A) is geometrically irreducible, we
therefore consider the following statements:
b n is the translate of a formal subtorus by a torsion
(I) The formal subscheme Spf(A) ⊂ G
m
point.
b n on Spf(A)(Qp ).
(II) There is a Zariski-dense set of torsion points of G
m
b n is stable under the action of an open subgroup U
(III) The formal subscheme Spf(A) ⊂ G
m
of the diagonal in the cocharacters GL(X∗ ) ∼
= GLn (Zp ).

4

VLAD SERBAN

The first statement implies the two others. Chai’s result is a version of (III) ⇒ (I) in characteristic p. In characteristic zero, Lemma 2.2 shows that (II & III) ⇒ (I), whereas Corollary
2.3 shows in some special cases that (II) ⇒ (I). In Proposition 2.9 we prove a vanishing result
for arbitrary formal power series and deduce in all generality that (II) ⇒ (I), see in particular
Corollary 2.16. To this end, we adopt the point of view of “unlikely intersection” results such
as the Manin-Mumford and André-Oort Conjectures.
2.2. Manin-Mumford formulation. We use terminology inspired by the following formulation in [Ull07, Section 3.1.] of the classical Manin-Mumford Conjecture:
Let X/C be an algebraic variety. Define a set of special subvarieties SX to be the following
irreducible subvarieties of X:
• If X is an abelian variety, the special subvarieties are the translates by torsion points
of abelian subvarieties of X.
• If X is a torus, the special subvarieties are given by the products of torsion points
with subtori.
A special point is a zero-dimensional special subvariety. The conjecture may then simply be
stated as:
Conjecture (Manin-Mumford). An irreducible component of the Zariski closure of a set of
special points is a special subvariety.
We are interested in the Qp -points on Spec(OF [[X1 , . . . , Xn ]]) with coordinates:
S n = {(ζ1 − 1, . . . , ζn − 1)|ζi ∈ µp∞ (Qp )}
b n . For A = OF [[X1 , . . . , Xn ]]/I
which are precisely the torsion points of the formal Lie group G
m
we define the set of special points SA ⊂ Spec(A) to be the points of S n lying on Spec(A), i.e.
prime ideals p = (X1 + 1 − ζ1 , . . . , Xn + 1 − ζn ) containing I.
b n is the product of a
We want Spec(A) to be a special subscheme exactly when Spf(A) ⊂ G
m
b n . Note that endomorphisms of the formal group law
formal subtorus by a torsion point of G
m
act on a choice of coordinates via


n
n
Y
Y
(Xj + 1)an,j − 1
(X1 , . . . , Xn ) 7→  (Xj + 1)a1,j − 1, . . . ,
j=1

j=1

b n ).
for matrices (ai,j ) ∈ Mn (Zp ) ∼
= End(G
m
For any choice of coordinates, the set of special subschemes should account for twists by
automorphisms in GLn (Zp ). We therefore make the following definitions:
Definition 2.4.
(1) A multiplicative change of variables on OF [[X1 , . . . , Xn ]] is given by possibly swapping
the roles of Xi and Xj and a series of transformations of the form:
Y
Xi 7→ (1 + Xi )
(1 + Xj )Bj − 1
1≤j<i

for 1 ≤ i ≤ n, where Bj ∈ Zp .
(2) A special (multiplicative) subscheme of Spec(OF [[X1 , . . . , Xn ]]) is a closed affine subscheme that after a multiplicative change of variables is a finite union of intersections
of hyperplanes of the form Xi = ζi − 1 for ζi ∈ µp∞ .

AN INFINITESIMAL p-ADIC MULTIPLICATIVE MANIN-MUMFORD CONJECTURE

5

We can now state the p-adic generalization as follows:
Theorem 2.5. Let A = OF [[X1 , . . . , Xn ]]/I. An irreducible component of the Zariski closure
of the special points SA on Spec(A) is a special multiplicative subscheme.
We also establish the stronger result in this p-adic setting:
Theorem 2.6. Let A = OF [[X1 , . . . , Xn ]]/I. Then exactly one of the following occurs:
(1) The affine scheme Spec(A) contains a positive dimensional special multiplicative subscheme.
(2) There exist an explicit constant CI > 0, depending only on I and the choice of p-adic
absolute value | − |p on Bn (0, Cp ), as well as a finite set F ⊂ S n such that for any
φ ∈ I,
|φ(ζ1 − 1, . . . , ζn − 1)|p > Cφ
if (ζ1 − 1, . . . , ζn − 1) ∈ S n \ F.
2.3. Almost vanishing loci. Let π denote a uniformizer for OF and Fq = OF /πOF the
residue field. For any ǫ > 0 and any ideal I ⊂ OF [[X1 , . . . , Xn ]], we consider the special
points lying close to Spec(OF [[X1 , . . . , Xn ]]/I):
SI (ǫ) := {(ζ1 − 1, . . . , ζn − 1) ∈ Ωn such that ∀φ ∈ I, |φ(ζ1 − 1, . . . , ζn − 1)|p < ǫ}.
We note that OF [[X1 , . . . , Xn ]] is a Noetherian ring and that it suffices to check the conditions
on the finitely many generators of I. If I = (φ), we simply write Sφ (ǫ).
b n transform SI (ǫ). In particular, performing a multiplicative
The endomorphisms of G
m
b n as follows:
change of variables on OF [[X1 , . . . , Xn ]]/I acts on SI (ǫ) via an automorphism of G
m



 

ζ1 − 1
ζ1 − 1
1
0 ... 0
B21


  ζ2 − 1 
 B21
ζ
ζ
−1
1
.
.
.
0
2 1



 

→
7
:
(2.1)





 ..
.
.
.
..
.
.
.
.
.


 .
. .  . 
.
.
Q
Bni
ζn − 1
Bn1 Bn2 . . . 1
ζn 1≤i<n ζi − 1
Since our goal is to understand when SI (ǫ) can be infinite, we may after twisting by an
automorphism arrange for an explicit subsequence of special points:
Lemma 2.7. Assume that SI (ǫ) is infinite for some ǫ > 0. Then after a multiplicative change
of variables there is a sequence {ζk }k∈N ∈ µp∞ for which
(ζk − 1, ζka2k − 1, ζka2k a3k − 1, . . . , ζka2k a3k ...ank − 1) ∈ SI (ǫ)
and:
• The set {ζk ∈ µp∞ |k ∈ N} is infinite.
• The set {ζka2k a3k ...ank |k ∈ N} is finite or each sequence {aik }k∈N ∈ Zp converges to zero
p-adically.
Proof. We may swap the roles of the indeterminates Xi so that infinitely often elements
(ζ1 − 1, . . . , ζn − 1) ∈ SI (ǫ) have decreasing orders, or equivalently vp (ζi − 1) ≤ vp (ζi+1 − 1).
Therefore there is an infinite sequence {ζk ∈ µp∞ |k ∈ N} with
(ζk − 1, ζka2k − 1, ζka2k a3k − 1, . . . , ζka2k a3k ...ank − 1) ∈ SI (ǫ),

6

VLAD SERBAN

for exponents {aik }k∈N ∈ Zp . By compactness of Zp , we may after passing to a subsequence
assume that the exponents aik converge p-adically to Ai ∈ Zp . We may now find Bi,j ∈ Zp
with
  
 

1
1
1
0 ... 0
  A2  0
 B21
1
.
.
.
0
  
 

 =  .. 
 ..
..
..  · 
..
..
 .


 .
. .
.
.
Bn1 Bn2 . . .

1

A2 · · · An

0

and twist by the corresponding multiplicative change of variables. It follows from (2.1) that
all the exponent sequences a2k . . . ajk converge to zero, in particular A2 = 0. Now apply the
same procedure to the (n − 1) last coordinates
(ξk − 1, ξka3k − 1, . . . , ξka3k ...ank − 1)
where ξk = ζka2k to arrange for A3 = 0. Iterating this process, we get Ai = 0 for 2 ≤ i ≤ n. 
b n on the other hand satisfies:
The non-invertible multiplication-by-p endomorphism of G
m

Lemma 2.8. Assume (ζ1 − 1, . . . , ζn − 1) ∈ SI (ǫ) for some ǫ ≤ |π|p . Then
(ζ1p − 1, . . . , ζnp − 1) ∈ SI (ǫp ).
Proof. This follows from evaluating at roots of unity the congruence
φ((X1 + 1)p − 1, . . . , (Xn + 1)p − 1) ≡ φ(X1 , . . . , Xn )p

mod π

for functions φ ∈ I.



We turn to the proof of the general rigidity result for power series:
Proposition 2.9. Let φ ∈ OF [[X1 , . . . , Xn ]] be a power series. Then exactly one of the
following occurs:
(1) After a multiplicative change of variables, there are fixed (ξ2 − 1, . . . , ξn − 1) ∈ S n−1
such that φ(s, ξ2 − 1, . . . , ξn − 1) = 0 for all s ∈ B(0, Cp ).
(2) There exist a constant Cφ > 0 and a finite set Fφ such that for all (ζ1 −1, . . . , ζn −1) ∈
S n − Fφ there is a lower bound
|φ(ζ1 − 1, . . . , ζn − 1)|p ≥ Cφ .
The proof proceeds by induction and the following lemma deals with the base case n = 1.
Lemma 2.10. Let φ ∈ OF [[X]] be a power series and {rk }k∈N ∈ mCp = B(0, Cp ) be a sequence
so that
|φ(rk )|p < ǫ
for some 0 ≤ ǫ < 1. If vp (rk ) → 0 then φ ∈ πOF [[X]].
P
n
Proof. Assume φ 6∈ πOF [[X]]. Writing φ = ∞
n=0 an X , let M be the smallest integer such
that vp (aM ) = 0. Then, provided k is large enough so that vp (rk ) < vp (π), we have
vp (φ(rk )) = vp (aM rkM ) = M vp (rk )
However, the right hand side becomes arbitrarily small, which is a contradiction.



The next lemma is crucial and provides the induction step in our proof. It puts a strong
restriction on the subsets of S n that can be realized as Sφ (ǫ) for some φ ∈ OF [[X1 , . . . , Xn ]].

AN INFINITESIMAL p-ADIC MULTIPLICATIVE MANIN-MUMFORD CONJECTURE

7

Lemma 2.11. For any power series φ ∈ OF [[X1 , . . . , Xn ]], if
(ζk − 1, ζka2k − 1, . . . , ζka2k a3k ...ank − 1) ∈ Sφ (p−(1−c)vp (π) ),
where 0 ≤ c < 1 is a constant and each {aik }k∈N ∈ Zp converges to zero for an infinite
sequence {ζk }k∈N ∈ µp∞ , then either:
(1) the sequence {ζka2k a3k ...ank }k∈N belongs to a finite set of roots of unity or
(2) the power series φ ∈ πOF [[X1 , . . . , Xn ]].
Proof. We proceed by induction. If n = 1 the result follows from Lemma 2.10. For arbitrary
n, let ck denote the order of ζka2k a3k ...ank . Assume the set {ζka2k a3k ...ank |k ∈ N} is infinite, then
the same is true of {ck |k ∈ N}. We want to show φ ∈ πOF [[X1 , . . . , Xn ]]. Suppose not; there
is then a largest integer M with XnM dividing the reduction φ̄ ∈ Fq [[X1 , . . . , Xn ]] modulo π.
We choose ψ ∈ OF [[X1 , . . . , Xn ]] so that
φ(X1 , . . . , Xn ) ≡ XnM ψ(X1 , . . . , Xn ) mod π.
Since vp (ζka2k a3k ...ank − 1) becomes arbitrarily small, after passing to a subsequence
(ζk − 1, ζka2k − 1, . . . , ζka2k a3k ...ank − 1) ∈ Sψ (p−(1−c/2)vp (π) )
for infinitely many ζk ∈ µp∞ . It follows from Lemma 2.8 that:
ck a2k ...a(n−1)k

(ζk , ζkck a2k , . . . , ζk

, 0) ∈ Sψ (p−(1−c/2)vp (π) ).

ck a2k a3k ...a

(n−1)k
By definition of ck the set {ζk
|k ∈ N} consists of primitive pvp (ank ) -roots of
unity. Since ank 6= 0 infinitely often by assumption, the set is infinite. Moreover the exponent
sequence {a′2k := ck · a2k }k∈N still converges to zero. Therefore by induction

ψ(X1 , . . . , Xn−1 , 0) ∈ πOF [[X1 , . . . , Xn−1 ]].
We may write ψ(X1 , . . . , Xn ) = ψ(X1 , . . . , Xn−1 , 0) + Xn θ(X1 , . . . , Xn ) for some power series
θ ∈ OF [[X1 , . . . , Xn ]], so that ψ ≡ Xn θ mod π. This results in the congruence
φ(X1 , . . . , Xn ) ≡ XnM +1 θ(X1 , . . . , Xn ) mod π,
which contradicts the maximality of M .



We now prove the main result of this section.
Proof of Proposition 2.9. We proceed by induction on n. Assume that for any integer M ≥ 1
M
the set Sφ (p−vp (π ) ) is infinite. If n = 1 it follows from the Weierstrass Preparation Theorem
or Lemma 2.10 that φ vanishes identically. For n > 1, after applying Lemma 2.7 we conclude
that there are infinitely many ζk ∈ µp∞ for which
(ζk − 1, ζka2k − 1, . . . , ζka2k a3k ...ank − 1) ∈ Sφ (p−M vp (π) )
for all M . By Lemma 2.11 the sequence {ζka2k a3k ...ank }k∈N must belong to a finite set of roots
of unity. Thus there is a fixed ξ ∈ µp∞ such that
|φ(X1 , . . . , Xn−1 , ξ − 1)|p
is arbitrarily small for infinitely many roots of unity in S n−1 . We conclude by applying our
induction hypothesis to φ(X1 , . . . , Xn−1 , ξ − 1) ∈ OF [ξ] [[X1 , . . . , Xn−1 ]].

We obtain in the same way:
Proof of Theorem 2.6. The ideal I ⊂ OF [[X1 , . . . , Xn ]] is finitely generated. Writing I =
(φ1 , . . . , φd ), we run the proof above for the d generators simultaneously.


8

VLAD SERBAN

When n = 2, we get the explicit formulation:
Proposition 2.12. Let φ ∈ OF [[X, Y ]] be an irreducible power series passing through the
origin. If
φ(ζ − 1, ξ − 1) = 0
for infinitely many pairs of p-power roots of unity (ζ, ξ), then
φ = (X + 1)m − (Y + 1)
for some m ∈ Zp , after possibly switching the roles of X and Y .
Proof. After possibly switching the roles of X and Y , it follows from Lemmas 2.10 and 2.7
that there are fixed m ∈ Zp and ξ ∈ µp∞ such that φ(X, (Y + 1)(X + 1)m − 1) vanishes at
(ζk − 1, ξ − 1) for an infinite sequence {ζk }k∈N . We deduce that
φ(ζk − 1, ξζkm − 1) = 0
for an infinite sequence {ζk }k∈N . Over OF [ξ] we may then write
φ(X, Y ) = φ(X, ξ(X + 1)m − 1) + (ξ(X + 1)m − (Y + 1))G(X, Y )
for some power series G(X, Y ). Since the power series H(X) := φ(X, ξ(X + 1)m − 1) vanishes
at infinitely many points {ζk − 1}k∈N it follows that H = 0 and thus
(2.2)

φ(X, Y ) = (ξ(X + 1)m − (Y + 1))G(X, Y )

for some G(X, Y ) ∈ OF [ξ] [[X, Y ]]. Taking conjugates under the group Gal(F [ξ]/F ) of order
g in (2.2), it follows that



Y
Y
(2.3)
φ(X, Y )g = 
((X + 1)m − σ(ξ)(Y + 1)) 
Gσ (X, Y )
σ∈Gal(F [ξ]/F )

σ∈Gal(F [ξ]/F )

where Gσ (X, Y ) is obtained from G by acting on the coefficients. The two factors on the right
hand side of (2.3)
Q have coefficients in OF . Since φ is irreducible, it must be an irreducible
factor of φ = σ∈Gal(F [ξ]/F )((X + 1)m − σ(ξ)(Y + 1)). But requiring φ(0, 0) = 0 forces
ξ = g = 1 which shows that φ(X, Y ) = (X + 1)m − (Y + 1), as desired.

2.4. Geometric statements. We are interested in irreducible components Z of the Zariski
closure of the set of special points SA on A = OF [[X1 , . . . , Xn ]]/I for I a non-trivial ideal.
As irreducible special subschemes correspond to products of a formal subtorus with a torsion
b n , their dimension should be the dimension of the subtorus. While one has to be
point of G
m
careful with dimensions in our setting as the ring of coefficients is one-dimensional, it follows
from the definitions of Z that (π) ⊂ OF is never an associated prime. The codimension of Z
can be read off on the set of special points:
Lemma 2.13. Let Z be an irreducible component of the Zariski closure of SA and let SZ
denote the set of special points lying on Z. Then Z has codimension the maximum number r
b nm ) ∼
of columns with finite projections in the Aut(G
= GLn (Zp )-orbit of SZ .

Proof. The inequality codim(Z) ≥ r is straightforward: if r coordinates have finite projections
we may cover SZ by finitely many sets of the form S r × (ξ1 − 1) × · · · × (ξn−r − 1). Their
Zariski closure are codimension r hyperplanes. We proceed to show codim(Z) ≤ r. We may

AN INFINITESIMAL p-ADIC MULTIPLICATIVE MANIN-MUMFORD CONJECTURE

9

assume codim(Z) ≥ 1 and n > r. By definition of r, after a multiplicative change of variables
as in Lemma 2.7 we may assume there are sequences (ζk )k∈N and (aik )k∈N with
S0 := {(ζk − 1, ζka2k − 1, ζka2k a3k − 1, . . . , ζka2k a3k ...ank − 1)|k ∈ N} ⊆ SZ
a2k ···a

(n−r)k
and the projection {ζk
− 1|k ∈ N} to coordinate (n − r) of S0 is an infinite set.
′
Let r ≤ r be such that coordinate (n − r ′ ) of S0 is the last one with infinite projection. In
particular, there is a height r ′ prime ideal p0 = (Xn−r′ +1 − ξn−r′ +1 , . . . , Xn − ξn ) of Z for
′
some fixed roots of unity (ξn−r′ +1 , . . . , ξn ) ∈ µrp∞ . Suppose codim(Z) > r. Thus we may find
a height r + 1 prime ideal p strictly containing p0 and pick f ∈ p that is not in (π, p0 ). Then

f (X1 , . . . , Xn−r′ , ξn−r′ +1 − 1, . . . , ξn − 1) ∈ OF [ξn−r′ +1 ,...,ξn ] [[X1 , . . . , Xn−r′ ]] 6= 0
and we may apply Lemma 2.11 to f (X1 , . . . , Xn−r′ , ξn−r′ +1 − 1, . . . , ξn − 1), whence the projection to coordinate (n − r ′ ) of S0 is a finite set, a contradiction.

We now prove the geometric formulation of our generalization of the multiplicative ManinMumford Conjecture:
Theorem 2.14. Let A = OF [[X1 , . . . , Xn ]]/I. An irreducible component of the Zariski closure
of the special points SA on Spec(A) is a special multiplicative subscheme.
Proof. We denote by Z an irreducible component of the Zariski closure of SA and by SZ the
special points on Z. We apply a multiplicative change of variables realizing r = codim(Z) as
the number of columns of the set SZ with finite projection by Lemma 2.13. There are then
finitely many sets Hr,i = S n−r × (ξi,n−r+1 − 1) × · · · × (ξi,n − 1) with
SZ ⊂

f
[

Hr,i .

i=1

S
Therefore by definition Z ⊂ fi=1 Zr,i , where Zr,i denotes the Zariski closure of Hr,i . Since
the Zr,i are irreducible special multiplicative subschemes of the same codimension as Z, it
must be that Z = Zr,i for some i, as desired.

In particular, we note that:
Corollary 2.15. With notations as above, if the Zariski closure of SA is d-dimensional, then
Spec(A) contains a d-dimensional special multiplicative subscheme.
One also deduces the rigidity result for formal schemes:
b n contains infinitely many Qp Corollary 2.16. If the closed formal subscheme Spf(A) ⊂ G
m
b n , it contains a translate of a formal subtorus by a torsion point. Moreover,
torsion points of G
m
if Spf(A) is geometrically irreducible and the set of special points SA are Zariski dense, Spf(A)
is precisely the translate of a formal subtorus by a torsion point.
Proof. The formal subschemes associated to special subschemes are translates of formal
subtori. Therefore the statement follows from Theorem 2.14.


10

VLAD SERBAN

3. Further generalizations
At this point, the reader may wonder whether similar results hold for a larger class of formal
groups than the multiplicative group. In general, we may consider an n-dimensional formal
Lie group F over a complete Noetherian local ring R with residue field of characteristic p
and the corresponding connected p-divisible group F[p∞ ]. The special points are then torsion
points in F[p∞ ](K), where K is the field of fractions of R. One may ask:
Question 3.1. Is there a class of special subschemes of Spec(R[[X1 , . . . , Xn ]]) such that the
analogue of Theorem 2.14 holds?
b m by a
We proceed to show that essentially all the results of Section 2 hold replacing G
n
b
one-dimensional Lubin-Tate formal group FLT . The case of replacing Gm by a generalized
n-dimensional Lubin-Tate formal group or the formal Lie group of an abelian scheme will be
addressed in future work.
3.1. Products of one-dimensional Lubin-Tate formal groups. Let E/Qp be a subfield
of F with ring of integers OE , uniformizer πE and residue field Fq′ . Given a power series
f ∈ OE [[X]] with
f (X) ≡ πX

mod X 2 and f (X) ≡ X q

′

mod πE ,

Lubin and Tate show [LT65, Lemma 1] that for all a ∈ OE there is a unique power series
[a](X) ∈ OE [[X]] with [a](X) ≡ aX mod X 2 and f ([a](X)) = [a](f (X)). They construct
[LT65, Theorem 1] a commutative one-dimensional formal group law L(X, Y ) ∈ OE [[X, Y ]]
such that for all a, b ∈ OE :
(1) L([a](X), [a](Y )) = [a](L(X, Y ))
(2) L([a](X), [b](X)) = [a + b](X)
(3) [a]([b](X)) = [ab](X)
(4) [πE ](X) = f (X) and [1](X) = X
Up to isomorphism, the group law is independent of the choice of f ∈ OE [[X]] with the desired
properties. We denote by FLT the formal group over OE resulting from this construction. In
particular, the properties above show there is an injective ring homomorphism
OE ֒→ End(FLT ),
and the Qp -torsion points of FLT form a divisible OE -module. We will abuse notations and
∞ ] for the Q -points. It follows from the Newton polygon of [π ](X) and the
write FLT [πE
E
p
′
∞
q
congruence [πE ](X) ≡ X mod πE that a torsion point ζ ∈ FLT [πE ] of exact order π k has
normalized valuation vp (ζ) = 1/(q k − q k−1 ). Adjoining torsion points gives a totally ramified
∞ ]) of E. As these properties suggest, we may take as set of special
abelian extension E(FLT [πE
n [π ∞ ] and define as before:
points the Qp -points in FLT
E

AN INFINITESIMAL p-ADIC MULTIPLICATIVE MANIN-MUMFORD CONJECTURE

11

Definition 3.2.
(1) An FLT -multiplicative change of variables on OF [[X1 , . . . , Xn ]] is given by a series of
transformations using the formal group law of FLT :
Xi 7→ L(· · · L(L(Xi , [Bi−1 ](Xi−1 )), [Bi−2 ](Xi−2 )), . . . , [B1 ](X1 ))
for 1 ≤ i ≤ n and Bj ∈ OE , composed with possibly swapping variables Xi ↔ Xj .
(2) An FLT -special subscheme of Spec(OF [[X1 , . . . , Xn ]]) is a closed subscheme that after
an FLT -multiplicative change of variables becomes a finite union of intersections of
hyperplanes Xi = ζi where ζi ∈ FLT [π ∞ ].
Remark 3.3. The FLT -multiplicative changes of variables correspond to automorphisms of the
Lubin-Tate formal group law. An irreducible scheme Spec(OF [[X1 , . . . , Xn ]]/I) is FLT -special
d by a torsion
if and only if Spf(OF [[X1 , . . . , Xn ]]/I) is the translate of a formal subtorus FLT
n . When F
b
point of FLT
LT = Gm , we have
L(X, Y ) = (X + 1)(Y + 1) − 1

and we recover all the previous definitions as a special case.
We revisit the proofs of the key Lemmas 2.7 and 2.11 in this more general setting. Fix an
ideal I ⊂ OF [[X1 , . . . , Xn ]] and let A = OE [[X1 , . . . , Xn ]]/I. For any ǫ > 0 we consider as
before the special points almost on Spec(A):
n
SI (ǫ) = {(ζ1 , . . . , ζn ) ∈ FLT
[π ∞ ] such that ∀φ ∈ I |φ(ζ1 , . . . , ζn )|p < ǫ}.
n we again obtain the following results:
Using the properties of the endomorphism ring of FLT

Lemma 3.4. Assume that SI (ǫ) is infinite for some ǫ > 0. Then after an FLT -multiplicative
change of variables there is a sequence {ζk }k∈N ∈ FLT [π ∞ ] for which
(ζk , [a2k ](ζk ), . . . , [a2k · · · ank ](ζk )) ∈ SI (ǫ)
and:
• The set {ζk ∈ FLT [π ∞ ]|k ∈ N} is infinite.
• The set {[a2k · · · ank ](ζk )|k ∈ N} is finite or each sequence {aik }k∈N ∈ OE converges
to zero p-adically.
Proof. After swapping indeterminates Xi so that infinitely often elements (ζ1 , . . . , ζn ) ∈ SI (ǫ)
have decreasing orders, we again get an explicit sequence
(ζk , [a2k ](ζk ), . . . , [a2k · · · ank ](ζk )) ∈ SI (ǫ),
for exponents aik ∈ OE and infinitely many ζk ∈ FLT [π ∞ ]. By compactness of OE , we may
after passing to a subsequence assume that the exponents aik converge p-adically to Ai ∈ OE .
As before, choose Bi,j ∈ OE such that


1
 B21

 ..
 .

Bn1

0
1
..
.

...
...
..
.

Bn2

...

 
0

0
 
·


..
. 

1

1
A1
..
.
A1 · · · An−1

 
1
 0 
  
 =  ..  .
 .


0

12

VLAD SERBAN

Using crucially that the map OF → End(FLT ) is a ring homomorphism, we see that the
FLT -multiplicative change of variables corresponding to Bi,j acts on our sequence via:








ζ
[a2 ](ζ)
..
.
[a2 · · · an ](ζ)





ζ
L([B21 ](ζ), [a2 ](ζ))
..
.





 7→ 







L([Bn1 ](ζ), L(· · · L([Bnn−1 ][a2 · · · an−1 ](ζ), [a2 · · · an ](ζ)) · · · )


ζ


[B21 + a2 ](ζ)


=

..


.
[Bn1 + · · · + Bnn−1 a2 · · · an−1 + a2 · · · an ](ζ)

so that after changing variables we may assume the products a2k · · · ajk ∈ OE converge to
zero for any 2 ≤ j ≤ n. Now repeat this process as in the proof of Lemma 2.7 to conclude. 
Lemma 3.5. Assume (ζ1 , . . . , ζn ) ∈ SI (ǫ) for some ǫ ≤ |π|p . Then
′

([πE ](ζ1 ), . . . , [πE ](ζn )) ∈ SI (ǫq ).
′

Proof. The congruence [πE ](X) ≡ X q mod πE yields
′

φ([πE ](X1 ), . . . , [πE ](Xn )) ≡ φ(X1q , . . . , Xnq ) ≡ φ(X1 , . . . , Xn )q
′

′

mod π

for functions φ ∈ I and the result follows.



It follows that the key Lemma 2.11 generalizes:
Lemma 3.6. For any power series φ ∈ OF [[X1 , . . . , Xn ]], if
(ζk , [a2k ](ζk ), . . . , [a2k · · · ank ](ζk )) ∈ Sφ (p−(1−c)vp (π) ),
where 0 ≤
infinite set
(1) the
(2) the

c < 1 is a constant and each sequence {aik }k∈N ∈ OE converges to zero for an
∞ ], then either:
{ζk |k ∈ N} ⊂ FLT [πE
sequence {[a2k a3k . . . ank ](ζk )}k∈N belongs to a finite set of torsion points or
power series φ ∈ πOF [[X1 , . . . , Xn ]].

Proof. We proceed by induction. If n = 1 the result again follows from Lemma 2.10. For
k such that [π k ] · ([a · · · a ](ζ )) = 0. Assume
arbitrary n, let ck be the smallest power πE
2k
nk
k
E
the set {[a2k · · · ank ](ζk )|k ∈ N} is infinite, then the same is true of {ck |k ∈ N}. We want
to show φ ∈ πOF [[X1 , . . . , Xn ]]. Suppose not; there is then a largest integer M with XnM
dividing the reduction φ̄ ∈ Fq [[X1 , . . . , Xn ]] modulo π. We choose ψ ∈ OF [[X1 , . . . , Xn ]] so
that
φ(X1 , . . . , Xn ) ≡ XnM ψ(X1 , . . . , Xn ) mod π.
Since the valuation vp ([a2k · · · ank ](ζk )) becomes arbitrarily small, after passing to a subsequence we get
(ζk , [a2k ](ζk ), . . . , [a2k · · · ank ](ζk )) ∈ Sψ (p−(1−c/2)vp (π) ).
We now see from Lemma 3.5 that:
(ζk , [ck a2k ](ζk ), . . . , [ck a2k · · · a(n−1)k ](ζk ), 0) ∈ Sψ (p−(1−c/2)vp (π) ).
By definition of ck the torsion point [ck a2k · · · a(n−1)k ](ζk ) has exact order the largest power of
π dividing [ank ]. Since ank 6= 0 infinitely often by assumption, {[ck a2k · · · a(n−1)k ](ζk )|k ∈ N}

AN INFINITESIMAL p-ADIC MULTIPLICATIVE MANIN-MUMFORD CONJECTURE

13

is infinite. It follows by induction that ψ(X1 , . . . , Xn−1 , 0) ∈ πOF [[X1 , . . . , Xn−1 ]]. We may
now write ψ(X1 , . . . , Xn ) = ψ(X1 , . . . , Xn−1 , 0) + Xn θ(X1 , . . . , Xn ) for some power series
θ ∈ OF [[X1 , . . . , Xn ]], so that ψ ≡ Xn θ mod π. This results in the congruence
φ(X1 , . . . , Xn ) ≡ XnM +1 θ(X1 , . . . , Xn ) mod π,
which contradicts the maximality of M .



b m.
The main results are now deduced in exactly the same way as in Section 2 for FLT = G
Below are the adapted statements of the geometric formulations. The proof is left to the
reader.
Theorem 3.7. Let A = OF [[X1 , . . . , Xn ]]/I. An irreducible component of the Zariski closure
of the FLT -special points on Spec(A) is a special FLT -multiplicative subscheme.
Theorem 3.8. Let A = OF [[X1 , . . . , Xn ]]/I. Then exactly one of the following occurs:
(1) The formal scheme Spf(A) contains a translate of the Lubin-Tate formal group FLT
n .
by a torsion point of FLT
(2) There exist an explicit constant CI > 0, depending only on I and the choice of p-adic
∞ ]n such that for any φ ∈ I,
absolute value | − |p , as well as a finite set F ⊂ FLT [πE
|φ(ζ1 , . . . , ζn )|p > CI
∞ ]n \ F.
if (ζ1 , . . . , ζn ) ∈ FLT [πE

4. Acknowledgements
The author would like to extend special gratitude to Frank Calegari for suggesting this
project and for his support throughout. The author would also like to thank Patrick Allen,
Haruzo Hida, Richard Moy, Joel Specter, Paul VanKoughnett and Felipe Voloch for helpful
conversations and comments on previous drafts of this paper.
References
[Cha05] Ching-Li Chai. Hecke orbits on Siegel modular varieties. In Geometric methods in algebra and number
theory, volume 235 of Progr. Math., pages 71–107. Birkhäuser Boston, Boston, MA, 2005.
[Cha08] Ching-Li Chai. A rigidity result for p-divisible formal groups. Asian J. Math., 12(2):193–202, 2008.
[Hid10] Haruzo Hida. The Iwasawa µ-invariant of p-adic Hecke L-functions. Ann. of Math. (2), 172(1):41–137,
2010.
[Hid11] Haruzo Hida. Constancy of adjoint L -invariant. J. Number Theory, 131(7):1331–1346, 2011.
[Hid14] Haruzo Hida. Hecke fields of Hilbert modular analytic families. In Automorphic forms and related
geometry: assessing the legacy of I. I. Piatetski-Shapiro, volume 614 of Contemp. Math., pages 97–
137. Amer. Math. Soc., Providence, RI, 2014.
[Lan60] Serge Lang. Integral points on curves. Inst. Hautes Études Sci. Publ. Math., (6):27–43, 1960.
[Lan65] Serge Lang. Division points on curves. Ann. Mat. Pura Appl. (4), 70:229–234, 1965.
[LT65] Jonathan Lubin and John Tate. Formal complex multiplication in local fields. Ann. of Math. (2),
81:380–387, 1965.
[Mon81] Paul Monsky. On p-adic power series. Math. Ann., 255(2):217–227, 1981.
[Nei02] Ana Raissa Berardo Neira. Power series in p-adic roots of unity. ProQuest LLC, Ann Arbor, MI,
2002. Thesis (Ph.D.)–The University of Texas at Austin.
[Ray83] M. Raynaud. Courbes sur une variété abélienne et points de torsion. Invent. Math., 71(1):207–233,
1983.
[Sca98] Thomas Scanlon. p-adic distance from torsion points of semi-abelian varieties. J. Reine Angew. Math.,
499:225–236, 1998.

14

VLAD SERBAN

[TV96]

John Tate and José Felipe Voloch. Linear forms in p-adic roots of unity. Internat. Math. Res. Notices,
(12):589–601, 1996.
[Ull98] Emmanuel Ullmo. Positivité et discrétion des points algébriques des courbes. Ann. of Math. (2),
147(1):167–179, 1998.
[Ull07] Emmanuel Ullmo. Manin-Mumford, André-Oort, the equidistribution point of view. In Equidistribution in number theory, an introduction, volume 237 of NATO Sci. Ser. II Math. Phys. Chem., pages
103–138. Springer, Dordrecht, 2007.
[Zha95] Shou-Wu Zhang. Positive line bundles on arithmetic varieties. J. Amer. Math. Soc., 8(1):187–221,
1995.
[Zha98] Shou-Wu Zhang. Equidistribution of small points on abelian varieties. Ann. of Math. (2), 147(1):159–
165, 1998.
Vlad Serban, Department of Mathematics, Northwestern University, 2033 Sheridan Road,
Evanston, IL 60208, United States
E-mail address: serban@math.northwestern.edu

