Related papers: Cohomological Mackey formula for quotient stacks
We compute some numerical invariants of local cohomology of the ring of invariants by a finite group, mainly in the modular case. Also, we present some applications. In particular, we study Cohen-Macaulay property of modular invariants from…
We give a new construction of the equivariant $K$-theory of group actions (cf. Barwick et al.), producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive…
In this paper, we define `simplicial GKM orbifold complexes' and study some of their topological properties. We introduce the concept of filtration of regular graphs and `simplicial graph complexes', which have close relations with…
A method of computing a basis for the second Yang-Baxter cohomology of a finite biquandle with coefficients in Q and Z_p from a matrix presentation of the finite biquandle is described. We also describe a method for computing the…
We compute the connective differential $K$-theory and the differential cohomology of the moduli stack of principal $G$-bundles with connection. The results are formulated in terms of invariant polynomials and the representation ring of $G$.…
The Stone-von Neumann Theorem is a fundamental result which unified the competing quantum mechanical models of matrix mechanics and wave mechanics. It's mechanism of proof ultimately involved the study of unitary group representations on a…
Consider a compact prequantizable symplectic manifold M on which a compact Lie group G acts in a Hamiltonian fashion. The ``quantization commutes with reduction'' theorem asserts that the G-invariant part of the equivariant index of M is…
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…
We compute the Hodge and de Rham cohomology of the classifying space BG (defined as etale cohomology on the algebraic stack BG) for reductive groups G over many fields, including fields of small characteristic. These calculations have a…
For any Bott-Samelson resolution $q_{I}:\hat{X_{I}}\rightarrow G/B$ of the flag variety $G/B$, and any torus equivariant oriented cohomology $h_T$, we compute the restriction formula of certain basis $\eta_L$ of $h_T(\hat{X_{I}})$…
We develop a perturbative algorithm for constructing formal flat $F$-manifold structures on the cohomologies of dGBV (differential Gerstenhaber-Batalin-Vilkovisky) algebras associated with Landau-Ginzburg models. As an application, this…
In this paper we introduce Morse Lie groupoid morphisms and study their main properties. We show that this notion is Morita invariant which gives rise to a well defined notion of Morse function on differentiable stacks. We show a groupoid…
We review the framework subfactors provide for understanding modular invariants. We discuss the structure of a generalized Longo-Rehren subfactor and the relationship between the coupling matrices of such subfactors, modular invariance and…
Sharing of notations and theories across an inheritance hierarchy of mathematical structures, e.g., groups and rings, is important for productivity when formalizing mathematics in proof assistants. The packed classes methodology is a…
By a local geometric Langlands correspondence for a complex reductive group G we understand a construction which assigns to a local system on the punctured disc for the Langlands dual group of G, a category equipped with an action of the…
Let $M$ be a $G$-manifold and $\om$ a $G$-invariant exact $m$-form on $M$. We indicate when these data allow us to constract a cocycle on a group $G$ with values in the trivial $G$-module $\mathbb R$ and when this cocycle is nontrivial.
In this paper, we calculate the $RO(G)$-graded coefficients of $H\underline{\mathbb{Z}}$, the Eilenberg-MacLane spectrum of constant Mackey functor for quaternion group $Q_8$.
Let $\Gamma$ be a discrete group of finite virtual cohomological dimension with certain finiteness conditions of the type satisfied by arithmetic groups. We define a representation ring for $\Gamma$, determined on its elements of finite…
Gaussian quantum Markov semigroups (GQMSs) are of fundamental importance in modelling the evolution of several quantum systems. Moreover, they represent the noncommutative generalization of classical Orsntein-Uhlenbeck semigroups;…