Related papers: Smoothness of equivariant derived categories

We characterize embeddability of algebraic varieties into smooth toric varieties and prevarieties. Our embedding results hold also in an equivariant context and thus generalize a well known embedding theorem of Sumihiro on quasiprojective…

For a G-invariant holomorphic 1-form with an isolated singular point on a germ of a complex-analytic G-variety with an isolated singular point (G is a finite group) one has notions of the equivariant homological index and of the (reduced)…

We study the tensor-triangular geometry of the category of equivariant $G$-spectra for $G$ a profinite group, $\mathsf{Sp}_G$. Our starting point is the construction of a ``continuous'' model for this category, which we show agrees with all…

Let $A$ be an abelian surface and let $G$ be a finite group of automorphisms of $A$ fixing the origin. Assume that the analytic representation of $G$ is irreducible. We give a classification of the pairs $(A,G)$ such that the quotient $A/G$…

We show that for a noetherian algebra $A$ whose bounded dg derived category is smooth, the singular Hochschild cohomology (=Tate--Hochschild cohomology) is isomorphic, as a graded algebra, to the Hochschild cohomology of the dg singularity…

In this article we describe the $G\times G$-equivariant $K$-ring of $X$, where $X$ is a regular compactification of a connected complex reductive algebraic group $G$. Furthermore, in the case when $G$ is a semisimple group of adjoint type,…

An algebraic variety $X$ is called a homogeneous variety if the automorphism group $\mathrm{Aut}(X)$ acts on $X$ transitively, and a homogeneous space if there exists a transitive action of an algebraic group on $X$. We prove a criterion of…

In a previous paper, arXiv:1301.4409, we showed that the moduli space of curves C with a G-symmetry (that is, with a faithful action of a finite group G), having a fixed generalized homological invariant, is irreducible if the genus g' of…

Let $X$ be a complete variety over an algebraically closed field $k$ of characteristic zero, equipped with an action of an algebraic group $G$. Let $H$ be a reductive group. We study the notion of $G$-connection on a principal $H$-bundle.…

Let X be an irreducible reduced complex space on which a connected compact Lie group K acts by holomorphic automorphisms. Let G be the complexification of K and g the Lie algebra of G. Following the theory of algebraic transformation…

We study quotients of quasi-affine schemes by unipotent groups over fields of characteristic 0. To do this, we introduce a notion of stability which allows us to characterize exactly when a principal bundle quotient exists and, together…

We prove that every orbit of the adjoint representation of any connected reductive algebraic group $G$ is a rational algebraic variety. For complex simply connected semisimple $G$, this implies rationality of affine Hamiltonian…

We show for an affine variety $X$, the derived category of quasi-coherent $D$-modules is equivalent to the category of DG modules over an explicit DG algebra, whose zeroth cohomology is the ring of Grothendieck differential operators…

Let $X$ be an equivariant embedding of a connected reductive group $G$ over an algebraically closed field $k$ of positive characteristic. Let $B$ denote a Borel subgroup of $G$. A $G$-Schubert variety in $X$ is a subvariety of the form…

We show that the convolution algebra of smooth, compactly-supported functions on a Lie groupoid is H-unital in the sense of Wodzicki. We also prove H-unitality of infinite order vanishing ideals associated to invariant, closed subsets of…

We introduce an integral version of the Hodge polynomial, which encodes the integral cohomology of smooth projective varieties. We prove it extends to a function which is well-defined on the Grothendieck ring of varieties and we obtain as a…

Let X be a projective, equidimensional, singular scheme over an algebraically closed field. Then the existence of a geometric smoothing (i.e. a family of deformations of X over a smooth base curve whose generic fibre is smooth) implies the…

Suppose $f,g$ are homogeneous polynomials of degree $d$ defining smooth hypersurfaces $X_f = V(f)\subset \mathbb{P}^{m-1}$ and $X_g = V(g)\subset\mathbb{P}^{n-1}$. Then the sum $f(x)+g(y)$ defines a smooth hypersurface…

Assume that $\mathscr{A}$ is a connected cochain DG algebra. We show that $\mathscr{A}$ is homologically smooth and Gorenstein if and only if its $\mathrm{Ext}$-algebra $H(R\Hom_{\mathscr{A}}(\mathbbm{k},\mathbbm{k}))$ is a Frobenius graded…

We introduce the notion of the $\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical…