# Questions tagged [non-archimedean-fields]

The tag has no usage guidance.

52 questions
Filter by
Sorted by
Tagged with
131 views

### Significance of integrally closed in an affinoid algebra

A Tate affinoid k-algebra is defined as a pair $(R,R^+)$ where $R$ is a Tate algebra and $R^+$ is an open and integrally closed subring of $R$ contained in the ring of powerbounded elements. See for ...
51 views

### Calculus over Function Fields of Characteristic Zero

Having done some cursory searching of the internet, it is clear to me that there is a very well-developed theory of how to do calculus over function fields, such as fields of Laurent series in a ...
39 views

### Bound for roots of a polynomial with coefficients in a non-Archimedean valued field

Is there any bound for the valuation of the roots of a given polynomial with coefficients in an algebraically closed non-Archimedean valued field? Any reference or insight would be appreciated.
139 views

63 views

### Discrete valuation sub-fields

If $C$ is a characteristic $0$ algebraically closed field over $\mathbb{Q}_p$ which is complete with respect to a non-trivial non-archimedean valuation. Now let $x_1, \cdots,x_n$ be any $n$ elements ...
211 views

### Is any nonarchimedean field containing all roots of unity perfectoid?

Say $K$ is a complete nonarchimedean extension of $\mathbf{Q}_p$, i.e., it is the fraction field of a $p$-adically complete and $p$-torsionfree rank $1$ valuation ring. Assume that the residue field ...
240 views

### Formally real fields with unique non-Archimedean ordering

My question is rather simple. Do there exist a formally real field that admits a unique ordering (so sums of squares are the positive elements) and such that this ordering is not archimedean? Oh, I ...
505 views

### Fontaine, J.-M.; Illusie, L. p-adic periods------Does any one have the following article?

Fontaine, J.-M.; Illusie, L. p-adic periods: A survey. (English) Ramanan, S. (ed.) et al., Proceedings of the Indo-French conference on geometry held in Bombay, India, 1989. If anyone has the above ...
91 views

### finite number of vertices of the polyhedron of variation of an invertible function on a Berkovich curve

The paper of Ducros "Cohomologie non-ramifiée sur une courbe p-adique lisse" mentions a theorem (1.21) about the existence of a "polyhedron of variation" of an invertible function on a Berkovich curve....
45 views

### Terminology for valuation-like functions on a vector space

Let $V$ be a vector space over a field $k$. I was wondering if there is a standard terminology for a function $v: V \setminus \{0\} \to \mathbb{R}$ which is invariant under multiplication by nonzero ...
206 views

### generic fibre functor for relative rigid spaces

The classical theory of formal models of rigid analytic spaces due to Raynaud introduces the category of admissible R-formal schemes for $R$ a discretely valued ring, which includes locally ...
123 views

### The image of annuli of the non-Archimedean projective line by rational functions

I'm reading the book "potential theory and dynamics over the Berkovich projective line" by Baker and Rumely. The proposition 2.18 in this claims that if you choose suitable finite $\{a_i\} \in D(a,r)$ ...
86 views

### characterisation of definable functions in the Lipschitz-Robinson expansion

A subset $X$ of a domain $\Omega$ in a real analytic manifold $M$ is called semi-analytic if in a neighbourhood of any point $p \in M$ it is described by finitely many equations and inequalities in ...
126 views

### characterization of the subspace of the moduli space of curves with maximally degenerate Jacobian

Let $K$ be a field equipped with a non-Archimedean absolute value, for example $K=\mathbb{C}((t))$. An Abelian variety $A$ over $K$ is called maximally degenerate if it admits an analytic ...
167 views

### Completions of $K(x)$

Let $K$ be a field. Are there books or articles discussing completions of $K(x)$ with respect to the metric induced by the $p$-adic valuation $|\;\;|_p$ where $p\in k[x]$ is irreducible and different ...
73 views

### the structure on the value group sort of a C-minimal field

Let $K$ be an algebraically closed valued field which is $C$-minimal, as defined, for example, in this article. Examples include pure algebraically closed valued fields, as well as Lipschitz and ...
140 views

### Is there an exponential map on (Hahn) ordered fields?

If $F$ is an ordered field and $G$ is an ordered abelian group, one can define the Hahn product $F \boxtimes G$ to be the set of formal Laurent series with coefficients in $F$ and exponents in $G$. It ...
302 views

363 views

### Is there a notion of pure dimension for Berkovich analytic space?

For affinoid spaces the definition is similar to algebraic geometry, what about general analytic spaces? I can't find a reference about it. If yes then is the analytification of a variety of pure ...
325 views

### Rigid analytic geometry in characterstic 0 vs positive characteristic

This question is motivated purely by curiosity. In algebraic geometry there is a major distinction between the world of characteristic $0$ and that of characteristic $p > 0$ with different methods, ...
375 views

### Berthelot functor, rigid analytic space

If $X=\operatorname{Spec} A$, where $A$ is a noetherien, complete local ring, with a finite residual field $\mathbb{F}_p$. We can associate to $A$ a rigid analytic space with two different ways, we ...
177 views

### Polynomial inequalities in ordered fields

Let $p(x)$ be a polynomial over an ordered field. If $p'(x)\ge 0$ for all $x$ in an interval over that field, is it true that $p(x)$ is increasing over that interval?
455 views

### “Lebesgue-measurable” cardinals and real-closed fields

I understand the motivation behind measurable cardinals is to ask the question: "is there any set large enough to admit a non-trivial measure on all of its subsets?" Hence, it's also worthwhile to ...
121 views

### Determining whether $k(x + x^{-1})$ is post-critically finite for $0 < |k| < 1$

My REU partner and I are working on a problem involving iterations of quadratic rational maps over an algebraically closed field $K$ that is complete with respect to a non-trivial non-archimedean ...
194 views

280 views

### injective implies completion injective?

Background and definitions. Let $k$ denote a field complete with respect to a non-trivial non-archimedean norm. Let $R$ be the integers in $k$, and say $\pi\in R$ with $0<|\pi|<1$ ($\pi$ doesn'...
157 views

### Projective tensor powers of Banach spaces over a normed field

Let $E$ be a Banach space over a complete normed field $\mathbb K$. Is it possible to classify all proper $E$ for which the projective seminorm $p_n$ defined on the $n$-th tensor power of $E$ is a ...
332 views

### Spherical completions and flatness

Let $k$ be a non-Archimedean field. Does there exist a spherical completion $K$ of $k$ such that for any $k$-Banach space $X$, the natural map $X \to X \widehat{\otimes}K$ is an isometric embedding? ...
1k views

### Why do rigid spaces have “not enough points”?

In Brian Conrad's notes here for the 2007 Arizona winter school, bottom of p18, he says that there is an affinoid rigid-analytic space and a sheaf of abelian groups on it equipped with a non-zero ...
285 views

Define asymptotic as a class of sequences {$x_i$},$_{i\in\mathbb N}$ modulo equivalence {$x_i$}={$y_i$} if $\lim_{i\to\infty} (x_i/y_i)=c\in\mathbb R,c\ne 0$. More, we define $X= \{x_i\} \lt Y= \{ ... 1answer 646 views ### bornological vector spaces over a non-archimedean field Let$k$be a complete non-archimedean field. In definitions I have seen of bornological vector spaces over$k$there are usually some extra assumptions on the non-archimedean field. For instance in '... 2answers 375 views ### Non-archimedean group over the reals Hi there, I have a totally ordered group$(\mathbb{R};\leq,\oplus,0,-)$with the reals as base set satisfying monotonicity, i.e. for all$x,y,z$we have that if$y\leq z$then$x\oplus y \leq x\oplus ...
Let $\langle \mathbb{R}, 0, 1, +, \cdot, <\rangle$ be the standard model for $R$, and let $S$ be a countable model of $R$ (satisfying all true first-order statements in $R$). Is it true that the ...