A Note on Proper Maps of Locales.

Wei He,MaoKang Luo

DOI: https://doi.org/10.1007/s10485-009-9196-1

2009-01-01

Applied Categorical Structures

Abstract:Let X and Y be completely regular locales. We show that the properness of a localic map f: X → Y can be characterized in terms of extension between compactifications.

What problem does this paper attempt to address?

A Note on Semi-Regular Locales

Wei He

2013-01-01

Categories and General Algebraic Structures with Applications

Abstract:Semi-regular locales are extensions of the classical semi regular spaces. We investigate the conditions such that semi-regularization is a functor. We also investigate the conditions such that semi-regularization is a reflection or coreflection.
Pointless Parts of Completely Regular Locales

Richard N. Ball

2023-04-29

Abstract:(Completely regular) locales generalize (Tychonoff) spaces; indeed, the passage from a locale to its spatial sublocale is a well understood coreflection. But a locale also possesses an equally important pointless sublocale, and with morphisms suitably restricted, the passage from a locale to its pointless sublocale is also a coreflection. Our main theorem is that every locale can be uniquely represented as a subdirect product of its pointless and spatial parts, again with suitably restricted projections. We then exploit this representation by showing that any locale is determined by (what may be described as) the placement of its points in its pointless part.

General Topology
Generalizing $β$- and $λ$-maps

Ana Belén Avilez

2024-07-24

Abstract:We generalize the notions of $\beta$- and $\lambda$-maps to general selections of sublocales, obtaining different classes of localic maps. These new classes of maps are used to characterize almost normality, extremal disconnectedness, $F$-frames, $Oz$-frames, among others types of locales, in a manner akin to the characterization of normal locales via $\beta$-maps. As a byproduct we obtain a characterization of localic maps that preserve the completely below relation (that is, the right adjoints of assertive frame homomorphisms).

General Topology,Category Theory
Finiteness of Cohomology for Pro-locally Proper Maps

Javier Sánchez González

DOI: https://doi.org/10.1007/s00009-024-02646-9

2024-04-26

Mediterranean Journal of Mathematics

Abstract:We introduce a notion of proper morphism for schematic finite spaces and prove the analog of Grothendieck's finiteness theorem for it. The techniques we employ, which further develop the theory of schematic spaces and proschemes , are ultimately founded on descent properties of flat epimorphisms of rings that are applicable in other situations in order to weaken finite presentation requirements.

mathematics, applied
Meets of spatial sublocales

Tao Lu,Wei He,Xijuan Wang

DOI: https://doi.org/10.36045/bbms/1274896203

2010-01-01

Bulletin of the Belgian Mathematical Society - Simon Stevin

Abstract:It is well known that the functor Omega : Sp -> Loc does not preserve meets of subspaces. More generally, the meet of a family of spatial sublocales of a locale is in general not spatial. In this paper, we will give a characterization for those topological spaces for which the functor Omega preserves meets of subspaces. As a corollary, we give some characterizations for the meet of some spatial sublocales of a locale to be spatial.
Smooth and Proper Maps

Mathieu Anel,Jonathan Weinberger

2024-06-13

Abstract:This is an expository note explaining how the geometric notions of local connectedness and properness are related to the $\Sigma$-type and $\Pi$-type constructors of dependent type theory.

Category Theory,Logic in Computer Science,Algebraic Geometry,Logic
ON LOCAL INJECTIVITY OF QUASI-REGULAR MAPPINGS AND THE ORLICZ NORM OF VMOφ SPACE

陈克应,方爱农

DOI: https://doi.org/10.3321/j.issn:1000-8134.2002.03.015

2002-01-01

Abstract:In this paper, the authors prove that a quasi-regular mapping f is a local homeomor-phism if the Orlicz-norm distance between its dilatation tensor Gf(x) (or matrix dilatation Mf(x)) and VMOφ space is sufficiently small.
On Almost Regular Mappings

Radek Cibulka

2023-09-06

Abstract:Ioffe's criterion and various reformulations of it have become a~standard tool in proving theorems guaranteeing various regularity properties such as metric regularity, i.e., the openness with a linear rate around the reference point, of a~(set-valued) mapping. We derive an analogue of it guaranteeing the almost openness with a linear rate of mappings acting in incomplete spaces and having non-closed graphs, in general. The main tool used is an approximate version of Ekeland's variational principle for a function that is not necessarily lower semi-continuous and is defined on an abstract (possibly incomplete) space. Further, we focus on the stability of this property under additive single-valued and set-valued perturbations.

Functional Analysis
On a criterion of properness of multimaps

Dmitry Vorotnikov

DOI: https://doi.org/10.48550/arXiv.0911.1702

2009-11-09

Abstract:The close relation between properness and closedness of maps is well-known. For instance, for Fredholm mappings of infinite dimensional Banach manifolds, these properties are equivalent. On the other hand, properness of maps plays an important role for construction of various topological degree theories. In this work we give a general criterion of properies of multimaps, congenial to the just mentioned property of Fredholm maps. The criterion is formulated in the form of two theorems: direct and converse.

Functional Analysis,General Topology
A note on Väisälä's problem concerning free quasiconformal mappings

Qingshan Zhou,Yaxiang Li,Antti Rasila

DOI: https://doi.org/10.48550/arXiv.2011.08599

2020-11-17

Abstract:In this paper, we provide partial solutions to a problem raised by Väisälä on local properties of free quasiconformal mappings. In particular, we show that a locally free quasiconformal mapping is globally free quasiconformal under the condition of locally relative quasisymmetry.

Complex Variables,Functional Analysis
Local continuous extension of proper holomorphic maps: low-regularity and infinite-type boundaries

Annapurna Banik

DOI: https://doi.org/10.1016/j.jmaa.2024.128382

2024-04-24

Abstract:We prove a couple of results on local continuous extension of proper holomorphic maps $F:D \rightarrow \Omega$, $D, \Omega \varsubsetneq \mathbb{C}^n$, making local assumptions on $\partial{D}$ and $\partial{\Omega}$. The first result allows us to have much lower regularity, for the patches of $\partial{D}, \partial{\Omega}$ that are relevant, than in earlier results. The second result (and a result closely related to it) is in the spirit of a result by Forstneric--Rosay. However, our assumptions allow $\partial{\Omega}$ to contain boundary points of infinite type.

Complex Variables
Notes on the Reflection Subcategory of the Category of Locales

SUN Xiangrong,HE Wei

DOI: https://doi.org/10.3321/j.issn:1000-8134.2007.06.009

2007-01-01

Chinese Annals of Mathematics

Abstract:This paper applies completely regular elements and zero-dimensiomal elements, gives constructive descriptions of the completely regular reflection and the zero-dimensional reflection of Locales in much simple form.For a Locale A,which satisfies the subdivisibility property,especially a normal Locale,the authors show that the Locale R(A)of regular elements is the regular reflection of A.Furthermore,the compact regular reflection,the completely regular reflection and the compact zero-dimensional reflection of Locales by the extension lemma of fiat suLocale are abtained.
Locally conformally Kähler spaces and proper open morphisms

Ovidiu Preda,Miron Stanciu

DOI: https://doi.org/10.1007/s10455-024-09959-8

2024-06-15

Annals of Global Analysis and Geometry

Abstract:In this paper, we prove a stability result for the non-Kähler geometry of locally conformally Kähler (lcK) spaces with singularities. Specifically, we find sufficient conditions under which the image of an lcK space by a holomorphic mapping also admits lcK metrics, thus extending a result by Varouchas about Kähler spaces.

mathematics
A note to "Radial limits of quasiregular Local Homeomorphisms''

Chang-Yu Guo,Yi Xuan

2023-03-01

Abstract:In this short note, we consider quasiregular local homeomorphisms on uniform domains. We prove that such mappings always can be extended to some boundary points along John curves, which extends the corresponding result of Rajala [Amer. J. Math. 2008].

Complex Variables
Locales as spaces in outer models

Nathaniel Bannister

2024-11-09

Abstract:Let M be a transitive model of set theory and X be a space in the sense of M. Is there a reasonable way to interpret X as a space in V? A general theory due to Zapletal provides a natural candidate which behaves well on sufficiently complete spaces (for instance Čech complete spaces) but behaves poorly on more general spaces - for instance, the Zapletal interpretation does not commute with products. We extend Zapletal's framework to instead interpret locales, a generalization of topological spaces which focuses on the structure of open sets. Our extension has a number of desirable properties; for instance, localic products always interpret as spatial products. We show that a number of localic notions coincide exactly with properties of their interpretations; for instance, we show a locale is $T_U$ if and only if all its interpretations are $T_1$, a locale is $I$-Hausdorff if and only if all its interpretations are $T_2$, a locale is regular if and only if all its interpretations are $T_3$, and a locale is compact if and only if all its interpretations are compact.

Logic
Pointless Parts of Completely Regular Frames

Richard N. Ball

DOI: https://doi.org/10.1007/s10485-024-09768-x

2024-06-06

Applied Categorical Structures

Abstract:(Completely regular) locales generalize (Tychonoff) spaces; indeed, the passage from a locale to its spatial sublocale is a well understood coreflection. But a locale also possesses an equally important pointless sublocale, and with morphisms suitably restricted, the passage from a locale to its pointless sublocale is also a coreflection. Our main theorem is that every locale can be uniquely represented as a subdirect product of its pointless and spatial parts, again with suitably restricted projections. We then exploit this representation by showing that any locale is determined by (what may be described as) the placement of its points in its pointless part.

mathematics
Regular Relations and Strictly Completely Regular Ordered Spaces

XQ Xu,YM Liu

DOI: https://doi.org/10.1016/s0166-8641(03)00108-1

IF: 0.583

2004-01-01

Topology and its Applications

Abstract:The classical theorem of Zareckiı̆ about regular relations is slightly extended and an intrinsic characterization of regularity is given. Based on the extended Zareckiı̆ theorem and the intrinsic characterization of regularity, we give a characterization of the strict complete regularity of ordered spaces by means of a certain regular relation between the closed and the open upper sets. As an application, it is shown that a quasicontinuous domain endowed with the Lawson topology is strictly completely regular, provided that the Lawson-open lower sets are contained in the lower topology. By means of regular relations we present a new proof of the strict Tychonoff embedding theorem for strictly completely regular ordered spaces.
A Localic L-fuzzy Modification of Topological Spaces

DX ZHANG,YM LIU

DOI: https://doi.org/10.1016/0165-0114(93)90147-a

IF: 4.462

1993-01-01

Fuzzy Sets and Systems

Abstract:An L-fuzzy modification of the category of the topological spaces is obtained in this paper by establishing a theory of L-fuzzy locales, which is meant to bridge the study of L-fuzzy topologies and that of locales.
Fully closed maps and LUR renormability

Todor Manev

2023-12-24

Abstract:We show that the space of continuous functions over a compact space X admits an equivalent pointwise-lowersemicontinuous locally uniformly rotund norm whenever X admits a fully closed map onto a compact Y such that C(Y) and the spaces of continuous functions over the fibers all admit such norms. A map is called fully closed if the intersection of the images of any two closed disjoint sets is finite. As a main corollary we obtain that C(X) is LUR renormable whenever X is a Fedorchuk compact of finite spectral height.

Functional Analysis,General Topology
Weakly Spatial Locales

SUN Xiangrong,HE Wei

DOI: https://doi.org/10.3969/j.issn.1000-0917.2007.03.011

IF: 1.675

2007-01-01

Advances in Mathematics

Abstract:The category SLoc of spatial locales is a coreflective subcategory of the category Loc of locales,but the product of spatial locales is not closed under localic product.In this note the concept of wealdy spatial locale is presented,we show that the category WSLoc of weakly spatial locales is a coreflection subcategory of the category Loc and the localic product of weakly spatial locale is still weakly spatial.Moreover,we show that a locale A is spatial if and only if the nucleus locale N(A)is weakly spatial,every sublocale of a locale A is spatial if and only if every sublocale of A is weakly spatial.Also we prove that the weekly spatiality is preserved under directed functors.

A Note on Proper Maps of Locales.

A Note on Semi-Regular Locales

Pointless Parts of Completely Regular Locales

Generalizing $β$- and $λ$-maps

Finiteness of Cohomology for Pro-locally Proper Maps

Meets of spatial sublocales

Smooth and Proper Maps

ON LOCAL INJECTIVITY OF QUASI-REGULAR MAPPINGS AND THE ORLICZ NORM OF VMOφ SPACE

On Almost Regular Mappings

On a criterion of properness of multimaps

A note on Väisälä's problem concerning free quasiconformal mappings

Local continuous extension of proper holomorphic maps: low-regularity and infinite-type boundaries

Notes on the Reflection Subcategory of the Category of Locales

Locally conformally Kähler spaces and proper open morphisms

A note to "Radial limits of quasiregular Local Homeomorphisms''

Locales as spaces in outer models

Pointless Parts of Completely Regular Frames

Regular Relations and Strictly Completely Regular Ordered Spaces

A Localic L-fuzzy Modification of Topological Spaces

Fully closed maps and LUR renormability

Weakly Spatial Locales