It is well-known that if a reduced algebraic group $G$ acts on a *separated reduced* scheme $X$, and $G$ acts trivially on a dense open subscheme $U\subseteq X$, then the action is trivial.


If $X$ is non-reduced, the standard counterexample is $\def\AA{\mathbb A}$$\AA^1$ with an embedded point, with the group acting non-trivially on the embedded point. If $X$ is non-separated, the standard counterexample is $\AA^1$ with a doubled origin with $G$ swapping the two origins. My question is whether the separated hypothesis can be removed if $G$ is assumed to be *connected*.



> 
> Suppose $G$ is a *connected* group scheme acting on a *reduced* scheme $X$, and that $G$ acts trivially on a dense open subscheme $U\subseteq X$. Must the action be trivial?
> 
> 
> 




---


For reference, the basic argument for the original version is that the graphs of the two morphisms $G\times X\to X$ (projection and action) are closed subschemes of $G\times X\times X$ (since the graphs are pullbacks of the diagonal of $X$, which is assumed separated) which share a common dense open (the image of $G\times U$). Since $G\times X\times X$ is reduced, this means that the two graphs agree, so the action and projection maps are the same.


†~~For finite-characteristic people, I actually assume $G$ is reduced, but this is fine since the action on a reduced scheme must factor through the reduction of $G$ anyway.~~



Can a non-trivial action of a connected group on a reduced scheme be trivial on a dense open?
Let me work over an algebraically closed field $k$, let $X$ be a reduced $k$-scheme of finite type and let $G$ be a smooth connected $k$-group scheme acting on $X$, and acting trivially on an open dense subset $U$ of $X$. I will show that $G$ acts trivially on $X$.


I will only manipulate closed points. Since both $G$ and $X$ are reduced, it suffices to prove that for any $g\in G$ and $x\in X$, $gx=x$.


Let us fix $x\in X$. We may of course suppose that $x\notin U$.
Let $V$ be an affine neighbourhood of $x$. By quasicompactness of $X$, the open subset $GV$ is covered by finitely many of the $gV$, say $GV=\cup\_i g\_iV$. Since $U$ is dense in $X$, it is possible to find a smooth curve $C$ and a morphism $C\to V$ whose image contains $x$ and intersects $U$. Up to removing points of $C$, we may suppose that $x$ is the only point of the image of $C$ not belonging to $U$.


Now, if $g\in G$, $gx\in g\_i V$ for some $i$.
Consider $g(C)$ (this is an abuse of notation for the composition of $C\to V$ and of the action of $g$) : its image contained in $g\_iV$. It coincides generically with $g\_i(C)$, hence, the morphisms $g(C)$ and $g\_i(C)$ are equal by separation of $g\_iV$ ($g\_iV$ is even affine). This shows $gx=g\_ix$.
We have proved $Gx\subset ${$g\_1x,\dots, g\_rx$}. Since $G$ is connected, $Gx$ is also connected. This shows $Gx=${$x$} and finishes the proof.




---


Moreover, the hypothesis that $G$ is smooth may be removed as follows. First, we deal with the case where $X$ is separated and reduced. In this case, the arguments given by Anton in the question still work : the graphs of the action and of the projection are closed subschemes of $G\times X\times X$ isomorphic to $G\times X$ that coincide on an open dense subset $U$. Since $G\times X$ has no embedded point ($X$ is reduced and $G$ homogeneous), these two graphs need to coincide with the schematic closure of $U$ in $G\times X\times X$ and are thus equal.


Then we deal with the general case ($G$ connected, $X$ reduced) in the following way. Applying the result when the group is smooth connected and the space is reduced to $G^{red}$ acting on $X$ shows that $G^{red}$ acts trivially on $X$. In particular, $G^{red}$ stabilizes every affine open subset of $X$ ; this implies that $G$ also stabilizes every affine open subset of $X$. Applying the result when the group is connected and the space is separated and reduced to $G$ acting on any affine open subset of $X$ shows that $G$ acts trivially on any open subset of $X$, hence on $X$.


