Related papers: A simple proof of Bernstein-Lunts equivalence

We introduce k-quantifier logics -- logics with access to k-tuples of elements and very general quantification patterns for transitions between k-tuples. The framework is very expressive and encompasses e.g. the k-variable fragments of…

Every sequence of orbifolds corresponding to pairwise non-conjugate congruence lattices in a higher rank semisimple group over local fields of zero characteristic is Benjamini--Schramm convergent to the universal cover.

Given a flat vector bundle over a compact Riemannian manifold, Corlette and Donaldson proved that it admits harmonic metrics if and only if it is semi-simple. In this paper, we extend this equivalence to arbitrary vector bundles without any…

In this short note we reduce the b-semiampleness conjecture for lc-trivial fibrations to the b-semiampleness conjecture for klt-trivial fibrations.

The equivalence of spectral convergence and Benjamini-Schramm convergence is extended from homogeneous spaces to spaces which are compact modulo isometry group. The equivalence is proven under the condition of a uniform discreteness…

We show that if two $m$-homogeneous algebras have Morita equivalent graded module categories, then they are quantum-symmetrically equivalent, that is, there is a monoidal equivalence between the categories of comodules for their associated…

We classify integrable bounded simple weight modules over classical Lie superalgebras at infinity. We also study the categories of such modules, and we prove that for most of the classical Lie superalgebras at infinity the respective…

We classify all simple strong Harish-Chandra modules for the Lie superalgebra $W(m,n)$. We show that every such module is either strongly cuspidal or a module of the highest weight type. We construct tensor modules for $W(m,n)$, which are…

We prove a generalization of Harish-Chandra's character orthogonality relations for discrete series to arbitrary Harish-Chandra modules for real reductive Lie groups. This result is an analogue of a conjecture by Kazhdan for $\mathfrak…

Let $k$ be a field, and $H$ a Hopf algebra with bijective antipode. If $H$ is commutative, noetherian, semisimple and cosemisimple, then the category ${}_{H}{\mathcal {YD}}^H$ of Yetter-Drinfeld modules is semisimple. We also prove a…

Computational properties of the Hahn-Banach theorem have been studied in computable, constructive and reverse mathematics and in all these approaches the theorem is equivalent to weak K\H{o}nig's lemma. Gherardi and Marcone proved that this…

The Schur orthogonality relations are a cornerstone in the representation theory of groups. We utilize a generalization to weak Hopf algebras to provide a new, readily verifiable condition on the skeletal data for deciding whether a given…

In this paper, we classify all simple jet modules for the Neveu-Schwarz algebra $\widehat{\mathfrak{k}}$ and its contact subalgebra $\mathfrak{k}^+$. Based on these results, we give a classification of simple Harish-Chandra modules for…

A new homological symmetry condition is exhibited that extends and unifies several recently defined and widely used concepts. Applications include general constructions of tilting modules and derived equivalences, and characterisations of…

A key result in a 2004 paper by S. Arkhipov, R. Bezrukavnikov, and V. Ginzburg (ABG) gives an equivalence of the bounded derived category of finite dimensional modules for the principal block of a Lusztig quantum algebra at an $\ell^{th}$…

Let $\mathcal A$ be a Banach algebra. Using the concept of module biflatness, we show that the module amenability of the second dual $\mathcal A^{**}$ (with the first Arens product) necessitates the module amenability of $\mathcal A$. We…

We investigate the problem when the tensor functor by a bimodule yields a singular equivalence. It turns out that this problem is equivalent to the one when the Hom functor given by the same bimodule induces a triangle equivalence between…

We give a combinatorial characterization of amenability of monomial algebras and prove the existence of monomial Folner sequences, answering a question due to Ceccherini-Silberstein and Samet-Vaillant. We then use our characterization to…

For any complex reductive Lie algebra g and any locally finite g-module V, we extend to the tensor product of U(g) with V the Harish-Chandra description of g-invariants in the universal enveloping algebra U(g).

We prove an equivalence between the derived category of a variety and the equivariant/graded singularity category of a corresponding singular variety. The equivalence also holds at the dg level.