scholarly journals THE COMPLEXITY OF TOPOLOGICAL GROUP ISOMORPHISM

2018 ◽  
Vol 83 (3) ◽  
pp. 1190-1203 ◽  
Author(s):  
ALEXANDER S. KECHRIS ◽  
ANDRÉ NIES ◽  
KATRIN TENT
Keyword(s):  
Topological Group ◽  
Upper Bound ◽  
Graph Isomorphism ◽  
Equivalence Relations ◽  
Topological Isomorphism ◽  
Natural Numbers ◽  
Locally Compact ◽  
Group Isomorphism ◽  
Borel Reducibility ◽  
The One

AbstractWe study the complexity of the topological isomorphism relation for various classes of closed subgroups of the group of permutations of the natural numbers. We use the setting of Borel reducibility between equivalence relations on Borel spaces. For profinite, locally compact, and Roelcke precompact groups, we show that the complexity is the same as the one of countable graph isomorphism. For oligomorphic groups, we merely establish this as an upper bound.

scholarly journals Coarse groups, and the isomorphism problem for oligomorphic groups

2021 ◽  
pp. 2150029
Author(s):  
André Nies ◽  
Philipp Schlicht ◽  
Katrin Tent
Keyword(s):  
Topological Group ◽  
Closed Subgroup ◽  
Main Tool ◽  
Isomorphism Problem ◽  
Equivalence Relations ◽  
Natural Numbers ◽  
Ternary Relation ◽  
Polish Spaces ◽  
Borel Reducibility ◽  
Set Up

Let [Formula: see text] denote the topological group of permutations of the natural numbers. A closed subgroup [Formula: see text] of [Formula: see text] is called oligomorphic if for each [Formula: see text], its natural action on [Formula: see text]-tuples of natural numbers has only finitely many orbits. We study the complexity of the topological isomorphism relation on the oligomorphic subgroups of [Formula: see text] in the setting of Borel reducibility between equivalence relations on Polish spaces. Given a closed subgroup [Formula: see text] of [Formula: see text], the coarse group [Formula: see text] is the structure with domain the cosets of open subgroups of [Formula: see text], and a ternary relation [Formula: see text]. This structure derived from [Formula: see text] was introduced in [A. Kechris, A. Nies and K. Tent, The complexity of topological group isomorphism, J. Symbolic Logic 83(3) (2018) 1190–1203, Sec. 3.3]. If [Formula: see text] has only countably many open subgroups, then [Formula: see text] is a countable structure. Coarse groups form our main tool in studying such closed subgroups of [Formula: see text]. We axiomatize them abstractly as structures with a ternary relation. For the oligomorphic groups, and also the profinite groups, we set up a Stone-type duality between the groups and the corresponding coarse groups. In particular, we can recover an isomorphic copy of [Formula: see text] from its coarse group in a Borel fashion. We use this duality to show that the isomorphism relation for oligomorphic subgroups of [Formula: see text] is Borel reducible to a Borel equivalence relation with all classes countable. We show that the same upper bound applies to the larger class of closed subgroups of [Formula: see text] that are topologically isomorphic to oligomorphic groups.

Functional Equations and μ-Spherical Functions

2008 ◽  
Vol 15 (1) ◽  
pp. 1-20
Author(s):  
Mohamed Akkouchi ◽  
Belaid Bouikhalene ◽  
Elhoucien Elqorachi
Keyword(s):  
Functional Equation ◽  
Topological Group ◽  
Functional Equations ◽  
Compact Subgroup ◽  
Aequationes Math ◽  
Gelfand Pair ◽  
Locally Compact ◽  
The Matrix ◽  
The One ◽  
Locally Compact Topological Group

Abstract We will study the properties of solutions 𝑓, {𝑔𝑖}, {ℎ𝑖} ∈ 𝐶𝑏(𝐺) of the functional equation where 𝐺 is a Hausdorff locally compact topological group, 𝐾 a compact subgroup of morphisms of 𝐺, χ a character on 𝐾, and μ a 𝐾-invariant measure on 𝐺. This equation provides a common generalization of many functional equations (D'Alembert's, Badora's, Cauchy's, Gajda's, Stetkaer's, Wilson's equations) on groups. First we obtain the solutions of Badora's equation [Aequationes Math. 43: 72–89, 1992] under the condition that (𝐺,𝐾) is a Gelfand pair. This result completes the one obtained in [Badora, Aequationes Math. 43: 72–89, 1992] and [Elqorachi, Akkouchi, Bakali and Bouikhalene, Georgian Math. J. 11: 449–466, 2004]. Then we point out some of the relations of the general equation to the matrix Badora functional equation and obtain explicit solution formulas of the equation in question for some particular cases. The results presented in this paper may be viewed as a continuation and a generalization of Stetkær's, Badora's, and the authors' works.

scholarly journals CONTINUITY OF MEASURABLE HOMOMORPHISMS

2008 ◽  
Vol 78 (1) ◽  
pp. 171-176 ◽  
Author(s):  
JANUSZ BRZDȨK
Keyword(s):  
Topological Group ◽  
Abelian Group ◽  
Baire Property ◽  
Topological Groups ◽  
Locally Compact ◽  
Compact Topological Group ◽  
Locally Compact Topological Group

AbstractWe give some general results concerning continuity of measurable homomorphisms of topological groups. As a consequence we show that a Christensen measurable homomorphism of a Polish abelian group into a locally compact topological group is continuous. We also obtain similar results for the universally measurable homomorphisms and the homomorphisms that have the Baire property.

scholarly journals A BOUND FOR THE INDEX OF A QUADRATIC FORM AFTER SCALAR EXTENSION TO THE FUNCTION FIELD OF A QUADRIC

2018 ◽  
Vol 19 (2) ◽  
pp. 421-450 ◽  
Author(s):  
Stephen Scully
Keyword(s):  
Quadratic Form ◽  
Upper Bound ◽  
Function Field ◽  
The Other ◽  
Direct Generalization ◽  
Other Hand ◽  
General Field ◽  
The One ◽  
Anisotropic Quadratic Form

Let $q$ be an anisotropic quadratic form defined over a general field $F$. In this article, we formulate a new upper bound for the isotropy index of $q$ after scalar extension to the function field of an arbitrary quadric. On the one hand, this bound offers a refinement of an important bound established in earlier work of Karpenko–Merkurjev and Totaro; on the other hand, it is a direct generalization of Karpenko’s theorem on the possible values of the first higher isotropy index. We prove its validity in two key cases: (i) the case where $\text{char}(F)\neq 2$, and (ii) the case where $\text{char}(F)=2$ and $q$ is quasilinear (i.e., diagonalizable). The two cases are treated separately using completely different approaches, the first being algebraic–geometric, and the second being purely algebraic.

ON THE DENSITY OF HAUSDORFF DIMENSIONS OF BOUNDED TYPE CONTINUED FRACTION SETS: THE TEXAN CONJECTURE

2004 ◽  
Vol 04 (01) ◽  
pp. 63-76 ◽  
Author(s):  
OLIVER JENKINSON
Keyword(s):  
Hausdorff Dimension ◽  
Finite Subset ◽  
Continued Fraction ◽  
Cantor Set ◽  
Computational Method ◽  
Accurate Approximation ◽  
Natural Numbers ◽  
Important Special Case ◽  
The One ◽  
Special Case

Given a non-empty finite subset A of the natural numbers, let EA denote the set of irrationals x∈[0,1] whose continued fraction digits lie in A. In general, EA is a Cantor set whose Hausdorff dimension dim (EA) is between 0 and 1. It is shown that the set [Formula: see text] intersects [0,1/2] densely. We then describe a method for accurately computing dimensions dim (EA), and employ it to investigate numerically the way in which [Formula: see text] intersects [1/2,1]. These computations tend to support the conjecture, first formulated independently by Hensley, and by Mauldin & Urbański, that [Formula: see text] is dense in [0,1]. In the important special case A={1,2}, we use our computational method to give an accurate approximation of dim (E{1,2}), improving on the one given in [18].

Mathematical Knowledge and the Origin of Phenomenology

2021 ◽  
Vol 21 ◽  
pp. 273-294
Author(s):  
Gabriele Baratelli ◽  
Keyword(s):  
Mathematical Knowledge ◽  
Cardinal Number ◽  
The Other ◽  
Mathematical Science ◽  
Natural Numbers ◽  
Symbolic Thinking ◽  
The One

The paper is divided into two parts. In the first one, I set forth a hypothesis to explain the failure of Husserl’s project presented in the Philosophie der Arithmetik based on the principle that the entire mathematical science is grounded in the concept of cardinal number. It is argued that Husserl’s analysis of the nature of the symbols used in the decadal system forces the rejection of this principle. In the second part, I take into account Husserl’s explanation of why, albeit independent of natural numbers, the system is nonetheless correct. It is shown that its justification involves, on the one hand, a new conception of symbols and symbolic thinking, and on the other, the recognition of the question of “the formal” and formalization as pivotal to understand “the mathematical” overall.

Non-Lebesgue measurability of finite unions of Vitali selectors related to different groups

2021 ◽  
Vol 127 (3) ◽  
Author(s):  
Venuste Nyagahakwa ◽  
Gratien Haguma
Keyword(s):  
Topological Group ◽  
Finite Union ◽  
Affine Transformations ◽  
Real Numbers ◽  
Group Isomorphism ◽  
Lebesgue Measurability ◽  
Dense Subgroups

In this paper, we prove that each topological group isomorphism of the additive topological group $(\mathbb{R},+)$ of real numbers onto itself preserves the non-Lebesgue measurability of Vitali selectors of $\mathbb{R}$. Inspired by Kharazishvili's results, we further prove that each finite union of Vitali selectors related to different countable dense subgroups of $(\mathbb{R}, +)$, is not measurable in the Lebesgue sense. From here, we produce a semigroup of sets, for which elements are not measurable in the Lebesgue sense. We finally show that the produced semigroup is invariant under the action of the group of all affine transformations of $\mathbb{R}$ onto itself.

ON CONDENSATION IN NON-IDEAL BOSE GAS

1989 ◽  
Vol 03 (06) ◽  
pp. 471-478
Author(s):  
D.P. SANKOVICH
Keyword(s):  
Critical Temperature ◽  
Low Temperature ◽  
Upper Bound ◽  
Bose Gas ◽  
The One ◽  
Ideal Bose Gas

A model of the non-ideal Bose gas is considered. We prove the existence of condensate in the model at sufficiently low temperature. The method of majorizing estimates for the Duhamel Two Point Functions is used. The equation for the critical temperature and the upper bound for the one-particle excitations energy are obtained.

scholarly journals Embedding inverse semigroups of homeomorphisms on closed subsets

1977 ◽  
Vol 18 (2) ◽  
pp. 199-207 ◽  
Author(s):  
Bridget Bos Baird
Keyword(s):  
Topological Space ◽  
Inverse Semigroup ◽  
Inverse Semigroups ◽  
Topological Spaces ◽  
Locally Compact ◽  
Compact Metric Space ◽  
Countable Space ◽  
The One ◽  
One Point Compactification ◽  
First Countable Space

All topological spaces here are assumed to be T2. The collection F(Y)of all homeomorphisms whose domains and ranges are closed subsets of a topological space Y is an inverse semigroup under the operation of composition. We are interested in the general problem of getting some information about the subsemigroups of F(Y) whenever Y is a compact metric space. Here, we specifically look at the problem of determining those spaces X with the property that F(X) is isomorphic to a subsemigroup of F(Y). The main result states that if X is any first countable space with an uncountable number of points, then the semigroup F(X) can be embedded into the semigroup F(Y) if and only if either X is compact and Y contains a copy of X, or X is noncompact and locally compact and Y contains a copy of the one-point compactification of X.

Sign in / Sign up

Export Citation Format

Share Document