Abstract:Lüroth's theorem describes the dominant maps from rational curves over a field. In this note we study the dominant maps from cartesian powers $X^{\Psi}$ of absolutely irreducible varieties $X$ over a field $k$ for infinite sets $\Psi$ that are equivariant with respect to all permutations of the factors $X$. At least some of such maps arise as compositions $h:X^{\Psi}\xrightarrow{f^{\Psi}}Y^{\Psi}\to H\backslash Y^{\Psi}$, where $X\xrightarrow{f}Y$ is a dominant $k$-map and $H$ is an automorphism group $H$ of $Y|k$, acting diagonally on $Y^{\Psi}$. In characteristic 0, we show that this construction, when properly modified, gives all dominant equivariant maps from $X^{\Psi}$, if $\dim X=1$. For arbitrary $X$, the results are only partial. In a subsequent paper, the `quasicoherent' equivariant sheaves on the targets of such $h$'s will be studied. Some preliminary results have already appeared in arXiv:math/<a class="link-https" data-arxiv-id="2205.15144" href="https://arxiv.org/abs/2205.15144">2205.15144</a>. A somewhat similar problem is to check, whether the irreducible invariant subvarieties of $X^{\Psi}$ arise as pullbacks under $f^{\Psi}$ (for appropriate $f$'s) of subvarieties of $Y$ diagonally embedded into $Y^{\Psi}$. This would be a complement to the famous theorem of D.E.Cohen on the noetherian property of the symmetric ideals. We show that this is the case if $\dim X=1$.

Finite orbits for rational functions

Cyclotomic and abelian points in backward orbits of rational functions

$S$-Integral Points in Orbits on $\mathbb{P}^1$

An upper bound on the number of rational points of arbitrary projective varieties over finite fields

Orbits inside Fatou sets

On sets of rational functions which locally represent all of $\mathbb{Q}$

Bifurcation Measures and Quadratic Rational Maps

Rational preimages in families of dynamical systems

Rational maps without Herman rings

Wandering domains for non-archimedean quadratic rational functions

A bound on the number of rationally invisible repelling orbits

Orbits of automorphism groups of affine surfaces over $p$-adic fields

Lüroth's theorem for fields of rational functions in infinitely many permuted variables

Prime rational functions over a field

Rationality of representation zeta functions of compact $p$-adic analytic groups

Fields of rationality of automorphic representations: The case of unitary groups

Finite groups with few regular orbits on the power set

On the enumeration of orbits of unipotent groups over finite fields

Rational rays and critical portraits of complex polynomials

Propagation of Zariski Dense Orbits

Intersection of orbits for polynomials in characteristic $p$