Let $I\subseteq R:=\mathbb C[x\_0,\ldots,x\_n]$ be a homogeneous ideal defining a subscheme $X\subseteq\Bbb P^n$. As in my [previous question](https://mathoverflow.net/q/236405/9947), the permutation group $\mathfrak S\_{n+1}$ acts on $R$ by permuting the variables, inducing an action on $\Bbb P^n$. and there is a subgroup $G\subseteq\mathfrak S\_{n+1}$ which leaves $X$ invariant. I would like to (practically) compute the dimension of the Zariski Tangent space of $Y:=X/\!/G$ at a point $y$. Here, $Y$ is defined as $\operatorname{Proj}(R^G/I^G)$.


Let $\pi\colon X\twoheadrightarrow X/\!/G = Y$ be the projection and $\pi(x)=y$. Computing the tangent space of $X$ at some point $x$ is rather *"easy"* in the sense that I can do it practically: I can (in a computer algebra system) provide generators for $I$ and then compute the kernel of the Jacobian. However, I am not sure how to compute the tangent space of $Y$ at $y$ efficiently. 


There are computer algebra methods to compute generators of the invariant ring $R^G$ and also generators for $I^G$ in terms of these, but I have tried them and my examples seem too large for them to handle, even though $R^G$ is a polynomial ring by the [Chevalley–Shephard–Todd Theorem](https://en.wikipedia.org/wiki/Chevalley%E2%80%93Shephard%E2%80%93Todd_theorem). 


Maybe I am doing something wrong, but mostly I think it might be easier to compute just the tangent space. Note however that the differential $d\pi\colon \mathcal T\_{X,x}\to \mathcal T\_{Y,y}$ does not have to be surjective: Given a (homogeneous) prime ideal $\mathfrak p\subseteq R/I$, we only have $(\mathfrak p^G)^2\subseteq(\mathfrak p^2)^G$, usually equality will not hold, so $\mathfrak p^G / (\mathfrak p^G)^2 \to \mathfrak p / \mathfrak p^2$ is not generally injective. Even if something like this could be said however, I do not know what the map $d\pi$ even looks like.


The smallest case that interests me is $n=36$, where $\Bbb P^n$ can be though of as (classes of) $6\times 6$ matrices and $G\cong\mathfrak S\_3$ acts by permuting the first $3$ rows of a matrix. I will not go into detail about $X$ unless requested, I guess it is enough to know that it is given by explicit equations and computing a Groebner basis for the ideal $I$ is presumably out of reach.



How to compute the tangent space of a quotient by a finite group
Let's assume $G$ acts effectively. Since $G$ is finite all orbits are closed. Take an affine open set $U\subset X$ that contains $x$, and assume $x$ is a smooth point. 


Then using the Luna Slice Theorem on $U$ you can deduce that $T\_{\pi(x)}(U//G)$ is isomorphic to $T\_0(T\_x(U)//Stab\_G(x))$ since the tangent space to the orbit of $x$ is trivial. However, $T\_{\pi(x)}(U//G)=T\_{\pi(x)}(X//G)$ and $T\_0(T\_x(U)//Stab\_G(x))=T\_0(T\_x(X)//Stab\_G(x))$. 


So $$T\_{\pi(x)}(X//G)=T\_0(T\_x(X)//Stab\_G(x))$$ at smooth points $x$.


Independent of this, if the action is free (which it generically is), then $\pi$ is étale and so the tangent spaces are all isomorphic.


When $x$ is singular and the action is not free, there are examples where $\pi(x)$ remains singular and examples where it becomes smooth. A simple example of the latter is $x^2-y^2=0$ with $\{\pm 1\}$ acting by $(x,y)\mapsto (x,-y)$, which has a smooth quotient.


On the other hand, if your finite group is acting linearly then I just recalled a result in (Chapter 5, Section 5):


N. Bourbaki, *Groupes et Algbbres de Lie, chaps. 4-6, Act. Sci. Ind. 1337, Hermann, Paris, 1968*


that implies that if $x$ is a closed point then $\pi(x)$ is smooth if and only if the stabilizer action on the local slice (from Luna's Slice Theorem applied to an affine open containing $x$) is generated by pseudoreflections.


See [here](https://webusers.imj-prg.fr/~jean-marc.drezet/papers/Wykno.pdf) for a great exposition of Luna' Slice Theorem by Drézet. I learned about the above fact about pseudoreflections in Richardson's paper in Vol. 57, No. 1 Duke Mathematical Journal (1988) *Conjugacy classes of $n$-tuples in Lie Algebras and Algebraic Groups* starting around page 14.


