Related papers: Extending valuations to formal completions
Let (R; m; k) be a local noetherian domain with field of fractions K and R_v a valuation ring, dominating R (not necessarily birationally). Let v|K be the restriction of v to K; by definition, v|K is centered at R. Let \hat{R} denote the…
This work presents author's explicit methods of constructing abelian extensions of complete discrete valuation fields. His approach to explicit equations of a cyclic extension of degree p^n which contains a given cyclic extension of degree…
In this paper we give an introduction on how one can extend a valuation from a field $K$ to the polynomial ring $K[x]$ in one variable over $K$. This follows a similar line as the one presented by the author in his talk at ALaNT 5. We will…
We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…
Let $V$ be a valuation domain with quotient field $K$. We show how to describe all extensions of $V$ to $K(X)$ when the $V$-adic completion $\widehat{K}$ is algebraically closed, generalizing a similar result obtained by Ostrowski in the…
This article is a natural construction of our previous works. In this article, we employ similar ideas due to MacLane to provide an estimate of IC(K(X)|K,v) when (K(X)|K,v) is a valuation algebraic extension. Our central result is an…
A study of the relation between a noetherian local domain with a given valuation and its associated graded ring with respect to the valuation, which in some cases is an esentially toric variety, possibly of infinite embedding dimension, but…
We present a general form of attribute exploration, a knowledge completion algorithm from Formal Concept Analysis. The aim of our presentation is not only to extend the applicability of attribute exploration by a general description. It may…
An overview of some of the recent developments in the theory of valuations on convex sets and its generalizations to manifolds is given. The exposition is focused towards applications to integral geometry; several of such applications are…
We improve the arithmetic duality formalism of the rational etale site. This improvement allows us to avoid some exotic approximation arguments on local fields with ind-rational base, thus simplifying the proofs of the previously…
In this article we further develop the theory of valuation independence and study its relation with classical notions in valuation theory such as immediate and defectless extensions. We use this general theory to settle two open questions…
The present notes are based on three lectures, each ninety minutes long, prepared for the school 'Integrability, Dualities and Deformations', that ran from 23 to 27 August 2021 in Santiago de Compostela and virtually. These lectures, aimed…
An exponential homomorphism for a complete discrete valuation field of characteristic zero which relates differential forms and the Milnor K-groups of the field is studied. An application to explicit formulas is included.
We introduce the notion of {\it approximation type} for the partial, and in certain cases the total description of extensions of a given valuation from a field $K$ to the rational function field $K(x)$. To every extension, a unique…
Open-domain question answering (Open-QA) is a common task for evaluating large language models (LLMs). However, current Open-QA evaluations are criticized for the ambiguity in questions and the lack of semantic understanding in evaluators.…
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…
The formal degree conjecture relates the formal degree of an irreducible square-integrable representation of a reductive group over a local field to the special value of the adjoint $\gamma$-factor of its $L$-parameter. In this paper, we…
This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods. We formalize our…
This position paper provides a critical but constructive discussion of current practices in benchmarking and evaluative practices in the field of formal reasoning and automated theorem proving. We take the position that open code, open…
This article is the second part in the series of articles where we are developing theory of valuations on manifolds. Roughly speaking valuations could be thought as finitely additive measures on a class of nice subsets of a manifold which…