Related papers: Quotients by Connected Solvable Groups

Let $R$ be a discrete valuation ring with fraction field $K$ and $X$ a flat $R$-scheme. Given a faithful action of a $K$-group scheme $G_K$ over the generic fibre $X_K$, we study models $G$ of $G_K$ acting on $X$. In various situations, we…

In this paper we prove that the etale sheafification of the functor arising from the quotient of an algebraic supergroup by a closed subsupergroup is representable by a smooth superscheme.

Using the geometric quotient of a real algebraic set by the action of a finite group G, we construct invariants of GAS sets with respect to equivariant homeomorphisms with AS-graph, including additive invariants with values in Z.

We produce full strong exceptional collections consisting of vector bundles on the geometric invariant theory quotient of certain linear actions of a split reductive group $G$ of rank two. The vector bundles correspond to irreducible…

For a scheme S with a good action of a finite abelian group G having enough roots of unity we show that the quotient map on the G-equivariant Grothendieck ring of varieties over S is well defined with image in the Grothendieck ring of…

In this article, we give a proof for a geometric presentation theorem for any irreducible scheme $X$ smooth projective over a discrete valuation ring $R$. As a consequence, for any reductive $R$-group scheme $\mathbf{G}$, we prove that any…

Let U be a unipotent group over the field of complex numbers C, acting on a complex algebraic variety X. Assume that there exists a surjective morphism of complex algebraic varieties f: X --> Y whose fibres are orbits of U. We show that if…

In this short article, given a smooth diagonalizable group scheme G of finite type acting on a smooth quasi-compact quasi-separated scheme X, we prove that (after inverting some elements of representation ring of G) all the information…

We define a derived enhancement of the classical quot functor of quotients associated to a coherent sheaf on a nonsingular quasiprojective variety. We prove its representability and show that it has the expected tangent complex. The derived…

We consider two linear reductive algebraic groups $ G $ and $ G' $ over $ C $. Take a finite dimensional rational representation $ W $ of $ G \times G' $. Let $ Y = W // G := Spec C[W]^G $ and $ X = W // G' := \Spec C[W]^{G'} $ be the…

We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective or embeddable into toric varieties. Our methods…

If G is a reductive group which acts on a linearized smooth scheme $X$ then we show that under suitable standard conditions the derived category of coherent sheaves of the corresponding GIT quotient stack $X^{ss}/G$ has a semi-orthogonal…

In this paper we give an algorithm for the computation of all the Arf numerical semigroups with a given genus. Moreover, we generalize the concept of genus of a numerical semigroup to good semigroups of $\mathbb{N}^r$ and we give a…

In this paper we study actions of reductive groups on affine spaces. We prove that there is a fan structure on the space of characters of the group, which parameterizes the possible invariant quotients. In the second half of the paper we…

We prove that smooth, separated Deligne--Mumford stacks in mixed characteristic with quasi-projective coarse moduli space are global quotient stacks and satisfy the resolution property. This builds on work of Kresch and Vistoli and of…

Let $G$ be a connected reductive affine algebraic group defined over the complex numbers, and $K\subset G$ be a maximal compact subgroup. Let $X , Y$ be irreducible smooth complex projective varieties and $f: X \rightarrow Y$ an algebraic…

A complex space $X$ is in class ${\mathcal Q}_G$ if it is a semistable quotient of the complement to an analytic subset of a Stein manifold by a holomorphic action of a reductive complex Lie group $G$. It is shown that every pseudoconvex…

We show that an algebraic stack with affine stabilizer groups satisfies the resolution property if and only if it is a quotient of a quasi-affine scheme by the action of the general linear group, or equivalently, if there exists a vector…

Knot and link invariants naturally arise from any braided Hopf algebra. We consider the computational complexity of the invariants arising from an elementary family of finite-dimensional Hopf algebras: quantum doubles of finite groups…

For a complex variety $\hat X$ with an action of a reductive group $\hat G$ and a geometric quotient $\pi: \hat X \to X$ by a closed normal subgroup $H \subset \hat G$, we show that open sets of $X$ admitting good quotients by $G=\hat G /…