Related papers: Internality of logarithmic-differential pullbacks

Recent breakthrough methods \cite{gggz,joux,bgjt} on computing discrete logarithms in small characteristic finite fields share an interesting feature in common with the earlier medium prime function field sieve method \cite{jl}. To solve…

We present new induction principles for the syntax of dependent type theories, which we call relative induction principles. The result of the induction principle relative to a functor F into the syntax is stable over the codomain of F. We…

We introduce a Lie algebra of initial terms of logarithmic vector fields along a hypersurface singularity. Extending the formal structure theorem in [GS06, Thm. 5.4], we show that the completely reducible part of its linear projection lifts…

This work studies collections of Hilbert space operators which possess a strict monoid structure under composition. These collections can be thought of as discrete unital semigroups for which no subset of the collection is closed under…

When the plane is pie-sliced in $n\leq 4$ parts (with nonempty interior and common vertex at the origin) our main result provides a sufficient condition for any map $L$, that is continuous and piecewise linear relatively to this slicing, to…

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F. We show that the behavior of this group, even when A is large, depends essentially on the roots of unity in F. For almost all…

A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…

This monograph, written for educational purposes, serves as an introduction to the concept of integrability as it applies to systems of differential equations (both ordinary and partial) as well as to vector-valued fields. The general cases…

We study relatively affine actions of a diagonalizable group $G$ on locally noetherian schemes. In particular, we generalize Luna's fundamental lemma when applied to a diagonalizable group: we obtain criteria for a $G$-equivariant morphism…

Using a generalization of forward elimination, it is proved that functions $f_1,...,f_n:X\to\mathbb{A}$, where $\mathbb{A}$ is a field, are linearly independent if and only if there exists a nonsingular matrix $[f_i(x_j)]$ of size $n$,…

A classical result of F.Klein states that, given a finite primitive group $G\subseteq SL_2(\mathbb{C})$, there exists a hypergeometric equation such that any second order LODE whose differential Galois group is isomorphic to $G$ is…

If $V$ is a smooth projective variety defined over a local field $K$ with finite residue field, so that its \'etale cohomology over the algebraic closure $\bar{K}$ is supported in codimension 1, then the mod $p$ reduction of a projective…

The well-known theory of "rational canonical form of an operator" describes the invariant factors, or elementary divisors, as a complete set of invariants of a similarity class of an operator on a finite-dimensional vector space $\V$ over a…

A theorem of Weil and Atiyah says that a holomorphic vector bundle $E$ on a compact Riemann surface $X$ admits a holomorphic connection if and only if the degree of every direct summand of $E$ is zero. Fix a finite subset $S$ of $X$, and…

The existence of a finite basis of algebraically independent one-loop integrals has underpinned important developments in the computation of one-loop amplitudes in field theories and gauge theories in particular. We give an explicit…

One of the various versions of the classical Lyapunov-Poincar\'e center theorem states that a nondegenerate real analytic center type planar vector field singularity admits an analytic first integral. In a more proof of this result, R.…

Let X be a smooth variety over a field of positive characteristic, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a "canonical logarithmic extension" of E to a good compactification of X. In…

We show that the conditions imposed on a second order linear differential equation with rational coefficients on the complex line by requiring it to have regular singularities with fixed exponents at the points of a finite set $P$ and…

From some observations on the linear differential operators occurring in the Lattice Green function of the d-dimensional face centred and simple cubic lattices, and on the linear differential operators occurring in the n-particle…

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…