Related papers: A remark on nearness spaces

We introduce a simple property, affine invariance, which characterizes within the class of fuzzy topological spaces those which are induced from an underlying topology on the space. We illustrate it by considering the simple notions of…

Formalized $1$-category theory forms a core component of various libraries of mathematical proofs. However, more sophisticated results in fields from algebraic topology to theoretical physics, where objects have "higher structure," rely on…

We apply a categorical lens to the study of betweenness relations by capturing them within a topological category, fibred in lattices, and study several subcategories of it. In particular, we show that its full subcategory of finite objects…

This paper investigates how global decision problems over arithmetically represented domains acquire reflective structure through class-quantification. Arithmetization forces diagonal fixed points whose verification requires reflection…

We present an alternative construction of Soergel's category of bimodules associated to a reflection faithful representation of a Coxeter system. We show that its objects can be viewed as sheaves on the associated moment graph. We introduce…

In this paper, we introduce variants of formal nearby cycles for a locally noetherian formal scheme over a complete discrete valuation ring. If the formal scheme is locally algebraizable, then our nearby cycle gives a generalization of…

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived…

In this paper we present a unified proof of the fact that the category of modules over a ring and the category of near-vector spaces in the sense of J. Andr\'e, over an appropriate scalar system (a 'scalar group'), are both abelian…

We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This…

A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. We compute a mapping class group of a hypekahler manifold $M$, showing that it is commensurable to an arithmetic subgroup in SO(3,…

We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects.…

We attempt to generalize the $p$-modular representation theory of finite groups to finite transporter categories, which are regarded as generalized groups. We shall carry on our tasks through modules of transporter category algebras, a type…

This note is a survey on the basic aspects of moduli theory along with some examples. In that respect, one of the purposes of this current document is to understand how the introduction of stacks circumvents the non-representability problem…

Motivated by the definition of homotopy $L_\infty$ spaces, we develop a new theory of Kuranishi manifolds, closely related to Joyce's recent theory. We prove that Kuranishi manifolds form a $2$-category with invertible $2$-morphisms, and…

Let $k$ be any field and $k^s$ its separable closure. Let $X$ be an affine variety over $k$ which is isomorphic to affine $n$-space over the field extension $k^s$. Then $X$ is isomorphic to affine $n$ space over $k$.

The Connes formula giving the dual description for the distance between points of a Riemannian manifold is extended to the Lorentzian case. It resulted that its validity essentially depends on the global structure of spacetime. The duality…

We construct moduli spaces of objects in an abelian category satisfying some finiteness hypotheses. Our approach is based on the work of Artin-Zhang and the intrinsic construction of moduli spaces for stacks developed by…

We prove the local hard Lefschetz theorem and local Hodge-Riemann bilinear relations for Soergel bimodules. Using results of Soergel and K\"ubel one may deduce an algebraic proof of the Jantzen conjectures. We observe that the Jantzen…

The sum theorem and its corollaries are proved for a countable family of zero-dimensional (in the sense of small and large inductive bidimensions) p-closed sets, using a new notion of relative normality whose topological correspondent is…