Related papers: Classical BV formalism for group actions

We obtain a global resolution for the sheaf of differential operators on smooth geometric quotients of free linear actions of algebraic groups. The terms of our resolution involve symmetric and alternating powers of vector bundles easily…

In this paper we consider the critical group of finite connected graphs which admit harmonic actions by the dihedral group $D_n$. In particular, we show that if the orbits of the $D_n$-action all have either $n$ or $2n$ points then the…

We consider the derived category of coherent sheaves on a complex vector space equivariant with respect to an action of a finite reflection group G. In some cases, including Weyl groups of type A, B, G_2, F_4, as well as the groups…

This paper constructs derived autoequivalences associated to an algebraic flopping contraction \(X\to X_{\con}, \) where \(X\) is quasi-projective with only mild singularities. These functors are constructed naturally using bimodule cones,…

Given a flat, finite group scheme G finitely presented over a base scheme we introduce the notion of ramified Galois cover of group G (or simply G-cover), which generalizes the notion of G-torsor. We study the stack of G-covers, denoted…

We show that given a finitely generated LERF group $G$ with positive rank gradient, and finitely generated subgroups $A,B \leq G$ of infinite index, one can find a finite index subgroup $B_0$ of $B$ such that $[G : \langle A \cup B_0…

Assume $G$ is a connected reductive algebraic group defined over $\bar{\mathbb{F}_p}$ such that $p$ is good prime for $G$. Furthermore we assume that $Z(G)$ is connected and $G/Z(G)$ is simple of classical type. Let $F$ be a Frobenius…

Many tight frames of interest are constructed via their Gramian matrix (which determines the frame up to unitary equivalence). Given such a Gramian, it can be determined whether or not the tight frame is projective group frame, i.e., is the…

Given a quasiprojective algebraic variety with a reductive group action, we describe a relationship between its equivariant derived category and the derived category of its geometric invariant theory quotient. This generalizes classical…

Suppose we are given a profinite group $G$ acting on a formal moduli stack $\mathcal{M}$, and we want to understand the group action, and compute cohomology related to this group action. How can we do it? This prolegomenon surveys two…

Let $k$ be a number field and $X$ a smooth integral affine variety equipped with a morphism $f : X \to A^1_k$ to the affine line. Assume that all fibres of $f$ are split, for instance that they are geometrically integral. Assume that the…

These are notes on derived algebraic geometry in the context of animated rings. More precisely, we recall the proof of To\"en-Vaqui\'e that the derived stack of perfect complexes is locally geometric in the language of $\infty$-categories.…

In this note we show that an Artin stack with finite inertia stack is etale locally isomorphic to the quotient of an affine scheme by an action of a general linear group.

This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient…

We calculate the dg algebra of global functions on commuting stacks of complex reductive groups using tools from Betti Geometric Langlands. In particular, we prove that the ring of invariant functions on the commuting scheme is reduced. Our…

Let X be a smooth complex affine curve, and let R be the space of right ideal classes in the ring D of differential operators on X. We introduce and study a fibration \gamma : R \to Pic(X). We relate this fibration to the corresponding one…

We consider a Deligne-Mumford stack $X$ which is the quotient of an affine scheme $\operatorname{Spec}A$ by the action of a finite group $G$ and show that the Balmer spectrum of the tensor triangulated category of perfect complexes on $X$…

Ext-int.\ one affine functions are functions affine in the direction of one-divisible exterior forms, with respect to exterior product in one variable and with respect to interior product in the other. The purpose of this article is to…

We define a derived enhancement of the hyperquot scheme (also known as nested Quot scheme), which classically parametrises flags of quotients of a perfect coherent sheaf on a projective scheme. We prove it is representable by a derived…

We provide an equivalence between the category of affine, smooth group schemes over the ring of generalized dual numbers $k[I]$, and the category of extensions of the form $1 \rightarrow \text{Lie}(G, I) \rightarrow E \rightarrow G…