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

Rost injectivity for classical groups over function fields of curves over local fields

A Note on Injectivity of Frobenius on Local Cohomology of Hypersurfaces

A note on injectivity of Frobenius on local cohomology of global complete intersections

Cohomologically Induced Distinguished Representations and a Non-Vanishing Hypothesis for Algebraicity of Critical L-values

Local-global principle for groups of type An over semi global fields

Gersten's Injectivity for Smooth Algebras over Valuation Rings

Automorphism groups of curves over arbitrary fields

Arithmetic representations of fundamental groups II: finiteness

Tits construction and Rost invariant

Rigid inner forms over local function fields

Infinite Volume and Infinite Injectivity Radius

The Galois-equivariant $K$-theory of finite fields

On the realization of subgroups of $PGL(2,F)$, and their automorphism groups, as Galois groups over function fields

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

Realizing Galois representations in abelian varieties by specialization

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

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

A Hecke algebra isomorphism over close local fields

Injective and Tilting Resolutions and a Kazhdan-Lusztig Theory for the General Linear and Symplectic Group

Invariant random subgroups over non-Archimedean local fields

The Rost invariant has zero kernel for quasi-split trialitarian groups