In this paper we mainly study the borel complexity of ideal limit points, denoted by Lambda(r)(I), in a first countable space. We investigate the connection between complexity of Lambda(r)(I) and properties of the ide...
详细信息
In this paper we mainly study the borel complexity of ideal limit points, denoted by Lambda(r)(I), in a first countable space. We investigate the connection between complexity of Lambda(r)(I) and properties of the ideal I, and answer an open question. The main results are the following. Fix a sequence r. Then Lambda(r)(I) can be any nonempty subset of ordinary limit points. This answers an open question. Moreover, under suitable assumptions, if the subset is borel, then the corresponding ideal can be chosen to be borel. Lambda(r)(I) is closed for every real sequence r if and only if I is P+. Lambda(r)(I) is F-sigma for Farah ideals (a subclass of F-sigma delta ideals). These generalize several results in [1]. (c) 2022 Elsevier B.V. All rights reserved.
We show that if A is Z, O-2, O-infinity, a UHF algebra of infinite type, or the tensor product of a UHF algebra of infinite type and O-infinity, then the conjugation action Aut(A) curved right arrow Aut(A) is generica...
详细信息
We show that if A is Z, O-2, O-infinity, a UHF algebra of infinite type, or the tensor product of a UHF algebra of infinite type and O-infinity, then the conjugation action Aut(A) curved right arrow Aut(A) is generically turbulent for the point-norm topology. We moreover prove that if A is either (i) a separable C*-algebra which is stable under tensoring with Z or K, or (ii) a separable Hi factor which is McDuff or a free product of II1 factors, then the automorphisms of A are not classifiable up to conjugacy by countable structures. (C) 2015 Elsevier Inc. All rights reserved.
We prove that many seemingly simple theories have borel complete reducts. Specifically, if a countable theory has uncountably many complete one-types, then it has a borel complete reduct. Similarly, if Th(M) is not sm...
详细信息
We prove that many seemingly simple theories have borel complete reducts. Specifically, if a countable theory has uncountably many complete one-types, then it has a borel complete reduct. Similarly, if Th(M) is not small, then M(eq )has a borel complete reduct, and if a theory T is not omega-stable, then the elementary diagram of some countable model of T has a borel complete reduct.
The space of unitary C-0-semigroups on a separable infinite-dimensional Hilbert space, when viewed under the topology of uniform weak operator convergence on compact subsets of R+, is known to admit various interestin...
详细信息
The space of unitary C-0-semigroups on a separable infinite-dimensional Hilbert space, when viewed under the topology of uniform weak operator convergence on compact subsets of R+, is known to admit various interesting residual subspaces. Before treating the contractive case, the problem of the complete metrisability of this space was raised in [4]. Utilising borel complexity computations and automatic continuity results for semigroups, we obtain a general result, which in particular implies that the one-/multiparameter contractive C-0-semigroups constitute Polish spaces and thus positively addresses the open problem.
In this article, we investigate the descriptive complexity of topological invariants. Our main goal is to understand the expressive power of low complexity invariants, by investigating which spaces they can distinguis...
详细信息
In this article, we investigate the descriptive complexity of topological invariants. Our main goal is to understand the expressive power of low complexity invariants, by investigating which spaces they can distinguish. We study the invariants in the first two levels of the borel hierarchy. We develop techniques to establish whether two spaces can be separated by invariants in these levels. We show that they are sufficient to separate finite topological graphs. We finally identify the complexity of recognizing the line segment. (c) 2025 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.
We prove that the category M of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category A of abelian P...
详细信息
We prove that the category M of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category A of abelian Polish groups in the sense of Beilinson-Bernstein-Deligne and Schneiders. Thus, M is an abelian category containing A as a full subcategory such that the inclusion functor A-* M is exact and finitely continuous. Furthermore, M is uniquely characterized up to equivalence by the following universal property: for every abelian category B, a functor A-* B is exact and finitely continuous if and only if it extends to an exact and finitely continuous functor M-* B. In particular, this provides a description of the left heart of A as a concrete category. We provide similar descriptions of the left heart of a number of categories of algebraic structures endowed with a topology, including: non-Archimedean abelian Polish groups;locally compact abelian Polish groups;totally disconnected locally compact abelian Polish groups;Polish R-modules, for a given Polish group or Polish ring R;and separable Banach spaces and separable Fr & eacute;chet spaces over a separable complete nonArchimedean valued field. (c) 2024 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (http:// creativecommons .org /licenses /by /4 .0/).
In this paper we establish connections between the theory of Katetov order on ideals on countable sets with ideal convergence in general topological spaces, which are used to study the following questions posed by X.G...
详细信息
In this paper we establish connections between the theory of Katetov order on ideals on countable sets with ideal convergence in general topological spaces, which are used to study the following questions posed by X.G. Zhou, L. Liu and S. Lin [12]: (1) Whether every finite union of I-closed subsets is I-closed? (2) Must every I-continuous map preserve I-convergence? (3) Must every map preserving I-convergence preserve J-convergence if J subset of I? Our main results include: If I is K-uniform, then every finite union of I-closed subsets is I-closed in any space;there exists a countable zero-dimensional Hausdorff space with character equal to the continuum in which there are two I-closed sets with non-I-closed union for some tall F-sigma-ideal I, while it is independent of ZFC that for every Hausdorff space X of character less than the continuum and every tall F-sigma-ideal I, finite unions of I-closed subsets are always I-closed in X. These answers Question (1). We show the answer to Question (2) is negative in ZFC and the answer to Question (3) is also negative if we replace J subset of I with J <=(K) I (which is weaker than J subset of I). (C) 2020 Elsevier B.V. All rights reserved.
We show that for any countable homogeneous ordered graph G, the conjugacy problem for automorphisms of G is borel complete. In fact we establish that each such G satisfies a strong extension property called ABAP, whic...
详细信息
We show that for any countable homogeneous ordered graph G, the conjugacy problem for automorphisms of G is borel complete. In fact we establish that each such G satisfies a strong extension property called ABAP, which implies that the isomorphism relation on substructures of G is borel reducible to the conjugacy relation on automorphisms of G.
In this paper we extend the idea of weighted density of Balcerzak et al. (2015) by using a modulus function and introduce the idea f -density of weight g of subsets of omega := {0,1, ...} (at the same time extending t...
详细信息
In this paper we extend the idea of weighted density of Balcerzak et al. (2015) by using a modulus function and introduce the idea f -density of weight g of subsets of omega := {0,1, ...} (at the same time extending the notion of f-density (Aizpuru et al., 2014)), which we name d(g)(f) where g : omega -> [0, infinity) satisfies g(n) -> infinity and n/g(n) -> 0 and f is a modulus function. The aim of this paper is to show that we can get new ideals Z(g)(f) consisting of sets A subset of omega co for which d(g)(f) (A) = 0 different from all the previously constructed ideals Z(g) (f) of Balcerzak et al. (2015) and moreover they retain all the nice properties of the ideals Z(g). (C) 2018 Royal Dutch Mathematical Society (KWG). Published by Elsevier B.V. All rights reserved.
We study from the perspective of borel complexity theory the classification problem for multiplier algebras associated with operator algebraic varieties. These algebras are precisely the multiplier algebras of irreduc...
详细信息
We study from the perspective of borel complexity theory the classification problem for multiplier algebras associated with operator algebraic varieties. These algebras are precisely the multiplier algebras of irreducible complete Nevanlinna-Pick spaces. We prove that these algebras are not classifiable up to algebraic isomorphism using countable structures as invariants. In order to prove such a result, we develop the theory of turbulence for Polish groupoids, which generalizes Hjorth's turbulence theory for Polish group actions. We also prove that the classification problem for multiplier algebras associated with varieties in a finite-dimensional ball up to isometric isomorphism has maximum complexity among the essentially countable classification problems. In particular, this shows that Blaschke sequences are not smoothly classifiable up to conformal equivalence via automorphisms of the disc.
暂无评论