Related papers: Effective Differential L\"uroth's Theorem

We study the L\"{u}roth problem for partial differential fields. The main result is the following partial differential analog of generalized L\"{u}roth's theorem: Let $\mathcal{F}$ be a differential field of characteristic 0 with $m$…

Let $H$ be a division ring of finite dimension over its center, let $H[T]$ be the ring of polynomials in a central variable over $H$, and let $H(T)$ be its quotient skew field. We show that every intermediate division ring between $H$ and…

A generalization of L{\"u}roth's theorem expresses that every transcendence degree 1 subfield of the rational function field is a simple extension. In this note we show that a classical proof of this theorem also holds to prove this…

Let $X\subset Y(1)^n$ be a subvariety defined over a number field $\mathbb F$ and let $(P_1,\ldots,P_n)\in X$ be a special point not contained in a positive-dimensional special subvariety of $X$. We show that the if a coordinate $P_i$…

L\"uroth's theorem describes the dominant maps from rational curves over a field. In this note we study those dominant rational maps from cartesian powers $X^{\Psi}$ of geometrically irreducible varieties $X$ over a field $k$ for infinite…

We prove that for a homogeneous linear partial differential operator $\mathcal A$ of order $k \le 2$ and an integrable map $f$ taking values in the essential range of that operator, there exists a function $u$ of special bounded variation…

We present a new, short and independent proof of the Liouville-type theorem for entire and subharmonic functions of finite order bounded outside some set of zero planar density.

The First and Second Liouville's Theorems provide correspondingly criterium for integrability of elementary functions "in finite terms" and criterium for solvability of second order linear differential equations by quadratures. The…

For a differential operator $L$ of order $n$ over $C(z)$ with a finite (differential) Galois group $G\subset {\rm GL}(C^n)$, there is an algorithm, by M. van Hoeij and J.-A.~Weil, which computes the associated evaluation of the invariants…

We study a necessary condition for the integrability of the polynomials fields in the plane by means of the differential Galois theory. More concretely, by means of the variational equations around a particular solution it is obtained a…

The paper generalizes Lazarus Fuchs' theorem on the solutions of complex ordinary linear differential equations with regular singularities to the case of ground fields of arbitrary characteristic, giving a precise description of the shape…

Let $G$ be a classical group of Lie rank $l$ and let $C$ be an algebraically closed field of characteristic zero. For $l$ differential indeterminates $\boldsymbol{v}=(v_1,\dots,v_l)$ over $C$ we constructed in a previous paper a general…

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$…

A theorem of N. Katz \cite{Ka} p.45, states that an irreducible differential operator $L$ over a suitable differential field $k$, which has an isotypical decomposition over the algebraic closure of $k$, is a tensor product $L=M\otimes_k N$…

Let $G$ be one of the classical groups of Lie rank $l$. We make a similar construction of a general extension field in differential Galois theory for $G$ as E. Noether did in classical Galois theory for finite groups. More precisely, we…

The extended L\"uroth's Theorem says that if the transcendence degree of $\KK(\mathsf{f}_1,\dots,\mathsf{f}_m)/\KK$ is 1 then there exists $f \in \KK(\underline{X})$ such that $\KK(\mathsf{f}_1,\dots,\mathsf{f}_m)$ is equal to $\KK(f)$. In…

For a non-Archimedean local field $F$ of residue cardinality $q=p^r$, we give an explicit classical generator $V$ for the bounded derived category $D_{fg}^b(\mathsf{H}_1(G))$ of finitely generated unipotent representations of…

Let $C \langle t_1, \dots t_l\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. We develop a lower bound…

We define discrete generating series for arbitrary functions \( f \colon \mathbb{Z}^n \rightarrow \mathbb{C} \) and derive functional relations that these series satisfy. For linear difference equations with constant coefficients, we…

Here we investigate the property of effectivity for adjoint divisors. Among others, we prove the following results: (i) A normal projective variety $X$ with at most canonical singularities is uniruled if and only if for each very ample…