Questions tagged [non-archimedean-fields]
The non-archimedean-fields tag has no usage guidance.
103
questions
1
vote
0
answers
95
views
Does maximally incompleteness cause nonvanishing of the extension of maximal ideal of a valuation ring by rank 1 free module?
In B. Bhatt's lecture notes[1], Remark 4.2.5 says
... $\operatorname{Ext}_R^2(k,R)$ is non-zero if $K$ is not spherically complete.
which amounts to the following pure algebraic question.
Statement ...
- 379
4
votes
0
answers
188
views
What information does the topology of nonarchimedean Berkovich analytic spaces encode?
Given a finite type scheme $X$ over $\Bbb{C}$ we can associate to it an analytic space $X^\text{an}$. There are then comparison theorems comparing invariants of the topological space $X^\text{an}$ ...
- 163
1
vote
0
answers
151
views
Contractibility of the quotient of an analytification of a smooth variety by a finite group (if the field is trivially valued)
Let $k$ be a field and $X$ be a smooth irreducible $k$-variety with an action of a finite group $G$. I consider $k$ as a trivially valued field.
It is known from results of Berkovich ("Smooth p-...
- 11
1
vote
1
answer
82
views
Complete residue field of a point of type 5
Let $(F,|.|)$ be a complete algebraically closed field. Let $x$ be the point of type 5 corresponding to the unit open disc of the adic affine line over $F$. Can we obtain a concrete description of the ...
1
vote
0
answers
119
views
Tate uniformization and reduction of elliptic curves
Let $E$ be an elliptic curve over $K$ (nonarchimedean) with $j$-invariant satisfying $|j(E)|>1$.
Tate uniformization theorem says that we have an isomorphism : $E \simeq \mathbf G_m/q^{\mathbf Z}$.
...
- 11
0
votes
0
answers
69
views
An identity for lattices in vector spaces over non-Archimedean local field
Let $V$ be a finite dimensional vector space of a non-Archimedean local field $\mathbb{F}$. Let $\Lambda\subset V$ be a lattice, i.e. an open compact $\mathcal{O}$-submodule. Let $W_1,W_2\subset V$ be ...
- 20.4k
0
votes
0
answers
82
views
Terminology for discrete subgroups of PSL(2,k), where k is a non-archimedean local field
$\DeclareMathOperator\PSL{PSL}$I'm asking about terminology for discrete subgroups of $\PSL(2,k)$, where $k$ is a non-archimedean local field.
As it is rather clumsy to have to use such expressions ...
- 586
6
votes
0
answers
238
views
Abelianization of the inertia group
Let $F/\mathbb Q_p$ be a finite extension, and let $I_F=\operatorname{Gal}(\overline F/F^{\mathrm{unr}})\subset\operatorname{Gal}(\overline F/F)$ be the inertia subgroup.
Is there a description of ...
- 1,185
5
votes
1
answer
271
views
A question on linear algebra over non-Archimedean local field
Let $\mathbb{F}$ be a non-Archimedean local field. Let $\{T_a\}_{a=1}^\infty$ be a sequence of linear operators $\mathbb{F}^n\to\mathbb{F}^n$ of rank $n$. After a choice of subsequence, is it ...
- 20.4k
6
votes
1
answer
217
views
Realization of the $p$-adic Steinberg representation as a subrepresentation
Let $G = \mathrm{GL}_n(F)$ where $F$ = non-archimedean local field. The Langlands Classification tells one that all irreducible admissible reps of $\mathrm{GL}_n(F)$ can be realized as (the unique ...
- 678
18
votes
1
answer
2k
views
Mixing solids and liquids
Is there a nontrivial way to consider products of archimedean and non-archimedean spaces in the context of Clausen–Scholze's analytic geometry?
Context: Last week during a conference in Essen (School ...
- 26.2k
4
votes
0
answers
128
views
Coherence of the I-adic completion of a local ring of a formal scheme
Let $K$ be a valued field of rank one and $K^+$ its valuation ring such that $K^+$ is $\varpi$-adically complete with respect to a pseudo-uniformizer $\varpi\in K^+$. Let $X$ be a smooth finite type $...
- 119
-2
votes
1
answer
98
views
Is there a formula or algorithm to remove infinitesimal and oscillating parts from an expression while keeping finite and infinite ones? [closed]
Below, we interpret divergent integrals as germs of partial integrals at infinity:
$$\int_0^\infty f(x) dx=\operatorname{bigpart} \int_0^\omega f(x) dx$$
where $\operatorname{bigpart}$ means taking ...
- 9,050
2
votes
1
answer
322
views
Are there "pathological convex sets" over ultravalued fields of char 2?
In their book Topological Vector Spaces (2nd ed.) Lawrence Narici and Edward Beckenstein generalise convex sets for TVS over ultravalued field $K$ as $K$-convex sets. The definition goes as following:...
- 377
7
votes
0
answers
277
views
Analogs of the Weil conjectures for non-archimedian fields
Suppose that $X$ is a smooth and proper variety defined over a perfect non-archimedian valued field $k$ of characteristic $p$. Then one can consider the action of Frobenius on crystalline cohomology. ...
- 301
5
votes
1
answer
146
views
An example where the non-Archimedean tensor product of normed modules is only seminormed?
Let $R$ be a commutative unital ring and let $M$ be a unital $R$-module. A non-Archimedean ring seminorm on $R$ is a map $|\cdot| \colon R \rightarrow \mathbb{R}_{\geq 0}$ which satisfies
$$ | 0_R| = ...
- 153
2
votes
0
answers
190
views
Enlightening examples of tropical skeletons of Berkovich spaces
Let $K$ be a complete non-archimedean field and let $X$ be a $K$-analytic space in the sense of Berkovich of pure dimension $d$. Let $\varphi \colon X \to \mathbf{G}_m^r$ be a moment map to an ...
user478030
1
vote
1
answer
166
views
Reference request: Gruson's theorem on the tensor product of Banach spaces over a non-Archimedean field
I am looking for a reference for theorem 3.21 of these notes: https://web.math.princeton.edu/~takumim/Berkovich.pdf
The theorem states that if $k$ is a non-Archimedean field and $X$ and $Y$ are $k$-...
- 51
2
votes
0
answers
65
views
Filtration of norm-one elements of quaternion algebra over local field with respect to an involution
Let $K$ be a local non-archimedean field, with ring of integers $\mathcal{O}_K$, uniformizing element $\varpi_K$, and residue field $\mathcal{O}_K/\varpi_K\mathcal{O}_K \cong \mathbb{F}_q$. For ...
- 71
1
vote
0
answers
106
views
What is some algebraic intuition behind the fact that the (real part) of the logarithm of Bernoulli umbra plus $1$, is $-\gamma$?
Bernoulli umbra is defined in classical umbral calculus as in Taylor - Difference equations via the classical umbral calculus.
Yu - Bernoulli Operator and Riemann's Zeta Function shows that $\...
- 9,050
3
votes
0
answers
130
views
Interpreting umbral calculus in terms of some kind of extended numbers
I know that currently umbral calculus is developed as some kind of theory of operators and functionals but were there any attempts to put it on a more solid philosophical grounds as study of functions ...
- 9,050
8
votes
2
answers
403
views
Literature on non-Archimedean analogues of basic complex analysis results
It looks like there is some literature out there on what might be called 'non-Archimedean complex analysis' e.g. Benedetto - An Ahlfors Islands Theorem for non-archimedean meromorphic functions and ...
1
vote
1
answer
143
views
Non-Archimedean Lebesgue dominated convergence theorem
In this paper, the authors explain that the full generality of the Lebesgue dominated convergence theorem holds for functions on a compact zero-dimensional space $X$ taking values in a metrically ...
- 1,256
3
votes
0
answers
133
views
Non-emptiness of spectrum $\sigma(a)$ in non-Archimedean Banach algebras
I'm trying to determine whether or not the standard proof that the spectrum of a point in a unital Banach algebra is non-empty can be adapted to prove the same thing over certain non-Archimedean ...
2
votes
0
answers
153
views
A generalisation of closed and bounded subsets of non-Archimedean fields to topological spaces
The definition of compactness in topological spaces generalises the notion of a subset of $\mathbb{R}^n$ being closed and bounded, as expressed by the Heine-Borel Theorem.
In finite-dimensional vector ...
9
votes
0
answers
558
views
In need of help with parsing non-Archimedean function theory
My current work revolves around studying functions from the $p$-adic integers to the $q$-adic rationals, where $p$ and $q$ are distinct primes ("$(p,q)$-adic functions", as I call them). I'...
- 1,256
3
votes
0
answers
154
views
$C^*$-algebras over an extension of $\mathbb{Q}_p$?
I'm wondering to what extent it might be possible for the theory of $C^*$-algebras to be translated into the $p$-adic context i.e. to define 'p-adic $C^*$-algebras' over some extension of $\mathbb{Q}...
7
votes
0
answers
291
views
Berkovich spaces — why use atlases?
Note: this question only concerns Berkovich spaces ("analytic spaces") as defined in Berkovich's first book "Spectral Theory and Analytic Geometry over Non-Archimedean Fields", not ...
- 26.2k
1
vote
1
answer
260
views
Product absolute value in rings of integers
Let $F$ be an algebraically closed field of characteristic $p$ equipped with a nonarchimedean dense absolute value $|\cdot|:F \rightarrow \mathbb{R}_{\ge 0}$ with respect to which $F$ is complete. Let ...
- 87
1
vote
0
answers
386
views
'Spherically complete' normed fields
A non-Archimedean normed field $K$ is said to be spherically complete if every decreasing sequence of closed balls in $K$ has non-empty intersection. I am a little puzzled as to why this definition is ...
2
votes
0
answers
123
views
Composite of two fields contain a given quadratic extension, but each individual doesn't
In fact, this question could be asked for arbitrary field extension. However, for simplicity I only ask the question for local field of characteristic 0. Let $E/F$ be a quadratic extension of padic ...
- 21
3
votes
0
answers
149
views
Wildly ramified extension field
Given an algebraically closed complete valued field $(k,|.|)$ with characteristic 0, such that the residue field $\tilde{k}$ has a positive characteristic, and consider the complete extension $(\...
2
votes
1
answer
128
views
Reference to basic facts on non-Archimedean local fields
I need a reference to the following claims which, I believe, are correct and well known to experts (I am not one of them).
Let $K$ be a non-Archimedean local field. Let $\mathcal{O}$ be its ring of ...
- 20.4k
3
votes
1
answer
379
views
Why does $\mathbb C_p$ not contain the periods?
I am reading the following article of Berger, p8 and I don't understand the idea:
$C_p:=\widehat{\overline{\mathbb Q_p}}$ does not contain the periods
The text seem to reason as follows
(under some ...
- 661
43
votes
2
answers
3k
views
Are rigid-analytic spaces obsolete, since adic spaces exist?
Recently in a seminar the following question was raised and, despite my familiarity with theory, I couldn't come up with a good answer:
Are there any good reasons to use Tate's theory of rigid-...
- 26.2k
7
votes
1
answer
325
views
Hahn’s theorem on ordered fields
There is a theorem attributed to Hahn that every ordered field $F$ containing $\mathbb R$ is a subfield of a formal power series field $\mathbb R[[X^\Gamma]]$, where $\Gamma$ is an ordered abelian ...
- 17.6k
2
votes
1
answer
231
views
Is $\mathbb{A}_k^n(k)$ dense in the Berkovich analytification of $\mathbb{A}_k^n$?
Let $k$ be a non-archimedean field and denote by $\mathbb{A}_k^n$ the analytic affine space of $n$ dimensions over $k$ (analytic in the sense of Berkovich). There is a natural injective map of sets $\...
- 1,073
1
vote
0
answers
104
views
Algebraic morphisms of affine varieties in positive characteristic
Let $\Omega$ be a completion of an algebraic closure of $\mathbb F_q\left(\left(\frac1T\right)\right)$ for the valuation $-\deg$.
Consider two matrices $M_1,M_2$ in $\mathcal M_2(\Omega)$ that are $\...
- 3,561
1
vote
1
answer
175
views
Theory of extensions of non-archimedian local fields
I'm searching for a recommendable reference dealing with theory of
non-Archimedean local fields where I can find proofs of the following claims about
finite extensions $L/K$ of non-Archimedean local ...
- 5,272
3
votes
1
answer
279
views
perfectoid field of characteristic $p$
Let $L$ be perfectoid field of characteristic $p$ and $L'$ be a finite extension of $L$. Then I want to prove the trace map $\text{Tr}_{L'/L}: m_{L'}\rightarrow m_L$ is surjective. I find a proof in ...
user141691
6
votes
0
answers
133
views
The valuation of finite extension of an non-archimedean field
Let $(k,|.|)$ be a non-archimedean complete field and $(L,|.|)$ be a finite extension of $(k,|.|)$, $[L:k]=n$, such that $L=k(\xi)$. Let $\phi$ the homomorphism of $k$-Banach algebra
$$\begin{array}{...
7
votes
0
answers
372
views
intuition for lattices in p-adic (or other non-Archimedean) vector spaces?
I could use some help to jumpstart my intuition for lattices in vector spaces over non-Archimedean fields, like $\mathbb{Q}_p$ and $\mathbb{F}_q((t))$.
I have some intuition for $\mathbb{Z}$-lattices ...
- 1,329
1
vote
0
answers
194
views
compact $p$-adic Lie group can be embedded into $O_K^n$ or $\text{GL}_n(K)$?
Let $K$ be a local field of charecteristic $0$ and $G$ be a compact $p$-adic Lie group of dimension $n$, then can $G$ be embedded into $O_K^n$ or $\text{GL}_n(K)$ as a closed subgroup? This is a dual ...
user141691
3
votes
0
answers
172
views
gluing Berkovich spaces
In his paper Etale cohomology for non-Archimedean analytic space (IHES), Berkovich explained how to glue $k$-analytic spaces (Prop. 1.3.3) and show its uniqueness using the Prop 1.3.2 (gluing morphism)...
- 75
4
votes
1
answer
190
views
How does an analytic space correspond to a $p$-adic Banach space
Let $K$ be a finite extension of $\mathbb{Q}_p$, and $V$ be a Banach algebra over $K$, then what is the $K$-analytic space corresponding to $V$? What is the definition of $K$-analytic space? This is ...
user141691
9
votes
1
answer
778
views
Completed tensor product is exact
In the beginning of the 7th chapter of the book "Spectral theory and analytic geometry over non-Archimedean fields" by Vladimir Berkovich one can find the phrase "...tensor product functor is exact on ...
- 332
4
votes
2
answers
308
views
$p$-adic series bounded if and only if it has finitely many zeros
Let $L\subseteq\mathbb{C}_p$ be a finite extension of $\mathbb{Q}_p$, $r$ be a positive real number, and $f$ be a series $\sum_{n\in \mathbb{Z}} a_nz^n$ convergent in $D= \{x\in \mathbb{C}_p|0<v(x)\...
user141691
2
votes
0
answers
219
views
Rigid analytic geometry and Tate curve
I am stuck in the proof of theorem 5.1.4 in the book rigid analytic geometry and its applications on page 126. The authurs define $\Gamma:=G^{an}_{m,k}/<q\gt$ where $k$ is a complete non-...
user141691
5
votes
0
answers
137
views
Fields that are not finite extensions of proper subfields
What fields are not finite extensions of proper subfields? Prime fields and (less obviously) real closed fields have this property. Do the $p$-adics enjoy this property as well?
user145520
3
votes
1
answer
113
views
Image of a finite dimensional complex representations of $GL_n(\mathcal{O})$
EDIT Let $\mathcal{O}$ be the ring of integers in a non-Archimedean local field. Let $GL_n(\mathcal{O})$ be the (compact) group of $n\times n$ matrices with entries in $\mathcal{O}$ such that its ...
- 20.4k