Related papers: Multivariate Hensel Lemma for ultrametric fields

We prove some results connecting the zeta functions of varieties over finite fields with the big Witt ring over $\mathbb Z$. We explore relations with motivic measures and a classical formula of Macdonald on invariants of symmetric products…

The circle method has been successfully used over the last century to study rational points on hypersurfaces. More recently, a version of the method over function fields, combined with spreading out techniques, has led to a range of results…

We study ordinary differential equations in the complex domain given by meromorphic vector fields on K\"ahler compact complex surfaces. We prove that if such an equation has a maximal single valued solution with Zariski-dense image (in…

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…

The classical Bertini theorem on generic intersection of an algebraic set with hyperplanes states the following: \emph{Let X be a nonsingular closed subvariety of $\mathbb{P}^n_k$, where $k$ is an algebraically closed field. Then there…

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…

In this paper, we undertake a systematic model and valuation theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the…

The subring of the Grothendieck ring of varieties generated by the graph hypersurfaces of quantum field theory maps to the monoid ring of stable birational equivalence classes of varieties. We show that the image of this map is the copy of…

Let R be a regular local ring, containing an infinite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R.

We study an analogue of the Mertens conjecture in the setting of global function fields. Building on the work of Cha, we show that most hyperelliptic curves do not satisfy the Mertens conjecture, but that if we modify the Mertens conjecture…

New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension,…

In this paper, various Homological Conjectures are studied for local rings which are locally finitely generated over a discrete valuation ring $V$ of mixed characteristic. Typically, we can only conclude that a particular Conjecture holds…

The aim of this project is to attach a geometric structure to the ring of integers. It is generally assumed that the spectrum $\mathrm{Spec}(\mathbb{Z})$ defined by Grothendieck serves this purpose. However, it is still not clear what…

In this paper, we establish the theory of local newforms for irreducible tempered generic representations of unramified odd unitary groups over a non-archimedean local field. For the proof, we prove an analogue of the fundamental lemma for…

Using a prime element of a local field K of positive characteristic p, the concepts of multiresolution analysis (MRA) and wavelet can be generalized to such a field. We prove a version of the splitting lemma for this setup and using this…

The Grothendieck-Witt ring of a field is known to be a $\lambda$-ring, where the $\lambda$-operations are induced by the exterior powers of bilinear spaces. We give a similar construction on the mixed Grothendieck-Witt ring of a central…

Let $K$ be a complete non-archimedean field with a discrete valuation, $f\in K[X]$ a polynomial with non-vanishing discriminant, $A$ the valuation ring of $K$, and $\M$ the maximal ideal of $A$. The first main result of this paper is a…

We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant,…

This is the second of two papers introducing and investigating two bivariate zeta functions associated to unipotent group schemes over rings of integers of number fields. In the first part, we proved some of their properties such as…

Inspired by the theory of Hodge correlators due to Goncharov and by the plectic principle of Nekov\'a\v{r} and Scholl, we construct higher plectic Green functions and give a higher order generalization of Hecke's formula for abelian…