Related papers: Classical BV formalism for group actions

In this note we give an example of affine quotient $G/H$ where $G$ is an affine algebraic group over an algebraically closed field of characteristic 0 and $H$ is a unipotent subgroup not contained in the unipotent radical of $G$. Some…

We use the Tannakian formalism to define the Emerton--Gee stack for general groups. For a flat algebraic group G over Z_p, we are able to prove the associated Emerton--Gee stack is a formal algebraic stack locally of finite presentation…

We define a categorical action of the shifted quantum loop group of $\mathfrak{sl}_2$ on the derived categories of Quot schemes of finite length quotient sheaves on a smooth projective curve. As an application, we obtain a semi-orthogonal…

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…

We prove that if a group scheme of multiplicative type acts on an algebraic stack with affine, finitely presented diagonal then the stack of fixed points is algebraic. For this, we extend two theorems of [SGA3.2] on functors of subgroups of…

We review the BV formalism in the context of $0$-dimensional gauge theories. For a gauge theory $(X_{0}, S_{0})$ with an affine configuration space $X_{0}$, we describe an algorithm to construct a corresponding extended theory $(\tilde{X},…

In this paper, a derivative for functions $f : G \to H$, where $G$ is any metric divisible group and $H$ is a metric Abelian group with a group metric, is defined. Basic differentiation theorems are stated and demonstrated. In particular,…

We prove a 'Darboux theorem' for derived schemes with symplectic forms of degree $k<0$, in the sense of Pantev, Toen, Vaquie and Vezzosi arXiv:1111.3209. More precisely, we show that a derived scheme $X$ with symplectic form $\omega$ of…

In this paper we study definable families of functions from an ordered abelian group into various naturally arising definable quotients. We show that for an ordered abelian group $G$ and definable family of convex subgroups…

We show that every effective smooth action of a Lie group G on a manifold M is a diffeomorphism from G onto its image in Diff(M), where the image is equipped with the subset diffeology of the functional diffeology.

Let $U$ be a graded unipotent group over the complex numbers, in the sense that it has an extension $\hat{U}$ by the multiplicative group such that the action of the multiplicative group by conjugation on the Lie algebra of $U$ has all its…

In this note, we present a few existence theorems for the quotient of a scheme by the action of a group. The first two sections are devoted to Grothendieck topologies and descent theory. The third one is dealing with quotients: we first…

For a linear algebraic group $G$ over a field $k$, we define an equivariant version of the Voevodsky's motivic cobordism $MGL$. We show that this is an oriented cohomology theory with localization sequence on the category of smooth…

This paper studies the derived category of the Quot scheme of rank $d$ locally free quotients of a sheaf $\mathscr{G}$ of homological dimension $\le 1$ over a scheme $X$. In particular, we propose a conjecture about the structure of its…

We discuss quantum deformation of the affine transformation group and its Lie algebra. It is shown that the quantum algebra has a non-cocommutative Hopf algebra structure, simple realizations and quantum tensor operators. The deformation of…

The main result of this paper utilizes the representation graph of a group $G$, $R(V,G)$, and gives a general construction of a diagrammatic category $\mathbf{Dgrams}_{R(V,G)}$. The proof of the main theorem shows that, given explicit…

We give an algebro-geometric classification of smooth real affine algebraic surfaces endowed with an effective action of the real algebraic circle group $\mathbb{S}^1$ up to equivariant isomorphisms. As an application, we show that every…

We give an explicit approach to quotienting affine varieties by linear actions of linear algebraic groups with graded unipotent radical, using results from projective Non-Reductive GIT. Our quotients come with explicit projective…

Let D be the ring of differential operators on a smooth irreducible affine variety X over the complex numbers; or, more generally, the enveloping algebra of any locally free Lie algebroid on X. The category of finitely-generated graded…

We prove that the derived critical locus of a $G$-invariant function $S:X\to\mathbb{A}^1$ carries a shifted moment map, and that its derived symplectic reduction is the derived critical locus of the induced function…