Related papers: On the implicit constant fields and key polynomial…

We develop a first-order theory of ordered transexponential fields in the language $\{+,\cdot,0,1,<,e,T\}$, where $e$ and $T$ stand for unary function symbols. While the archimedean models of this theory are readily described, the study of…

We study translation invariant, real-valued valuations on the class of convex polytopes in Euclidean space and discuss which continuity properties are sufficient for an extension of such valuations to all convex bodies. For this purpose, we…

Given a divisorial discrete valuation 'centered at infinity' on C[x,y], we show that its sign on C[x,y] (i.e. whether it is negative or non-positive on non-constant polynomials) is completely determined by the sign of its value on the 'last…

We consider a scalar-valued implicit function of many variables, and provide two closed formulae for all of its partial derivatives. One formula is based on products of partial derivatives of the defining function, the other one involves…

We provide a new proof of Alesker's Irreducibility Theorem. We first introduce a new localization technique for polynomial valuations on convex bodies, which we use to independently prove that smooth and translation invariant valuations are…

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…

We establish (Theorem 3.6) polynomial-growth estimates for the Fourier coefficients of holomorphic logarithmic vector-valued modular forms.

Let G be a connected split reductive group over a complete discrete valuation ring of mixed characteristic. We use the theory of intermediate extensions due to Abe-Caro and arithmetic Beilinson-Bernstein localization to classify irreducible…

The paper proves the intermediate value theorem for polynomials and power series over a valued field with divisible valuation group and infinite residue field. Some further results on the behaviour of the valuation are obtained using…

Let $K$ be a characteristic zero algebraic function field with a valuation $\nu$. Let $L$ be a finite extension of $K$ and $\omega$ be an extension of $\nu$ to $L$. We establish that the valuation ring $V_{\omega}$ of $\omega$ is…

In this note we generalize the definition of partial permutations of Ivanov and Kerov and we build a universal algebra which projects onto the m-centraliser algebra defined by Creedon. We use it to present a new proof for the polynomiality…

In this paper we discuss stable forms of extensions of algebraic local rings along a valuation in all dimensions over a field k of characteristic zero, and generalize a formula of Ghezzi, H\`a and Kashcheyeva describing the extension of…

Let $D$ be an integrally closed domain with quotient field $K$ and $n$ a positive integer. We give a characterization of the polynomials in $K[X]$ which are integer-valued over the set of matrices $M_n(D)$ in terms of their divided…

Given an integral domain $D$ with quotient field $K$, the ring of integer-valued polynomials on D is the subring $\{f (X) \in K[X]: f(D) \subset D\}$ of the polynomial ring $K[X]$. Using the related tools of $t$-closure and associated…

In this paper one extends the binomial and trinomial coefficients to the concept of 'k-nomial' coefficients, and one obtains some properties of these. As an application one generalizes Pascal's triangle.

We propose investigating a summation analog of the paradigm for parallel integration. We make some first steps towards an indefinite summation method applicable to summands that rationally depend on the summation index and a P-recursive…

Let $k$ be an algebraically closed complete non-Archimedean field, and let $K$ be a finitely generated field extension over $k$ with transcendence degree $1$. Equip $K$ a non-Archimedean norm extending the one on $k$, and let $\mathcal{K}$…

Let $(K,\nu)$ be an arbitrary valued field with valuation ring $R_{\nu}$ and $L=K(\alpha)$, where $\alpha$ is a root of a monic irreducible polynomial $f\in R_{\nu}[x]$. In this paper, we characterize the integral closedness of…

In this paper we present an algorithm for computing all algebraic intermediate subfields in a separably generated unirational field extension (which in particular includes the zero characteristic case). One of the main tools is Groebner…

In this paper we introduce the additive analogue of the index of a polynomial over finite fields. We study several problems in the theory of polynomials over finite fields in terms of their additive indices, such as value set sizes, bounds…