Related papers: Killing weights from the perspective of t-structur…
The morphism axiom for n-angulated categories states that a morphism between the bases of two n-angles can be extended to a morphism of n-angles. We show that this axiom is redundant. For triangulated categories, this was proved by J.P.…
Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…
To a bicomplex one can associate two natural filtrations, the column and row filtrations, and then two associated spectral sequences. This can be generalized to $N$-multicomplexes. We present a family of model category structures on the…
We introduce the notion of metric Lie algebras of Killing type, which are characterized by the fact that all conformal Killing symmetric tensors are sums of Killing tensors and multiples of the metric tensor. We show that if a Lie algebra…
In this paper we present criteria in terms of dual pairs of exceptional sequences for an abelian category to be highest weight. The criteria are applied in three situations of geometric origin. We give new proofs for the facts that the…
We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is…
We introduce a new class of zero-dimensional weighted complete intersections, by abstracting the essential features of rational cohomology algebras of equal rank homogeneous spaces of compact connected Lie groups. We prove that, on a…
The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…
In this note, we prove -- in dimension at most 4 -- a conjectue of Hao which says that a morphism $f : X \to A$ to a simple abelian variety $A$ is smooth if and only if there is a 1-form pulled back from A without any zeros. We also give a…
A unifying definition of trapped submanifold for arbitrary codimension by means of its mean curvature vector is presented. Then, the interplay between (generalized) symmetries and trapped submanifolds is studied, proving in particular that…
We study the spinorial Killing equation of supergravity involving a torsion 3-form $\T$ as well as a flux 4-form $\F$. In dimension seven, we construct explicit families of compact solutions out of 3-Sasakian geometries, nearly parallel…
We provide a description of Voevodsky's $\infty$-category of motivic spectra in terms of the subcategory of motives of smooth proper varieties. As applications, we construct weight filtrations on the Betti and \'{e}tale cohomologies of…
For any cohomology theory $H$ that can be factorized through (the Morel-Voevodsky's triangulated motivic homotopy category) $SH^{S^1}(k)$ we establish the $SH^{S^1}(k)$-functoriality of coniveau spectral sequences for $H$. We also prove:…
In this paper we study a new notion of category weight of homology classes developing further the ideas of E. Fadell and S. Husseini. In the case of closed smooth manifolds the homological category weight is equivalent to the cohomological…
We construct an invariant of t-structures on the derived category of a Noetherian ring. This invariant is complete when restricting to the category of quasi-coherent complexes, and also gives a classification of nullity classes with the…
Einstein complex spacetimes admitting null Killing or null homothetic Killing vectors are studied. These vectors define totally null and geodesic 2-surfaces called the null strings or twistor surfaces. Geometric properties of these null…
We introduce the notion of weight system for finite type invariants of integral homology 3-spheres, and we show that invariants of type m are determined, modulo invariants of type m-1, by their associated weight system.
Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…
In this text we combine the notions of supergeometry and supersymmetry. We construct a special class of supermanifolds whose reduced manifolds are (pseudo) Riemannian manifolds. These supermanifolds allow us to treat vector fields on the…
In this paper we describe a homotopy torsion theory in the category of small symmetric monoidal categories. Thanks to the use of natural isomorphisms as basis for the nullhomotopy structure, this homotopy torsion theory enjoys some…