Relations that preserve compact filters

F. Mynard

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

2010-02-17

Abstract:Many classes of maps are characterized as (possibly multi-valued) maps preserving particular types of compact filters.

General Topology

What problem does this paper attempt to address?

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

Adam Bartoš,Tristan Bice,Alessandro Vignati

2024-08-28

Abstract:In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset with its spectrum, which is a compact T_1 topological space. In this paper, we focus on the case where such finite sets have a graph structure and the relations belong to a given graph category. We relate topological properties of the spectrum to combinatorial properties of the graph categories involved. We then utilise this to exhibit elementary combinatorial constructions of well-known continua as Fraïssé limits of finite graphs in categories with relational morphisms.

General Topology
Separated and prime compactifications

Ando Razafindrakoto

2024-07-16

Abstract:We discuss conditions under which certain compactifications of topological spaces can be obtained by composing the ultrafilter space monad with suitable reflectors. In particular, we show that these compactifications inherit their categorical properties from the ultrafilter space monad. We further observe that various constructions such as the prime open filter monad defined by H. Simmons, the prime closed filter compactification studied by Bentley and Herrlich, as well as the separated completion monad studied by Salbany fall within the same categorical framework.

General Topology
Maps preserving common zeros between subspaces of vector-valued continuous functions

Luis Dubarbie

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

2009-10-13

Abstract:For metric spaces $X$ and $Y$, normed spaces $E$ and $F$, and certain subspaces $A(X,E)$ and $A(Y,F)$ of vector-valued continuous functions, we obtain a complete characterization of linear and bijective maps $T:A(X,E)\to A(Y,F)$ preserving common zeros, that is, maps satisfying the property \setcounter{equation}{15} \label{dub} Z(f)\cap Z(g)\neq \emptyset \Longleftrightarrow Z(Tf)\cap Z(Tg)\neq \emptyset for any $f,g\in A(X,E)$, where $Z(f)=\{x\in X:f(x)=0\}$. Moreover, we provide some examples of subspaces for which the automatic continuity of linear bijections having the property (\ref{dub}) is derived.

Functional Analysis
Dowker Complexes and filtrations on self-relations

Dominic Desjardins Côté

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

2023-01-10

Combinatorics

Abstract:Given a relation on $ X \times Y $, we can construct two abstract simplicial complexes called Dowker complexes. The geometric realizations of these simplicial complexes are homotopically equivalent. We show that if two relations are conjugate, then they have homotopically equivalent Dowker complexes. From a self-relation on $ X $, this is a directed graph, and we use the Dowker complexes to study their properties. We show that if two relations are shift equivalent, then, at some power of the relation, their Dowker complexes are homotopically equivalent. Finally, we define a new filtration based on Dowker complexes with different powers of a relation.
Generalized Frolík classes

Paolo Lipparini

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

2015-03-08

General Topology

Abstract:The class $\mathfrak C $ relative to countably compact topological spaces and the class $\mathfrak P$ relative to pseudocompact spaces introduced by Z. Frol\'ik are naturally generalized relative to every topological property. We provide a characterization of such generalized Frol\'ik classes in the broad case of properties defined in terms of filter convergence. If a class of spaces can be defined in terms of filter convergence, then the same is true for its Frol\'ik class.
Filtral pretoposes and compact Hausdorff locales

Célia Borlido,Panagis Karazeris,Luca Reggio,Konstantinos Tsamis

2024-07-17

Abstract:The category of compact Hausdorff locales is a pretopos which is filtral, meaning that every object is covered by one whose subobject lattice is isomorphic to the lattice of filters of complemented elements. We show that any filtral pretopos satisfying some mild additional conditions can be embedded into the category of compact Hausdorff locales. This result is valid in the internal logic of any topos. Assuming the principle of weak excluded middle and the existence of copowers of the terminal object in the pretopos, the image of the embedding contains all spatial compact Hausdorff locales. The notion of filtrality was introduced by V. Marra and L. Reggio (Theory Appl. Categ., 2020) to characterise the category of compact Hausdorff spaces within the class of pretoposes. Our results can be regarded as a constructive extension of the aforementioned characterisation, avoiding reference to points. If the ambient logic is classical, i.e. it satisfies excluded middle, and the prime ideal theorem for Boolean algebras holds, we obtain as a corollary the characterisation of compact Hausdorff spaces in op. cit.

Category Theory
Dynamical notions along filters

Lorenzo Luperi Baglini,Sourav Kanti Patra,Md Moid Shaikh

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

2022-04-04

Abstract:We study the localization along a filter of several dynamical notions. This generalizes and extends similar localizations that have been considered in the literature, e.g. near 0 and near an idempotent. Definitions and basic properties of F-syndetic, piecewise F-syndetic, collectionwise F-piecewise syndetic, F-quasi central and F-central sets and their relations with F-uniformly recurrent points and ultrafilters are studied. We provide also the nonstandard characterizations of some of the above notions and we prove the partition regularity of several nonlinear equations along filters under mild general assumptions.

Dynamical Systems,Combinatorics
Compact linear relations and their spectral properties

Keshav Raj Acharya,Matt McBride

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

2022-01-12

Abstract:In this paper, we study compact linear relations and establish that the spectrum of compact linear relations consists of only the point spectrum and the zero set under suitable conditions.

Functional Analysis
Compactifiable classes of compacta

A. Bartoš,J. Bobok,J. van Mill,P. Pyrih,B. Vejnar

DOI: https://doi.org/10.1016/j.topol.2019.106836

2019-05-13

Abstract:We introduce the notion of compactifiable classes -- these are classes of metrizable compact spaces that can be up to homeomorphic copies ``disjointly combined'' into one metrizable compact space. This is witnessed by so-called compact composition of the class. Analogously, we consider Polishable classes and Polish compositions. The question of compactifiability or Polishability of a class is related to hyperspaces. Strongly compactifiable and strongly Polishable classes may be characterized by the existence of a corresponding family in the hyperspace of all metrizable compacta. We systematically study the introduced notions -- we give several characterizations, consider preservation under various constructions, and raise several questions.

General Topology
Maps preserving the diamond partial order

María Burgos,Antonio Carlos Márquez-García,Antonio Morales-Campoy

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

2015-08-04

Abstract:The present paper is devoted to the study of the diamond partial order in general C*-algebras and the description of linearmaps preserving this partial order

Operator Algebras
Maps on self-adjoint operators preserving some relations related to commutativity

Mahdi Karder,Tatjana Petek

2024-02-14

Abstract:In this paper, we give the complete description of maps on self-adjoint bounded operators on Hilbert space which preserve a triadic relation involving the difference of operators and either commutativity or quasi-commutativity in both directions. We show that those maps are implemented by unitary or antiunitary equivalence and possible additive perturbation by a scalar operator.

Functional Analysis
The Shape Of Compact Covers

ZIQIN FENG,PAUL GARTSIDE

DOI: https://doi.org/10.1017/jsl.2024.53

2024-10-30

Journal of Symbolic Logic

Abstract:For a space X let be the set of compact subsets of X ordered by inclusion. A map is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a Tukey quotient write , and write if and vice versa. We investigate the initial structure of pairs under the relative Tukey order, focussing on the case of separable metrizable spaces. Connections are made to Menger spaces. Applications are given demonstrating the diversity of free topological groups, and related free objects, over separable metrizable spaces. It is shown a topological group G has the countable chain condition if it is either -pseudocompact or for some separable metrizable M, we have .

mathematics,logic
Compatible filters with isomorphism testing

Joshua Maglione

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

2020-07-21

Abstract:Like the lower central series of a nilpotent group, filters generalize the connection between nilpotent groups and graded Lie rings. However, unlike the case with the lower central series, the associated graded Lie ring may share few features with the original group: e.g. the associated Lie ring may be trivial or arbitrarily large. We determine properties of filters such that the Lie ring and group are in bijection. We prove that, under such conditions, every isomorphism between groups is induced by an isomorphism between graded Lie rings.

Group Theory,Rings and Algebras
On compact subsets of the plane

Gerald Kuba

2024-01-27

Abstract:We construct a family F of compact and pathwise connected subsets of the Euclidean plane such that (i) the cardinality of F is that of the continuum (and hence extremely large) and (ii) if X,Y are distinct spaces in F then there never exists a topological embedding from X into Y.

General Topology
A pedagogical history of compactness

Manya Raman-Sundstrom

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

2014-06-09

Abstract:This paper traces the history of compactness from the original motivating questions, through the development of the definition, to a generalization of sequential compactness in terms of nets and filters.

History and Overview
Generalized low-pass filters and multiresolution analyses

Lawrence W. Baggett,Veronika Furst,Kathy D. Merrill,Judith A. Packer

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

2008-12-11

Abstract:We study generalized filters that are associated to multiplicity functions and homomorphisms of the dual of an abelian group. These notions are based on the structure of generalized multiresolution analyses. We investigate when the Ruelle operator corresponding to such a filter is a pure isometry, and then use that characterization to study the problem of when a collection of closed subspaces, which satisfies all the conditions of a GMRA except the trivial intersection condition, must in fact have a trivial intersection. In this context, we obtain a generalization of a theorem of Bownik and Rzeszotnik.

Classical Analysis and ODEs,Functional Analysis
Filtered spaces, filtered objects

Tyler Lawson

2024-10-11

Abstract:We introduce a operation on categories enriched in filtered spaces, whose effect is to turn categories of $E_1$-pages into categories of $E_2$-pages. This allows us to give a homotopical versions of several results that were previously implemented using $E_2$-model structures or more sophisticated machinery in higher algebra. We find that we can recover the homotopy theory of spaces from this page-turning operation on the homotopy theory of CW-complexes and filtration-shifting maps, a version of the cellular approximation theorem. In the category of filtered spectra, we show that this implements the procedure on filtered spectra sending the homotopy exact couple to its associated derived couple. Finally, we recover Pstragowski's category of synthetic spectra from applying this page-turning operation to the category of filtered modules over a spectral version of the Rees ring.

Algebraic Topology
Square Compactness and the filter extension property

David Buhagiar,Mirna Džamonja

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

2020-04-08

Abstract:We show that the consistency strength of $\kappa$ being $2^\kappa$-square compact is at least weak compact and strictly less than indescribable. This is the first known improvement to the upper bound of strong compactness obtained in 1973 by Hajnal and Juh{\' a}sz.

Logic,General Topology
Revisiting Operator $p$-Compact Mappings

Javier Alejandro Chávez-Domínguez,Verónica Dimant,Daniel Galicer

2024-05-29

Abstract:We continue our study of the mapping ideal of operator $p$-compact maps, previously introduced by the authors. Our approach embraces a more geometric perspective, delving into the interplay between operator $p$-compact mappings and matrix sets, specifically we provide a quantitative notion of operator $p$-compactness for the latter. In particular, we consider operator $p$-compactness in the bidual and its relation with this property in the original space. Also, we deepen our understanding of the connections between these mapping ideals and other significant ones (e.g., completely $p$-summing, completely $p$-nuclear).

Functional Analysis,Operator Algebras
A characterization of piecewise $\mathcal{F}$-syndetic sets

Conner Griffin

2024-08-17

Abstract:Some filter relative notions of size, $\left( \mathcal{F},\mathcal{G}\right) $-syndeticity and piecewise $\mathcal{F} $-syndeticity, were defined and applied with clarity and focus by Shuungula, Zelenyuk and Zelenyuk in their paper ``The closure of the smallest ideal of an ultrafilter semigroup.'' These notions are generalizations of the well studied notions of syndeticity and piecewise syndeticity. Since then, there has been an effort to develop the theory around the algebraic structure of the Stone-Čech compactification so that it encompasses these new generalizations. In this direction, we prove a characterization of piecewise $\mathcal{F}$-syndetic sets. This fully answers a conjecture of Christopherson and Johnson. <a class="link-https" data-arxiv-id="2105.09723" href="https://arxiv.org/abs/2105.09723">arXiv:2105.09723</a>

General Topology

Relations that preserve compact filters

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

Separated and prime compactifications

Maps preserving common zeros between subspaces of vector-valued continuous functions

Dowker Complexes and filtrations on self-relations

Generalized Frolík classes

Filtral pretoposes and compact Hausdorff locales

Dynamical notions along filters

Compact linear relations and their spectral properties

Compactifiable classes of compacta

Maps preserving the diamond partial order

Maps on self-adjoint operators preserving some relations related to commutativity

The Shape Of Compact Covers

Compatible filters with isomorphism testing

On compact subsets of the plane

A pedagogical history of compactness

Generalized low-pass filters and multiresolution analyses

Filtered spaces, filtered objects

Square Compactness and the filter extension property

Revisiting Operator $p$-Compact Mappings

A characterization of piecewise $\mathcal{F}$-syndetic sets