Related papers: Left-orderable Computable Groups
We find a new Hamiltonian formulation of the classical isotropic rotator where left and right $SU(2)$ transformations are not canonical symmetries but rather Poisson Lie group symmetries. The system corresponds to the classical analog of a…
We are studying the degrees in which a computable structure is relatively computably categoricity, i.e., computably categorcial among all non-computable copies of the structure. Unlike the degrees of computable categoricity we can bound the…
An example of two $\mathbb R$-factorizable groups whose product is not $\mathbb R$-factorizable is constructed. One of these groups is second-countable and the other Lindel\"of to any finite power.
These are expanded lecture notes of a series of expository talks surveying basic aspects of group cohomology and homology. They were written for someone who has had a first course in graduate algebra but no background in cohomology. You…
In this article, we introduce new scalar products over finite rings via additive isomorphisms. This allows us to define new notions of right (respectively left) orthogonal codes, that are not necessarily linear. This leads to definitions of…
We prove that an irreducible lattice in a real semi-simple Lie group of real rank at least two and finite center is not left-orderable.
The present article is a brief informal survey of computability logic --- the game-semantically conceived formal theory of computational resources and tasks. This relatively young nonclassical logic is a conservative extension of classical…
We show the existence of computable complex numbers $\lambda$ for which the bifurcation locus of the one parameter complex family $f_{b}(z) = \lambda z + b z^{2} + z^{3}$ is not Turing computable.
We are interested in the classification of left-invariant symplectic structures on Lie groups. Some classifications are known, especially in low dimensions. In this paper we establish a new approach to classify (up to automorphism and…
This paper studies left invertibility of discrete-time linear output-quantized systems. Quantized outputs are generated according to a given partition of the state-space, while inputs are sequences on a finite alphabet. Left invertibility,…
We compute the full isometry group of any left invariant metric on a simply connected, non-unimodular Lie group of dimension three. As an application, we determine the index of symmetry of such metrics and prove that the singularities of…
Cyclic metric Lie groups are Lie groups equipped with a left-invariant metric which is in some way far from being biinvariant, in a sense made explicit in terms of Tricerri and Vanhecke's homogeneous structures. The semisimple and solvable…
We prove that if two finite metacyclic groups have isomorphic rational group algebras, then they are isomorphic. This contributes to understand where is the line separating positive and negative solutions to the Isomorphism Problem for…
We classify all three-dimensional connected topological loops such that the group topologically generated by their left translations is the four-dimensional connected Lie group $G$ which has trivial center and precisely two one-dimensional…
Correspondence between idempotent states and expected right-invariant subalgebras is extended to non-coamenable, non-unimodular locally compact quantum groups; in particular left convolution operators are shown to automatically preserve the…
We reduce the isomorphism problem for undirected graphs without loops to the isomorphism problems for a class of finite dimensional $2$-step nilpotent Lie algebras over a field and for a class of finite $p$-groups. We show that the…
This paper gives a new way of characterizing L-space $3$-manifolds by using orderability of quandles. Hence, this answers a question of Adam Clay et al. [Question 1.1 of Canad. Math. Bull. 59 (2016), no. 3, 472-482]. We also investigate…
We describe the global structure of totally disconnected locally compact groups having a linear open compact subgroup. Among the applications, we show that if a non-discrete, compactly generated, topologically simple, totally disconnected…
Let $Y$ be a closed, connected, orientable three-manifold admitting a genus one open book decomposition with one boundary component. We prove that if $Y$ is an L-space, then the fundamental group of $Y$ is not left-orderable. This answers a…
We analyze the classification problem for finitely generated orderable groups from the viewpoint of descriptive set theory. We analyze the standard Borel space of finitely generated left-orderable groups, and the subspace of finitely…