Related papers: From projective representations to pentagonal coho…
We consider finite group-actions on 3-manifolds $\cal H_g$ obtained as the connected sum of $g$ copies of $S^2 \times S^1$, with free fundamental group $F_g$ of rank $g$. We prove that, for $g > 1$, a finite group of diffeomorphisms of…
In an earlier paper of the author, locally compact quantum torsors were defined for locally compact quantum groups, putting into the analytic framework the theory of Galois objects for Hopf algebras. Such quantum torsors allow to deform the…
We show that special cycles generate a large part of the cohomology of locally symmetric spaces associated to orthogonal groups. We prove in particular that classes of totally geodesic submanifolds generate the cohomology groups of degree…
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings…
We introduce the construction of induced corepresentations in the setting of locally compact quantum groups and prove that the resulting induced corepresentations are unitary under some mild integrability condition. We also establish a…
In this article we observe that a locally compact group $G$ is completely determined by the algebraic properties of its Feichtinger's Segal algebra $S_0(G).$ Let $G$ and $H$ be locally compact groups. Then any linear (not necessarily…
A $(G,n)$-complex is an $n$-dimensional CW-complex with fundamental group $G$ and whose universal cover is $(n-1)$-connected. If $G$ has periodic cohomology then, for appropriate $n$, we show that there is a one-to-one correspondence…
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.
We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and…
We define the notion of a holomorphic bundle on the noncommutative toric orbifold $T_{\theta}/G$ associated with an action of a finite cyclic group $G$ on an irrational rotation algebra. We prove that the category of such holomorphic…
We provide a homological model for a family of quantum representations of mapping class groups arising from non-semisimple TQFTs (Topological Quantum Field Theories). Our approach gives a new geometric point of view on these…
We compare two cohomological Hall algebras (CoHA). The first one is the preprojective CoHA introduced by the authors in arXiv:1407.7994 associated to each quiver Q, and each algebraic oriented cohomology theory A. It is defined as the…
Suppose $G$ is a finite group acting on an Abelian variety $A$ such that the coarse moduli space $A/G$ is smooth. Using the recent classification result due to Auffarth, Lucchini Arteche, and Quezada, we construct an orbifold semiorthogonal…
For $G$ a finite group, we show that functions on fields for the 2-dimensional supersymmetric sigma model with background $G$-symmetry determine cocycles for complex analytic $G$-equivariant elliptic cohomology. Similar structures in…
Let $G$ be a Lie group and $H$ be a subgroup of it. We can construct a bisimplicial manifold $NG(*) \rtimes NH(*)$ and the de Rham complex $\Omega^*(NG(*) \rtimes NH(*))$ on it. This complex is a triple complex and the cohomology of its…
Each finite dimensional irreducible rational representation V of the symplectic group Sp_{2g} determines a generically defined local system \V over the moduli space M_g of genus g smooth projective curves. We study H^2(M_g;\V) and the mixed…
We introduce left and right groups of bisections of a Hopf algebroid and show that they form a group crossed homomorphism with the group $Aut(\mathcal{L})$ of bialgebroid automorphisms. We also introduce a nonAbelian cohomology…
For each group $G$ having an infinite normal subgroup with the relative property (T) (for instance $G = H \times K$ where $H$ is infinite with property (T) and $K$ is arbitrary), and any countable abelian group $\Lambda$ we construct free…
We give explicit formulae for the continuous Hochschild and cyclic homology and cohomology of certain topological algebras. To this end we show that, for a continuous morphism $\phi: \X\to \Y$ of complexes of complete nuclear $DF$-spaces,…
In this paper, we try to answer the following question: given a modular tensor category $\A$ with an action of a compact group $G$, is it possible to describe in a suitable sense the ``quotient'' category $\A/G$? We give a full answer in…