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.
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.
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.
Given a map f: M \to M of closed topological manifolds we define torsion obstructions whose vanishing is a necessary condition for f being homotopy equivalent to a projection of a locally trivial fiber bundle. If N = S^1, these torsion obstructions are identified with the ones due to Farrell. We have changed the exposition according to the comments of the referee and corrected some typos. The paper will appear in Geometriae Dedicata.
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.
These are notes on the construction of the GIT-fans for quivers without oriented cycles. We follow closely the steps outlined by N. Ressayre in "The GIT-Equivalence for G-Line Bundles" (Geometriae Dedicata, Volume 81, Numbers 1-3, 2000). A simple construction of the GIT-fan for normal, affine G-varities has been recently given by Ivan V. Arzhantsev and Juergen Hausen in "Geometric Invariant Theory via Cox Rings"
This paper was first written in 1990, but was never published. In it, the author presents a novel approach to the study of constant curvature spacetimes in 2+1 dimensions. A parameterization of flat 2+1-dimensional domains of dependence is given in terms of measured geodesic laminations. There is also an interesting reinterpretation of Thurston's Earthquake Theorem involving anti-de Sitter spacetimes. With the permission of the author, it will be published for the first time in a forthcoming issue of Geometriae Dedicata, together with detailed "notes" outlining the developments in the field in the intervening years. The version posted here is nearly identical to the original; we merely corrected typographical errors and occasional notational mistakes, and also updated the references in the bibliography.
We construct a distance on the moduli space of symplectic toric manifolds of dimension four. Then we study some basic topological properties of this space, in particular, path-connectedness, compactness, and completeness. The construction of the distance is related to the Duistermaat-Heckman measure and the Hausdorff metric. While the moduli space, its topology and metric, may be constructed in any dimension, the tools we use in the proofs are four-dimensional, and hence so is our main result.
We investigate fixed-point properties of automorphisms of groups similar to R. Thompson's group $F$. Revisiting work of Gonçalves-Kochloukova, we deduce a cohomological criterion to detect infinite fixed-point sets in the abelianization, implying the so-called property $R_\infty$. Using the BNS $Σ$-invariant and drawing from works of Gonçalves-Sankaran-Strebel and Zaremsky, we show that our tool applies to many $F$-like groups, including Stein's $F_{2,3}$, Cleary's $F_τ$, the Lodha-Moore groups, and the braided version of $F$.
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.
We show that the mapping class group acts properly on the space of maximal representations of the fundamental group of a closed Riemann surface into G when G = Sp(2n,R), SU(n,n), SO*(2n) or Spin(2,n).
We describe up to finite coverings causal flat affine complete Lorentzian manifolds such that the past and the future of any point are closed near this point. We say that these manifolds are strictly causal. In particular, we prove that their fundamental groups are virtually abelian. In dimension 4, there is only one, up to a scaling factor, strictly causal manifold which is not globally hyperbolic. For a generic point of this manifold, either the past or the future is not closed and contains a lightlike straight line.
We model the time evolution of a Bose-Einstein condensate, subject to a special periodically excited optical lattice, by a unitary quantum operator U on a Hilbert space H. If a certain parameter alpha = p/q, where p and q are coprime positive integers, then H = L^2(R/Z,C^q) and U is represented by a q x q matrix-valued function M on R/Z that acts pointwise on functions in H. The dynamics of the quantum system is described by the eigenvalues of M. Numerical computations show that the characteristic polynomial det(zI - M(t)) = Prod_j=1^q (z - lambda_j(t)) where each lambda_j is a real analytic functions that has period 1/q. We discuss this phenomena using Newton's Theorem, published in Geometria analytica in 1660, and modern concepts from analytic geometry.
Let $G$ be a group. The orbits of the natural action of Aut$(G)$ on $G$ are called ``automorphism orbits'' of $G$, and the number of automorphism orbits of $G$ is denoted by $ω(G)$. We prove that if $G$ is a soluble group with finite rank such that $ω(G)< \infty$, then $G$ contains a torsion-free characteristic nilpotent subgroup $K$ such that $G = K \rtimes H$, where $H$ is a finite group. Moreover, we classify the mixed order soluble groups of finite rank such that $ω(G)=3$.
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 present the topological classification of real parts of real regular elliptic surfaces with a real section.
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 show that the volume of a simple Riemannian metric on $D^n$ is locally monotone with respect to its boundary distance function. Namely if $g$ is a simple metric on $D^n$ and $g'$ is sufficiently close to $g$ and induces boundary distances greater or equal to those of $g$, then $vol(D^n,g')\ge vol(D^n,g)$. Furthermore, the same holds for Finsler metrics and the Holmes--Thompson definition of volume. As an application, we give a new proof of the injectivity of the geodesic ray transform for a simple Finsler metric.
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.