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$.

Independence of l in Lafforgue's theorem

Drinfeld’s Lemma for F -isocrystals, I

Arithmetic representations of fundamental groups II: finiteness

On Lurie's theorem and applications

Integrality of $\mathfrak{p}$-Adic $L$-Functions at Eisenstein Primes

Divisibility of Integer Laurent Polynomials, Homoclinic Points, and Lacunary Independence

$A$-analyticity of separatricies of foliations

Independence of $\ell$ for Frobenius conjugacy classes attached to abelian varieties

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

Monodromy of Galois representations and equal-rank subalgebra equivalence

Congruences for L-functions of additive exponential sums

On the $L$-polynomials of curves over finite fields

Independence of ℓ for the Supports in the Decomposition Theorem

Deformation of ℓ-Adic Sheaves with Undeformed Local Monodromy

On localizations of the characteristic classes of l-adic sheaves and conductor formula in characteristic p>0

Restricted shtukas and $Ψ$-factorizable sheaves

A formulation for p-adic versions of the Birch and Swinnerton-Dyer conjectures in the supersingular case

A Hermite-Minkowski type theorem of varieties over finite fields

L-invariants for cohomological representations of PGL(2) over arbitrary number fields

Équivalences de Fontaine multivariables Lubin-Tate et plectiques pour un corps local $p$-adique

A note on images of Galois representations (with an application to a result of Litt)