Related papers: A sufficient condition for a 2-dimensional orbifol…
We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…
We give a general description of the structure of a discrete double groupoid (with an extra, quite natural, filling condition) in terms of groupoid factorizations and groupoid 2-cocycles with coefficients in abelian group bundles. Our…
Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its…
It is shown that (1) if a good set has finitely many related components, then they are full, (2) loops correspond one-to-one to extreme points of a convex set. Some other properties of good sets are discussed.
A group $\Gamma$ is said to be periodic if for any $g$ in $\Gamma$ there is a positive integer $n$ with $g^n=id$. We first prove that a finitely generated periodic group acting on the 2-sphere $\SS^2$ by $C^1$-diffeomorphisms with a finite…
A (positive definite integral) quadratic form is called almost 2-universal if it represents all (positive definite integral) binary quadratic forms except those in only finitely many equivalence classes. Oh [7] determined all almost…
Let $\pi$ be a group satisfying the Farrell-Jones conjecture and assume that $B\pi$ is a 4-dimensional Poincar\'e duality space. We consider topological, closed, connected manifolds with fundamental group $\pi$ whose canonical map to $B\pi$…
We prove that if the fundamental group of an arbitrary three-manifold -- not necessarily closed, nor orientable -- is a Kaehler group, then it is either finite or the fundamental group of a closed orientable surface.
We give examples of closed, oriented 3-manifolds whose fundamental groups are not isomorphic, but yet have the same sets of finite quotient groups; hence the same profinite completions. We also give examples of compact, oriented 3-manifolds…
We make an analogy of Culler-Morgan-Shalen theory. Our main goal is to show that there exists a non-empty system of essential 2-suborbifolds respecting a given splitting of the orbifold fundamental group.
We give a necessary and sufficient condition for the fundamental group of the space of Heegaard splittings of an irreducible $3$-manifold to be finitely generated. The condition is exactly the conclusion of the thick isotopy lemma proved by…
We define formal orbifolds over an algebraically closed field of arbitrary characteristic as curves together with some branch data. Their \'etale coverings and their fundamental groups are also defined. These fundamental group approximates…
We determine the extent to which the collection of $\Gamma$-Euler-Satake characteristics classify closed 2-orbifolds. In particular, we show that the closed, connected, effective, orientable 2-orbifolds are classified by the collection of…
We prove that the invariably generating graph of a finite group can have an arbitrarily large number of connected components with at least two vertices.
We extend the concept of orbifold to that of branchfold, in order to allow any cone singularities with rational angles, and show why branchfolds naturally fit in the theory of branched coverings. Then, we obtain a geometric goodness theorem…
In response to a question raised by Belolipetsky and the first author, we prove that for every finite group $G$ there are infinitely many isomorphism classes of compact complex hyperbolic $2$-manifolds with automorphism group isomorphic to…
We show that any collection of n-dimensional orbifolds with sectional curvature and volume uniformly bounded below, diameter bounded above, and with only isolated singular points contains orbifolds of only finitely many orbifold…
We construct a 2-category version of tom Dieck's equivariant fundamental groupoid for representable orbifolds and show that the discrete fundamental groupoid is Morita invariant; hence an orbifold invariant for representable orbifolds.
We describe a procedure to construct infinite sets of pairwise smoothly inequivalent 2-spheres in simply connected 4-manifolds, which are topologically isotopic and whose complement has a prescribed fundamental group that satisfies some…
In this note, we prove that every 4-connected optimal 2-planar graph is Hamiltonian-connected. Furthermore, we show that the 4-connectedness condition is sharp by constructing infinitely many 3-connected optimal 2-planar graphs that are…