Related papers: Valuations centered at a two-dimensional regular l…
The supremum of reduction numbers of ideals having principal reductions is expressed in terms of the integral degree, a new invariant of the ring, which is finite provided the ring has finite integral closure. As a consequence, one obtains…
Let K be an expansion of either an ordered field or a valued field. Given a definable set X $\subseteq$ K<sup>m</sup> let C(X) be the ring of continuous definable functions from X to K. Under very mild assumptions on the geometry of X and…
In this paper, we study extensions of valuations over algebraic field extensions without the use of the Axiom of Choice. We show a bijection between the extensions of a valuation and the maximal ideals of the relative integral closure of…
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is…
The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are…
This paper develops the geometry of locally bounded rational functions on non-singular real algebraic varieties. First various basic geometric and algebraic results regarding these functions are established in any dimension, culminating…
This paper discusses the regularity of multiple-valued Dirichlet minimizing maps into the sphere. It shows that even at branched point, as long as the normalized energy is small enough, we have the energy decay estimate. Combined with the…
We give a necessary and sufficient condition for a one-dimensional regular and Hausdorff topological space definable in a definably complete uniformly locally o-minimal structure of the second kind having definable bounded multiplication…
The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is one of the key reasons why. We describe a formal proof that the adele ring of a number field is locally…
We shown that every continuous local functional on the space of finite convex functions on $\mathbb{R}^n$ is a valuation. This relation is used to establish a homogeneous decomposition for the class of polynomial local functionals as well…
Ends and end cohomology are powerful invariants for the study of noncompact spaces. We present a self-contained exposition of the topological theory of ends and prove novel extensions including the existence of an exhaustion of a proper…
For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…
It is shown that every continuous valuation defined on the $n$-dimensional star bodies has an integral representation in terms of the radial function. Our argument is based on the non-trivial fact that continuous valuations are uniformly…
All upper semicontinuous and SL(n) invariant valuations on convex bodies containing the origin in their interiors are completely classified. Each such valuation is shown to be a linear combination of the Euler characteristic, the volume,…
In this survey we present several results concerning various topologies that were introduced in recent years on spaces of valuation domains.
Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable…
We present a binary tree that describes the 2-adic valuation of a sequence of coefficients arising from the evaluation of a rational integral.
In this note, basing on a certain functional equation of the dilogarithm function, we establish nontrivial lower bounds for the $p$-adic valuation (where $p$ is a given prime number) of some type of rational numbers involving harmonic…
In this paper we develop a duality theory for all finite-dimensional near-vector spaces and introduce a notion of inner product tailored to the broad and natural class of strongly regular near-vector spaces. This generalized construction…