Showing 1–48 of 48 results for author: Hensel, S

Stability of multiphase mean curvature flow beyond circular topology changes

Authors: Julian Fischer, Sebastian Hensel, Alice Marveggio, Maximilian Moser

Abstract: We prove a weak-strong uniqueness principle for varifold-BV solutions to planar multiphase mean curvature flow beyond a circular topology change: Assuming that there exists a classical solution with an interface that becomes increasingly circular and shrinks to a point, any varifold-BV solution with the same initial interface must coincide with it, and any varifold-BV solution with similar initial… ▽ More We prove a weak-strong uniqueness principle for varifold-BV solutions to planar multiphase mean curvature flow beyond a circular topology change: Assuming that there exists a classical solution with an interface that becomes increasingly circular and shrinks to a point, any varifold-BV solution with the same initial interface must coincide with it, and any varifold-BV solution with similar initial data must undergo the same type of topology change. Our result illustrates the robustness of the relative energy method for establishing weak-strong uniqueness principles for interface evolution equations, showing that it may also be applied beyond certain topological changes. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 56 pages, 9 figures

A weak-strong uniqueness principle for the Mullins-Sekerka equation

Authors: Julian Fischer, Sebastian Hensel, Tim Laux, Theresa M. Simon

Abstract: We establish a weak-strong uniqueness principle for the two-phase Mullins-Sekerka equation in the plane: As long as a classical solution to the evolution problem exists, any weak De Giorgi type varifold solution (see for this notion the recent work of Stinson and the second author, Arch. Ration. Mech. Anal. 248, 8, 2024) must coincide with it. In particular, in the absence of geometric singulariti… ▽ More We establish a weak-strong uniqueness principle for the two-phase Mullins-Sekerka equation in the plane: As long as a classical solution to the evolution problem exists, any weak De Giorgi type varifold solution (see for this notion the recent work of Stinson and the second author, Arch. Ration. Mech. Anal. 248, 8, 2024) must coincide with it. In particular, in the absence of geometric singularities such weak solutions do not introduce a mechanism for (unphysical) non-uniqueness. We also derive a stability estimate with respect to changes in the data. Our method is based on the notion of relative entropies for interface evolution problems, a reduction argument to a perturbative graph setting (which is the only step in our argument exploiting in an essential way the planar setting), and a stability analysis in this perturbative regime relying crucially on the gradient flow structure of the Mullins-Sekerka equation. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 48 pages

Submanifold projections and hyperbolicity in ${\rm Out}(F_n)$

Authors: Ursula Hamenstädt, Sebastian Hensel

Abstract: The free splitting graph of a free group $F_n$ with $n\geq 2$ generators is a hyperbolic ${\rm Out}(F_n)$-graph which has a geometric realization as a sphere graph in the connected sum of $n$ copies of $S^1\times S^2$. We use this realization to construct submanifold projections of the free splitting graph into the free splitting graphs of proper free factors. This is used to construct for… ▽ More The free splitting graph of a free group $F_n$ with $n\geq 2$ generators is a hyperbolic ${\rm Out}(F_n)$-graph which has a geometric realization as a sphere graph in the connected sum of $n$ copies of $S^1\times S^2$. We use this realization to construct submanifold projections of the free splitting graph into the free splitting graphs of proper free factors. This is used to construct for $n\geq 3$ a new hyperbolic ${\rm Out}(F_n)$-graph. If $n=3$, then every exponentially growing element acts on this graph with positive translation length. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Comments: 24 pages

Towards the boundary of the fine curve graph

Authors: Jonathan Bowden, Sebastian Hensel, Richard Webb

Abstract: The fine curve graph was introduced as a geometric tool to study the homeomorphisms of surfaces. In this paper we study the Gromov boundary of this space and the local topology near points associated with minimal measurable foliations. We then give several applications including finding explicit elements with positive stable commutator length, and proving a Tits alternative for subgroups of… ▽ More The fine curve graph was introduced as a geometric tool to study the homeomorphisms of surfaces. In this paper we study the Gromov boundary of this space and the local topology near points associated with minimal measurable foliations. We then give several applications including finding explicit elements with positive stable commutator length, and proving a Tits alternative for subgroups of $\textrm{Homeo}(S)$ containing a pseudo-Anosov map, generalizing a result of Hurtado-Xue. △ Less

Submitted 29 February, 2024; originally announced February 2024.

Comments: 24 pages, 2 figures

Multitwists in big mapping class groups

Authors: George Domat, Federica Fanoni, Sebastian Hensel

Abstract: We show that the closure of the compactly supported mapping class group of an infinite-type surface is not generated by the collection of multitwists (i.e. products of powers of twists about disjoint non-accumulating curves). We show that the closure of the compactly supported mapping class group of an infinite-type surface is not generated by the collection of multitwists (i.e. products of powers of twists about disjoint non-accumulating curves). △ Less

Submitted 13 August, 2023; v1 submitted 20 January, 2023; originally announced January 2023.

Comments: 7 pages, 1 figure. V2: small changes, following referee reports suggestions

MSC Class: 57K20; 20F65

Local minimizers of the interface length functional based on a concept of local paired calibrations

Authors: Julian Fischer, Sebastian Hensel, Tim Laux, Theresa M. Simon

Abstract: We establish that regular flat partitions are locally minimizing for the interface energy with respect to $L^1$ perturbations of the phases. Regular flat partitions are partitions of open sets in $\mathbb{R}^2$ whose network of interfaces consists of finitely many straight segments with a singular set made up of finitely many triple junctions at which the Herring angle condition is satisfied. This… ▽ More We establish that regular flat partitions are locally minimizing for the interface energy with respect to $L^1$ perturbations of the phases. Regular flat partitions are partitions of open sets in $\mathbb{R}^2$ whose network of interfaces consists of finitely many straight segments with a singular set made up of finitely many triple junctions at which the Herring angle condition is satisfied. This result not only holds for the case of the perimeter functional but for a general class of surface tension matrices. Our proof relies on a localized version of the paired calibration method which was introduced by Lawlor and Morgan (Pac. J. Appl. Math., 166(1), 1994) in conjunction with a relative energy functional that precisely captures the suboptimality of classical calibration estimates. Vice versa, we show that any stationary point of the length functional (in a sense of metric spaces) has to be a regular flat partition. △ Less

Submitted 21 February, 2023; v1 submitted 22 December, 2022; originally announced December 2022.

Comments: 36 pages, 9 figures. We added a number of references

Weak solutions of Mullins-Sekerka flow as a Hilbert space gradient flow

Authors: Sebastian Hensel, Kerrek Stinson

Abstract: We propose a novel weak solution theory for the Mullins-Sekerka equation primarily motivated from a gradient flow perspective. Previous existence results on weak solutions due to Luckhaus and Sturzenhecker (Calc. Var. PDE 3, 1995) or Röger (SIAM J. Math. Anal. 37, 2005) left open the inclusion of both a sharp energy dissipation principle and a weak formulation of the contact angle at the intersect… ▽ More We propose a novel weak solution theory for the Mullins-Sekerka equation primarily motivated from a gradient flow perspective. Previous existence results on weak solutions due to Luckhaus and Sturzenhecker (Calc. Var. PDE 3, 1995) or Röger (SIAM J. Math. Anal. 37, 2005) left open the inclusion of both a sharp energy dissipation principle and a weak formulation of the contact angle at the intersection of the interface and the domain boundary. To incorporate these, we introduce a functional framework encoding a weak solution concept for Mullins-Sekerka flow essentially relying only on (i) a single sharp energy dissipation inequality in the spirit of De~Giorgi, and (ii) a weak formulation for an arbitrary fixed contact angle through a distributional representation of the first variation of the underlying capillary energy. Both ingredients are intrinsic to the interface of the evolving phase indicator and an explicit distributional PDE formulation with potentials can be derived from them. Existence of weak solutions is established via subsequential limit points of the naturally associated minimizing movements scheme. Smooth solutions are consistent with the classical Mullins-Sekerka flow, and even further, we expect our solution concept to be amenable, at least in principle, to the recently developed relative entropy approach for curvature driven interface evolution. △ Less

Submitted 16 June, 2022; originally announced June 2022.

MSC Class: 35D30; 49J27; 49Q20; 53E10

Linear progress in fibres

Authors: Vaibhav Gadre, Sebastian Hensel

Abstract: A fibered hyperbolic 3-manifold induces a map from the hyperbolic plane to hyperbolic 3-space, the respective universal covers of the fibre and the manifold. The induced map is an embedding that is exponentially distorted in terms of the individual metrics. In this article, we begin a study of the distortion along typical rays in the fibre. We verify that a typical ray in the hyperbolic plane make… ▽ More A fibered hyperbolic 3-manifold induces a map from the hyperbolic plane to hyperbolic 3-space, the respective universal covers of the fibre and the manifold. The induced map is an embedding that is exponentially distorted in terms of the individual metrics. In this article, we begin a study of the distortion along typical rays in the fibre. We verify that a typical ray in the hyperbolic plane makes linear progress in the ambient metric in hyperbolic 3-space. We formulate the proof in terms of some soft aspects of the geometry and basic ergodic theory. This enables us to extend the result to analogous contexts that correspond to certain extensions of closed surface groups. These include surface group extensions that are Gromov hyperbolic, the universal curve over a Teichmüller disc, and the extension induced by the Birman exact sequence. △ Less

Submitted 25 March, 2022; originally announced March 2022.

Comments: 22 pages, 2 figures

The sharp interface limit of a Navier--Stokes/Allen--Cahn system with constant mobility: Convergence rates by a relative energy approach

Authors: Sebastian Hensel, Yuning Liu

Abstract: We investigate the sharp interface limit of a diffuse interface system that couples the Allen--Cahn equation with the instationary Navier--Stokes system in a bounded domain in $\mathbb{R}^d$ with $d \in \{2,3\}$. This model is used to describe a propagating front in a viscous incompressible flow with the width of the transition layer being characterized by a small parameter $\varepsilon>0$. We sho… ▽ More We investigate the sharp interface limit of a diffuse interface system that couples the Allen--Cahn equation with the instationary Navier--Stokes system in a bounded domain in $\mathbb{R}^d$ with $d \in \{2,3\}$. This model is used to describe a propagating front in a viscous incompressible flow with the width of the transition layer being characterized by a small parameter $\varepsilon>0$. We show that the solutions converge to a limit two-phase fluid system with surface tension that couples the mean curvature flow and the Navier--Stokes system. The main assumptions are that the evolution of the limit system is sufficiently regular and that the associated evolving interface does not intersect the boundary of the container. For quantitatively well-prepared initial data, we even establish an optimal convergence rate. This is the first rigorous result of this kind which is valid in all physically relevant ambient dimensions. △ Less

Submitted 16 May, 2022; v1 submitted 23 January, 2022; originally announced January 2022.

Comments: any comments are welcome

MSC Class: 76T99; 76D45; 76D05; 35R35; 53E10; 35K57

Convergence rates for the Allen-Cahn equation with boundary contact energy: The non-perturbative regime

Authors: Sebastian Hensel, Maximilian Moser

Abstract: We extend the recent rigorous convergence result of Abels and the second author (arXiv preprint 2105.08434) concerning convergence rates for solutions of the Allen-Cahn equation with a nonlinear Robin boundary condition towards evolution by mean curvature flow with constant contact angle. More precisely, in the present work we manage to remove the perturbative assumption on the contact angle being… ▽ More We extend the recent rigorous convergence result of Abels and the second author (arXiv preprint 2105.08434) concerning convergence rates for solutions of the Allen-Cahn equation with a nonlinear Robin boundary condition towards evolution by mean curvature flow with constant contact angle. More precisely, in the present work we manage to remove the perturbative assumption on the contact angle being close to ninety degree. We establish under usual double-well type assumptions on the potential and for a certain class of boundary energy densities the sub-optimal convergence rate of order $\smash{\varepsilon^{\frac{1}{2}}}$ for general contact angles $α\in (0,π)$. For a very specific form of the boundary energy density, we even obtain from our methods a sharp convergence rate of order $\varepsilon$; again for general contact angles $α\in (0,π)$. Our proof deviates from the popular strategy based on rigorous asymptotic expansions and stability estimates for the linearized Allen-Cahn operator. Instead, we follow the recent approach by Fischer, Laux and Simon (SIAM J. Math. Anal. 52, 2020), thus relying on a relative entropy technique. We develop a careful adaptation of their approach in order to encode the constant contact angle condition. In fact, we perform this task at the level of the notion of gradient flow calibrations. This concept was recently introduced in the context of weak-strong uniqueness for multiphase mean curvature flow by Fischer, Laux, Simon and the first author (arXiv preprint 2003.05478). △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 61 pages

Weak-strong uniqueness for the Navier-Stokes equation for two fluids with ninety degree contact angle and same viscosities

Authors: Sebastian Hensel, Alice Marveggio

Abstract: We consider the flow of two viscous and incompressible fluids within a bounded domain modeled by means of a two-phase Navier-Stokes system. The two fluids are assumed to be immiscible, meaning that they are separated by an interface. With respect to the motion of the interface, we consider pure transport by the fluid flow. Along the boundary of the domain, a complete slip boundary condition for th… ▽ More We consider the flow of two viscous and incompressible fluids within a bounded domain modeled by means of a two-phase Navier-Stokes system. The two fluids are assumed to be immiscible, meaning that they are separated by an interface. With respect to the motion of the interface, we consider pure transport by the fluid flow. Along the boundary of the domain, a complete slip boundary condition for the fluid velocities and a constant ninety degree contact angle condition for the interface are assumed. The main result of the present work establishes in 2D a weak-strong uniqueness result in terms of a varifold solution concept à la Abels (Interfaces Free Bound. 9, 2007). The proof is based on a relative entropy argument. More precisely, we extend ideas from the recent work of Fischer and the first author (Arch. Ration. Mech. Anal. 236, 2020) to incorporate the contact angle condition. To focus on the effects of the necessarily singular geometry, we work for simplicity in the regime of same viscosities for the two fluids. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 63 pages

BV solutions for mean curvature flow with constant contact angle: Allen-Cahn approximation and weak-strong uniqueness

Authors: Sebastian Hensel, Tim Laux

Abstract: We study weak solutions to mean curvature flow satisfying Young's angle condition for general contact angles $α\in (0,π)$. First, we construct BV solutions using the Allen-Cahn approximation with boundary contact energy as proposed by Owen and Sternberg. Second, we prove the weak-strong uniqueness and stability for this solution concept. The main ingredient for both results is a relative energy, w… ▽ More We study weak solutions to mean curvature flow satisfying Young's angle condition for general contact angles $α\in (0,π)$. First, we construct BV solutions using the Allen-Cahn approximation with boundary contact energy as proposed by Owen and Sternberg. Second, we prove the weak-strong uniqueness and stability for this solution concept. The main ingredient for both results is a relative energy, which can also be interpreted as a tilt excess. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 24 pages

Measure equivalence rigidity of the handlebody groups

Authors: Sebastian Hensel, Camille Horbez

Abstract: Let $V$ be a connected $3$-dimensional handlebody of finite genus at least $3$. We prove that the handlebody group $\mathrm{Mod}(V)$ is superrigid for measure equivalence, i.e. every countable group which is measure equivalent to $\mathrm{Mod}(V)$ is in fact virtually isomorphic to $\mathrm{Mod}(V)$. Applications include a rigidity theorem for lattice embeddings of $\mathrm{Mod}(V)$, an orbit equi… ▽ More Let $V$ be a connected $3$-dimensional handlebody of finite genus at least $3$. We prove that the handlebody group $\mathrm{Mod}(V)$ is superrigid for measure equivalence, i.e. every countable group which is measure equivalent to $\mathrm{Mod}(V)$ is in fact virtually isomorphic to $\mathrm{Mod}(V)$. Applications include a rigidity theorem for lattice embeddings of $\mathrm{Mod}(V)$, an orbit equivalence rigidity theorem for free ergodic measure-preserving actions of $\mathrm{Mod}(V)$ on standard probability spaces, and a $W^*$-rigidity theorem among weakly compact group actions. △ Less

Submitted 19 November, 2021; originally announced November 2021.

A projection from filling currents to Teichmüller space

Authors: Sebastian Hensel, Jenya Sapir

Abstract: Let $S$ be a closed, genus $g$ surface. The space of geodesic currents on $S$ encompasses the set of closed curves up to homotopy, as well as Teichmüller space, and many other spaces of structures on $S$. We show that one can define a mapping class group equivariant, length-minimizing projection from the set of filling geodesic currents down to Teichmüller space, and prove some basic properties of… ▽ More Let $S$ be a closed, genus $g$ surface. The space of geodesic currents on $S$ encompasses the set of closed curves up to homotopy, as well as Teichmüller space, and many other spaces of structures on $S$. We show that one can define a mapping class group equivariant, length-minimizing projection from the set of filling geodesic currents down to Teichmüller space, and prove some basic properties of this projection to show that it is well-behaved. △ Less

Submitted 5 October, 2022; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: 13 pages

A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness

Authors: Sebastian Hensel, Tim Laux

Abstract: We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-… ▽ More We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-461, (1993)], any limit point of solutions to the Allen-Cahn equation is a varifold solution in our sense. Second, we prove that any calibrated flow in the sense of Fischer et al. [arXiv:2003.05478] - and hence any classical solution to mean curvature flow - is unique in the class of our new varifold solutions. This is in sharp contrast to the case of Brakke flows, which a priori may disappear at any given time and are therefore fatally non-unique. Finally, we propose an extension of the solution concept to the multi-phase case which is at least guaranteed to satisfy a weak-strong uniqueness principle. △ Less

Submitted 27 September, 2021; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: 38 pages, added additional references

MSC Class: 53E10 (primary); 49Q20; 35K57; 35Q49; 28A75

Foliations from left orders

Authors: Hyungryul Baik, Sebastian Hensel, Chenxi Wu

Abstract: We describe a construction which takes as an input a left order of the fundamental group of a manifold, and outputs a (singular) foliation of this manifold which is analogous to a taut foliation. We investigate this construction in detail in dimension $2$, and exhibit connections to various problems in dimension $3$. We describe a construction which takes as an input a left order of the fundamental group of a manifold, and outputs a (singular) foliation of this manifold which is analogous to a taut foliation. We investigate this construction in detail in dimension $2$, and exhibit connections to various problems in dimension $3$. △ Less

Submitted 22 August, 2021; originally announced August 2021.

Comments: 13 pages, 1 figure

Weak-strong uniqueness for the mean curvature flow of double bubbles

Authors: Sebastian Hensel, Tim Laux

Abstract: We derive a weak-strong uniqueness principle for BV solutions to multiphase mean curvature flow of triple line clusters in three dimensions. Our proof is based on the explicit construction of a gradient-flow calibration in the sense of the recent work of Fischer et al. [arXiv:2003.05478v2] for any such cluster. This extends the two-dimensional construction to the three-dimensional case of surfaces… ▽ More We derive a weak-strong uniqueness principle for BV solutions to multiphase mean curvature flow of triple line clusters in three dimensions. Our proof is based on the explicit construction of a gradient-flow calibration in the sense of the recent work of Fischer et al. [arXiv:2003.05478v2] for any such cluster. This extends the two-dimensional construction to the three-dimensional case of surfaces meeting along triple junctions. △ Less

Submitted 27 September, 2021; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: 59 pages, corrected typos and some references, slightly revised regularity requirement in item i) of Definition 2 (gradient-flow calibration); results unchanged

Connectivity of the Gromov Boundary of the Free Factor Complex

Authors: Mladen Bestvina, Jon Chaika, Sebastian Hensel

Abstract: We show that in large enough rank, the Gromov boundary of the free factor complex is path connected and locally path connected. We show that in large enough rank, the Gromov boundary of the free factor complex is path connected and locally path connected. △ Less

Submitted 14 September, 2021; v1 submitted 4 May, 2021; originally announced May 2021.

Comments: 48 pages, 7 figures; fixed an issue in the proof of Theorem 1.1

MSC Class: 20F65; 20F28

Rotation sets and actions on curves

Authors: Jonathan Bowden, Sebastian Hensel, Kathryn Mann, Emmanuel Militon, Richard Webb

Abstract: We study the action of the homeomorphism group of a surface $S$ on the fine curve graph ${\mathcal C }^\dagger(S)$. While the definition of $\mathcal{C}^\dagger(S)$ parallels the classical curve graph for mapping class groups, we show that the dynamics of the action of ${\mathrm{Homeo}}(S)$ on $\mathcal{C}^\dagger(S)$ is much richer: homeomorphisms induce parabolic isometries in addition to ellipt… ▽ More We study the action of the homeomorphism group of a surface $S$ on the fine curve graph ${\mathcal C }^\dagger(S)$. While the definition of $\mathcal{C}^\dagger(S)$ parallels the classical curve graph for mapping class groups, we show that the dynamics of the action of ${\mathrm{Homeo}}(S)$ on $\mathcal{C}^\dagger(S)$ is much richer: homeomorphisms induce parabolic isometries in addition to elliptics and hyperbolics, and all positive reals are realized as asymptotic translation lengths. When the surface $S$ is a torus, we relate the dynamics of the action of a homeomorphism on $\mathcal{C}^\dagger(S)$ to the dynamics of its action on the torus via the classical theory of rotation sets. We characterize homeomorphisms acting hyperbolically, show asymptotic translation length provides a lower bound for the area of the rotation set, and, while no characterisation purely in terms of rotation sets is possible, we give sufficient conditions for elements to be elliptic or parabolic. △ Less

Submitted 22 April, 2021; originally announced April 2021.

Comments: 30 pages, 3 figures

Strong Haken via Sphere Complexes

Authors: Sebastian Hensel, Jennifer Schultens

Abstract: We give a short proof of Scharlemann's Strong Haken Theorem for closed $3$-manifolds (and manifolds with spherical boundary). As an application, we also show that given a decomposing sphere $R$ for a $3$-manifold $M$ that splits off an $S^2 \times S^1$ summand, any Heegaard splitting of $M$ restricts to the standard Heegaard splitting on the summand. We give a short proof of Scharlemann's Strong Haken Theorem for closed $3$-manifolds (and manifolds with spherical boundary). As an application, we also show that given a decomposing sphere $R$ for a $3$-manifold $M$ that splits off an $S^2 \times S^1$ summand, any Heegaard splitting of $M$ restricts to the standard Heegaard splitting on the summand. △ Less

Submitted 19 February, 2021; originally announced February 2021.

Comments: 13 pages, 4 figures

Corrector estimates for higher-order linearizations in stochastic homogenization of nonlinear uniformly elliptic equations

Authors: Sebastian Hensel

Abstract: Corrector estimates constitute a key ingredient in the derivation of optimal convergence rates via two-scale expansion techniques in homogenization theory of random uniformly elliptic equations. The present work follows up - in terms of corrector estimates - on the recent work of Fischer and Neukamm (arXiv:1908.02273) which provides a quantitative stochastic homogenization theory of nonlinear unif… ▽ More Corrector estimates constitute a key ingredient in the derivation of optimal convergence rates via two-scale expansion techniques in homogenization theory of random uniformly elliptic equations. The present work follows up - in terms of corrector estimates - on the recent work of Fischer and Neukamm (arXiv:1908.02273) which provides a quantitative stochastic homogenization theory of nonlinear uniformly elliptic equations under a spectral gap assumption. We establish optimal-order estimates (with respect to the scaling in the ratio between the microscopic and the macroscopic scale) for higher-order linearized correctors. A rather straightforward consequence of the corrector estimates is the higher-order regularity of the associated homogenized monotone operator. △ Less

Submitted 9 December, 2020; originally announced December 2020.

The local structure of the energy landscape in multiphase mean curvature flow: Weak-strong uniqueness and stability of evolutions

Authors: Julian Fischer, Sebastian Hensel, Tim Laux, Theresa Simon

Abstract: We prove that in the absence of topological changes, the notion of BV solutions to planar multiphase mean curvature flow does not allow for a mechanism for (unphysical) non-uniqueness. Our approach is based on the local structure of the energy landscape near a classical evolution by mean curvature. Mean curvature flow being the gradient flow of the surface energy functional, we develop a gradient-… ▽ More We prove that in the absence of topological changes, the notion of BV solutions to planar multiphase mean curvature flow does not allow for a mechanism for (unphysical) non-uniqueness. Our approach is based on the local structure of the energy landscape near a classical evolution by mean curvature. Mean curvature flow being the gradient flow of the surface energy functional, we develop a gradient-flow analogue of the notion of calibrations. Just like the existence of a calibration guarantees that one has reached a global minimum in the energy landscape, the existence of a "gradient flow calibration" ensures that the route of steepest descent in the energy landscape is unique and stable. △ Less

Submitted 27 September, 2021; v1 submitted 11 March, 2020; originally announced March 2020.

Comments: 104 pages

Finite time extinction for the 1D stochastic porous medium equation with transport noise

Authors: Sebastian Hensel

Abstract: We establish finite time extinction with probability one for weak solutions of the Cauchy-Dirichlet problem for the 1D stochastic porous medium equation with Stratonovich transport noise and compactly supported smooth initial datum. Heuristically, this is expected to hold because Brownian motion has average spread rate $O(t^\frac{1}{2})$ whereas the support of solutions to the deterministic PME gr… ▽ More We establish finite time extinction with probability one for weak solutions of the Cauchy-Dirichlet problem for the 1D stochastic porous medium equation with Stratonovich transport noise and compactly supported smooth initial datum. Heuristically, this is expected to hold because Brownian motion has average spread rate $O(t^\frac{1}{2})$ whereas the support of solutions to the deterministic PME grows only with rate $O(t^{\frac{1}{m{+}1}})$. The rigorous proof relies on a contraction principle up to time-dependent shift for Wong-Zakai type approximations, the transformation to a deterministic PME with two copies of a Brownian path as the lateral boundary, and techniques from the theory of viscosity solutions. △ Less

Submitted 29 January, 2020; originally announced January 2020.

Comments: 38 pages

Rigidity of the Torelli subgroup in $Out(F_N)$

Authors: Sebastian Hensel, Camille Horbez, Richard D. Wade

Abstract: Let $N$ be at least 4. We prove that every injective homomorphism from the Torelli subgroup into $Out(F_N)$ differs from the inclusion by a conjugation in $Out(F_N)$. This applies more generally to the following subgroups: every finite-index subgroup of $Out(F_N)$ (recovering a theorem of Farb and Handel); every subgroup that contains a finite-index subgroup of one of the groups in the Andreadakis… ▽ More Let $N$ be at least 4. We prove that every injective homomorphism from the Torelli subgroup into $Out(F_N)$ differs from the inclusion by a conjugation in $Out(F_N)$. This applies more generally to the following subgroups: every finite-index subgroup of $Out(F_N)$ (recovering a theorem of Farb and Handel); every subgroup that contains a finite-index subgroup of one of the groups in the Andreadakis--Johnson filtration; every subgroup that contains a power of every linearly-growing automorphism; more generally, every twist-rich subgroup (subgroups that contain sufficiently many twists in an appropriate sense). Among applications, this recovers the fact that the abstract commensurator of every group above is equal to its relative commensurator in $Out(F_N)$; it also implies that all subgroups in the Andreadakis--Johnson filtration are co-Hopfian. We also prove the same rigidity statement for subgroups of $Out(F_3)$ which contain a power of every Nielsen transformation. This shows in particular that $Out(F_3)$ and all its finite-index subgroups are co-Hopfian, extending a theorem of Farb and Handel to the $N=3$ case. △ Less

Submitted 23 January, 2023; v1 submitted 22 October, 2019; originally announced October 2019.

Comments: 44 pages, 8 figures. Updated references and made miscellaneous minor clarifications

MSC Class: 20E05; 20E36 (Primary); 20F65; 20E08

Quasi-morphisms on surface diffeomorphism groups

Authors: Jonathan Bowden, Sebastian Hensel, Richard Webb

Abstract: We show that the identity component of the group of diffeomorphisms of a closed oriented surface of positive genus admits many unbounded quasi-morphisms. As a corollary, we also deduce that this group is not uniformly perfect and its fragmentation norm is unbounded, answering a question of Burago--Ivanov--Polterovich. As a key tool we construct a hyperbolic graph on which these groups act, which i… ▽ More We show that the identity component of the group of diffeomorphisms of a closed oriented surface of positive genus admits many unbounded quasi-morphisms. As a corollary, we also deduce that this group is not uniformly perfect and its fragmentation norm is unbounded, answering a question of Burago--Ivanov--Polterovich. As a key tool we construct a hyperbolic graph on which these groups act, which is the analog of the curve graph for the mapping class group. △ Less

Submitted 30 March, 2020; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: 19 pages, no figures

Path-connectivity of the set of uniquely ergodic and cobounded foliations

Authors: Jon Chaika, Sebastian Hensel

Abstract: We show that for a closed surface of genus at least 5, or a surface of genus at least 2 with at least one marked point, the set of uniquely ergodic foliations and the set of cobounded foliations is path-connected and locally path-connected. We show that for a closed surface of genus at least 5, or a surface of genus at least 2 with at least one marked point, the set of uniquely ergodic foliations and the set of cobounded foliations is path-connected and locally path-connected. △ Less

Submitted 11 June, 2021; v1 submitted 9 September, 2019; originally announced September 2019.

Comments: 42 pages, 2 figures

Big mapping class groups acting on homology

Authors: Federica Fanoni, Sebastian Hensel, Nicholas G. Vlamis

Abstract: We study the action of (big) mapping class groups on the first homology of the corresponding surface. We give a precise characterization of the image of the induced homology representation. We study the action of (big) mapping class groups on the first homology of the corresponding surface. We give a precise characterization of the image of the induced homology representation. △ Less

Submitted 29 May, 2019; originally announced May 2019.

Journal ref: Indiana Univ. Math. J. 70 (2021), no. 6, 2261-2294

Handlebody Bundles and Polytopes

Authors: Sebastian Hensel, Dawid Kielak

Abstract: We construct examples of fibered three-manifolds with first Betti number at least 2 and with fibered faces all of whose monodromies extend to a handlebody. We construct examples of fibered three-manifolds with first Betti number at least 2 and with fibered faces all of whose monodromies extend to a handlebody. △ Less

Submitted 20 March, 2020; v1 submitted 18 April, 2019; originally announced April 2019.

Comments: 12 pages, no figures

Journal ref: Algebr. Geom. Topol. 21 (2021) 3445-3458

Weak-strong uniqueness for the Navier-Stokes equation for two fluids with surface tension

Authors: Julian Fischer, Sebastian Hensel

Abstract: In the present work, we consider the evolution of two fluids separated by a sharp interface in the presence of surface tension - like, for example, the evolution of oil bubbles in water. Our main result is a weak-strong uniqueness principle for the corresponding free boundary problem for the incompressible Navier-Stokes equation: As long as a strong solution exists, any varifold solution must coin… ▽ More In the present work, we consider the evolution of two fluids separated by a sharp interface in the presence of surface tension - like, for example, the evolution of oil bubbles in water. Our main result is a weak-strong uniqueness principle for the corresponding free boundary problem for the incompressible Navier-Stokes equation: As long as a strong solution exists, any varifold solution must coincide with it. In particular, in the absence of physical singularities the concept of varifold solutions - whose global in time existence has been shown by Abels [2] for general initial data - does not introduce a mechanism for non-uniqueness. The key ingredient of our approach is the construction of a relative entropy functional capable of controlling the interface error. If the viscosities of the two fluids do not coincide, even for classical (strong) solutions the gradient of the velocity field becomes discontinuous at the interface, introducing the need for a careful additional adaption of the relative entropy. △ Less

Submitted 16 January, 2019; originally announced January 2019.

Comments: 104 pages

(Un)distorted stabilisers in the handlebody group

Authors: Sebastian Hensel

Abstract: We study geometric properties of stabilisers in the handlebody group. We find that stabilisers of meridians are undistorted, while stabilisers of primitive curves or annuli are exponentially distorted for large enough genus. We study geometric properties of stabilisers in the handlebody group. We find that stabilisers of meridians are undistorted, while stabilisers of primitive curves or annuli are exponentially distorted for large enough genus. △ Less

Submitted 26 February, 2021; v1 submitted 14 January, 2019; originally announced January 2019.

Comments: 34 pages, 7 figures, accepted for publication by the Journal of Topology

The Geometry of the Handlebody Groups II: Dehn functions

Authors: Ursula Hamenstädt, Sebastian Hensel

Abstract: We show that the Dehn function of the handlebody group is exponential in any genus $g\geq 3$. On the other hand, we show that the handlebody group of genus $2$ is cubical, biautomatic, and therefore has a quadratic Dehn function. We show that the Dehn function of the handlebody group is exponential in any genus $g\geq 3$. On the other hand, we show that the handlebody group of genus $2$ is cubical, biautomatic, and therefore has a quadratic Dehn function. △ Less

Submitted 30 April, 2018; originally announced April 2018.

Comments: 29 pages, 8 figures

Modelled distributions of Triebel-Lizorkin type

Authors: Sebastian Hensel, Tommaso Rosati

Abstract: In order to provide a local description of a regular function in a small neighbourhood of a point $x$, it is sufficient by Taylor's theorem to know the value of the function as well as all of its derivatives up to the required order at the point $x$ itself. In other words, one could say that a regular function is locally modelled by the set of polynomials. The theory of regularity structures due t… ▽ More In order to provide a local description of a regular function in a small neighbourhood of a point $x$, it is sufficient by Taylor's theorem to know the value of the function as well as all of its derivatives up to the required order at the point $x$ itself. In other words, one could say that a regular function is locally modelled by the set of polynomials. The theory of regularity structures due to Hairer generalizes this observation and provides an abstract setup, which in the application of singular SPDE extends the set of polynomials by functionals constructed from, e.g., white noise. In this context, the notion of Taylor polynomials is lifted to the notion of so-called modelled distributions. The celebrated reconstruction theorem, which in turn was inspired by Gubinelli's sewing lemma, is of paramount importance for the theory. It enables to reconstruct a modelled distribution as a true distribution on $R^d$ which is locally approximated by this extended set of models or "monomials". In the original work of Hairer, the error is measured based on Hölder norms. This was then generalized to the whole scale of Besov spaces by Hairer and Labbé in subsequent papers. It is the aim of this work to adapt the analytic part of the theory of regularity structures to the scale of Triebel-Lizorkin spaces. △ Less

Submitted 11 April, 2018; v1 submitted 15 September, 2017; originally announced September 2017.

Comments: 41 pages; added section on multiplication

Finite covers of graphs, their primitive homology, and representation theory

Authors: Benson Farb, Sebastian Hensel

Abstract: Consider a finite, regular cover $Y\to X$ of finite graphs, with associated deck group $G$. We relate the topology of the cover to the structure of $H_1(Y;\mathbb{C})$ as a $G$-representation. A central object in this study is the {\em primitive homology} group $H_1^{\mathrm{prim}}(Y;\mathbb{C})\subseteq H_1(Y;\mathbb{C})$, which is the span of homology classes represented by components of lifts o… ▽ More Consider a finite, regular cover $Y\to X$ of finite graphs, with associated deck group $G$. We relate the topology of the cover to the structure of $H_1(Y;\mathbb{C})$ as a $G$-representation. A central object in this study is the {\em primitive homology} group $H_1^{\mathrm{prim}}(Y;\mathbb{C})\subseteq H_1(Y;\mathbb{C})$, which is the span of homology classes represented by components of lifts of primitive elements of $π_1(X)$. This circle of ideas relates combinatorial group theory, surface topology, and representation theory. △ Less

Submitted 27 October, 2016; originally announced October 2016.

Comments: 24 pages, 1 figure

Rigidity and Flexibility for Handlebody Groups

Authors: Sebastian Hensel

Abstract: We show that finite index subgroups of the handlebody group are rigid in their ambient mapping class group: any injective map of a finite index subgroup of the genus $g$ handlebody group into the genus $g$ mapping class group is conjugation by a mapping class group element. On the other hand, we construct an injection of the genus $g$ handlebody group into a genus $h>g$ mapping class group which… ▽ More We show that finite index subgroups of the handlebody group are rigid in their ambient mapping class group: any injective map of a finite index subgroup of the genus $g$ handlebody group into the genus $g$ mapping class group is conjugation by a mapping class group element. On the other hand, we construct an injection of the genus $g$ handlebody group into a genus $h>g$ mapping class group which is not conjugate into a handlebody group. △ Less

Submitted 10 August, 2016; originally announced August 2016.

Comments: 21 pages, 4 figures

Exponential Torsion Growth for Random 3-Manifolds

Authors: Hyungryul Baik, David Bauer, Ilya Gekhtman, Ursula Hamenstädt, Sebastian Hensel, Thorben Kastenholz, Bram Petri, Daniel Valenzuela

Abstract: We show that a random 3-manifold with positive first Betti number admits a tower of cyclic covers with exponential torsion growth. We show that a random 3-manifold with positive first Betti number admits a tower of cyclic covers with exponential torsion growth. △ Less

Submitted 19 March, 2017; v1 submitted 3 July, 2016; originally announced July 2016.

Comments: 32 pages, no figures

MSC Class: 57M10; 57Q10

Nielsen Realisation by Gluing: Limit Groups and Free Products

Authors: Sebastian Hensel, Dawid Kielak

Abstract: We generalise the Karrass-Pietrowski-Solitar and the Nielsen realisation theorems from the setting of free groups to that of free products. As a result, we obtain a fixed point theorem for finite groups of outer automorphisms acting on the relative free splitting complex of Handel--Mosher and on the outer space of a free product of Guirardel--Levitt, as well as a relative version of the Nielsen re… ▽ More We generalise the Karrass-Pietrowski-Solitar and the Nielsen realisation theorems from the setting of free groups to that of free products. As a result, we obtain a fixed point theorem for finite groups of outer automorphisms acting on the relative free splitting complex of Handel--Mosher and on the outer space of a free product of Guirardel--Levitt, as well as a relative version of the Nielsen realisation theorem, which in the case of free groups answers a question of Karen Vogtmann. We also prove Nielsen realisation for limit groups, and as a byproduct obtain a new proof that limit groups are CAT($0$). The proofs rely on a new version of Stallings' theorem on groups with at least two ends, in which some control over the behaviour of virtual free factors is gained. △ Less

Submitted 14 February, 2018; v1 submitted 10 January, 2016; originally announced January 2016.

Comments: 28 pages, 1 figure

MSC Class: 20F65; 20E06

Journal ref: Michigan Journal of Mathematics, Vol. 67, Issue 1, 2018, pp. 199--223

Moving homology classes in finite covers of graphs

Authors: Benson Farb, Sebastian Hensel

Abstract: Let $Y\to X$ be a finite normal cover of a wedge of $n\geq 3$ circles. We prove that for any $v\neq 0\in H_1(Y;\mathbb{Q})$ there exists a lift $\widetilde{F}$ to $Y$ of a homotopy equivalence $F:X\to X$ so that the set of iterates $\{\widetilde{F}^d(v): d\in \mathbb{Z}\}\subseteq H_1(Y;\mathbb{Q})$ is infinite. The main achievement of this paper is the use of representation theory to prove the ex… ▽ More Let $Y\to X$ be a finite normal cover of a wedge of $n\geq 3$ circles. We prove that for any $v\neq 0\in H_1(Y;\mathbb{Q})$ there exists a lift $\widetilde{F}$ to $Y$ of a homotopy equivalence $F:X\to X$ so that the set of iterates $\{\widetilde{F}^d(v): d\in \mathbb{Z}\}\subseteq H_1(Y;\mathbb{Q})$ is infinite. The main achievement of this paper is the use of representation theory to prove the existence of a purely topological object that seems to be inaccessible via topology. △ Less

Submitted 30 September, 2015; originally announced September 2015.

Comments: 8 pages; 1 figure

Stability in Outer Space

Authors: Ursula Hamenstädt, Sebastian Hensel

Abstract: We characterize strongly Morse quasi-geodesics in Outer space as quasi-geodesics which project to quasi-geodesics in the free factor graph. We define convex cocompact subgroups of $Out(F_n)$ as subgroups such that an orbit map in the free factor graph is a quasi-isometric embedding, and we characterize such groups via their action on Outer space in a way which resembles the characterization of con… ▽ More We characterize strongly Morse quasi-geodesics in Outer space as quasi-geodesics which project to quasi-geodesics in the free factor graph. We define convex cocompact subgroups of $Out(F_n)$ as subgroups such that an orbit map in the free factor graph is a quasi-isometric embedding, and we characterize such groups via their action on Outer space in a way which resembles the characterization of convex cocompact subgroups of mapping class groups. △ Less

Submitted 19 March, 2017; v1 submitted 9 November, 2014; originally announced November 2014.

Comments: 32 pages, no figures

MSC Class: 20F65; 20F34; 57M07

Nielsen realisation for untwisted automorphisms of right-angled Artin groups

Authors: Sebastian Hensel, Dawid Kielak

Abstract: We prove Nielsen realisation for finite subgroups of the groups of untwisted outer automorphisms of RAAGs in the following sense: given any graph $Γ$, and any finite group $G\leqslant \mathrm{U}^0(A_Γ) \leqslant \mathrm{Out}^0(A_Γ)$, we find a non-positively curved cube complex with fundamental group $A_Γ$ on which $G$ acts by isometries, realising the action on $A_Γ$. We prove Nielsen realisation for finite subgroups of the groups of untwisted outer automorphisms of RAAGs in the following sense: given any graph $Γ$, and any finite group $G\leqslant \mathrm{U}^0(A_Γ) \leqslant \mathrm{Out}^0(A_Γ)$, we find a non-positively curved cube complex with fundamental group $A_Γ$ on which $G$ acts by isometries, realising the action on $A_Γ$. △ Less

Submitted 15 July, 2016; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: 60 pages, 3 figures; major rewrite. Extended results to all dimensions. The relative Nielsen realisation for free groups proved in the previous version is now contained in a separate paper (arXiv:1601.02187)

Journal ref: Proceedings of the London Mathematical Society, Vol. 117, Issue 5, 2018, pp. 901--950

The set of uniquely ergodic IETs is path-connected

Authors: Jon Chaika, Sebastian Hensel

Abstract: Let $π$ be a non-degenerate permutation on at least $4$ symbols. We show that the set of uniquely ergodic interval exchange transformations with permutation $π$ is path-connected. Let $π$ be a non-degenerate permutation on at least $4$ symbols. We show that the set of uniquely ergodic interval exchange transformations with permutation $π$ is path-connected. △ Less

Submitted 1 June, 2015; v1 submitted 4 May, 2014; originally announced May 2014.

Comments: Major rewrite, argument reorganised and streamlined. (40 pages, 7 figures)

Slim unicorns and uniform hyperbolicity for arc graphs and curve graphs

Authors: Sebastian Hensel, Piotr Przytycki, Richard C. H. Webb

Abstract: We describe unicorn paths in the arc graph and show that they form 1-slim triangles and are invariant under taking subpaths. We deduce that all arc graphs are 7-hyperbolic. Considering the same paths in the arc and curve graph, this also shows that all curve graphs are 17-hyperbolic, including closed surfaces. We describe unicorn paths in the arc graph and show that they form 1-slim triangles and are invariant under taking subpaths. We deduce that all arc graphs are 7-hyperbolic. Considering the same paths in the arc and curve graph, this also shows that all curve graphs are 17-hyperbolic, including closed surfaces. △ Less

Submitted 23 January, 2013; originally announced January 2013.

Comments: 6 pages, 1 figure

Realisation and dismantlability

Authors: Sebastian Hensel, Damian Osajda, Piotr Przytycki

Abstract: We study dismantling properties of the arc, disc and sphere graphs. We prove that any finite subgroup H of the mapping class group of a surface with punctures, the handlebody group, or Out(F_n) fixes a filling (resp. simple) clique in the appropriate graph. We deduce realisation theorems, in particular the Nielsen Realisation Problem in the case of a nonempty set of punctures. We also prove that i… ▽ More We study dismantling properties of the arc, disc and sphere graphs. We prove that any finite subgroup H of the mapping class group of a surface with punctures, the handlebody group, or Out(F_n) fixes a filling (resp. simple) clique in the appropriate graph. We deduce realisation theorems, in particular the Nielsen Realisation Problem in the case of a nonempty set of punctures. We also prove that infinite H have either empty or contractible fixed point sets in the corresponding complexes. Furthermore, we show that their spines are classifying spaces for proper actions for mapping class groups and Out(F_n). △ Less

Submitted 2 May, 2012; originally announced May 2012.

Comments: 33 pages, 3 figures

MSC Class: 20F65; 57M07

Journal ref: Geom. Topol. 18 (2014) 2079-2126

Isoperimetric inequalities for the handlebody groups

Authors: Ursula Hamenstädt, Sebastian Hensel

Abstract: We show that the mapping class group of a handlebody of genus at least 2 has a Dehn function of at most exponential growth type. We show that the mapping class group of a handlebody of genus at least 2 has a Dehn function of at most exponential growth type. △ Less

Submitted 24 September, 2011; originally announced September 2011.

Comments: 21 pages, 1 figure

MSC Class: 20F65; 57M07

Spheres and Projections for $\mathrm{Out}(F_n)$

Authors: Ursula Hamenstädt, Sebastian Hensel

Abstract: The outer automorphism group Out(F_2g) of a free group on 2g generators naturally contains the mapping class group of a punctured surface as a subgroup. We define a subsurface projection of the sphere complex of the connected sum of n copies of S^1 x S^2 into the arc complex of the surface and use this to show that this subgroup is a Lipschitz retract of Out(F_2g). We also use subsurface projectio… ▽ More The outer automorphism group Out(F_2g) of a free group on 2g generators naturally contains the mapping class group of a punctured surface as a subgroup. We define a subsurface projection of the sphere complex of the connected sum of n copies of S^1 x S^2 into the arc complex of the surface and use this to show that this subgroup is a Lipschitz retract of Out(F_2g). We also use subsurface projections to give a simple proof of a result of Handel and Mosher [HM10] stating that stabilizers of conjugacy classes of free splittings and corank 1 free factors in a free group Fn are Lipschitz retracts of Out(F_n). △ Less

Submitted 18 April, 2014; v1 submitted 13 September, 2011; originally announced September 2011.

Comments: 32 pages, 9 figures

MSC Class: 20F65; 57M07

The geometry of the handlebody groups I: Distortion

Authors: Ursula Hamenstädt, Sebastian Hensel

Abstract: We show that the mapping class group of a handlebody of genus at least 2 (with any number of marked points or spots) is exponentially distorted in the mapping class group of its boundary surface. The same holds true for solid tori with at least two marked points or spots. We show that the mapping class group of a handlebody of genus at least 2 (with any number of marked points or spots) is exponentially distorted in the mapping class group of its boundary surface. The same holds true for solid tori with at least two marked points or spots. △ Less

Submitted 12 April, 2011; v1 submitted 10 January, 2011; originally announced January 2011.

Comments: 31 pages, 3 figures

MSC Class: 57M99; 20E36

The ending lamination space of the five-punctured sphere is the Noebeling curve

Authors: Sebastian Hensel, Piotr Przytycki

Abstract: We prove that the ending lamination space of the five-punctured sphere is homeomorphic to the Noebeling curve. We prove that the ending lamination space of the five-punctured sphere is homeomorphic to the Noebeling curve. △ Less

Submitted 5 November, 2009; v1 submitted 19 October, 2009; originally announced October 2009.

Comments: 24 pages, 5 figures

MSC Class: 51M10; 20F65

Introduction to representation theory

Authors: Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Dmitry Vaintrob, Elena Yudovina

Abstract: These are lecture notes that arose from a representation theory course given by the first author to the remaining six authors in March 2004 within the framework of the Clay Mathematics Institute Research Academy for high school students, and its extended version given by the first author to MIT undergraduate math students in the Fall of 2008. The notes cover a number of standard topics in represen… ▽ More These are lecture notes that arose from a representation theory course given by the first author to the remaining six authors in March 2004 within the framework of the Clay Mathematics Institute Research Academy for high school students, and its extended version given by the first author to MIT undergraduate math students in the Fall of 2008. The notes cover a number of standard topics in representation theory of groups, Lie algebras, and quivers, and contain many problems and exercises. They should be accessible to students with a strong background in linear algebra and a basic knowledge of abstract algebra, and may be used for an undergraduate or introductory graduate course in representation theory. △ Less

Submitted 1 February, 2011; v1 submitted 7 January, 2009; originally announced January 2009.

Comments: 108 pages. In the latest version, misprints and errors were corrected and new exercises were added, in particular ones suggested by Darij Grinberg

Iterated Grafting and Holonomy Lifts of Teichmueller space

Authors: Sebastian W. Hensel

Abstract: Let $X$ be a closed hyperbolic surface and $λ, η$ be weighted geodesic multicurves which are short on X. We show that the iterated grafting along $λ$ and $η$ is close in the Teichmueller metric to grafting along a single multicurve which can be given explicitly in terms of $λ$ and $η$. Using this result, we study the holonomy lifts $gr_λρ_{X,λ}$ of Teichmueller geodesics $ρ_{X,λ}$ for integral… ▽ More Let $X$ be a closed hyperbolic surface and $λ, η$ be weighted geodesic multicurves which are short on X. We show that the iterated grafting along $λ$ and $η$ is close in the Teichmueller metric to grafting along a single multicurve which can be given explicitly in terms of $λ$ and $η$. Using this result, we study the holonomy lifts $gr_λρ_{X,λ}$ of Teichmueller geodesics $ρ_{X,λ}$ for integral laminations $λ$ and show that all of them have bounded Teichmueller distance to the geodesic $ρ_{X,λ}$. We obtain analogous results for grafting rays. Finally we consider the asymptotic behaviour of iterated grafting sequences $\gr_{nλ}X$ and show that they converge geometrically to a punctured surface. △ Less

Submitted 15 December, 2008; v1 submitted 22 February, 2008; originally announced February 2008.

Comments: Major rewrite. Extended all of the results to multicurves and included a much more detailed treatment of holonomy lifts of both grafting rays and Teichmueller geodesics. 39 pages, 6 figures

MSC Class: 51M10; 30F60