-
arXiv:2307.00403 [pdf, ps, other]
Amenability of finite energy path and loop groups
Abstract: It is shown that the groups of finite energy (that is, Sobolev class $H^1$) paths and loops with values in a compact Lie group are amenable in the sense of Pierre de la Harpe, that is, every continuous action of such a group on a compact space admits an invariant regular Borel probability measure. To our knowledge, the strongest previously known result concerned the amenability of groups of contin… ▽ More
Submitted 3 September, 2024; v1 submitted 1 July, 2023; originally announced July 2023.
Comments: LaTeX, 19 pp., the final version sent to the journal upon acceptance. A remark added at the end of Preliminaries with two new citations, a missing sign added in the proof of Lemma 3.6, minor grammatical inaccuracies fixed
MSC Class: 22E67; 43A07
-
arXiv:2301.07828 [pdf, ps, other]
On invariant means and pre-syndetic subgroups
Abstract: Beyond the locally compact case, equivalent notions of amenability diverge, and some properties no longer hold, for instance amenability is not inherited by topological subgroups. This investigation is guided by some amenability-type properties of groups of paths and loops. It is shown that a version of amenability called skew-amenability is inherited by pre-syndetic subgroups in the sense of Bass… ▽ More
Submitted 12 May, 2023; v1 submitted 18 January, 2023; originally announced January 2023.
Comments: 16 pages, latex with Elsevier style files, minor revisions as required by the referee of the special volume of Top.Appl
MSC Class: 22A10; 43A07; 54H15
Journal ref: Topology Appl. 364 (2025) 109093
-
arXiv:2102.07276 [pdf, ps, other]
On epimorphisms in some categories of infinite-dimensional Lie groups
Abstract: Let $X$ be a smooth compact connected manifold. Let $G=\mbox{Diff}\, X$ be the group of diffeomorphisms of $X$, equipped with the $C^\infty$-topology, and let $H$ be the stabilizer of some point in $X$. Then the inclusion $H\to G$, which is a morphism of two regular Fréchet--Lie groups, is an epimorphism in the category of smooth Lie groups modelled on complete locally convex spaces. At the same t… ▽ More
Submitted 3 March, 2021; v1 submitted 14 February, 2021; originally announced February 2021.
Comments: 14 pages, latex 2e with JoLT macros. Theorem 6.3 added due to the anonymous referee and answering 3 open questions from the previous version
MSC Class: 18A20; 22E65; 58D05
Journal ref: Journal of Lie Theory 31 (2021), 871-884
-
arXiv:2005.01886 [pdf, ps, other]
A learning problem whose consistency is equivalent to the non-existence of real-valued measurable cardinals
Abstract: We show that the $k$-nearest neighbour learning rule is universally consistent in a metric space $X$ if and only if it is universally consistent in every separable subspace of $X$ and the density of $X$ is less than every real-measurable cardinal. In particular, the $k$-NN classifier is universally consistent in every metric space whose separable subspaces are sigma-finite dimensional in the sense… ▽ More
Submitted 4 May, 2020; originally announced May 2020.
Comments: 16 pp., journal macros
MSC Class: 62H30; 54F45; 03E55 ACM Class: I.2.6
Journal ref: Addendum was revised and published as a separate paper: On a result of K P. Hart about non-existence of measurable solutions to the discrete expectation maximization problem, Comment. Math. Univ. Carolin. 64 (2023), 353--358
-
Universal consistency of the $k$-NN rule in metric spaces and Nagata dimension
Abstract: The $k$ nearest neighbour learning rule (under the uniform distance tie breaking) is universally consistent in every metric space $X$ that is sigma-finite dimensional in the sense of Nagata. This was pointed out by Cérou and Guyader (2006) as a consequence of the main result by those authors, combined with a theorem in real analysis sketched by D. Preiss (1971) (and elaborated in detail by Assouad… ▽ More
Submitted 14 June, 2020; v1 submitted 28 February, 2020; originally announced March 2020.
Comments: 21 pp., 2 figures, latex with ESAIM: Probability and Statistics macros, a version with the two anonymous referees comments taken into account
MSC Class: 62H30; 54F45
Journal ref: ESAIM: Probability and Statistics 24 (2020), 914--934
-
arXiv:1701.00281 [pdf, ps, other]
On amenability and groups of measurable maps
Abstract: We show that if $G$ is an amenable topological group, then the topological group $L^{0}(G)$ of strongly measurable maps from $([0,1],λ)$ into $G$ endowed with the topology of convergence in measure is whirly amenable, hence extremely amenable. Conversely, we prove that a topological group $G$ is amenable if $L^{0}(G)$ is.
Submitted 29 August, 2017; v1 submitted 1 January, 2017; originally announced January 2017.
Comments: 12 pages; v2: minor corrections and rearrangements
MSC Class: 22A05; 43A07
Journal ref: Journal of Functional Analysis 273 (2017) 3859-3874
-
arXiv:1601.03084 [pdf, ps, other]
A topological transformation group without non-trivial equivariant compactifications
Abstract: There is a countable metrizable group acting continuously on the space of rationals in such a way that the only equivariant compactification of the space is a singleton. This is obtained by a recursive application of a construction due to Megrelishvili, which is a metric fan equipped with a certain group of homeomorphisms. The question of existence of a topological transformation group with the pr… ▽ More
Submitted 12 February, 2017; v1 submitted 12 January, 2016; originally announced January 2016.
Comments: 17 pages, latex 2e. Minor revisions as requested by the Adv. Math. reviewer
MSC Class: 37B05; 54H15
Journal ref: Adv. Math. 311 (2017), 1-17
-
arXiv:1512.01572 [pdf, ps, other]
Amenability versus property (T) for non locally compact topological groups
Abstract: For locally compact groups amenability and Kazhdan's property (T) are mutually exclusive in the sense that a group having both properties is compact. This is no longer true for more general Polish groups. However, a weaker result still holds for SIN groups (topological groups admitting a basis of conjugation-invariant neighbourhoods of identity): if such a group admits sufficiently many unitary re… ▽ More
Submitted 4 April, 2017; v1 submitted 4 December, 2015; originally announced December 2015.
Comments: 23 pages, latex 2e. Comments by the referee of Trans. Am. Math. Soc. taken into account
MSC Class: 22A25; 43A65; 57S99
Journal ref: Trans. Amer. Math. Soc. 370 (2018), no. 10, 7417-7436
-
arXiv:1511.07062 [pdf, ps, other]
On topological groups admitting a base at identity indexed with $ω^ω$
Abstract: A topological group $G$ is said to have a local $ω^ω$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set $ω^ω$. In particular, every metrizable group is such, but the class of groups with a local $ω^ω$-base is significantly wider. The aim of this article is to better understand the boundaries of this class, by presenting new examples and counter-exampl… ▽ More
Submitted 8 September, 2016; v1 submitted 22 November, 2015; originally announced November 2015.
Comments: 20 pages, latex 2e, accepted for publication in Fundam. Math
MSC Class: 22A05
Journal ref: Fund. Math. 238 (2017), no. 1, 79-100
-
arXiv:1410.8370 [pdf, ps, other]
On topological groups with an approximate fixed point property
Abstract: A topological group $G$ has the Approximate Fixed Point (AFP) property on a bounded convex subset $C$ of a locally convex space if every continuous affine action of $G$ on $C$ admits a net $(x_i)$, $x_i\in C$, such that $x_{i}-gx_{i}\longrightarrow 0$ for all $g\in G$. We study the relationship of this property with amenability.
Submitted 31 August, 2015; v1 submitted 30 October, 2014; originally announced October 2014.
Comments: 16 pages, latex 2e, the final submission to Anais da Academia Brasileira de Ciências with referee's remarks taken into account
MSC Class: 43A07; 43A65; 43A85; 22D30; 47H10; 54H25
Journal ref: An. Acad. Brasil. Ciênc. 89 (2017), no. 1, 19-30
-
arXiv:1409.4108 [pdf, ps, other]
Projectively universal countable metrizable groups
Abstract: We prove that there exists a countable metrizable topological group $G$ such that every countable metrizable group is isomorphic to a quotient of $G$. The completion $H$ of $G$ is a Polish group such that every Polish group is isomorphic to a quotient of $H$.
Submitted 27 October, 2015; v1 submitted 14 September, 2014; originally announced September 2014.
Comments: 7 pages, latex 2e. The proof at the end of Section 3 has been expanded, minor inaccuracies fixed
MSC Class: 22A05
Journal ref: Proc. Amer. Math. Soc. 144 (2016), no. 10, 4527-4532
-
arXiv:1310.5155 [pdf, ps, other]
Isometries of a Generalized Numerical Radius on Compact Operators
Abstract: We describe all isometries of the $q$-numerical radius on the space ${\mathcal K}(\mathcal H)$ of compact operators on a (possibly infinite-dimensional) Hilbert space $\mathcal H$.
Submitted 18 October, 2013; originally announced October 2013.
Comments: 19 pages, latex with Elsevier macros
MSC Class: 47A12; 15A6; 15A04; 47A30; 46B20; 46B28
Journal ref: Linear Algebra Appl. 450 (2014), 301-315
-
arXiv:1012.1056 [pdf, ps, other]
Subgroups of isometries of Urysohn-Katetov metric spaces of uncountable density
Abstract: According to Kat\vetov (1988), for every infinite cardinal $\mathfrak m$ satisfying ${\mathfrak m}^{\mathfrak n}\leq {\mathfrak m}$ for all ${\mathfrak n}<{\mathfrak m}$, there exists a unique $\mathfrak m$-homogeneous universal metric space $\Ur_{\mathfrak m}$ of weight $\mathfrak m$. This object generalizes the classical Urysohn universal metric space $\Ur = \Ur_{\aleph_0}$. We show that for… ▽ More
Submitted 20 May, 2011; v1 submitted 5 December, 2010; originally announced December 2010.
Comments: 14 pages, LaTeX 2e with Elsevier macros, the final submission to Top. Appl. with referee's remarks taken into account
MSC Class: 22A05; 54E50; 54E70
Journal ref: Topology and its Appl. 159 (2012), 2490-2496
-
arXiv:1006.5058 [pdf, ps, other]
Sur les espaces test pour la moyennabilité
Abstract: We observe that a Polish group $G$ is amenable if and only if every continuous action of $G$ on the Hilbert cube admits an invariant probability measure. This generalizes a result of Bogatyi and Fedorchuk. We also show that actions on the Cantor space can be used to detect amenability and extreme amenability of Polish non-archimedean groups as well as amenability at infinity of discrete countable… ▽ More
Submitted 25 May, 2011; v1 submitted 25 June, 2010; originally announced June 2010.
Comments: 12 pages, French language, Latex 2e. The final submission to C.R. Math. Rep. Acad. Sci. Canada. taking into account referee's remarks
MSC Class: 43A07; 43A65; 43A85; 22D30
Journal ref: C. R. Math. Acad. Sci. Soc. R. Canada, Vol.33 (2011), No. 3, pp. 65-77
-
arXiv:0911.4266 [pdf, ps, other]
An introduction to hyperlinear and sofic groups
Abstract: This is an edited write-up of lecture notes of the 7-th Appalachian set theory workshop of the same title led by the first named author at the Cornell University on November 22, 2008. A draft version of the notes was prepared by the second named author. This presentation is largely complementary to the earlier survey by the first-named author (Hyperlinear and sofic groups: a brief guide, Bull. Sym… ▽ More
Submitted 24 April, 2012; v1 submitted 22 November, 2009; originally announced November 2009.
Comments: 30 pages, 1 figure, latex 2e; a final revision for the volume "Appalachian Set Theory 2006-2009" (James Cummings and Ernest Schimmerling, eds.), to appear in the London Mathematical Society Lecture Notes Series, Cambridge University Press (2012). Compared to the previous version, a few references were added, and a misstated result by Osin and Thomas was corrected
MSC Class: 03C20; 20F69; 37B10; 46L10
Journal ref: In: "Appalachian Set Theory 2006-2012" (James Cummings and Ernest Schimmerling, eds.), London Mathematical Society Lecture Notes Series 406, Cambridge University Press (2012), pp. 145-186
-
arXiv:0804.3968 [pdf, ps, other]
Hyperlinear and sofic groups: a brief guide
Abstract: Relatively recently, two new classes of (discrete, countable) groups have been isolated: hyperlinear groups and sofic groups. They come from different corners of mathematics (operator algebras and symbolic dynamics, respectively), and were introduced independently from each other, but are closely related nevertheless. Hyperlinear groups have their origin in Connes' Embedding Conjecture about v… ▽ More
Submitted 4 August, 2008; v1 submitted 24 April, 2008; originally announced April 2008.
Comments: 28 pages, 2 figures, latex 2e. This version incorporates minor corrections made in the Bulletin of Symbolic Logic galley proofs
MSC Class: 03C20; 20F69; 37B10; 46L10
Journal ref: The Bulletin of Symbolic Logic 14 (2008), pp. 449-480.
-
arXiv:0804.1583 [pdf, ps, other]
Fixed point-free isometric actions of topological groups on Banach spaces
Abstract: We show that every non-precompact topological group admits a fixed point-free continuous action by affine isometries on a suitable Banach space. Thus, precompact groups are defined by the fixed point property for affine isometric actions on Banach spaces. For separable topological groups, in the above statements it is enough to consider affine actions on one particular Banach space: the unique B… ▽ More
Submitted 5 November, 2008; v1 submitted 9 April, 2008; originally announced April 2008.
Comments: 20 pages, to appear in the Bulletin of the Belgian Mathematical Society, referee's comments incorporated
MSC Class: 22A25; 43A65; 57S99
-
arXiv:math/0702207 [pdf, ps, other]
A theorem of Hrushovski-Solecki-Vershik applied to uniform and coarse embeddings of the Urysohn metric space
Abstract: A theorem proved by Hrushovski for graphs and extended by Solecki and Vershik (independently from each other) to metric spaces leads to a stronger version of ultrahomogeneity of the infinite random graph $R$, the universal Urysohn metric space $\Ur$, and other related objects. We show how the result can be used to average out uniform and coarse embeddings of $\Ur$ (and its various counterparts)… ▽ More
Submitted 4 November, 2007; v1 submitted 7 February, 2007; originally announced February 2007.
Comments: 23 pages, LaTeX 2e with Elsevier macros, a significant revision taking into account anonymous referee's comments, with the proof of the main result simplified and another long proof moved to the appendix
MSC Class: 22A05; 43A07; 51F99; 54E35
Journal ref: Topology and its Applications 155 (2008), special issue: Workshop on the Urysohn space (Ben-Gurion University of the Negev, Beer Sheva, Israel, 21-24 May 2006), pp. 1561-1575.
-
arXiv:math/0601700 [pdf, ps, other]
Representations of residually finite groups by isometries of the Urysohn space
Abstract: As a consequence of Kirchberg's work, Connes' Embedding Conjecture is equivalent to the property that every homomorphism of the group $F_\infty\times F_\infty$ into the unitary group $U(\ell^2)$ with the strong topology is pointwise approximated by homomorphisms with a precompact range. In this form, the property (which we call Kirchberg's property) makes sense for an arbitrary topological group… ▽ More
Submitted 29 May, 2006; v1 submitted 27 January, 2006; originally announced January 2006.
Comments: 12 pages, LaTeX 2e, minor changes (bibliography updates etc.)
MSC Class: 43A65; 20C99; 22A05; 22F05; 22F50; 54E50
Journal ref: Journal of the Ramanujan Mathematical Society 21 (2006), 189-203
-
arXiv:math/0305241 [pdf, ps, other]
Fraisse Limits, Ramsey Theory, and Topological Dynamics of Automorphism Groups
Abstract: We study in this paper some connections between the Fraisse theory of amalgamation classes and ultrahomogeneous structures, Ramsey theory, and topological dynamics of automorphism groups of countable structures.
Submitted 24 June, 2004; v1 submitted 16 May, 2003; originally announced May 2003.
Comments: 73 pages, LaTeX 2e, to appear in Geom. Funct. Anal
MSC Class: 03C15; 05D10; 37B05
Journal ref: Geom. Funct. Anal. 15 (2005), 106-189.
-
arXiv:math/0011152 [pdf, ps, other]
A note on the precompactness of weakly almost periodic groups
Abstract: An action of a group $G$ on a compact space $X$ is called weakly almost periodic if the orbit of every continuous function on $X$ is weakly relatively compact in $C(X)$. We observe that for a topological group $G$ the following are equivalent: (i) every continuous action of $G$ on a compact space is weakly almost periodic; (ii) $G$ is precompact. For monothetic groups the result was previously o… ▽ More
Submitted 21 November, 2000; originally announced November 2000.
Comments: 7 pages, LaTeX 2e
MSC Class: 43A60; 22A05; 22C05; 22F05; 43A07
Journal ref: In: Nuclear groups and Lie groups, E. Martin Peinador, J. Nunez Garcia (eds.), Heldermann Verlag, 2001 (Research and Exposition in Mathematics, Volume 24), pp. 209-216.
-
arXiv:math/9903085 [pdf, ps, other]
Amenable representations and dynamics of the unit sphere in an infinite-dimensional Hilbert space
Abstract: We establish a close link between the amenability of a unitary representation $π$ of a group $G$ (in the sense of Bekka) and the concentration property (in the sense of V. Milman) of the corresponding dynamical system $(\s_π,G)$, where $\s_\H$ is the unit sphere the Hilbert space of representation. We prove that $π$ is amenable if and only if either $π$ contains a finite-dimensional subrepresent… ▽ More
Submitted 24 August, 1999; v1 submitted 14 March, 1999; originally announced March 1999.
Comments: 24 pages, LaTeX 2e
MSC Class: 22D10; 43A07; 43A65; 46C05; 54H20
Journal ref: Geom. Funct. Anal. 10 (2000), 1171-1201.
-
Douady's conjecture on Banach analytic spaces
Abstract: We show that, as conjectured by Adrien Douady back in 1972, every complete metric space is homeomorphic (moreover, isometric) to the locus of zeros of an analytic map between two Banach spaces. As a corollary, a paracompact topological space admits the structure of a Banach analytic space if and only if it is metrizable with a complete metric.
Submitted 20 June, 1994; originally announced June 1994.
Comments: 5 pages. AmS TeX 2.1 source file
Report number: RP-94-144, Victoria Univ of Wellington, June 1994, 5 pp
-
Regular Lie groups and a theorem of Lie-Palais
Abstract: In 1984 Milnor had shown how to deduce the Lie-Palais theorem on integration of infinitesimal actions of finite-dimensional Lie algebras on compact manifolds from general theory of regular Lie groups modelled on locally convex spaces. We show how, in the case of effective action, one can eliminate from Milnor's argument the abstract Lie-Cartan theorem, making the deduction rather elementary. A m… ▽ More
Submitted 14 March, 1994; originally announced March 1994.
Comments: 5 pages. AmS TeX 2.1 source file
Report number: RP-94-135, Victoria Univ of Wellington, January 1994
-
Operator spaces and residually finite-dimensional $C^\ast$-algebras
Abstract: For every operator space $X$ the $C^\ast$-algebra containing it in a universal way is residually finite-dimensional (that is, has a separating family of finite-dimensional representations). In particular, the free $C^\ast$-algebra on any normed space so is. This is an extension of an earlier result by Goodearl and Menal, and our short proof is based on a criterion due to Exel and Loring.
Submitted 25 February, 1993; originally announced February 1993.
Comments: 7 pages, AmS TeX 2.1
-
The free abelian topological group and the free locally convex space on the unit interval
Abstract: We give a complete description of the topological spaces $X$ such that the free abelian topological group $A(X)$ embeds into the free abelian topological group $A(I)$ of the closed unit interval. In particular, the free abelian topological group $A(X)$ of any finite-dimensional compact metrizable space $X$ embeds into $A(I)$. The situation turns out to be somewhat different for free locally conv… ▽ More
Submitted 11 December, 1992; originally announced December 1992.
Comments: 10 pages, AmS TeX 2.1
Report number: RP-92-103, Dept. Math., Victoria University of Wellington, Dec 1992
-
An analytic structure emerging in presence of infinitely many odd coordinates
Abstract: This is a contribution to the program of featuring even geometry as a ``collective effect in infinite-dimensional odd geometry,'' as suggested by Manin. We show that the (Gel'fand) spectrum of the locally convex nonstandard hull (in the sense of Luxemburg) of a grassmannian algebra with infinitely many odd generators contains a nontrivial analytic part.
Submitted 27 November, 1992; originally announced November 1992.
Comments: 9 pages, AmS TeX 2.1
-
Universal arrows to forgetful functors from categories of topological algebra
Abstract: We survey the present trends in theory of universal arrows to forgetful functors from various categories of topological algebra and functional analysis to categories of topology and topological algebra. Among them are free topological groups, free locally convex spaces, free Banach-Lie algebras, and much more. An accent is put on relationship of those constructions with other areas of mathematic… ▽ More
Submitted 20 August, 1992; originally announced August 1992.
Comments: 35 pages, AmS TeX 2.1
Report number: RP 92-97, Dept.Math., Victoria Univ of Wellington, August 1992
-
Nonstandard hulls of Banach-Lie groups and algebras
Abstract: We propose a new construction of Banach-Lie groups and algebras relying on nonstandard analysis. A major standard application is the Local Theorem which to certain extent reduces the problem of associating a Lie group to a given banach-Lie algebra to a similar problem for finitely generated Lie subalgebras. We discuss possible applications, e.g., to gauge theories.
Submitted 19 May, 1992; originally announced May 1992.
Comments: 12 pages