## Setting

Let $I\subseteq\mathbb C[x_0,\ldots,x_n]=:S$ be a homogeneous ideal and $X\subseteq\mathbb P^n$ the scheme defined by $I$. Consider the action of the symmetric group $\mathfrak S_{n+1}$ on $S$ by permuting the variables. Assume that $I$ is invariant under under some subgroup $G\subseteq\mathfrak S_{n+1}$. Assume furthermore that $G$ acts transitively *and freely* on the irreducible components of $X$. In other words, all irreducible components of $X$ are isomorphic and we have one component for each permutation in $G$. You can obtain something like this by picking any (possibly open) point of $\mathbb P^n$ which has trivial stabilizer in $G$ and taking (the closure of) its $G$-orbit.

## Question

I am in such a situation and I want to figure out whether each component of $X$ is nonsingular. I thought it might be a good idea to consider the quotient $X/G$, which is defined as $\operatorname{Proj}(S^G/I^G)$. Here, I denote by $S^G := \{ f\in S \mid G.f=\{f\}\}$ the $G$-invariants in $S$. My question is whether the following is true:

The irreducible components of $X$ are nonsingular if and only if $X/G$ is nonsingular.

## Thoughts so far

My intuition tells me that $X/G$ should be isomorphic to each component of $X$ (in the general case, also including its embedded points). If $X$ is normal, then this is easily true: Restricting the projection $\pi:X\twoheadrightarrow X/G$ to any component of $X$ yields a surjective morphism between normal varieties whose fibers generically contain one element, so this morphism is bijective. Because it maps between normal varieties, it is an isomorphism. I am not sure how to treat this in the general case, though.

I went through the examples $I=(x,yz)$ and $I=(x^2,xz,yx,yz)$ in $\Bbb C[x,y,z]$ with $G$ generated by the transposition of $y$ and $z$ only. It behaves as I expected, but I gained no insights.