# Tagged Questions

The tag has no wiki summary.

57 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, ...
107 views

261 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 ...
208 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$. ...
244 views

### Absolutely irreducible p-adic representation of the absolute Galois group of Q_p

Let $p$ be a prime number, $\mathbb{Q}_p$ the field of $p$-adic numbers, $G_p$ the absolute Galois group of $\mathbb{Q}_p$ and $V$ a finite dimensional vector space over $\mathbb{Q}_p$. Assume we are ...
137 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 ...
309 views

### Trace of n-th root of unity in cyclotomic extension of p-adic rationals

Let $n\in\mathbb N$ and $p$ be any prime. Denote by $\mathbb Q_p$ the $p$-adic numbers. For a field extension $L/K$ denote by $Tr_{L/K}$ the corresponding trace function. Let $\zeta_n$ be a primitve ...
323 views

### convergence in Z-hat; modulo prime power

The following problem appears in Lenstra's Galois Theory for Schemes (p 14, Ex 1.16). Let $b\in\mathbb Z_{\ge0}$. Define the sequence $(a_n)_{n=0}^\infty$ by $a_0=b, a_{n+1}=2^{a_n}$. Prove that ...
240 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: ...
139 views

### a question about a result in Bushnell-Henniart book 'the local Langlands conjecture for GL(2)'

This might be a easy question, but I couldn't get the point. Let $F$ be a p-adic field, $\bar{F}$ a separable algebraic closure of $F$. Set $\Omega_F=Gal(\bar{F}/F)$. Use $F_{\infty}\subset \bar{F}$ ...
261 views

353 views

Is there a proof of a Torelli-like Theorem for a K3-surface over any field (non complex) in terms of its etale or crystalline cohomology? For example: If $K\ne \mathbb{C}$ and $X\rightarrow ... 5answers 2k views ### If a unitsquare is partitioned into 101 triangles, is the area of one at least 1%? Update: The answer to the title question is not necessarily, as pointed out by Tapio and Willie. I would be more interested in lower bounds. Monsky's famous and amazingly tricky proof says that if we ... 3answers 195 views ### Reference for Ostrowski's 1916 Theorem? I am looking for the original reference for Ostrowski's theorem of 1916 that the only valuations on the rational numbers are the trivial, Archimedean, and p-adic valuations. ... 2answers 471 views ### Algebraic$p$-adic integers mod$p$In studying the papers of Abbes and Saito on ramification theory in the imperfect residue field case, I come to the following questions. Let$\overline{\mathbb{Q}}_p\supset\mathbb{Q}{}^{t}_p\supset ...
231 views

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 ...
175 views

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. ...
255 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 ...
113 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 ...
321 views

### Why is this a lattice?

Why is $\text{SL}_3(\mathbf{Z}[1/2])$ a lattice in $\text{SL}_3(\mathbf{R})\times\text{SL}_3(\mathbf{Q}_2)$? Discreteness is pretty clear, but why finite covolume? I understand why ...
365 views

### Poincare pairing and polarization of Hodge structure. Kuga-Satake construction.

If $X$ is a K3 surface over the complex (algebraic) then I wonder if the poincare pairing induces a polarization on the Hodge structure $H^2(X,\mathbb Z)$? The point is that I see that when ...
467 views

### Newton Method in $p$-adic case

The Newton Method over $\mathbb{R}$ has the property that the precision is doubled (under some continuous differentialbe assumption) in each iteration. For the ring $\mathbb{Z}_p$ of $p$-adic ...
636 views

### Ring of Witt vectors and p-adics

This is probably an easy question, but I'm not able to figure it out. Are the following the same: Field of fractions of the ring of Witt vectors over the algebraic closure of $\mathbb{F}_p$ ...
### Etale cohomology in the $p$-adic setting
Can we hope for application of Etale cohomology techniques in proving results concerning semialgebraic subsets of $\mathbb{Q}_p^n$? Recall that semialgebraic subsets are obtained from $p$-adic ...