Related papers: A second note on homological systems

We define an extension of the affine Brauer algebra, the type B/C affine Brauer algebra. This new algebra contains the hyperoctahedral group and it naturally acts on $END_K(X \otimes V^{\otimes k})$ for Orthogonal and Symplectic groups.…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

We extend the basic theory of the coniveau and strong coniveau filtrations to the $\ell$-adic setting. By adapting the examples of Benoist--Ottem to the $\ell$-adic context, we show that the two filtrations differ over any algebraically…

We prove Conjecture F from [VW12] which states that the complements of closures of certain strata of the symmetric power of a smooth irreducible complex variety exhibit rational homological stability. Moreover, we generalize this conjecture…

In this paper we show that the strict and lax pullbacks of a 2-categorical opfibration along an arbitrary 2-functor are homotopy equivalent. We give two applications. First, we show that the strict fibers of an opfibration model the…

Any modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal factorization system associated to any modality, of which the…

This paper is the first one of two papers whose goal is to give a converse to the main result of my previous paper [6], so to prove the existence of multiple poles for the distribution |f|2$\lambda$ with an hypothesis on a Higher Bernstein…

For a locally finitely presented Grothendieck category $\mathcal{A}$, we consider a certain subcategory of the homotopy category of FP-injective objects in $\mathcal{A}$ which we show is compactly generated. In the case where $\mathcal{A}$…

The Hom closed colocalizing subcategories of the stable module category of a finite group are classified. Along the way, the colocalizing subcategories of the homotopy category of injectives over an exterior algebra, and the derived…

The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system…

We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology…

The notion of a formally smooth bimodule is introduced and its basic properties are analyzed. In particular it is proven that a $B$-$A$ bimodule $M$ which is a generator left $B$-module is formally smooth if and only if the $M$-Hochschild…

We give a proof, based on the rigidity of tilting complexes, that the class of self-injective finite-dimensional algebras over an algebraically closed field is closed under derived equivalence.

We prove that the 2-category of skeletally small abelian categories with exact monoidal structures is anti-equivalent to the 2-category of fp-hom-closed definable additive categories satisfying an exactness criterion. For a fixed finitely…

In this paper, we present an equivalent form of the $\Delta_2 $-condition which allow us to redefine the topological vector space structure of a modular spaces using the filter base. We show also the characterization of closed subsets (in…

We classify all the \emph{$\Delta$-}coherent pairs of measures of the second kind on the real line. We obtain $5$ cases, corresponding to all the families of discrete semiclassical orthogonal polynomials of class $s\leq1.$

We use folding techniques to define a new class of gentle-like algebras that generalise the iterated tilted algebras of type $C$ and $\widetilde{C}$, which we call folded gentle algebras. We then show that folded gentle algebras satisfy…

Given a lattice $\Lambda$ in a locally compact abelian group $G$ and a measurable subset $\Omega$ with finite and positive measure, then the set of characters associated to the dual lattice form a frame for $L^2(\Omega)$ if and only if the…

Let M be an arbitrary Riemannian homogeneous space, and let Omega be a space of tilings of M, with finite local complexity (relative to some symmetry group Gamma) and closed in the natural topology. Then Omega is the inverse limit of a…

In this note we show the Bredon-analogue of a result by Emmanouil and Talelli, which gives a criterion when the homological and cohomological dimensions of a countable group $G$ agree. We also present some applications to groups of…