Related papers: Orderability of big mapping class groups

All intelligence is collective intelligence, in the sense that it is made of parts which must align with respect to system-level goals. Understanding the dynamics which facilitate or limit navigation of problem spaces by aligned parts thus…

We give sufficient conditions allowing one to build a C*-algebraic structure on a self-adjoint linear subspace of a C*-algebra in such a way that the subspace is naturally identified with the resulting C*-algebra via a completely positive…

We prove that the isomorphism type of the subrack lattice of a finite group determines the nilpotence class. We analyze the problem of estimating the orders of the group elements corresponding to the atoms of the subrack lattice. As a…

Let $(F,\le)$ be an ordered field and let $A,B$ be square matrices over $F$ of the same size. We say that $A$ and $B$ belong to the same archimedean class if there exists an integer $r$ such that the matrices $r A^T A-B^T B$ and $r B^T…

The local structure of terminal Brauer classes on arithmetic surfaces were classified in [CI21] generalising the classification on geometric surfaces carried out in [CI05]. Part of the interest in these classifications is that it enables…

This paper uses the renowned Kechris-Pestov-Todor\v{c}evi\'{c} machinery to show that (big) mapping class groups are not extremely amenable unless the underlying surface is a sphere or a once-punctured sphere, or equivalently when the…

We deal with first-order definability in the substructure ordering $(\mathcal{D}; \sqsubseteq)$ of finite directed graphs. In two papers, the author has already investigated the first-order language of the embeddability ordering $(…

By a map we mean a $2$-cell decomposition of a closed compact surface, i.e., an embedding of a graph such that every face is homeomorphic to an open disc. Automorphism of a map can be thought of as a permutation of the vertices which…

Building on the work of Cassels we prove the existence of infinite families of compact orbits of the diagonal group in the space of lattices which accumulate only on the divergent orbit of the standard lattice. As a consequence, we prove…

In this paper, the following results are proved: (1) $ $ If $E$ is a complete atomic lattice effect algebra, then $E$ is (o)-continuous iff $E$ is order-topological iff $E$ is totally order-disconnected iff $E$ is algebraic. (2) $ $ If $E$…

Let $\phi \in {\rm Mod}(\Sigma)$ be an arbitrary element of the mapping class group of a closed orientable surface $\Sigma$ of genus at least $2$. For any characteristic cover $\widetilde{\Sigma} \to \Sigma$ one can consider the linear…

We study classes of graphs with bounded clique-width that are well-quasi-ordered by the induced subgraph relation, in the presence of labels on the vertices. We prove that, given a finite presentation of a class of graphs, one can decide…

Given any connected compact orientable surface, a pair of mapping classes are said to be procongruently conjugate if they induce a conjugate pair of outer automophisms on the profinite completion of the fundamental group of the surface. For…

Let $S$ be a connected non-orientable surface with negative Euler characteristic and of finite type. We describe the possible closures in $\mathcal M\mathcal L$ and $\mathcal P\mathcal M\mathcal L$ of the mapping class group orbits of…

We show that the mapping class group of a closed oriented surface of genus at least three is generated by 3 elements of order 3 and by 4 elements of order 4. Note that the mapping class group cannot be generated by finitely many torsion…

In this mostly expository article, we provide a new account of our proof with Minsky and Sisto that mapping class groups and Teichm\"uller spaces admit bicombings. More generally, we explain how the hierarchical hull of a pair of points in…

We give a new criterion which guarantees that a free group admits a bi-ordering that is invariant under a given automorphism. As an application, we show that the fundamental group of the "magic manifold" is bi-orderable, answering a…

We define the Laplacian matrix and the Jacobian group of a finite graph of groups. We prove analogues of the matrix tree theorem and the class number formula for the order of the Jacobian of a graph of groups. Given a group $G$ acting on a…

We investigate the morphology of diblock copolymers in the vicinity of flat, chemically patterned surfaces. Using a Ginzburg-Landau free energy, spatial variations of the order parameter are given in terms of a general two-dimensional…

We give an infinite presentation for the mapping class group of a non-orientable surface. The generating set consists of all Dehn twists and all crosscap pushing maps along simple loops.