Related papers: Esakia order-compactifications and locally Esakia …

We give a characterisation of functors whose induced functor on the level of localisations is an equivalence and where the isomorphism inverse is induced by some kind of replacements such as projective resolutions or cofibrant replacements.

Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…

We study compact embeddings of Sobolev, Besov, and Triebel-Lizorkin spaces with variable exponents on both bounded and unbounded metric measure spaces. We establish sufficient conditions for compactness, and under additional assumptions, we…

We solve the classical problem of Plateau in every metric space which is $1$-complemented in an ultra-completion of itself. This includes all proper metric spaces as well as many locally non-compact metric spaces, in particular, all dual…

Friedrich's proofs for the global existence results of de Sitter-like space-times and of semi-global existence of Minkowski-like space-times [Comm. Math. Phys. \textbf{107}, 587 (1986)] are re-examined and discussed, making use of the…

In this paper, we provide a concrete interpretation of equivariant Reidemeister torsion and demonstrate that Bismut-Zhang's equivariant Cheeger-M\"{u}ller theorem simplifies considerably when applied to locally symmetric spaces. In a…

Let $X$ be a topological space. A subset of $C(X)$, the space of continuous real-valued functions on $X$, is a partially ordered set in the pointwise order. Suppose that $X$ and $Y$ are topological spaces, and $A(X)$ and $A(Y)$ are subsets…

Partially ordered sets (posets) play a universal role as an abstract structure in many areas of mathematics. For finite posets, an explicit enumeration of distinct partial orders on a set of unlabelled elements is known only up to a…

The complement of the union of a collection of disjoint open disks in the $2$-sphere is called a Schottky set. We prove that a subset $S$ of the $2$-sphere is quasiconformally equivalent to a Schottky set if and only if every pair of…

Fej\'er's theorem guarantees norm convergence of Ces\`aro means of Taylor partial sums in the Hardy space, whereas such convergence generally fails in weighted Dirichlet-type spaces, especially in the higher-order setting. In this paper, we…

We combine supersymmetric localization and the conformal bootstrap to study five-dimensional superconformal field theories. To begin, we classify the admissible counter-terms and derive a general relation between the five-sphere partition…

We construct an exact completion for regular categories enriched in the cartesian closed category $\mathsf{Pos}$ of partially ordered sets and monotone functions by employing a suitable calculus of relations. We then characterize the…

It is our purpose to study complete space-like self-expanders in the Minkovski space. By use of maximum principle of Omori-Yau type, we can obtain the rigidity theorems on $n$-dimensional complete space-like self-expanders in the Minkovski…

We show that any separated essentially finite-type map $f$ of noetherian schemes globally factors as $f = hi$ where $i$ is an injective localization map and $h$ a separated finite-type map. In particular, via Nagata's compactification…

A $\nabla$-algebra is a natural generalization of a Heyting algebra, unifying several algebraic structures, including bounded lattices, Heyting algebras, temporal Heyting algebras, and the algebraic representation of dynamic topological…

The space of unitary local systems of rank one on the complement of an arbitrary divisor in a complex projective algebraic variety can be described in terms of parabolic line bundles. We show that multiplier ideals provide natural…

We obtain two-bound estimates for the local growth of pluri-subharmonic functions in terms of Siciak and relative extremal functions. As applications, we give simple new proofs of "Bernstein doubling inequality" and the main result in…

Let G be a finite group. We systematically exploit general homological methods in order to reduce the computation of G-equivariant KK-theory to topological equivariant K-theory. The key observation is that the functor assigning to a…

We introduce a large class of mappings, called enriched contractions, which includes, amongst many other contractive type mappings, the Picard-Banach contractions and some nonexpansive mappings. We show that any enriched contraction has a…

This paper is a continuation of our work on the functional-analytic core of the classical Furstenberg-Zimmer theory. We introduce and study (in the framework of lattice-ordered spaces) the notions of total order-boundedness and uniform…