Related papers: Strongly Normal Extensions and Algebraic Different…

In this note, we continue to be interested in the relationship that connects the restricted distribution of finitude at the local level of intermediate fields of a purely inseparable extension $K/k$ to the absolute or global finitude of…

Let $C \langle \boldsymbol{t} \rangle$ be the differential field generated by $l$ differential indeterminates $\boldsymbol{t}=(t_1, \dots, t_l)$ over an algebraically closed field $C$ of characteristic zero. In this article we present an…

The field of real numbers being extended as a larger commutative field, we investigate the possibility of defining a scalar product for the distributions of finite discrete support. Then we focus on the most simple possible extension (which…

Let $K$ be a field and let $A$ be a finitely generated prime $K$-algebra. We generalize a result of Smith and Zhang, showing that if $A$ is not PI and does not have a locally nilpotent ideal, then the extended centre of $A$ has…

We describe the first term of the $\Lambda_{k-1}\mathcal{C}$--spectral sequence (see math.DG/0610917) of the diffiety (E,C), E being the infinite prolongation of an l-normal system of partial differential equations, and C the Cartan…

Given a number field $k$, we show that, for many finite groups $G$, all the Galois extensions of $k$ with Galois group $G$ cannot be obtained by specializing any given finitely many Galois extensions $E/k(T)$ with Galois group $G$ and $E/k$…

Let k be a number field, and denote by k^[d] the compositum of all degree d extensions of k in a fixed algebraic closure. We first consider the question of whether all algebraic extensions of k of degree less than d lie in k^[d]. We show…

We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several…

Siegel-Shidlovskii theory of $E$-functions involves a non-vanishing proof for the determinants attached to the linear forms $D^kR(t)$, derivatives of an auxiliary function $R(t)$. Let a non-zero function $F(t)$ satisfy $m$th order linear…

We study solutions to the Brauer embedding problem with restricted ramification. Suppose $G$ and $A$ are a abelian groups, $E$ is a central extension of $G$ by $A$, and $f:\text{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\rightarrow G$ a…

Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…

We study unitary multigraded non-associative algebras R generated by an ordered set X over a field K of characteristic 0 such that the mappings d_k: x_l->delta_{kl}, x_k,x_l in X, can be extended to derivations of R. The class of these…

The existence of a Picard-Vessiot extension for a homogeneous linear differential equation has been established when the differential field over which the equation is defined has an algebraically closed field of constants. In this paper, we…

Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby…

We prove some existence results on parameterized strongly normal extensions for logarithmic equations. We generalize a result in [Wibmer, Existence of d-parameterized Picard-Vessiot extensions over fields with algebraically closed…

We consider central extensions $Z\hookrightarrow E\twoheadrightarrow G$ in the category of linear differential algebraic groups. We show that if $G$ is simple non-commutative and $Z$ is unipotent with the differential type smaller than that…

This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…

We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological…

We provide a framework for extensions of Lie algebroids, including non-abelian extensions and Lie algebroids over different bases. Our approach involves Ehresmann connections, which allows straight generalizations of classical…

This research is concerned with the nonhomogeneous linear complex differential equation $$ f^{(k)}+A_{k-1}f^{(k-1)}+\cdots+A_{1}f'+A_{0}f=A_{k} $$ in the complex plane. In the higher order case, the mutual relations between coefficients and…