Related papers: Algebraic dynamics of skew-linear self-maps

The generalised Wronskian of differential order $k\geqslant 1$ for $N$ functions $f_1$, $\ldots$, $f_N$ in $d\geqslant 1$ independent variables $x^1$, $\ldots$, $x^d$ is the determinant of the matrix with these functions' derivatives…

We investigate for which linear-algebraic groups (over the complex numbers or any local field) there exists subgroups which are dense in the Zariski topology, but discrete in the Hausdorff topology. For instance, such subgroups exist for…

Let $X$ be an affine scheme of $k \times \mathbb{N}$-matrices and $Y$ be an affine scheme of $\mathbb{N} \times \cdots \times \mathbb{N}$-dimensional tensors. The group Sym$(\mathbb{N})$ acts naturally on both $X$ and $Y$ and on their…

Let $k$ be a Brauer field, that is, a field over which every diagonal form in sufficiently many variables has a nonzero solution; for instance, $k$ could be an imaginary quadratic number field. Brauer proved that if $f_1, \ldots, f_r$ are…

We prove that every mapping torus of any free group endomorphism is residually finite. We show how to use a not yet published result of E. Hrushovski to extend our result to arbitrary linear groups. The proof uses algebraic self-maps of…

The set \[ \Gamma {\stackrel{\rm def}{=}} \{(z+w,zw):|z|\leq 1,|w|\leq 1\} \subset {\mathbb{C}}^2 \] has intriguing complex-geometric properties; it has a 3-parameter group of automorphisms, its distinguished boundary is a ruled surface…

Let $X$ be a matrix with entries in a polynomial ring over an algebraically closed field $K$. We prove that, if the entries of $X$ outside some $(t \times t)$-submatrix are algebraically dependent over $K$, the arithmetical rank of the…

Let $f:X\to X $ be a dominant self-morphism of an algebraic variety over an algebraically closed field of characteristic zero. We consider the set $\Sigma_{f^{\infty}}$ of $f$-periodic (irreducible closed) subvarieties of small dynamical…

We classify invariant probability measures for non-elementary groups of automorphisms, on any compact K\"ahler surface X, under the assumption that the group contains a so-called "parabolic automorphism". We also prove that except in…

We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose…

Recently, the authors have proved the finiteness of common zeros of two iterated rational maps under some compositional independence assumptions. In this article, we advance towards a question of Hsia and Tucker on a Zariski non-density of…

In this paper, we study the orbit intersection problem for the linear space and the algebraic group in positive characteristic. Let $K$ be an algebraically closed field of positive characteristic and let $\Phi_1, \Phi_{2}: K^d…

Let $V_1$ be the Fano threefold given as a hypersurface of degree 6 in $P(1,1,1,2,3)$ (over a number field $K$). Then there exists a finite extension $K'/K$ such that the set of $K'$-rational points of $X$ is Zariski dense.

Let $\mathcal{O}S$ be the frame of open sets of a topological space $S$, and let $N(\mathcal{O}S)$ be the frame of nuclei of $\mathcal{O}S$. For an Alexandroff space $S$, we prove that $N(\mathcal{O}S)$ is spatial iff the infinite binary…

This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…

Let K be a finite extension of Qp. We fix a continuous absolutely irreducible representation of the absolute Galois group of K over a finite dimensional vector space with coefficient in a finite field of characteristic p and consider its…

Fix any algebraic extension $\mathbb K$ of the field $\mathbb Q$ of rationals. In this article we study exponential sets $V\subset \mathbb R^n$. Such sets are described by the vanishing of so called exponential polynomials, i.e.,…

Given a finite simplicial complex $\mathcal{K}$ in $\mathbb{R}^n$ and a real algebraic variety $Y,$ by a $\mathcal{K}$-regular map $|\mathcal{K}|\rightarrow Y$ we mean a continuous map whose restriction to every simplex in $\mathcal{K}$ is…

Let $E \subset \mathbb{Z}^N$ be a set of positive upper Banach density and let $\Gamma < \operatorname{GL}_N(\mathbb{Z})$ be a finitely generated, strongly irreducible subgroup whose Zariski closure in $\operatorname{GL}_N(\mathbb{R})$ is a…

Let $K$ be a field of characteristic zero and $\mathcal A$ a $K$-algebra such that all the $K$-subalgebras generated by finitely many elements of $\mathcal A$ are finite dimensional over $K$. A $K$-$\mathcal E$-derivation of $\mathcal A$ is…