Related papers: Projective Covers of 2-star-permutable Categories
Unprojection theory aims to analyze and construct complicated commutative rings in terms of simpler ones. Our main result is that, on the algebraic level of Stanley-Reisner rings, stellar subdivisions of non-acyclic Gorenstein simplicial…
We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the…
Rotation-reversal symmetry was recently introduced to generalize the symmetry classification of rigid static rotations in crystals such as tilted octahedra in perovskite structures and tilted tetrahedral in silica structures. This operation…
Among Thurston maps (orientation-preserving, postcritically finite branched coverings of the 2-sphere to itself), those that arise as subdivision maps of a finite subdivision rule form a special family. For such maps, we investigate…
We establish abstract Adams isomorphisms in an arbitrary equivariantly presentable equivariantly semiadditive global category. This encompasses the well-known Adams isomorphism in equivariant stable homotopy theory, and applies more…
We generalise $\tau$-cluster morphism categories to the setting of non-positive dg algebras with finite dimensional cohomology in all degrees. The compatibility of silting reduction with support $\tau$-tilting reduction will be an essential…
Kerov's polynomials give irreducible character values in term of the free cumulants of the associated Young diagram. We prove in this article a positivity result on their coefficients, which extends a conjecture of S. Kerov. Our method,…
Simple spherical, non-rotating stellar models are inadequate when describing real stars in the limit of very fast rotation: Both the observable spectrum and the geometrical shape of the star deviate strongly from simple models. We attempt…
We first review the definition of superprojective spaces from the functor-of-points perspective. We derive the relation between superprojective spaces and supercosets in the framework of the theory of sheaves. As an application of the…
We extend Bj\"orner's characterization of the face poset of finite CW complexes to a certain class of stratified spaces, called cylindrically normal stellar complexes. As a direct consequence, we obtain a discrete analogue of cell…
We show, in full generality, that Lusztig's $\mathbf{a}$-function describes the projective dimension of both indecomposable tilting modules and indecomposable injective modules in the regular block of the BGG category $\mathcal{O}$, proving…
For the stopped Weinstein sector associated with any fanifold recently introduced by Gammage--Shende, we construct a Weinstein sectorial cover which allows us to describe homological mirror symmetry over the fanifold as an isomorphism of…
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…
We recast the well known Israel-Darmois matching conditions for Locally Rotationally Symmetric (LRS-II) spacetimes using the semitetrad 1+1+2 covariant formalism. This demonstrates how the geometrical quantities including the volume…
It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying…
The characteristic class of a star product on a symplectic manifold appears as the class of a deformation of a given symplectic connection, as described by Fedosov. In contrast, one usually thinks of the characteristic class of a star…
We show that, when restricted to the class of varieties that have a Taylor term, several commutator properties are definable by Maltsev conditions.
We derive consequences from the existence of a term which satisfies Mal'cev identities (characterizing permutability) modulo two functions F and G from admissible relations to admissible relations. We also provide characterizations of…
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…
We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…