Related papers: Preimages Question for Surjective Endomorphisms on…

Let $X$ be a normal projective variety. A surjective endomorphism $f:X\to X$ is int-amplified if $f^\ast L - L =H$ for some ample Cartier divisors $L$ and $H$. This is a generalization of the so-called polarized endomorphism which requires…

Suppose that $K$ is a field of characteristic 0, $K_a$ is its algebraic closure, $p$ is a prime, $q=p^r$ is a power prime. Suppose that $f(x) \in K[x]$ is a polynomial of degree $n > 4$ without multiple roots. Let us consider the…

We give three applications of a recently-proven "Decomposition Lemma," which allows one to count preimages of certain sets of permutations under West's stack-sorting map $s$. We first enumerate the permutation class…

We prove a quantitative partial result in support of the Dynamical Mordell-Lang Conjecture (also known as the DML conjecture) in positive characteristic. More precisely, we show the following: given a field $K$ of characteristic $p$, given…

Let $K$ be a field of characteristic $0$, and let $k \geq 2$ be an integer. We prove that every $K$-linear bijection $f \colon K[X] \to K[X]$ strongly preserving the set of $k$-free polynomials (or the set of polynomials with a $k$-fold…

In this paper, we prove that for a given surjective holomorphic endomorphism $f$ of a compact K\"ahler manifold $X$ and for some integer $p$ with $1\le p\le k$, there exists a proper invariant analytic subset $E$ for $f$ such that if $S$ is…

The first fundamental theorem of invariant theory for the orthosymplectic supergroup ${\rm OSp}(V)$ (where $V$ has superdimension $(m|2n)$) in the endomorphism algebra setting states that there is a surjective algebra homomorphism $F_r^r:…

Let $K=k(C)$ be the function field of a complete nonsingular curve $C$ over an arbitrary field $k$. The main result of this paper states that a morphism $\phi:{\mathbb P}^N_K\to{\mathbb P}^N_K$ is isotrivial if and only if it has potential…

Let $f:X\rightarrow X$ be a quasi-finite endomorphism of an algebraic variety $X$ defined over a number field $K$ and fix an initial point $a\in X$. We consider a special case of the dynamical Mordell-Lang Conjecture, where the subvariety…

Let $k$ be a field of characteristic zero, and let $f: k[x,y] \to k[x,y]$, $f: (x,y) \mapsto (p,q)$, be a $k$-algebra endomorphism having an invertible Jacobian. Write $p=a_ny^n+\cdots+a_1y+a_0$, where $n=deg_y(p) \in \mathbb{N}$, $a_i \in…

Let $K$ be an algebrically closed field and let $n\geq 1$. If $P\in K[X]=K[X_1,\ldots,X_n]$, $P\neq 0$, we denote by $I(P)$ the support of $P$, which is the finite subset of $\mathbb N^n$ such that $P=\sum_{i\in I(P)}a_iX^i$ with $a_i\in…

In the study of pre-Lie algebras, the concept of pre-morphism arises naturally as a generalization of the standard notion of morphism. Pre-morphisms can be defined for arbitrary (not-necessarily associative) algebras over any commutative…

Let $V$ be an $n$-dimensional left vector space over a division ring $R$ and $n\ge 3$. Denote by ${\mathcal G}_{k}$ the Grassmann space of $k$-dimensional subspaces of $V$ and put ${\mathfrak G}_{k}$ for the set of all pairs $(S,U)\in…

We consider an arbitrary int-amplified surjective endomorphism $f$ of a normal projective variety $X$ over $\mathbb{C}$ and its $f^{-1}$-stable prime divisors. We extend the early result for the case of polarized endomorphisms to the case…

The primary goal of this document is to record the asymptotic effects that preimage constraints impose upon the sizes of the iterated images of a random function. Specifically, given a subset $\mathcal{P}\subseteq \mathbb{Z}_{\geq 0}$ and a…

Let $k$ be an algebraically closed field of positive characteristic, $G$ a reductive group over $k$, and $V$ a finite dimensional $G$-module. Let $B$ be a Borel subgroup of $G$, and $U$ its unipotent radical. We prove that if $S=\Sym V$ has…

A set $S\subset \mathbb{R}^n$ is a nonnegativity witness for a set $U$ of real homogeneous polynomials if $F$ in $U$ is nonnegative on $\mathbb{R}^n$ if and only if it is nonnegative at all points of $S$. We prove that the union of the…

By using classical invariant theory, we reduce the $S_{n}$-invariant F-conjecture to a feasibility problem in polyhedral geometry. We show by computer that for $n \le 19$, every integral $S_{n}$-invariant F-nef divisor on the moduli space…

A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective…

We show that for all integers $2\le s\le t$, any $K_{s,t}$-free subset of $[N]$ with size $\Omega(n^{1-1/s})$ must contain a nontrivial solution to every fixed translation-invariant linear equation in at least five variables. This extends…