Related papers: Nonexistence of k-bounded sobrification

In this paper, we mainly discuss some basic properties of Scott power spaces. For a $T_0$ space $X$, let $\mathsf{K}(X)$ be the poset of all nonempty compact saturated subsets of $X$ endowed with the Smyth order. It is proved that the Scott…

The aim of this paper is to study the topological properties of algebraic sets with zero divisors. We impose a subbasic topology on the set of proper ideals of a $k$-algebra and this new ``$k$-space'' becomes a generalization of the…

M. Escard\'o et al. asked whether the core compactly generated topology of a sober space is again sober and the sobrification of a core compactly generated space again core compactly generated. In this note, we answer the problem by…

In \cite{E_2018}, Ern\'e relaxed the concept of sobriety in order to extend the theory of sober spaces and locally hypercompact spaces to situations where directed joins were missing, and introduced three kinds of non-sober spaces: cut…

An E_0-semigroup is called q-pure if it is a CP-flow and its set of flow subordinates is totally ordered by subordination. The range rank of a positive boundary weight map is the dimension of the range of its dual map. Let K be a separable…

We prove that in any Sobolev space which is subcritical with respect to the Sobolev Embedding Theorem there exists a closed infinite dimensional linear subspace whose non zero elements are nowhere bounded functions. We also prove the…

We give a vanishing and classification result for holomorphic differential forms on smooth projective models of the moduli spaces of pointed K3 surfaces. We prove that there is no nonzero holomorphic k-form for 0<k<10 and for even k>19. In…

A non-empty subset of a topological space is irreducible if whenever it is covered by the union of two closed sets, then already it is covered by one of them. Irreducible sets occur in proliferation: (1) every singleton set is irreducible,…

Keimel and Lawson proposed a set of conditions for proving a category of topological spaces to be reflective in the category of all T0 spaces. These conditions were recently used to prove the reflectivity of the category of all…

We first introduce and investigate a new class of $T_0$ spaces -- strong R-spaces, which are stronger than both R-spaces and strongly well-filtered spaces. It is proved that any sup-complete poset equipped with the upper topology is a…

K\"unzi and Ferrario have shown that a $T_0$ space is sober if and only if it is bicomplete in the well-monotone quasi-uniformity. We prove a pointfree version of this result: a strictly zero-dimensional biframe is a congruence biframe if…

Consider the topologically enriched category of compact smooth manifolds (possibly with corners), with morphisms given by codimension zero smooth embeddings. Now formally identify any object X with its thickening X x [-1,1]. We prove that…

We prove that the category of faded cosheaves in Set over a sober topological space $(B,\Omega)$ is equivalent to a category Sett$(B,\Omega)$ having the same class of objects as Set$ / B$ has, but generally a wider class of morphisms. We…

In the paper Description of the $K$-spaces by means of $J$-spaces and the reverse problem, Math. Nachr. 296 (2023), no. 9, 4002--4031, we have establish conditions under which the limiting $K$-space $(X_0,X_1)_{0,q,b;K}$, involving a slowly…

In this paper, we construct a class of ASH algebras of real rank zero and stable rank one which is not K-pure. Then we show the following: (i) There exists a real rank zero inductive limit of 1-dimensional noncommutative CW complexes which…

We associate to a bound quiver (Q,I) a CW-complex which we denote by B(Q,I), and call the classifying space of (Q,I). We show that the fundamental group of B(Q,I) is isomorphic to the fundamental group of (Q,I). Moreover, we show that this…

With a commutative integral quantale $L$ as the truth value table, this study focuses on the characterizations of the sobriety of stratified $L$-convex spaces, as introduced by Liu and Yue in 2024. It is shown that a stratified sober…

Let $K$ be a finite extension of $\mathbb{Q}_p$ and $X$ a smooth proper $K$-variety with good reduction. Under a mild assumption on the behaviour of Hodge numbers under reduction modulo $p$, we prove that the existence of a non-zero global…

We give a new proof of the theorem stating that for any connected linear algebraic group G over an algebraically closed field k of characteristic 0 and for any closed connected subgroup H of G, the unramified Brauer group of G/H vanishes.

The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we…