Related papers: Smoothness of equivariant derived categories
In this paper, we prove that the DG category of DG complex of DG category of a differential graded algebra A is homotopy equivalent to that of comodules over the simplicial bar complex of A. Under the assuption of connectedness of A, we…
Let $G$ be a complex semisimple algebraic group and $X$ be a complex symmetric homogeneous $G$-variety. Assume that both $G$, $X$ as well as the $G$-action on $X$ are defined over real numbers. Then $G(\mathbb{R})$ acts on $X(\mathbb{R})$…
Let $\varphi$ and $\varphi'$ be two homotopic actions of the topological group $G$ on the topological space $X$. To an object $A$ in the $G$-equivariant derived category $D_{\varphi}(X)$ of $X$ relative to the action $\varphi$ we associate…
We discuss algebraic vector bundles on smooth k-schemes X contractible from the standpoint of A^1-homotopy theory; when k = C, the smooth manifolds X(C) are contractible as topological spaces. The integral algebraic K-theory and integral…
For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify…
We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex…
We present a new geometric interpretation of equivariant cohomology in which one replaces a smooth, complex $G$-variety $X$ by its associated arc space $J_{\infty} X$, with its induced $G$-action. This not only allows us to obtain geometric…
We introduce a notion of stable spherical variety which includes the spherical varieties under a reductive group $G$ and their flat equivariant degenerations. Given any projective space $\bP$ where $G$ acts linearly, we construct a moduli…
Let $X$ be a smooth compact connected manifold. Let $G=\mbox{Diff}\, X$ be the group of diffeomorphisms of $X$, equipped with the $C^\infty$-topology, and let $H$ be the stabilizer of some point in $X$. Then the inclusion $H\to G$, which is…
Given a singularity which is the quotient of an affine space $V$ by a finite Abelian group $G \subseteq \mathrm{SL}(V)$, we study the DG enhancement $\mathcal{D}^{b}(\mathrm{tails}(k[V]^G))$ of the bounded derived category of the…
We present several approaches to equivariant intersection cohomology. We show that for a complete algebraic variety acted by a connected algebraic group $G$ it is a free module over $H^*(BG)$. The result follows from the decomposition…
Let $G$ be a connected algebraic $k$-group acting on a normal $k$-variety, where $k$ is a field. We show that $X$ is covered by open $G$-stable quasi-projective subvarieties; moreover, any such subvariety admits an equivariant embedding…
We study smooth maps that arise in derived algebraic geometry. Given a map $A \to B$ between non-positive commutative noetherian DG-rings which is of flat dimension $0$, we show that it is smooth in the sense of To\"{e}n-Vezzosi if and only…
Let $\mathfrak{g}$ be a simple classical Lie algebra over $\mathbb{C}$ and $G$ be the adjoint group. Consider a nilpotent element $e\in \mathfrak{g}$, and the adjoint orbit $\mathbb{O}=Ge$. The formal slices to the codimension $2$ orbits in…
We introduce the notion of categorical absorption of singularities: an operation that removes from the derived category of a singular variety a small admissible subcategory responsible for singularity and leaves a smooth and proper…
Let $X$ be a smooth projective curve of genus $g \geq 3$, and let $G$ be a nontrivial connected reductive affine algebraic group over $\mathbb{C}$. Examining the moduli spaces of regularly stable $G$-Higgs bundles and holomorphic…
Let $G$ be a connected reductive algebraic group. In this note we prove that for a quasi-affine $G$-spherical variety the weight monoid is determined by the weights of its non-trivial $\mathbb{G}_a$-actions that are homogeneous with respect…
We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves…
Let F be a non-Archimedean locally compact field of residue characteristic p, let D be a finite dimensional central division F-algebra and let R be an algebraically closed field of characteristic different from p. To any irreducible smooth…
Let X be a smooth toric variety. David Cox introduced the homogeneous coordinate ring S of X and its irrelevant ideal B. Extending well-known results on projective space, Cox established the following: (1) the category of quasi-coherent…