Related papers: Modular equivariant formality
The BV formalism is a well-established method for analyzing symmetries and quantization of field theories. In this paper we use the BV formalism to derive partition functions of gauge invariant operators up to equations of motions and their…
Given a grading by an abelian group G on a semisimple Lie algebra L over an algebraically closed field of characteristic 0, we classify up to isomorphism the simple objects in the category of finite-dimensional G-graded L-modules. The…
In this paper we show that the known models for $(\infty, 1)$-categories can all be extended to equivariant versions for any discrete group $G$. We show that in two of the models we can also consider actions of any simplicial group $G$.
We prove a type-uniform Chevalley formula for multiplication with divisor classes in the equivariant quantum $K$-theory ring of any cominuscule flag variety $G/P$. We also prove that multiplication with divisor classes determines the…
Let X be a smooth toric variety defined by the fan {\Sigma} . We consider {\Sigma} as a finite set with topology and define a natural sheaf of graded algebras A_{\Sigma} on {\Sigma} . The category of modules over A_{\Sigma} is studied…
Compact symmetric spaces are probably one of the most prominent class of formal spaces, i.e. of spaces where the rational homotopy type is a formal consequence of the rational cohomology algebra. As a generalisation, it is even known that…
Consider a finite group $G$ acting on a triangulated category $\mathcal T$. In this paper we investigate triangulated structure on the category $\mathcal T^G$ of $G$-equivariant objects in $\mathcal T$. We prove (under some technical…
We extend the short presentation due to [Borel '53] of the cohomology ring of a generalized flag manifold to a relatively short presentation of the cohomology of any of its Schubert varieties. Our result is stated in a root-system uniform…
We discuss the question of finding conditions on a derived equivalence between two smooth projective varieties $X$ and $Y$ that imply that $X$ and $Y$ are birational. The types of conditions we consider are in the spirit of finding…
We show that if an open cover of a finite dimensional space is equivariant with respect to some finite group action on the space then there is an equivariant refinement of bounded dimension. This will generalize some constructions of…
In this paper, we introduce an equivariant version of the characteristic quasi-polynomials as the permutation characters on the complement of mod $q$ hyperplane arrangements. We prove that the permutation character is a quasi-polynomial in…
Given a smooth variety $X$ with an action of a finite group $G$, and a semiorthogonal decomposition of the derived category, $\mathcal{D}([X/G])$, of $G$-equivariant coherent sheaves on $X$ into subcategories equivalent to derived…
We use sheaf theory and the six operations to define and study the (equivariant) homology of stacks. The construction makes sense in the algebraic, complex-analytic, or even topological categories.
A formal theory based on a binary operator of directional associative relation is constructed in the article and an understanding of an associative normal form of image constructions is introduced. A model of a commutative semigroup, which…
In the present paper we derive complicated families of orthogonal polynomials in one variable from scratch using the known ones as building blocks. We recall the basics of operational formalism and introduce the notations we use throughout…
Holm (H. Holm, Modules with cosupport and injective functors, Algebr. Represent. Theor., 13 (2010), 543-560) considers categories of right modules dual to those with support in a set of finitely presented modules. We extend some of his…
We study derived intersections of smooth analytic cycles, and provide in some cases necessary and sufficient conditions for this intersection be formal. In particular, if X is a complex submanifold of a complex manifold Y, we prove that X…
In this paper we generalise the notion of linearity (in the sense of Lawvere) to a category C equipped with a compatible sum structure and product structure. In this context, any morphism f from an n-fold sum to an n-fold product has a…
Parametric factorizations of linear partial operators on the plane are considered for operators of orders two, three and four. The operators are assumed to have a completely factorable symbol. It is proved that ``irreducible'' parametric…
We define a finite-dimensional partially formal supermanifold as a manifold having $q$ odd coordinates and $k + l$ even coordinates with $l$ of them taking only nilpotent values. We show that this notion can be used to formulate…