Showing 1–3 of 3 results for author: Chirvasitu, A

On the singularities of the exponential function of a semidirect product

Authors: Alexandru Chirvasitu, Rafael Dahmen, Karl-Hermann Neeb, Alexander Schmeding

Abstract: We show that the Fréchet--Lie groups of the form $C^{\infty}(M)\rtimes \mathbb{R}$ resulting from smooth flows on compact manifolds $M$ fail to be locally exponential in several cases: when at least one non-periodic orbit is locally closed, or when the flow restricts to a linear one on an orbit closure diffeomorphic to a torus. As an application, we prove that the Bondi--Metzner--Sachs group of sy… ▽ More We show that the Fréchet--Lie groups of the form $C^{\infty}(M)\rtimes \mathbb{R}$ resulting from smooth flows on compact manifolds $M$ fail to be locally exponential in several cases: when at least one non-periodic orbit is locally closed, or when the flow restricts to a linear one on an orbit closure diffeomorphic to a torus. As an application, we prove that the Bondi--Metzner--Sachs group of symmetries of an asymptotically flat spacetime is not locally exponential. △ Less

Submitted 3 May, 2025; v1 submitted 27 August, 2024; originally announced August 2024.

Comments: 26 pages + references; v4: accepted version, to appear in Classical and Quantum Gravity

MSC Class: 22E65 (primary); 22E66; 58B25; 58D05; 37C05 (secondary)

Journal ref: Classical and Quantum Gravity, Vol. 42, No. 11 2025

Bigalois extensions and the graph isomorphism game

Authors: Michael Brannan, Alexandru Chirvasitu, Kari Eifler, Samuel Harris, Vern Paulsen, Xiaoyu Su, Mateusz Wasilewski

Abstract: We study the graph isomorphism game that arises in quantum information theory from the perspective of bigalois extensions of compact quantum groups. We show that every algebraic quantum isomorphism between a pair of (quantum) graphs $X$ and $Y$ arises as a quotient of a certain measured bigalois extension for the quantum automorphism groups $G_X$ and $G_Y$ of the graphs $X$ and $Y$. In particular,… ▽ More We study the graph isomorphism game that arises in quantum information theory from the perspective of bigalois extensions of compact quantum groups. We show that every algebraic quantum isomorphism between a pair of (quantum) graphs $X$ and $Y$ arises as a quotient of a certain measured bigalois extension for the quantum automorphism groups $G_X$ and $G_Y$ of the graphs $X$ and $Y$. In particular, this implies that the quantum groups $G_X$ and $G_Y$ are monoidally equivalent. We also establish a converse to this result, which says that every compact quantum group $G$ monoidally equivalent to $G_X$ is of the form $G_Y$ for a suitably chosen quantum graph $Y$ that is quantum isomorphic to $X$. As an application of these results, we deduce that the $\ast$-algebraic, C$^\ast$-algebraic, and quantum commuting (qc) notions of a quantum isomorphism between classical graphs $X$ and $Y$ all coincide. Using the notion of equivalence for non-local games, we deduce the same result for other synchronous non-local games, including the synBCS game and certain related graph homomorphism games. △ Less

Submitted 3 November, 2020; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: 33 pages

Journal ref: Comm. Math. Phys. 375 (2020), no. 3, 1777-1809

The weak Hilbert-Smith conjecture from a Borsuk-Ulam-type conjecture

Authors: Alexandru Chirvasitu, Ludwik Dąbrowski, Mariusz Tobolski

Abstract: We prove a number of results surrounding the Borsuk-Ulam-type conjecture of Baum, Dąbrowski and Hajac (BDH, for short), to the effect that given a free action of a compact group $G$ on a compact space $X$, there are no $G$-equivariant maps $X*G\to X$ (with $*$ denoting the topological join). In particular, we prove the BDH conjecture for locally trivial principal $G$-bundles. The proof relies on t… ▽ More We prove a number of results surrounding the Borsuk-Ulam-type conjecture of Baum, Dąbrowski and Hajac (BDH, for short), to the effect that given a free action of a compact group $G$ on a compact space $X$, there are no $G$-equivariant maps $X*G\to X$ (with $*$ denoting the topological join). In particular, we prove the BDH conjecture for locally trivial principal $G$-bundles. The proof relies on the non-existence of $G$-equivariant maps $G^{*(n+1)}\to G^{*n}$, which in turn is a slight strengthening of an unpublished result of M. Bestvina and R. Edwards. Moreover, we show that the BDH conjecture partially settles a conjecture of Ageev. In turn, the latter implies the weak version Hilbert-Smith conjecture stating that no infinite compact zero-dimensional group can act freely on a manifold such that the orbit space is finite-dimensional. △ Less

Submitted 14 September, 2018; v1 submitted 30 December, 2016; originally announced December 2016.

Comments: 15 pages + references; significant new result added

MSC Class: 22C05; 54H15; 57S10