Related papers: A Database of Local Fields
We describe an online database of number fields which accompanies this paper The database centers on complete lists of number fields with prescribed invariants. Our description here focuses on summarizing tables and connections to…
The article provides an introduction to infinite-dimensional differential calculus over topological fields and surveys some of its applications, notably in the areas of infinite-dimensional Lie groups and dynamical systems.
We improve the database of $p$-adic fields in the LMFDB by systematically using Krasner-Monge polynomials and working relatively as well as absolutely. These improvements organize $p$-adic fields into families. They thereby make long lists…
We give a proposal for future development of the model theory of valued fields. We also summarize some recent results on p-adic numbers.
A p-local finite group consists of a finite p-group S, together with a pair of categories which encode ``conjugacy'' relations among subgroups of S, and which are modelled on the fusion in a Sylow p-subgroup of a finite group. It contains…
In this paper, we study local systems of locally finite associative algebras over fields of characteristic p\ge0. We describe the perfect local systems and study the relation between them and their corresponding locally finite associative…
We calculate extensions between certain irreducible admissible representations of p-adic groups.
Probabilistic databases (PDBs) are used to model uncertainty in data in a quantitative way. In the standard formal framework, PDBs are finite probability spaces over relational database instances. It has been argued convincingly that this…
We consider various counting questions for irreducible binomials over finite fields. We use various results from analytic number theory to investigate these questions.
Some aspects of analysis involving fields with absolute value functions are discussed, which includes the real or complex numbers with their standard absolute values, as well as ultrametric situations like the p-adic numbers.
We use cell decomposition techniques to study additive reducts of p- adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used…
Probabilistic databases (PDBs) model uncertainty in data in a quantitative way. In the established formal framework, probabilistic (relational) databases are finite probability spaces over relational database instances. This finiteness can…
A field with an absolute value function is a basic type of metric space, which includes the real and complex numbers with their standard metrics, and ultrametrics on fields like the p-adic numbers. Here we try to give some perspectives of…
Many active mathematical research topics nowadays include the concepts of valued fields and local fields, especially the local field of p-adic numbers Qp and the field of formal Laurent series F((X)). Local fields are a notion situated in…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
This article contains a basic introduction to the local study of finite groups, including a brief perspective on the theory of fusion systems and $p$-local finite groups. -- Este art\'iculo contiene una introducci\'on b\'asica al estudio…
We study the arithmetic aspects of the finite group of extensions of abelian varieties defined over a number field. In particular, we establish relations with special values of L-functions and congruences between modular forms.
This work is intended as an introduction to the statement and the construction of the local Langlands correspondence for GL(n) over p-adic fields. The emphasis lies on the statement and the explanation of the correspondence.
Class field theory furnishes an intrinsic description of the abelian extensions of a number field that is in many cases not of an immediate algorithmic nature. We outline the algorithms available for the explicit computation of such…
We present a new method to propagate $p$-adic precision in computations, which also applies to other ultrametric fields. We illustrate it with many examples and give a toy application to the stable computation of the SOMOS 4 sequence.