Related papers: A generalised Skolem-Mahler-Lech theorem for affin…

A new notion of thickness for subsets of $B[0,1]\subset \mathbb{R}^n$ called affine thickness is defined; this notion of thickness is a generalisation of Falconer-Yavicoli thickness and is adapted to be used in the study of certain sets…

We prove that every biregular automorphism of the affine algebraic variety ${\mathbb P}^M\setminus S$, $M\geqslant 3$, where $S\subset {\mathbb P}^M$ is a hypersurface of degree $m\geqslant M+1$ with a unique singular point of multiplicity…

We say that a function $\alpha(x)$ belongs to the set ${\bf A}^{(\gamma)}$ if it has an asymptotic expansion of the form $\alpha(x)\sim \sum^\infty_{i=0}\alpha_ix^{\gamma-i}$ as $x\to\infty$, which can be differentiated term by term…

Motivated by the theory of graph limits, we introduce and study the convergence and limits of linear representations of finite groups over finite fields. The limit objects are infinite dimensional representations of free groups in…

A special final coalgebra theorem, in the style of Aczel's, is proved within standard Zermelo-Fraenkel set theory. Aczel's Anti-Foundation Axiom is replaced by a variant definition of function that admits non-well-founded constructions.…

We prove a general inequality for estimating the number of points of arbitrary complete intersections over a finite field. This extends a result of Deligne for nonsingular complete intersections. For normal complete intersections, this…

We present a modern proof of a theorem of Rosenlicht, asserting that every variety as in the title is isomorphic to a product of affine lines and punctured affine lines.

The affine diffeomorphism group $\mathrm{Aff}(S,q)$ of a half-translation surface $(S,q)$ comprise the self-diffeomorphisms with constant differential away from the singularities. This group coincides with the stabiliser of the associated…

We show that the Suslin homology group with integral coefficients of a scheme $X$ separated of finite type over an algebraically closed field of characteristic 0 is a direct sum of a uniquely divisible group, finite copies of…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

We prove that for a normal projective variety $X$ in characteristic 0, and a base-point free ample line bundle $L$ on it, the restriction map of divisor class groups $\Cl(X)\to \Cl(Y)$ is an isomorphism for a general member $Y\in |L|$…

We introduce the notion of strongly Lech-independent ideals as a generalization of Lech-independent ideals defined by Lech and Hanes, and use this notion to derive inequalities on multiplicities of ideals. In particular we prove that if…

The Schur-Horn theorem is a classical result in matrix analysis which characterizes the existence of positive semidefinite matrices with a given diagonal and spectrum. In recent years, this theorem has been used to characterize the…

Over a large class of function fields, we show that the solutions of some linear equations in the topological closure of a certain subgroup of the group of units in the function field are exactly the solutions that are already in the…

The fundamental theorem of affine geometry is a classical and useful result. For finite-dimensional real vector spaces, the theorem roughly states that a bijective self-mapping which maps lines to lines is affine. In this note we prove…

A basic problem in the theory of partially ordered vector spaces is to characterise those cones on which every order-isomorphism is linear. We show that this is the case for every Archimedean cone that equals the inf-sup hull of the sum of…

Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem,…

We prove a skew generalization of the Newton-Puiseux theorem for the field $F = \bigcup_{n=1}^\infty \mathbb{C}((x^\frac{1}{n}))$ of Puiseux series: For any positive real number $\alpha$, we consider the $\mathbb{C}$-automorphism $\sigma$…

Let $\mathbb{F}$ be a field of characteristic zero and let $\mathfrak{g}$ be a non-zero finite-dimensional split semisimple Lie algebra with root system $\Delta$. Let $\Gamma$ be a finite set of integral weights of $\mathfrak{g}$ containing…

This paper establishes a structural generalization of Batchelor's theorem within the framework of $C^\infty$-superschemes. Our main result proves that any Batchelor space satisfies a global splitness condition, establishing an isomorphism…