Related papers: Scott locales

A class of topological spaces is projective (resp., $\omega$-projective) if and only if projective systems of spaces (resp., with a countable cofinal subset of indices) in the class are still in the class. A certain number of classes of…

Let $F/\mathbb{Q}_p$ be finite and let $\mathfrak{X}_G$ be the moduli space of Langlands parameters valued in $G$, in characteristic distinct from $p$. First, we determine the irreducible components of $\mathfrak{X}_G$. Then, we determine…

Motivated by the definition of the smooth manifold structure on a suitable mapping space, we consider the general problem of how to transfer local properties from a smooth space to an associated mapping space. This leads to the notion of…

The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer \'etale and pro-Kummer \'etale topologies on log adic spaces. In particular, we show that log adic spaces…

The mod p cohomology of a space comes with an action of the Steenrod Algebra. L. Schwartz [A propos de la conjecture de non realisation due a N. Kuhn, Invent. Math. 134, No 1, (1998) 211--227] proved a conjecture due to N. Kuhn [On…

For a local field $F$ we consider tamely ramified principal series representations $V$ of $G={\rm GL}_{d+1}(F)$ with coefficients in a finite extension $K$ of ${\mathbb Q}_p$. Let $I_0$ be a pro-$p$-Iwahori subgroup in $G$, let ${\mathcal…

In this paper we prove that the Scott topology $\mathfrak S$ on a rooted non-metric tree $\mathcal T$ is strictly coarser than the weak tree topology. Moreover, for each $t\in \mathcal T$, we consider a natural order $\preceq_t$ on…

Let K be a p-adic field and F the function field of a curve over K. Let G be a connected linear algebraic group over F of classical type. Suppose the prime p is a good prime for G. Then we prove that projective homogeneous spaces under G…

Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…

The (Local) Lifting Property ((L)LP) is introduced by Kirchberg and deals with lifting completely positive maps. We give a characterization of the (L)LP in terms of lifting $\ast$-homomorphisms. We use it to prove that if $A$ and $B$ have…

We study the usual notion of Scott rank but in the setting of Polish metric spaces. The signature consists of distance relations: for each rational $q > 0$, there is a relation $R_{<q}(x,y)$ stating that the distance of $x$ and $y $ is less…

Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification…

Let X be an affine variety and L be a solvable Lie subalgebra of Lie(Aut(X)) generated by a finite collection of locally finite Lie subalgebras. The authors of [arXiv:2507.09679] wondered whether L is itself locally finite. Here we present…

We study the space of loops into a hypersurface complement, and show that the corresponding topological algebra of Laurent series with coefficients in $\mathcal{O}(L\mathbf{A}^{d}_{f})$ is a topological localisation of…

We consider flat surfaces and the points of their metric completions, particularly the singularities to which the flat structure of the surface does not extend. The local behavior near a singular point x can be partially described by a…

Suppose $X$ is a compact Hausdorff space. In terms of topolocical properties of $X$, we find topological conditions on $X$ that are equivalent to each of the following: 1. every additive local multiplication on $C\left( X\right) $ is a…

Let $X$ be the prime spectrum of a ring. In [arXiv:0707.1525] the authors define a topology on $X$ by using ultrafilters and they show that this topology is precisely the constructible topology. In this paper we generalize the construction…

In this paper we introduce several quantitative methods for the lambda-calculus based on partial metrics, a well-studied variant of standard metric spaces that have been used to metrize non-Hausdorff topologies, like those arising from…

Let $A$ be a differential graded algebra with cohomology ring $H^*A$. A graded module over $H^*A$ is called \emph{realisable} if it is (up to direct summands) of the form $H^*M$ for some differential graded $A$-module $M$. Benson, Krause…

Let $G$ be the group of orientation-preserving isometries of a rank-one symmetric space $X$ of non-compact type. We study local rigidity of certain actions of a solvable subgroup $\Gamma \subset G$ on the boundary of $X$, which is…