Related papers: Surface subgroups from linear programming

We provide a visual and intuitive introduction to effectively calculating in 2-groups along with explicit examples coming from non-abelian 1- and 2-form gauge theory. In particular, we utilize string diagrams, tools similar to tensor…

The extended mapping class group of a surface $\Sigma$ is defined to be the group of isotopy classes of (not necessarily orientation-preserving) homeomorphisms of $\Sigma$. We are able to show that the extended mapping class group of an…

In 1963, Greenberg proved that every finite group appears as the monodromy group of some morphism of Riemann surfaces. In this paper, we give two constructive proofs of Greenberg's result. First, we utilize free groups, which given with the…

The regular embeddings of complete bipartite graphs $K_{n,n}$ in orientable surfaces are classified and enumerated, and their automorphism groups and combinatorial properties are determined. The method depends on earlier classifications in…

Let $d \geq 2$ be an integer. We conjecture that there is a finitely generated perfect group whose homomorphic images include all finite $d$-generated perfect groups. We prove a special case of this conjecture for the finite perfect groups…

We argue that for a smooth surface S, considered as a ramified cover over the projective plane branched over a nodal-cuspidal curve B one could use the structure of the fundamental group of the complement of the branch curve to understand…

The paper contains a general construction which produces new examples of non simply-connected smooth projective surfaces. We analyze the resulting surfaces and their fundamental groups. Many of these fundamental groups are expected to be…

As an instance of a linear action of a Hopf algebra on a free associative algebra, we consider finite group gradings of a free algebra induced by gradings on the space spanned by the free generators. The homogeneous component corresponding…

We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erd\H{o}s-R\'enyi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the…

We study sets of solutions to equations over a free group, projections of such sets, and the structure of elementary sets defined over a free group. The structre theory we obtain enable us to answer some questions of A. Tarski's, and…

When does Borel's theorem on free subgroups of semisimple groups generalize to other groups? We initiate a systematic study of this question and find positive and negative answers for it. In particular, we fully classify fundamental groups…

Graphs embedded into surfaces have many important applications, in particular, in combinatorics, geometry, and physics. For example, ribbon graphs and their counting is of great interest in string theory and quantum field theory (QFT).…

We determine the structure of automorphism groups of finite graphs of bounded Hadwiger number. Our proof includes a structural analysis of finite edge-transitive graphs. In particular, we show that for connected, $K_{h+1}$-minor-free,…

We prove a conjecture of Gromov's to the effect that manifolds with isotropic curvature bounded below by 1 (after possibly rescaling) are macroscopically 1-dimensional on the scales greater than 1. As a consequence we prove that compact…

A hyperfinite $II_1$ subfactor may be obtained from a symmetric commuting square via iteration of the basic construction. For certain commuting squares constructed from Hadamard matrices, we describe this subfactor as a group-type inclusion…

We show that there is a smooth complex projective variety, of any dimension greater than or equal to two, whose automorphism group is discrete and not finitely generated. Moreover, this variety admits infinitely many real forms which are…

There is an established bijection between finite-index subgroups Gamma of Gamma(2) and bipartite graphs on surfaces, or, equivalently, certain triples of permutations. We utilize this relationship to study both congruence and noncongruence…

In this paper we show that if two central simple $k$-algebras generate the same cyclic subgroup in $\mathrm{Br}(k)$, then there are rational maps between varieties associated to these algebras, such as Brauer--Severi varieties, norm…

We classify all subgroups of $SO(3)$ that are generated by two elements, each a rotation of finite order, about axes separated by an angle that is a rational multiple of $\pi$. In all cases we give a presentation of the subgroup. In most…

Following Newton, Ivory and Arnold, we study the Newtonian potentials of algebraic hypersurfaces in $R^n$. The ramification of (analytic continuations of) these potential depends on a monodromy group, which can be considered as a proper…