Related papers: On elementary integrability of rational vector fie…

Suppose V is a surface over a number field k that admits two elliptic fibrations. We show that for each integer d there exists an explicitly computable closed subset Z of V, not equal to V, such that for each field extension K of k of…

We provide a sufficient condition for a polynomial ring, not necessarily commutative, to have a first-order definition for the rational integers.

We conjecture the existence of special elements in odd degree higher algebraic K-groups of number fields that are related in a precise way to the values at strictly negative integers of the derivatives of Artin L-functions of finite…

Assume that $(L,v)$ is a finite Galois extension of a valued field $(K,v)$. We give an explicit construction of the valuation ring $\mathcal O_L$ of $L$ as an $\mathcal O_K$-algebra, and an explicit description of the module of relative…

For important cases of algebraic extensions of valued fields, we develop presentations of the associated K\"ahler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated Dedekind…

Let $k$ be a fixed finite geometric extension of the rational function field $\mathbb{F}_q(t)$. Let $F/k$ be a finite abelian extension such that there is an $\Fq$-rational place $\infty$ in $k$ which splits in $F/k$ and let $\mathcal{O}_F$…

Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In…

Non-archimedean fields with restricted analytic functions may not support a full exponential function, but they always have partial exponentials defined in convex subrings. On face of this, we study the first order theory of the class of…

We consider integration of functions with values in a partially ordered vector space, and two notions of extension of the space of integrable functions. Applying both extensions to the space of real valued simple functions on a measure…

We prove that every non-trivial valuation on an infinite superrosy field of positive characteristic has divisible value group and algebraically closed residue field. In fact, we prove the following more general result. Let $K$ be a field…

We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional…

We show that for a natural polynomial Hamiltonian system the existence of a single Darboux polynomial (a partial polynomial first integral) is equivalent to the existence of an additional first integral functionally independent with the…

Let $K$ be a number field and $d_K$ the absolute value of the discrimant of $K/\mathbb{Q}$. We consider the root discriminant $d_L^{\frac{1}{[L:\mathbb{Q}]}}$ of extensions $L/K$. We show that for any $N>0$ and any positive integer n, the…

Let $L$ be a restricted Lie algebra over a field of positive characteristic. We prove that the restricted enveloping algebra of $L$ is a principal ideal ring if and only if $L$ is an extension of a finite-dimensional torus by a cyclic…

In our previous paper entitled "Axiomatic differential geometry -towards model categories of differential geometry-, we have given a category-theoretic framework of differential geometry. As the first part of our series of papers concerned…

Let $G$ be a finite group. Then there exists a first-order statement $S(G)$ in the language of rings without parameters and depending only on $G$ such that, for any field $K$, we have that $K\models S(G)$ if and only if $K$ has a Galois…

Fix any field $K$ of characteristic $p$ such that $[K:K^p]$ is finite. We discuss excellence for Noetherian domains whose fraction field is $K$, showing for example, that $R$ is excellent if and only if the Frobenius map is finite on $R$.…

Given a field K, one may ask which finite groups are Galois groups of field extensions L/K such that L is a maximal subfield of a division algebra with center K. This connection between inverse Galois theory and division algebras was first…

The classical Liouvile integrability means that there exist $n$ independent first integrals in involution for $2n$-dimensional phase space. However, in the infinite-dimensional case, an infinite number of independent first integrals in…

For a cyclic Kummer extension $K$ of a rational function field $k$ is considered, via class field theory, the extended Hilbert class field $K_H^+$ of $K$ and the corresponding extended genus field $K_g^+$ of $K$ over $k$, along the lines of…