55
$\begingroup$

Surely, $\mathbb{Z}_p$ and $\mathbb{Q}_p$ (and their extensions) are very important for algebra and number theory. Do they have any important applications outside of algebra (that I could easily explain to a student)? Here I do not demand the applications to be (purely) 'mathematical'; for example, I wonder whether p-adic numbers have applications to physics (outside of string theory?). Moreover, I am also interested in those applications that are partially 'algebraic', and yet important for some other parts of mathematics.

$\endgroup$
4
  • 12
    $\begingroup$ There are applications of Witt vectors in algebraic topology. $\endgroup$
    – KConrad
    Dec 26, 2011 at 20:15
  • 3
    $\begingroup$ @KConrad: It would make perfect sense to post this comment as an answer. $\endgroup$ Dec 27, 2011 at 8:03
  • $\begingroup$ @KConrad & Dmitri: It is related to my post below. Witt vectors show up because of their role in Lubin-Tate Theory. $\endgroup$ Dec 27, 2011 at 23:46
  • $\begingroup$ Depends on what counts as "$p$-adic". I like to think of two's complement arithmetic as truncated 2-adics but you could also argue this point of view adds nothing to saying they are just arithmetic in $Z/2^n$. Similarly for computational applications of the 2-adic Newton's method to solve equations. $\endgroup$
    – Dan Piponi
    Jan 8, 2020 at 20:11

14 Answers 14

58
$\begingroup$

This won't qualify as something you can explain to undergraduate students, but non-archimedean dynamics has recently seen a number of applications to classical complex dynamics. (Non-archimedean is dynamics over a field with a non-archimedean absolute value, but not specifically an extension of $\mathbb{Q}_p$.) I'll mention one beautiful example, which is a recent theorem of Matt Baker and Laura DeMarco. Let $$f_c(x) = x^2+c$$ be the usual quadratic polynomial, and for any starting value $a$, let $O_c(a)$ be the forward orbit of $a$ for the map $f_c$. That is, $$O_c(a) = \{a,f_c(a),f_c^2(a),f_c^3(a),...\}$$ where $f_c^n$ denotes the $n$'th iterate of $f_c$.

Theorem: Let $a$ and $b$ be complex numbers with $a^2\ne b^2$. Then $$\{c\in\mathbb{C} : O_c(a) \text{ and } O_c(b) \text{ are both finite}\}$$ is a finite set.

The proof is partly complex dynamics, partly equidistribution theorems (in both the complex and $p$-adic settings), and partly a reduction step in which one works in Berkovich space over a non-archimedean field. Note that the statement of the theorem is purely a statement about complex numbers, but the proof requires non-trivial methods from non-archimedean analysis.

$\endgroup$
39
$\begingroup$

Monsky's theorem: it is not possible to dissect a square into an odd number of triangles of equal area.

Proof of this theorem is based on 2-adic numbers.

$\endgroup$
1
  • 2
    $\begingroup$ Are there any other applications in combinatorics? $\endgroup$
    – Turbo
    Oct 17, 2016 at 22:13
26
$\begingroup$

Skolem's theorem: Let $(u_n)_{n \in \mathbb N}$ be a sequence of complex numbers satisfying a linear relation. Then the set $Z=\{n \in \mathbb N,\ u_n=0\}$ is a finite union of arithmetic progressions in $\mathbb N$ (including arithmetic progression of ratio 0, that is points).

The only proof I know uses in an essential way $p$-adic numbers (and elementary $p$-adic analysis). You can explain the statement to an undergrad or even an high-school student, and the proof to anyone having the basic notions about $p$-adic numbers.

$\endgroup$
2
15
$\begingroup$

The (unsolved) Hilbert-Smith conjecture states that any locally compact group acting faithfully on a manifold has to be a Lie group: http://en.wikipedia.org/wiki/Hilbert%E2%80%93Smith_conjecture

However, it turns out that it is enough to prove this for $\mathbb{Z}_p$, and the conjecture follows proving that $\mathbb{Z}_p$ has no continuous faithful action on a manifold.

$\endgroup$
1
  • 1
    $\begingroup$ Similarly to the reduction to $\mathbb{Z}_p$ is there a reduction to the manifold being say $\mathbb{R}$ or $S^1$? $\endgroup$ Jan 12, 2017 at 13:16
13
$\begingroup$

The $p$-adics come up in homotopy theory. The main reason is because of their usefulness in the theory of formal group laws.

They are also relevant in certain parts of algebraic geometry, they are (one of) the first examples of completions.

References:

http://en.wikipedia.org/wiki/Formal_group#Lubin.E2.80.93Tate_formal_group_laws

http://arxiv.org/abs/1005.0119

http://arxiv.org/abs/0802.0996

The last one is supposed to tie in the others. Of course, this is all stuff that happened after Quillen's theorem and the work of many other people, such as Mike Hopkins, Jack Morava, Haynes Miller, Doug Ravenel, and Steve Wilson.

$\endgroup$
4
  • 14
    $\begingroup$ References or it didn't happen. $\endgroup$
    – Guntram
    Dec 27, 2011 at 8:52
  • 7
    $\begingroup$ are you serious? $\endgroup$ Dec 27, 2011 at 17:53
  • 11
    $\begingroup$ @Sean: I think Guntram was just invoking a witty variant of the "pics or it didn't happen" / "screenshot or it didn't happen" line that is prevalent elsewhere on the internet. In particular I think the answer to your question is "no" :-) $\endgroup$ Dec 27, 2011 at 23:49
  • 3
    $\begingroup$ Thanks for the explanation Kevin, I took it the way I would interpret the comment from anyone I didn't know. $\endgroup$ Dec 28, 2011 at 7:52
9
$\begingroup$

See the survey paper "On p-adic mathematical physics", by B. Dragovich, A. Yu. Khrennikov, S. V. Kozyrev and I. V. Volovich: Link

$\endgroup$
7
$\begingroup$

There is a journal devoted to p-adic numbers, p-adic analysis and applications: http://www.springer.com/mathematics/algebra/journal/12607

You can also google "spin glasses + p-adic numbers"

$\endgroup$
1
  • $\begingroup$ Yes, spin glasses are (is?) what caught my eye on the first page of the google results... $\endgroup$
    – Igor Rivin
    Dec 26, 2011 at 20:12
6
$\begingroup$

This article contains many references,

http://en.wikipedia.org/wiki/P-adic_quantum_mechanics

though I don't know how many will count as "outside of string theory."

$\endgroup$
6
$\begingroup$

The 2-adic numbers have been used in cryptography, particularly in the analysis of feedback shift registers. See e.g.

  • 2-adic shift registers, Klapper and Goresky, Fast Software Encryption 1993
  • Cryptanalysis Based on 2-Adic Rational Approximation, Klapper and Goresky, CRYPTO 1995
  • Feedback shift registers, 2-adic span, and combiners with memory, Feedback shift registers, 2-adic span, and combiners with memory, Klapper and Goresky, J. Cryptology 1997
  • Extended Games–Chan algorithm for the 2-adic complexity of FCSR-sequences, Meidl, Theoretical Computer Science 2003
  • Feedback with carry shift registers synthesis with the Euclidean algorithm, Arnault, Berger, and Necer, IEEE Trans. Inf. Theory 2004
$\endgroup$
5
$\begingroup$

At a somewhat speculative level, you might look at the work of Andrei Khrennikov:

http://w3.msi.vxu.se/Personer/akhmasda/home.html

In particular, his home page mentions his work on:

  • dynamical systems over $p$-adic fields with applications for describing the process of thinking: "the system conscious- subconscious as a p-adic dynamical processor."
  • $p$-adic dynamical systems for social sciences.
$\endgroup$
1
  • 6
    $\begingroup$ right, see also > "transformative herme­neutics of p-adic gravity" $\endgroup$ Sep 5, 2019 at 2:26
5
$\begingroup$

In my answer to this related MO question, I tried to explain the utility of using $\mathbb{Q}_p$ based toy models in order to better understand questions in mathematical quantum field theory in physics.

$\endgroup$
4
$\begingroup$

Well, you can show that an old arithmetic coding algorithm can be reformulated in p-adic terms. For me this makes its integral (and the only working) variant easily understandable and makes it extendable for p > 2. See:

https://arxiv.org/abs/0704.0834

p-adic arithmetic coding in Contemporary Mathematics v. 508, 2010

$\endgroup$
3
$\begingroup$

I am not convinced by the applications of $p$-adic numbers (or adèles) to theoretical physics, even though I am not a physicist. I think p-adic mathematical physics has so far nothing to do with real phenomena. But of course $p$-adic analysis is useful in mathematics. $p$-adic analysis has for instance natural applications in the $p$-adic Langlands program. The basic idea of that program is to replace the field $\mathbb C$ by a $p$-adic field when considering linear representations (of a $p$-adic Lie group or a Galois group).

There are obvious applications of $p$-adic numbers and adèles to analytic number theory via the (classical) Langlands program. These applications are not only algebraic, since they may for instance predict the analytic behaviour of $L$-functions.

Another interesting example is the existence of a nice locally compact topology, defined by Berkovich, on $p$-adic rigid manifolds (varieties over ${\mathbb C}_p$, the completion of the algebraic closure of ${\mathbb Q}_p$). You get in such a way varieties analogous to complex varieties. You can do very similar things like dynamics, dessins d'enfant, potential theory, integration of $1$-forms, ... The following survey articles by Ducros (for french readers) are excellent:

Géométrie analytique $p$-adique : la théorie de Berkovich, Gazette des Mathématiciens 111 (2007), 12-27.

Espaces analytiques $p$-adiques au sens de Berkovich, exposé 958 du Séminaire Bourbaki (mars 2006).

This is a very promising theory.

$\endgroup$
4
  • 4
    $\begingroup$ Although I share your skepticism regarding part of the $p$-adic physics literature, I don't think it is fair nor accurate to make such a blanket statement. See my answer to this MO question mathoverflow.net/questions/259155/p-adic-numbers-in-physics for more on the usefulness of $p$-adics in mathematical physics... $\endgroup$ Jan 12, 2017 at 12:23
  • 6
    $\begingroup$ ...Some problems in math like making sense of quantum field theory are so difficult that one should try to understand as much as possible on simpler toy models where these problems are present but have a clear and clean formulation. This is what QFT models on $\mathbb{Q}_p$ provide. See the slides (in French) of my Colloquium at the University of Lyon for a pedagogical introduction to this circle of ideas. The link is: people.virginia.edu/~aa4cr/TalkLyonVfinal.pdf $\endgroup$ Jan 12, 2017 at 12:27
  • $\begingroup$ @AbdelmalekAbdesselam It seems that this link (as well as the link to your website in your profile) seem to redirect to some default page. Would you happen to have some working link to those slides available somewhere? $\endgroup$
    – Wojowu
    Sep 30, 2022 at 12:58
  • $\begingroup$ @Wojowu: My university stopped hosting personal pages, and I didn't have time to recreate my website on another platform. Some of it can be found at web.archive.org/web/20191228104704/http://people.virginia.edu/… However the Lyon slides you mentioned have not been captured by webachive. I can email them to you if you wish. $\endgroup$ Oct 2, 2022 at 17:31
1
$\begingroup$

Googling "applied p-adic analysis" returns obviously interesting results.

$\endgroup$
1
  • 1
    $\begingroup$ But mostly motivated by number theory, right? $\endgroup$ Oct 17, 2016 at 16:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.