相关论文: Model theory of valued fields

The paper develops a calculus for a class of real-valued functions having a quadratic variation. The main result is a solution of the representation problem for a class of evolutions having a quadratic variation. The result is applied to…

We show that the coefficients of a power series occurring in $p$-adic Fourier theory for $\mathbf{Q}_{p^2}$ have valuations that are given by an intriguing formula.

Motivated by the Langlands program in representation theory, number theory and geometry, the theory of representations of a reductive $p$-adic group over a coefficient ring different from the field of complex numbers has been widely…

Suggestions concerning the generalization of the geometric quantization to the case of nonlinear field theories are given. Results for the Liouville field theory are presented.

This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory to deal with both sets and functions between represented…

There have been several attempts in recent years to extend the notions of symplectic and Poisson structures in order to create a suitable geometrical framework for classical field theories, trying to achieve a success similar to the use of…

Updated version of 2013 Arizona WInter School notes on modularity lifting theorems for for two-dimensional p-adic representations, using wherever possible arguments that go over to the n-dimensional (self-dual) case.

These notes are an introduction to higher dimensional local fields and higher dimensional adeles. As well as the foundational theory, we summarise the theory of topologies on higher dimensional local fields and higher dimensional local…

We provides some new equivalent forms of collection principle over some very weak set theories after reviewing the existing ones.

We give a formalism of mixed sheaves on varieties over a subfield of the complex number field.

The study of prime divisibility plays a crucial role in number theory. The $p$-adic valuation of a number is the highest power of a prime, $p$, that divides that number. Using this valuation, we construct $p$-adic valuation trees to…

We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…

We give a valuation theoretic characterization for a real closed field to be recursively saturated. Our result extends the characterization of Harnik and Ressayre \cite{hr} for a divisible ordered abelian group to be recursively saturated.

In this paper, we give a survey of a geometrical theory of Jacobi forms of higher degree. And we present some geometric results and discuss some geometric problems to be investigated in the future.

For a number field, we have a Tannaka category of mixed Tate motives at our disposal. We construct p-adic points of the associated Tannaka group by using p-adic Hodge theory. Extensions of two Tate objects yield functions on the Tannaka…

We attempt to survey the field of combinatorial representation theory, describe the main results and main questions and give an update of its current status. We give a personal viewpoint on the field, while remaining aware that there is…

We present some new lower bound estimates for certain numbers in Laver table theory and introduce several related structures of interest.

We compute the Galois cohomology of any $p$-adic valuation field extension of a pre-perfectoid field. Moreover, we obtain a generalization and also a new proof of the classical results of Tate and Hyodo on discrete valuation fields, without…

We classify all possible extensions of a valuation from a ground field $K$ to a rational function field in one or several variables over $K$. We determine which value groups and residue fields can appear, and we show how to construct…

Generalizing earlier results concerning p-adic fields, this paper develops a theory of B(G) for all local and global fields.