Related papers: Another point in homological algebra: Duality for …

We study isometric actions on Riemannian symmetric spaces of noncompact type which are induced by reductive algebraic subgroups of the isometry group. We show that for such an action there exists a corresponding isometric action on a dual…

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 generalize our picture in [arXiv:0904.1744], and consider a pure abelian gauge theory on a four-manifold with nonlocal operators of every codimension arbitrarily and simultaneously inserted. We explicitly show that (i) the theory enjoys…

Let $G$ be a linear Lie group acting properly and isometrically on a $G$-spin$^c$ manifold $M$ with compact quotient. We show that Poincar\'e duality holds between $G$-equivariant $K$-theory of $M$, defined using finite-dimensional…

Let $G$ be a finite group and $\Y$ a $G$-gerbe over an orbifold $\B$. A disconnected orbifold $\hat{\Y}$ and a flat U(1)-gerbe $c$ on $\hat{\Y}$ is canonically constructed from $\Y$. Motivated by a proposal in physics, we study a…

We show that over an algebraically closed field of characteristic not equal to 2, homological projective duality for smooth quadric hypersurfaces and for double covers of projective spaces branched over smooth quadric hypersurfaces is a…

Let $G$ be a discrete group and let $\mathcal A$ and $\mathcal B$ be two subgroups of $G$-valued continuous functions defined on two $0$-dimensional compact spaces $X$ and $Y$. A group isomorphism $H$ defined between $\mathcal A$ and…

Given a module $M$ for the algebra $\mathcal{D}_{\mathtt{q}}(G)$ of quantum differential operators on $G$, and a positive integer $n$, we may equip the space $F_n^G(M)$ of invariant tensors in $V^{\otimes n}\otimes M$, with an action of the…

If $G$ is a group acting on a tree $X$, and ${\mathcal S}$ is a $G$-equivariant sheaf of vector spaces on $X$, then its compactly-supported cohomology is a representation of $G$. Under a finiteness hypothesis, we prove that if $H_c^0(X,…

We study extensions of double groupoids in the sense of \cite{AN2} and show some classical results of group theory extensions in the case of double groupoids. For it, given a double groupoid $(\mathcal{B}; \mathcal{V},\mathcal{H};…

Let $G$ be a compact, connected Lie group and $T \subset G$ a maximal torus. Let $(M,\omega)$ be a monotone closed symplectic manifold equipped with a Hamiltonian action of $G$. We construct a module action of the affine nil-Hecke algebra…

This is a further investigation of our approach to group actions in homological algebra in the settings of homology of {\Gamma}-simplicial groups, particularly of {\Gamma}-equivariant homology and cohomology of {\Gamma}-groups. This…

This paper deals with sheaves of differential operators on noncommutative algebras. The sheaves are defined by quotienting a the tensor algebra of vector fields (suitably deformed by a covariant derivative) to ensure zero curvature. As an…

This paper applies the decomposition theorem in intersection cohomology to geometric invariant theory quotients, relating the intersection cohomology of the quotient to that of the semistable points for the action. Suppose a connected…

Developing ideas of \cite{Fei}, we introduce canonical cosimplicial cohomology of meromorphic functions for infinite-dimensional Lie algebra formal series with prescribed analytic behavior on domains of a complex manifold $M$. Graded…

Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…

Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. We consider the complete cohomology ring $\mathcal{E}_M^* = \sum_{n \in \mathbb{Z}} \widehat{Ext}^n_{kG}(M,M)$. We show that the ring has two distinguished…

Multiplication by the pseudoscalar $\mathbf{I}$ has been traditionally used in geometric algebra to perform non-metric operations such as calculating coordinates and the regressive product. In algebras with degenerate metrics, such as…

We introduce a new invariant of $G$-varieties, the dual complex, which roughly measures how divisors in the complement of the free locus intersect. We show that the top homology group of this complex is an equivariant birational invariant…

We study the quantum sheaf cohomology of flag manifolds with deformations of the tangent bundle and use the ring structure to derive how the deformation transforms under the biholomorphic duality of flag manifolds. Realized as the OPE ring…