arXiv research

Calibrating classifiers reduces grouping loss using sufficiency criteria.

The theoretical existence of non-classical Schottky groups is due to Marden. Explicit examples of such kind of groups are only known in rank two, the first one by by Yamamoto in 1991 and later by Williams in 2009. In 2006, Maskit and the author provided a theoretical method to obtain examples of non-classical Schottky …

The goal of this paper is to describe a theoretical construction of an infinite collection of non-classical Schottky groups. We first show that there are infinitely many non-classical noded Schottky groups on the boundary of Schottky space, and we show that infinitely many of these are "sufficiently complicated". We th…

The study analyzes group testing algorithms for identifying defective items with high confidence.

Adds examples to Goeritz groups for a specific type of 3-manifold splitting.

We describe a procedure which verifies that a group given by generators and relators is word-hyperbolic. This procedure always works with a group which is word-hyperbolic, provided there is sufficient memory and time devoted to the problem. If the group is not word-hyperbolic, the procedure continues indefinitely. We a…

In this work it is shown that a necessary condition for the completeness of the geodesics of left invariant pseudo-Riemannian metrics on Lie groups is also sufficient in the case of 3-dimensional unimodular Lie groups, and not sufficient for 3-dimensional non unimodular Lie groups. As a consequence it is possible to id…

Let M be a graph manifold. We prove that fundamental groups of embedded incompressible surfaces in M are separable in the fundamental group of M, and that the double cosets for crossing surfaces are also separable. We deduce that if there is a "sufficient" collection of surfaces in M, then the fundamental group of M is…

A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. In this paper, we give a necessary and sufficient condition for a finitely presented group to be large, in terms of the existence of a normal series where successive quotients are finite abelian gro…

Study of $(R,ε)$-panted cobordism groups in cusped hyperbolic 3-manifolds.

We show that for a sufficiently simple surface $S$, a right-angled Artin group $A(Γ)$ embeds into $\Mod(S)$ if and only if $Γ$ embeds into the curve graph $\mC(S)$ as an induced subgraph. When $S$ is sufficiently complicated, there exists an embedding $A(Γ)\to\Mod(S)$ for some $Γ$ not contained in $\mC(S)$.

We give several sufficient conditions for a double of a free group along a cyclic subgroup to contain a surface subgroup.

We give a necessary and sufficient condition for a hyperbolic Coxeter group with planar nerve to have Sierpiński curve as its Gromov boundary.

We give a necessary and sufficient condition for the mapping class group of the pair of the 3-sphere and a graph embedded in it to be isomorphic to the topological symmetry group of the embedded graph.

Previous work of the authors establishes a criterion on the fundamental group of a knot complement that determines when Dehn surgery on the knot will have a fundamental group that is not left-orderable. We provide a refinement of this criterion by introducing the notion of a decayed knot; it is shown that Dehn surgery …

We establish necessary and sufficient conditions for existence of isometric immersions of a simply connected Riemannian manifold into a two-step nilpotent Lie group. This comprises the case of immersions into $H$-type groups.

Article provides conditions for embedding braid groups into mapping class groups.

The paper defines conditions for a free-by-free group to be hyperbolic.

Let G be a complex reductive algebraic group (not necessarily connected), let K be a maximal compact subgroup, and let A be a finitely generated Abelian group. We prove that the conjugation orbit space Hom(A,K)/K is a strong deformation retract of the GIT quotient space Hom(A,G)//G. As a corollary, we determine necessa…

A theorem simplifies mass-minimizing flat chains' regularity.

The paper simplifies conditions for optimal paths on manifolds avoiding obstacles.

We classify groups generated by powers of 2 Dehn twists which are 1) free or 2) have no ``unexpected'' reducible elements. We give some sufficient conditions in the case of groups generated by powers of more than two twists.

Let $G/K$ be an orbit of the adjoint representation of a compact connected Lie group $G$, $σ$ be an involutive automorphism of $G$ and $\tilde G$ be the Lie group of fixed points of $σ$. We find a sufficient condition for the complete integrability of the geodesic flow of the Riemannian metric on $\tilde G/(\tilde G\ca…

One of the basic problems in studying topological structures of deformation spaces for Kleinian groups is to find a criterion to distinguish convergent sequences from divergent sequences. In this paper, we shall give a sufficient condition for sequences of Kleinian groups isomorphic to surface groups to diverge in the …

We prove the Gromov-Lawson-Rosenberg conjecture for cocompact Fuchsian groups, thereby giving necessary and sufficient conditions for a closed spin manifold of dimension greater than four with fundamental group cocompact Fuchsian to admit a metric of positive scalar curvature.

In this article we extend a euclidean result of David and Semmes to the Heisenberg group by giving a sufficient condition for a $k$-Ahlfors-regular subset to have big pieces of bilipschitz images of subsets of $\R^k$. This Carleson type condition measures how well the set can be approximated by the Heisenberg $k$-plane…

We say that a cover of surfaces S -> X has the Birman--Hilden property if the subgroup of the mapping class group of X consisting of mapping classes that have representatives that lift to S embeds in the mapping class group of S modulo the group of deck transformations. We identify one necessary condition and one suffi…

We prove that if a normal subgroup of the extended mapping class group of a closed surface has an element of sufficiently small support then its automorphism group and abstract commensurator group are both isomorphic to the extended mapping class group. The proof relies on another theorem we prove, which states that ma…

Monodromy and vanishing cycles computed for ample linear systems on simply connected surfaces.

There are various results that frame left-orderability of a group as a geometric property. Indeed, the fundamental group of a 3-manifold is left-orderable whenever the first Betti number is positive; in the case that the first Betti number is zero this property is closely tied to the existence of certain nice foliation…

We give topological conditions to ensure that a noncollapsed almost Ricci-flat 4-manifold admits a Ricci-flat metric. One sufficient condition is that the manifold is spin and has a nonzero A-hat genus. Another condition is that the fundamental group is infinite or, more generally, of sufficiently large cardinality.

We give necessary and sufficient conditions on the graph of a right-angled Artin group that determine whether the group is subgroup separable or not. Moreover, we investigate the profinite topology of the direct product of two free groups. We show that the profinite topology of the above group is strongly connected wit…

We show that for any $k$ at least $6$ and $g$ sufficiently large, the mapping class group of a surface of genus $g$ can be generated by three elements of order $k$. We also show that this can be done with four elements of order $5$. We additionally prove similar results for some permutation groups, linear groups, and a…

The paper finds conditions for slicing knots in 4-manifolds.

We give a technical result that implies a straightforward necessary and sufficient conditions for a graph of groups with virtually cyclic edge groups to be one ended. For arbitrary graphs of groups, we show that if their fundamental group is not one-ended, then we can blow up vertex groups to graphs of groups with simp…

We prove that a connected 2-dimensional orbifold with finitely generated and infinite orbifold fundamental group is good. We also describe all the good 2-dimensional orbifolds with finite orbifold fundamental groups

We provide an alternative proof of a sufficient condition for the fundamental group of the $n^{th}$ cyclic branched cover of $S^3$ along a prime knot $K$ to be left-orderable, which is originally due to Boyer-Gordon-Watson. As an application of this sufficient condition, we show that for any $(p,q)$ two-bridge knot, wi…

The study establishes conditions for groups acting on polygonal complexes to contain virtually free subgroups.

Criterion for lifting smooth contact maps between Carnot groups to central extensions.

We regard the real symplectic group $Sp(2n,\mathbb{R})$ as a constraint submanifold of the $2n\times 2n$ real matrices $\mathcal{M}_{2n}(\mathbb{R})$ endowed with the Euclidean (Frobenius) metric, respectively as a submanifold of the general linear group $Gl(2n,\mathbb{R})$ endowed with the (left) invariant metric. For…

Proposes a method to learn fair predictors for multiple subgroups with limited data.

We present a sufficient condition for groups to satisfy the Farrell-Jones Conjecture in algebraic K-theory and L-theory. The condition is formulated in terms of finite quotients of the group in question and is motivated by work of Farrell-Hsiang.

We give a necessary and sufficient condition for lagrangians in a symplectic vector bundle to be deformed stably into transversal lagrangians. In the case of three lagrangians, we show that the associated Grothendieck group can be identified with a Hermitian K-theory group.

The group of simplicial automorphisms of a Tits-Kac-Moody ininite building of thickness q associated to a cocompact reflexion group with fundamental domain a simplex, is Kazhdan for q sufficiently large. Thus we obtain families of new Kazhdan groups: two in dimension 3 and one in dimension 4. The proof uses continuos c…

In the present paper, we give a necessary and sufficient condition for a Riemannian manifold $(M,g)$ to have a reducible action of a hyperbolic analogue of the holonomy group. This condition amounts to a decomposition of $(M,g)$ as a warped product of a special form, in analogy to the classical de Rham decomposition th…

Every surface bundle with genus $g$ fiber has a canonical Heegaard splitting of genus $2g+1$. We classify the mapping class groups of such Heegaard splittings in the case when the surface bundle has a sufficiently complicated monodromy map.

Maps between non-compact surfaces can have geometric kernels under certain conditions.

We study the geometry of nonrelatively hyperbolic groups. Generalizing a result of Schwartz, any quasi-isometric image of a non-relatively hyperbolic space in a relatively hyperbolic space is contained in a bounded neighborhood of a single peripheral subgroup. This implies that a group being relatively hyperbolic with …