Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
2 answers
2k views

Automorphisms of $\mathbb C_p$

I am looking for a non-trivial automorphism $\sigma$ of $\mathbb C_p$ such that $\sigma(\mathbb Q_p)\subset\mathbb Q_p$. If $\mathbb C_p$ were spherically complete, then by Hahn-Banach theorem, that ...
joaopa's user avatar
  • 3,998
3 votes
0 answers
218 views

Weil index computation, p-adic integral

The following peculiar p-adic integrals have arisen in my work, and I would be interested if anyone can see how to tackle them. Let $F$ be a $p$-adic field, $\mathfrak{o}$ its ring of integers, $\...
Tippy Tipper's user avatar
0 votes
0 answers
121 views

Computing a projection of a $p$-adic plane curve

Given a prime $p$ and a polynomial equation $f(x,y)=0$ with rational coefficients, I would like to obtain a precise description of the set of all numbers $y\in\mathbb Q_p$ such that the equation has a ...
352506's user avatar
  • 1,021
14 votes
1 answer
1k views

is there a p-adic implicit function theorem?

I am trying to find a good reference for a version of the implicit function theorem over $p$-adic manifolds. None of the texts I have consulted ( including "$p$-adic numbers, $p$-adic analysis, and ...
Keivan Karai's user avatar
  • 6,224
4 votes
1 answer
1k views

Iwasawa logarithm and analytic continuation

I am reading Number Theory vol. 1 by Henri Cohen (among other things) and I am curious about the Iwasawa logarithm. Let $\mathbb{C}_p$ be the completion of the algebraic closure of $\mathbb{Q}_p$. ...
Joe Bebel's user avatar
  • 539
3 votes
0 answers
950 views

Transcendental numbers in the p-adic rationals $\mathbb Q_p$ [closed]

I know that there are uncountably infinite transcendentals over $\mathbb Q$ in $\mathbb Q_p$. What i want to ask is if there is a way to determine whether a transcendental over $\mathbb Q$ lays in ...
Mitsos's user avatar
  • 141
3 votes
1 answer
2k views

What is $p$-adic Fourier series?

Q1: Can we define Fourier series for a function $\mathbb{Z}_p\to \mathbb{Q}_p$? Q2: There are (in a real case) Bernoulli polynomials which have the most simple Fourier expansion: $$B_n(\{x\})=-\frac{...
Alexey Ustinov's user avatar
11 votes
1 answer
774 views

2-adic Logarithm and Resistance of n-dimensional Cube

Resistance across opposite vertices of n-dimensional cube with each edge at one ohm resistance is $$R_n=\sum_{k=0}^{n-1}\frac1{(n-k){n\choose k}}=\frac1n\sum_{k=0}^{n-1}\frac1{{n-1\choose k}}.$$ The ...
Alexey Ustinov's user avatar
3 votes
1 answer
499 views

Trivial p-adic measures

I am looking at p-adic distributions, and in this case p-adic measures. To say that $\mu$ is a distribution means that the arguments of $\mu$ are compact open subsets of $\mathbb{Z}_p$, $\mu$ is ...
Steve's user avatar
  • 43
2 votes
0 answers
506 views

p-adic Lie theory

It is well known that exponential map in $C^{n\times n}$ will cover all non-sigular matrix $GL(n,C)$, which is a basic fact in Lie group and lie algebra theory, whether it is true for p-adic cases. ...
yaoxiao's user avatar
  • 1,706
9 votes
0 answers
2k views

Differences in tree picture of ${\bf Q}_p$, $\overline{{\bf Q}_p}$, ${\bf C}_p$, $\Omega_p$

I was discussing the tree picture of ${\bf Z}_p$ and ${\bf Q}_p$ and mentioned that the idea can be extended to ${\bf C}_p$, with the caveat that the tree is no longer locally finite (as the value ...
anon's user avatar
  • 441
0 votes
0 answers
391 views

the definition of pro-infinitesimal thickenings

Let $R$ be a ring and $A$ and $R$-algebra. A pro-infinitesimal thickening of $R$ is a pair $(D, \theta)$ such that $\theta: D \rightarrow R$ is surjective and $D$ is separated and complete for the $I:=...
Tony's user avatar
  • 287
6 votes
0 answers
2k views

Newton Method in $p$-adic case

The Newton Method over $\mathbb{R}$ has the property that the precision is doubled (under some continuous differentiable assumption) in each iteration. For the ring $\mathbb{Z}_p$ of $p$-adic integers,...
user565739's user avatar
  • 1,109
2 votes
1 answer
442 views

Partitioning a compact open set into balls in an ultrametric space

Consider a $p$-adic field $K$ with the standard topology inherited from the usual $p$-adic norm $\mid \cdot \mid$. Consider the ultrametric space $X=K^n$ with the topology inherited from the norm $\| \...
user avatar

1
2