We consider the existence of cohomogeneity one solitons for the isometric flow of $G_2$-structures on the following classes of torsion-free $G_2$-manifolds: the Euclidean $R^7$ with its standard $G_2$-structure, metric cylinders over Calabi-Yau 3-folds, metric cones over nearly Kähler 6-manifolds, and the Bryant-Salamon $G_2$-manifolds. In all cases we establish existence of global solutions to the isometric soliton equations, and determine the asymptotic behaviour of the torsion. In particular, existence of shrinking isometric solitons on $R^7$ is proved, giving support to the likely existence of type I singularities for the isometric flow. In each case, the study of the soliton equation reduces to a particular nonlinear ODE with a regular singular point, for which we provide a careful analysis. Finally, to simplify the derivation of the relevant equations in each case, we first establish several useful Riemannian geometric formulas for a general class of cohomogeneity one metrics on total spaces of vector bundles which should have much wider application, as such metrics arise often as explicit examples of special holonomy metrics.
Relatively little is known about the discrete horospheres in hyperbolic groups, even in simple settings. In this paper we work with hyperbolic one-ended right-angled Coxeter groups and describe two graph structures that mimic the intrinsic metric on a classical horosphere: the Rips graph and the divergence graph (the latter due to Cohen, Goodman-Strauss, and Rieck). We develop, analyze, and implement algorithms based on finite-state machines that draw large finite portions of these graphs, and deduce various geometric corollaries about the path metrics induced by these graph structures.
Let $G$ be a compact Lie group. We study a class of Hamiltonian $(G \times S^{1})$-manifolds decorated with a function $s$ with certain equivariance properties, under conditions on the $G$-action which we call of (semi-)linear type. In this context, a close analogue of hyperkähler reduction is defined, and our main result establishes surjectivity of an appropriate analogue of Kirwan's map. As a particular case, our setting includes a class of hyperkähler manifolds with trihamiltonian torus actions, to which our surjectivity result applies.
We construct complete Calabi-Yau metrics on non-compact manifolds that are smoothings of an initial complete intersection $V_0$ that is a Calabi-Yau cone, extending the work of Székelyhidi (2019). The constructed Calabi-Yau manifold has tangent cone at infinity given by $\mathbb{C} \times V_0$. This construction produces Calabi-Yau metrics with fibers having varying complex structures and possibly isolated singularities.
These notes are a companion to the article "Lorentz spacetimes of constant curvature" by Geoffrey Mess, which was first written in 1990 but never published. Mess' paper will appear together with these notes in a forthcoming issue of Geometriae Dedicata.
Median spaces are spaces in which for every three points the three intervals between them intersect at a single point. It is well known that rank-1 affine buildings are median spaces, but by a result of Haettel, higher rank buildings are not even coarse median. We define the notion of ``2-median space'', which roughly says that for every four points the minimal discs filling the four geodesic triangles they span intersect in a point or a geodesic segment. We show that CAT(0) Euclidean polygonal complexes, and in particular rank-2 affine buildings, are 2-median. In the appendix, we recover a special case of a result of Stadler of a Fary-Milnor type theorem and show in elementary tools that a minimal disc filling a geodesic triangle is injective.
We determine the Néron-Severi lattices of $K3$ hypersurfaces with large Picard number in toric three-folds derived from Fano polytopes. On each $K3$ surface, we introduce a particular elliptic fibration. In the proof of the main theorem, we show that the Néron-Severi lattice of each $K3$ surface is generated by a general fibre, sections and appropriately selected components of the singular fibres of our elliptic fibration. Our argument gives a certain proof of the Dolgachev conjecture for Fano polytopes, which is a conjecture on mirror symmetry for $K3$ surfaces.
The archimedean solids Cubus simus (snub cube) and Dodecaedron simum (snub dodecahedron) cannot be constructed by ruler and compass. We explain that for general reasons their vertices can be constructed via paper folding on the faces of a cube, respectively dodecahedron, and we present explicit folding constructions. The construction of the Cubus simus is particularly elegant. We also review and prove the construction rules of the other Archimedean solids.
We study a new bordification of the decorated Teichmüller space for a multiply punctured surface F by a space of filtered screens on the surface that arises from a natural elaboration of earlier work of McShane-Penner. We identify necessary and sufficient conditions for paths in this space of filtered screens to yield short curves having vanishing length in the underlying surface F. As a result, an appropriate quotient of this space of filtered screens on F yields a decorated augmented Teichmüller space which is shown to admit a CW decomposition that naturally projects to the augmented Teichmüller space by forgetting decorations and whose strata are indexed by a new object termed partially oriented stratum graphs.
One-vertex maps (a type of dessin d'enfant) give a uniform characterization of certain well-known algebraic curves, including those of Klein, Wiman, Accola-Maclachlan and Kulkarni. The characterization depends on a new classification of one-vertex (dually, one-face or unicellular) maps according to the size of the group of map automorphisms. We use an equivalence relation appropriate for studying the faithful action of the absolute Galois group on dessins, although we do not pursue that line of inquiry here.
Let S be a surface of genus g with n points removed, G a connected Lie group, and X(G) the moduli space of representations of the fundamental group of S into G. We compute the fundamental group of X(G) when n>0 and G is a real or complex reductive algebraic group, or a compact Lie group; and when n=0 and G=GL(m,C), SL(m,C), U(m), or SU(m).
Higgs bundles over a closed orientable surface can be defined for any real reductive Lie group G. In this paper we examine the case G=SO*(2n). We describe a rigidity phenomenon encountered in the case of maximal Toledo invariant. Using this and Morse theory in the moduli space of Higgs bundles, we show that the moduli space is connected in this maximal Toledo case. The Morse theory also allows us to show connectedness when the Toledo invariant is zero. The correspondence between Higgs bundles and surface group representations thus allows us to count the connected components with zero and maximal Toledo invariant in the moduli space of representations of the fundamental group of the surface in SO*(2n).
We prove that simply connected open Riemannian manifolds of bounded geometry, linear growth and sublinear filling growth (e.g. finite filling area) are simply connected at infinity.
We introduce and study the space of \emph{subset currents} on the free group $F_N$. A subset current on $F_N$ is a positive $F_N$-invariant locally finite Borel measure on the space $\mathfrak C_N$ of all closed subsets of $\partial F_N$ consisting of at least two points. While ordinary geodesic currents generalize conjugacy classes of nontrivial group elements, a subset current is a measure-theoretic generalization of the conjugacy class of a nontrivial finitely generated subgroup in $F_N$, and, more generally, in a word-hyperbolic group. The concept of a subset current is related to the notion of an "invariant random subgroup" with respect to some conjugacy-invariant probability measure on the space of closed subgroups of a topological group. If we fix a free basis $A$ of $F_N$, a subset current may also be viewed as an $F_N$-invariant measure on a "branching" analog of the geodesic flow space for $F_N$, whose elements are infinite subtrees (rather than just geodesic lines) of the Cayley graph of $F_N$ with respect to $A$.
We construct a fundamental region for the action on the $2d+1$-dimensional affine space of some free, discrete, properly discontinuous groups of affine transformations preserving a quadratic form of signature $(d+1, d)$, where $d$ is any odd positive integer.
We compute the rational Borel equivariant cohomology ring of a cohomogeneity-one action of a compact Lie group.
We study the combinatorial geometry of "lattice" Jenkins--Strebel differentials with simple zeroes and simple poles on $\mathbb{C}P^1$ and of the corresponding counting functions. Developing the results of M. Kontsevich we evaluate the leading term of the symmetric polynomial counting the number of such "lattice" Jenkins-Strebel differentials having all zeroes on a single singular layer. This allows us to express the number of general "lattice" Jenkins-Strebel differentials as an appropriate weighted sum over decorated trees. The problem of counting Jenkins-Strebel differentials is equivalent to the problem of counting pillowcase covers, which serve as integer points in appropriate local coordinates on strata of moduli spaces of meromorphic quadratic differentials. This allows us to relate our counting problem to calculations of volumes of these strata . A very explicit expression for the volume of any stratum of meromorphic quadratic differentials recently obtained by the authors leads to an interesting combinatorial identity for our sums over trees.
This paper is devoted to extend some Hu-Keel results on Mori dream spaces (MDS) beyond the projective setup. Namely, $\Q$-factorial algebraic varieties with finitely generated class group and Cox ring, here called \emph{weak} Mori dream spaces (wMDS), are considered. Conditions guaranteeing the existence of a neat embedding of a (completion of a) wMDS into a complete toric variety are studied, showing that, on the one hand, those which are complete and admitting low Picard number are always projective, hence Mori dream spaces in the sense of Hu-Keel. On the other hand, an example of a wMDS does not admitting any neat embedded \emph{sharp} completion (i.e. Picard number preserving) into a complete toric variety is given, on the contrary of what Hu and Keel exhibited for a MDS. Moreover, termination of the Mori minimal model program (MMP) for every divisor and a classification of rational contractions for a complete wMDS are studied, obtaining analogous conclusions as for a MDS. Finally, we give a characterization of a wMDS arising from a small $\Q$-factorial modification of a projective weak $\Q$-Fano variety.
We show that there exists an admissible nonorientable genus $g$ Lefschetz fibration with only one singular fiber over a closed orientable surface of genus $h$ if and only if $g \geq 4$ and $h \geq 1$.
We construct the symplectic resolution of a symplectic orbifold whose isotropy locus consists of disjoint submanifolds with homogeneous isotropy, that is, all its points have the same isotropy groups.