For a locally compact group G, we show that it is possible to present the class of continuous unitary representations of G as an elementary class of metric structures, in the sense of continuous logic. More precisely, we show how nondegenerate ∗-representations of a general ∗-algebra A (with some mild assumptions) can be viewed as an elementary class, in a many-sorted language, and use the correspondence between continuous unitary representations of G and nondegenerate ∗-representations of L1(G). We relate (...) the notion of ultraproduct of logical structures, under this presentation, with other notions of ultraproduct of representations appearing in the literature, and we characterize property (T) for G in terms of the definability of the sets of fixed points of L1 functions on G. (shrink)

Given a Polish groupG, let$E(G)$be the right coset equivalence relation$G^{\omega }/c(G)$, where$c(G)$is the group of all convergent sequences inG. The connected component of the identity of a Polish groupGis denoted by$G_0$.Let$G,H$be locally compact abelian Polish groups. If$E(G)\leq _B E(H)$, then there is a continuous homomorphism$S:G_0\rightarrow H_0$such that$\ker (S)$is non-archimedean. The converse is also true whenGis connected and compact.For$n\in {\mathbb {N}}^+$, the partially ordered set$P(\omega )/\mbox {Fin}$can be embedded into Borel equivalence relations between$E({\mathbb {R}}^n)$and$E({\mathbb {T}}^n)$.

We show that each non-compact Polish group admits a continuous action on a Polish space with non-smooth orbit equivalence relation. We actually construct a free such action. Thus for a Polish group compactness is equivalent to all continuous free actions of this group being smooth. This answers a question of Kechris. We also establish results relating local compactness of the group with its inability to induce orbit equivalence relations not reducible to countable Borel equivalence relations. Generalizing a result of (...) Hjorth, we prove that each non-locally compact, that is, infinite dimensional, separable Banach space has a continuous action on a Polish space with non-Borel orbit equivalence relation, thus showing that this property characterizes non-local compactness among Banach spaces. (shrink)

La sapienza di partire da sè è una via che si sottrae alle molte contrapposizioni che sono iscritte nel simbolico dominante: quella tra soggettivo e oggettivo, tra individuo e comunità e tra locale e generale: apre un'altra strada.

We prove a structure theorem for compact inverse categories. The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Clifford is that commutative inverse monoids become semilattices of abelian groups. It has also been categorified by Hoehnke and DeWolf-Pronk to a structure theorem for inverse categories as locally complete inductive groupoids. We show that in the case of compact inverse categories, this takes the particularly nice form (...) of a semilattice of compact groupoids. Moreover, one-object compact inverse categories are exactly commutative inverse monoids. Compact groupoids, in turn, are determined in particularly simple terms of 3-cocycles by Baez-Lauda. (shrink)

We consider actions of completely metrisable groups on simplicial trees in the context of the Bass—Serre theory. Our main result characterises continuity of the amplitude function corresponding to a given action. Under fairly mild conditions on a completely metrisable group G, namely, that the set of elements generating a non-discrete or finite subgroup is somewhere dense, we show that in any decomposition as a free product with amalgamation, G = A * C B, the amalgamated groups A, B (...) and C are open in G. (shrink)

Rosłanowski and Shelah [Small-large subgroups of the reals, Math. Slov. 68(3) (2018) 473–484] asked whether every locally compact non-discrete group has a null but non-meager subgroup, and conversely, whether it is consistent with [Formula: see text] that in every locally compact group a meager subgroup is always null. They gave affirmative answers for both questions in the case of the Cantor group and the reals. In this paper, we give affirmative answers for the general case.

In an earlier paper, we introduced the following pre-order on the subgroups of a given Polish group: if G is a Polish group and \ are subgroups, we say H is homomorphism reducible to L iff there is a continuous group homomorphism \ such that \\). We previously showed that there is a \ subgroup L of the countable power of any locally compact Polish group G such that every \ subgroup of \ is homomorphism reducible to L. (...) In the present work, we show that this fails in the countable power of the group of increasing homeomorphisms of the unit interval. (shrink)

For a Polish group let be the minimal number of translates of a fixed closed nowhere dense subset of required to cover . For many locally compact this cardinal is known to be consistently larger than which is the smallest cardinality of a covering of the real line by meagre sets. It is shown that for several non-locally compact groups . For example the equality holds for the group of permutations of the integers, the additive (...) group of a separable Banach space with an unconditional basis and the group of homeomorphisms of various compact spaces. (shrink)

We use κ-free but not Whitehead Abelian groups to constructElementary Classes (AEC) which satisfy the amalgamation property but fail various conditions on the locality of Galois-types. We introduce the notion that an AEC admits intersections. We conclude that for AEC which admit intersections, the amalgamation property can have no positive effect on locality: there is a transformation of AEC's which preserves non-locality but takes any AEC which admits intersections to one with amalgamation. More specifically we have: Theorem 5.3. There (...) is an AEC with amalgamation which is not (N₀, N₁)-tame but is 2(N0, ∞)-tame; Theorem 3.3. It is consistent with ZFC that there is an AEC with amalgamation which is not (≤ N₂, ≤ N₂)-compact. (shrink)

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o‐minimal structure. This fact together with the results in a previous paper implies a tame dimension theory and a decomposition theorem into good‐shaped definable subsets called quasi‐special submanifolds. Using this fact, we investigate definably complete locally o‐minimal expansions of ordered groups when the restriction of multiplication to an arbitrary bounded open box is definable. Similarly to o‐minimal (...) expansions of ordered fields, Łojasiewicz's inequality, Tietze's extension theorem and affiness of pseudo‐definable spaces hold true for such structures under the extra assumption that the domains of definition and the pseudo‐definable spaces are definably compact. Here, a pseudo‐definable space is a topological space having finite definable atlases. We also demonstrate Michael's selection theorem for definable set‐valued functions with definably compact domains of definition. (shrink)

By the Galvin–Mycielski–Solovay theorem, a subset X of the line has Borel’s strong measure zero if and only if $M+X\neq \mathbb {R}$ for each meager set M.A set $X\subseteq \mathbb {R}$ is meager-additive if $M+X$ is meager for each meager set M. Recently a theorem on meager-additive sets that perfectly parallels the Galvin–Mycielski–Solovay theorem was proven: A set $X\subseteq \mathbb {R}$ is meager-additive if and only if it has sharp measure zero, a notion akin to strong measure zero.We investigate the (...) validity of this result in Polish groups. We prove, e.g., that a set in a locally compact Polish group admitting an invariant metric is meager-additive if and only if it has sharp measure zero. We derive some consequences and calculate some cardinal invariants. (shrink)

Rosłanowski and Shelah [Small-large subgroups of the reals, Math. Slov. 68 473–484] asked whether every locally compact non-discrete group has a null but non-meager subgroup, and converse...

Given a class${\cal C}$of subgroups of a topological groupG, we say that a subgroup$H \in {\cal C}$is auniversal${\cal C}$subgroupofGif every subgroup$K \in {\cal C}$is a continuous homomorphic preimage ofH. Such subgroups may be regarded as complete members of${\cal C}$with respect to a natural preorder on the set of subgroups ofG. We show that for any locally compact Polish groupG, the countable powerGωhas a universalKσsubgroup and a universal compactly generated subgroup. We prove a weaker version of this in the (...) nonlocally compact case and provide an example showing that this result cannot readily be improved. Additionally, we show that many standard Banach spaces have universalKσand compactly generated subgroups. As an aside, we explore the relationship between the classes ofKσand compactly generated subgroups and give conditions under which the two coincide. (shrink)

We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially $\mathbf {\Sigma }^0_2$, then it is essentially countable. We also provide an equivalent model-theoretic condition that is easy to check in practice. This theorem is a common generalization of a result of Hjorth about pseudo-connected metric spaces and a result of Hjorth–Kechris about discrete (...) structures. As a different application, we also give a new proof of Kechris’s theorem that orbit equivalence relations of actions of Polish locally compact groups are essentially countable. (shrink)

The locale corresponding to the real interval [ − 1, 1] is an interval object, in the sense of Escardó and Simpson, in the category of locales. The map, mapping a stream s of signs ±1 to, is a proper localic surjection; it is also expressed as a coequalizer. The proofs are valid in any elementary topos with natural numbers object.

Although classically every open subspace of a locally compact space is also locally compact, constructively this is not generally true. This paper provides a locally compact remetrization for an open set in a compact metric space and constructs a one-point compactification. MSC: 54D45, 03F60, 03F65.

Relativistic geometrical action for a quantum particle in the superspace is analyzed from theoretical group point of view. To this end an alternative technique of quantization outlined by the authors in a previous work and that is based in the correct interpretation of the square root Hamiltonian, is used. The obtained spectrum of physical states and the Fock construction consist of Squeezed States which correspond to the representations with the lowest weights $\lambda=\frac{1}{4}$ and $\lambda=\frac{3}{4}$ with four possible (non-trivial) fractional representations (...) for the group decomposition of the spin structure. From the theory of semigroups the analytical representation of the radical operator in the superspace is constructed, the conserved currents are computed and a new relativistic wave equation is proposed and explicitly solved for the time-dependent case. The relation with the Relativistic Schrödinger equation and the Time-dependent Harmonic Oscillator is analyzed and discussed. (shrink)

We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism), which implies, in particular, that isometry of locally compact Polish metric spaces is Borel reducible to graph isomorphism. We show that potentially $\boldsymbol {\Pi }^{0}_{\alpha + 1}$ isomorphism relations are Borel reducible to equality on hereditarily countable sets of rank $\alpha $, $\alpha \geq (...) 2$. We also study approximations of the Hjorth-isomorphism game, and formulate a condition ruling out classifiability by countable structures. (shrink)

Relativistic geometrical action for a quantum particle in the superspace is analyzed from theoretical group point of view. To this end an alternative technique of quantization outlined by the authors in a previous work and, that is, based in the correct interpretation of the square root Hamiltonian, is used. The obtained spectrum of physical states and the Fock construction consist of Squeezed States which correspond to the representations with the lowest weights \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${\lambda=\frac{1}{4}}$$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\frac{3}{4}}$$\end{document} with four possible fractional representations for the group decomposition of the spin structure. From the theory of semi-groups the analytical representation of the radical operator in the superspace is constructed, the conserved currents are computed and a new relativistic wave equation is proposed and explicitly solved for the time dependent case. The relation with the Relativistic Schrödinger equation and the Time-dependent Harmonic Oscillator is analyzed and discussed. (shrink)

This paper provides a Bishop-style constructive analysis of the contrapositive of the statement that a continuous homomorphism of R onto a compact abelian group is periodic. It is shown that, subject to a weak locatedness hypothesis, if G is a complete (metric) abelian group that is the range of a continuous isomorphism from R, then G is noncompact. A special case occurs when G satisfies a certain local path-connectedness condition at 0. A number of results about one-one and injective (...) mappings are proved en route to the main theorem. A Brouwerian example shows that some of our results are the best possible in a constructive framework. (shrink)

It is shown within Bishop's constructive mathematics that, under one extra, classically automatic, hypothesis, a continuous homomorphism from R onto a compact metric abelian group is periodic, but that the existence of the minimum value of the period is not derivable.

An argument of A. Borel [Bor—61, Proposition 3.1] shows that every compact connected Lie group is homeomorphic to the Cartesian product of its derived subgroup and a torus. We prove a parallel result for definably compact definably connected groups definable in an o-minimal expansion of a real closed field. As opposed to the Lie case, however, we provide an example showing that the derived subgroup may not have a definable semidirect complement.

The physical meaning of the particularly simple non-degenerate supermetric, introduced in the previous part by the authors, is elucidated and the possible connection with processes of topological origin in high energy physics is analyzed and discussed. New possible mechanism of the localization of the fields in a particular sector of the supermanifold is proposed and the similarity and differences with a 5-dimensional warped model are shown. The relation with gauge theories of supergravity based in the OSP(1/4) group is explicitly given (...) and the possible original action is presented. We also show that in this non-degenerate super-model the physic states, in contrast with the basic states, are observables and can be interpreted as tomographic projections or generalized representations of operators belonging to the metaplectic group Mp(2). The advantage of geometrical formulations based on non-degenerate super-manifolds over degenerate ones is pointed out and the description and the analysis of some interesting aspects of the simplest Riemannian superspaces are presented from the point of view of the possible vacuum solutions. (shrink)

The notion of an instrument in the quantum theory of measurement is studied in the context of transformation valued linear maps on von Neumann algebras and their *-subalgebras. An extension theorem is proved which yields among other things characterizations of the Fourier transforms of instruments and their noncommutative analogues. As an application, an ergodic type theorem for a general class of transformation valued functions on a locally compact group is obtained.

We study the structure of analytic ideals of subsets of the natural numbers. For example, we prove that for an analytic ideal I, either the ideal {X (Ω × Ω: En X ({0, 1,…,n} × Ω } is Rudin-Keisler below I, or I is very simply induced by a lower semicontinuous submeasure. Also, we show that the class of ideals induced in this manner by lsc submeasures coincides with Polishable ideals as well as analytic P-ideals. We study this class of (...) ideals and characterize, for example, when the ideals in it are Fσ or when they carry a locally compact group topology. We apply these results to Borel partial orders to rederive a theorem of Todorcevic and to Borel equivalence relations to answer a question of Kechris and Louveau. As another application we give a characterization of σ-ideals of μ-zero sets for Maharam submeasures μ on the Cantor set which is to a large extent analogous to a characterization of the meager ideal due to Kechris and the author. (shrink)

We prove that the modal logic of a crowded locally compact generalized ordered space is $\textsf {S4}$. This provides a version of the McKinsey–Tarski theorem for generalized ordered spaces. We then utilize this theorem to axiomatize the modal logic of an arbitrary locally compact generalized ordered space.

We present a new and constructive proof of the Peter-Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C*-algebras to give a proof which may be seen as a direct generalization of Burnside's algorithm [3]. This algorithm computes the characters of a finite group. We use this proof as a basis for a constructive proof in the style of Bishop. In fact, the present theory of compact groups may be (...) seen as a natural continuation in the line of Bishop's work on locally compact, but Abelian, groups [2]. (shrink)

Let G be a definably compact group in an o-minimal expansion of a real closed field. We prove that if dim(G\X) < dim G for some definable ${X \subseteq G}$ then X contains a torsion point of G. Along the way we develop a general theory for the so-called G-linear sets, and investigate definable sets which contain abstract subgroups of G.

The study of continuous group actions is ubiquitous in mathematics, and perhaps the most general kinds of actions for which we can hope to prove theorems in just ZFC are those where a Polish group acts on a Polish space.For this general class we can find works such as [29] that build on ideas from ergodic theory and examine actions of locally compact groups in both the measure theoretic and topological contexts. On the other hand a text (...) in model theory, such as [12], will typically consider issues bearing on the actions by the symmetric group of all permutations of the integers. More generally [1] shows that the orbit equivalence relations induced by closed subgroups of the infinite symmetric group can be reduced to the isomorphism relation on corresponding classes of countable models.This paper considers a third category formed by the continuous actions of separable Banach spaces on Polish spaces. These examples cannot be subsumed under the two earlier headings, and it is known from [10] that theBorel cardinalitiesof the quotient spaces that arise from such actions are incomparable with the equivalence relations induced by the symmetric group or any locally compact Polish group action.One of the first things to be addressed concerns the complexity of these equivalence relations. This question forappears in [1]. (shrink)

It is proved that any countable index, universally measurable subgroup of a Polish group is open. By consequence, any universally measurable homomorphism from a Polish group into the infinite symmetric group S ∞ is continuous. It is also shown that a universally measurable homomorphism from a Polish group into a second countable, locally compact group is necessarily continuous.

We prove the Compact Domination Conjecture for groups definable in linear o-minimal structures. Namely, we show that every definably compact group G definable in a saturated linear o-minimal expansion of an ordered group is compactly dominated by (G/G 00, m, π), where m is the Haar measure on G/G 00 and π : G → G/G 00 is the canonical group homomorphism.

The existence of either a maximum or a minimum for a uniformly continuous mapping f of a compact interval into ${\mathbb{R}}$ is established constructively under the hypotheses that f′ is sequentially continuous and f has at most one critical point.

Deep-rooted political turbulence, along with the present hybrid regime, have resulted in an undesirable social, economic and political milieu in Serbia. Such an atmosphere is a fertile ground for a grey economy, corruption, nepotism and restrictions to media freedoms. These?unconventional? means of social functioning, have caused a decline in trust towards state institutions and proportionally, increase of citizen participation in non-institutional models of engagement. The aim of this paper is to analyse one such model of non-institutional engagement: the local activist (...) group Za nas Kej, operating in the area Savski blokovi in New Belgrade. The authors analysed local residents? perception of the activist group Za nas Kej in comparison to the group?s narratives and actions. By using a grounded theory approach authors explained the role of groups such as Za Nas Kej in the development of participatory and deliberative democracy within the local community. Our data indicates that Za nas kej, despite its local character, does not have a strong foothold in the community, and thus receives only passive support. Citizens perceive Za nas kej as mediator between local institutions and residents of the Sava apartment blocks. Despite the failure to mobilise a wider group of citizens for their cause, this activist group continues to be a relevant actor within the local community. (shrink)

Lascar described E KP as a composition of E L and the topological closure of E L (Casanovas et al. in J Math Log 1(2):305–319). We generalize this result to some other pairs of equivalence relations. Motivated by an attempt to construct a new example of a non-G-compact theory, we consider the following example. Assume G is a group definable in a structure M. We define a structure M′ consisting of M and X as two sorts, where X is (...) an affine copy of G and in M′ we have the structure of M and the action of G on X. We prove that the Lascar group of M′ is a semi-direct product of the Lascar group of M and G/G L . We discuss the relationship between G-compactness of M and M′. This example may yield new examples of non-G-compact theories. (shrink)

If a locale is presented by a “flat site”, it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is derived for compactness of the locale . Although its derivation uses impredicative constructions, it is also shown predicatively using the inductive generation of formal topologies. A predicative proof of the binary Tychonoff theorem is given, including a characterization of the finite covers of the product by basic opens. The discussion (...) is then related to the double powerlocale. (shrink)

We say that a Hausdorff locale is compactly generated if it is the colimit of the diagram of its compact sublocales connected by inclusions. We show that this is the case if and only if the natural map of its frame of opens into the second Lawson dual is an isomorphism. More generally, for any Hausdorff locale, the second dual of the frame of opens gives the frame of opens of the colimit. In order to arrive at this conclusion, (...) we generalize the Hofmann–Mislove–Johnstone theorem and some results regarding the patch construction for stably locally compact locales. (shrink)

Let M be an o-minimal expansion of a real closed field. Let G be a definably compact definably connected abelian n-dimensional group definable in M. We show the following: the o-minimal fundamental group of G is isomorphic to ℤn; for each k>0, the k-torsion subgroup of G is isomorphic to n, and the o-minimal cohomology algebra over ℚ of G is isomorphic to the exterior algebra over ℚ with n generators of degree one.