Related papers: Scott locales

Using methods from commutative algebra and topos-theory, we construct topos-theoretical points for the fppf topology of a scheme. These points are indexed by both a geometric point and a limit ordinal. The resulting stalks of the structure…

Consider the following property of a topological group G: every continuous affine G-action on a Hilbert space with a bounded orbit has a fixed point. We prove that this property characterizes amenability for locally compact sigma-compact…

To a topological groupoid endowed with an involution, we associate a topological groupoid of fixed points, generalizing the fixed-point subspace of a topological space with involution. We prove that when the topological groupoid with…

Spatial transcriptomics studies are becoming increasingly large and commonplace, necessitating simultaneous analysis of a large number of spatially resolved variables. Correspondingly, a diverse range of methodologies have been proposed to…

Geometric approach to classical and exceptional groups of Lie type has been quite successful and has led to the deveopment of the concept of buildings and polar spaces. The latter have been characterized by simple systems of axioms with a…

In this thesis we propose and study a theory of ordered locales, a type of point-free space equipped with a preorder structure on its frame of opens. It is proved that the Stone-type duality between topological spaces and locales lifts to a…

In this paper we study some frames associated to an $R$-module $M$. We define semiprimitive submodules and we prove that they form an spatial frame canonically isomorphic to the topology of $Max(M)$. We characterize the soberness of…

Let A be a finite alphabet and f: A^* --> A^* be a morphism with an iterative fixed point f^\omega(\alpha), where \alpha{} is in A. Consider the subshift (X, T), where X is the shift orbit closure of f^\omega(\alpha) and T: X --> X is the…

The focus of this paper is the study of the moduli space of representations of fundamental groupoids of surfaces $\Sigma$ with boundaries with values in $G:=GL_n(\mathbb C)$. In absence of marked points on the boundary, this moduli space is…

Let $\pi : X\to \Lambda$ be a flat family of smooth complex projective varieties parameterized by a smooth quasi-projective variety $\Lambda$, and let $f: X\to X$ be a family of automorphisms with positive topological entropy. Suppose…

Let Gamma be an S-arithmetic subgroup of a solvable algebraic group G over an algebraic number field F, such that the finite set S contains at least one place that is nonarchimedean. We construct a certain group H, such that if L is any…

First we explain the concept of local deformation over a 'parameter' algebra P, in particular the notion of a P-lattice in a Lie group. Purpose of this article is to define the spaces of automorphic resp. cusp forms on the upper half plane…

Let $\mathscr{L}$ be a recursive language. Let $S(\mathscr{L})$ be the set of $\mathscr{L}$-structures with domain $\omega$. Let $\Phi : {}^\omega 2 \rightarrow S(\mathscr{L})$ be a $\Delta_1^1$ function with the property that for all $x,y…

There are a number of localic separation axioms which are roughly analogous to the $T_1$-axiom from classical topology. For instance, besides the well-known subfitness and fitness, there are also Rosicky-Smarda's $T_1$-locales, totally…

Many classically used function space structures (including the topology of pointwise convergence, the compact-open topology, the Isbell topology and the continuous convergence) are induced by a hyperspace structure counterpart. This scheme…

Let T be a complete first order theory in a countable relational language L . We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol sigma to obtain the language…

Let T be a commutative Noetherian local ring of dimension at least two and R=T[x_1,...,x_n] a polynomial ring in n variables over T. Consider R as a graded ring with deg T = 0 and deg x_i = 1 for all i. Let I=R_+ and f a homogeneous…

A topological space $X$ is defined to have an $\omega^\omega$-base if at each point $x\in X$ the space $X$ has a neighborhood base $(U_\alpha[x])_{\alpha\in\omega^\omega}$ such that $U_\beta[x]\subset U_\alpha[x]$ for all $\alpha\le\beta$…

We show that $C(X)$ admits an equivalent pointwise lower semicontinuous locally uniformly rotund norm provided $X$ is Fedorchuk compact of spectral height 3. In other words $X$ admits a fully closed map $f$ onto a metric compact $Y$ such…

We introduce the notion of an EILC topos: a topos $\mathcal{E}$ such that every essential geometric morphism with codomain $\mathcal{E}$ is locally connected. We then show that the topos of sheaves on a topological space $X$ is EILC if $X$…