arXiv Science⌕ Search

arXiv subjects

Sebastian Hensel

Publications and source records attributed to Sebastian Hensel.

At least 19 recordsLinked to original sources
arXiv2026

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

We establish a weak-strong uniqueness principle for the two-phase Mullins-Sekerka equation in ambient dimension $d = 2$ and $3$: 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, and a stability analysis in this perturbative regime relying crucially on the gradient flow structure of the Mullins-Sekerka equation.

math.AP↗
arXiv2026

The quantitative isoperimetric inequality: A calibration argument

We give a short proof of the quantitative isoperimetric inequality. Our argument is based on a notion of quantitative calibrations which induce a natural distance controlling both the Fraenkel asymmetry and the tilt excess. The proof of our key result which can be viewed as a nonlinear, geometric version of Fuglede's result in $BV$ is direct and self-contained. In particular, we do not make any use of regularity theory for almost minimizers.

math.AP↗
arXiv2026

Approximating stable translation lengths on fine curve graphs

We study the stable translation length of homeomorphisms of a surface acting on the fine nonseparating curve graph and compare it to the stable translation lengths of its finite approximations - mapping classes relative to a finite invariant set - acting on the nonseparating curve graph. We prove that the stable translation length of a homeomorphism with a dense set of periodic points is the supremum of the stable translation lengths of its approximations, and that the stable translation length is preserved under cell-like extensions. We deduce that homotopically triv ial homeomorphisms of the torus have stable translation length which is the supremum of the stable translation lengths of their finite approximations. We show that the supremum is not always a maximum, by proving that the stable translation length of a mapping class acting on the nonseparating curve graph is rational.

math.DS↗
arXiv2025

Rotation sets and axes in the fine curve graph for torus homeomorphisms

We expand the dictionary between the action of a torus homeomorphism on the fine curve graph and its rotation set. More precisely, we show that the fixed points at infinity of a loxodromic element determine the rotation set up to scale. A key ingredient is a metric version of the classical WPD property from geometric group theory. As a consequence we find new stable criteria for positive scl, and for two homeomorphisms to generate a free group, and we provide a Tits alternative for groups of torus homeomorphisms.

math.GR↗
arXiv2025

Problems on handlebody groups

We survey a number of constructions and open problems related to the handlebody group, with a focus on recent trends in geometric group theory, (co)homological properties, and its relationship to outer automorphism groups of free groups. We also briefly describe how the \emph{cheap $α$-rebuilding property} of Abert, Bergeron, Fraczyk, and Gaboriau can be applied using the disc complex to deduce results about the homology growth of the handlebody group.

math.GR↗
arXiv2025

Measure equivalence rigidity of the handlebody groups

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.

math.GR↗
arXiv2024

Path-connectivity of Thick Laminations, and Markov Processes with Thick Limit Sets

A lamination $λ$ is $ε$-thick (with respect to a basepoint $X$), if the Teichmüller ray from $X$ in the direction of $λ$ stays in the $ε$-thick part. We show that, for surfaces of high enough genus, any two $ε$-thick laminations can be joined by a path of $δ$-thick laminations. As a consequence, we show that the Morse boundary of the mapping class group is path-connected. Furthermore, we construct a subshift of finite type on the mapping class group, whose limit set consists only of thick laminations and is path-connected.

math.GT↗
arXiv2024

Towards the boundary of the fine curve graph

The fine curve graph was introduced as a geometric tool to study homeomorphisms of surfaces. In this paper we study the Gromov boundary of this space and the local topology near points associated with certain foliations and laminations. We then give several applications including finding dynamically 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.

math.GT↗
arXiv2024

Stability of multiphase mean curvature flow beyond circular topology changes

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.

math.AP↗
arXiv2024

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

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.

math.GT↗
arXiv2023

Multitwists in big mapping class groups

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).

math.GT↗
arXiv2023

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

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.

math.AP↗
arXiv2023

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

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.

math.GR↗
arXiv2022

A projection from filling currents to Teichmüller space

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.

math.GT↗
arXiv2022

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

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.

math.AP↗
arXiv2022

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

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.

math.AP↗