arXiv subjects

Davide Parise

Publications and source records attributed to Davide Parise.

15 recordsLinked to original sources

arXiv2026

Regularity and compactness theory of stable free-boundary minimal hypersurfaces

We establish the free-boundary version of Schoen-Simon's regularity and compactness theory for stable minimal hypersurfaces in a complete $(n+1)$-dimensional Riemannian manifold-with-boundary, following the intrinsic PDE scheme introduced by the first-named author. The key step is to prove sheeting theorems in the two possible scenarios in which local weak flatness can occur near a point on $\partial M$: flatness with respect to $\partial M$, and flatness with respect to a reference hypersurface-with-boundary meeting $\partial M$ orthogonally. We obtain these theorems via $\varepsilon$-regularity results for geometrically adapted tilt functions that quantify flatness while keeping track of the ambient geometry. These tilt functions satisfy nonlinear elliptic PDEs on the hypersurface which are amenable to an intrinsic analysis via De Giorgi iteration, made possible by the weak Caccioppoli-type inequalities obtained from stability. Both results apply to immersed hypersurfaces with a singular set of locally finite $(n-2)$-dimensional Hausdorff measure. When specialised to embeddings, they yield compactness and regularity: a sequence of stable free-boundary embedded minimal hypersurfaces with uniformly bounded area and singular sets of locally finite $(n-2)$-measure admits a subsequence converging to a free-boundary minimal hypersurface that is smoothly embedded away from a singular set of Hausdorff dimension at most $n-7$. Convergence is smooth and graphical, possibly with multiplicity, away from this singular set. As an application, we extend to arbitrary dimension the free-boundary Almgren-Pitts existence theory developed by the second-named author with X. Zhou and prove that every compact Riemannian manifold-with-boundary of dimension $n+1$ contains a free-boundary minimal hypersurface smoothly embedded outside a singular set of Hausdorff dimension at most $n-7$.

math.DG↗

arXiv2026

Boundary behaviour of stable Allen-Cahn limit-interfaces in Riemannian manifolds

This is the second paper in our series of works to develop the min-max theory for free boundary minimal hypersurfaces in Riemannian manifolds with boundary via the Allen-Cahn equation. Building on our previous work for general critical points, we study the boundary behaviour of limit-interface integral varifolds arising from stable (or finite Morse index) solutions to the Allen-Cahn equation with Neumann boundary condition. More precisely, we prove that the limit-interface is a curvature varifold with boundary in the sense of Mantegazza satisfying a generalized stability inequality. Furthermore, we rule out classical tangent cones at the boundary and show that the first variation of the limit-interface varifold is singular with respect to its weight measure. In particular, our result confirms a folklore conjecture that the boundary concentration examples of Malchiodi, Ni and Wei have unbounded Morse index. As will be evident in our forthcoming work, the results obtained in this paper are crucial ingredients towards the optimal boundary regularity in the Allen-Cahn free boundary min-max theory.

math.DG↗

arXiv2026

Second order estimates on transition layers for the Allen-Cahn equation with homogeneous Neumann boundary conditions: Part I - Boundary-orthogonal transition layers

We study stable solutions of the Allen-Cahn equation with homogeneous Neumann boundary condition on Riemannian manifolds with boundary in the regime where the transition layers meet the boundary orthogonally. Under an a priori bound for the enhanced second fundamental form in the transition region, we establish uniform second-order Hölder estimates and quantitative mean curvature decay for the nodal hypersurfaces up to the boundary in ambient dimensions at most 10. The proof adapts the technique pioneered by Wang-Wei, adding a further correction determined by the geometry of the ambient boundary. Its leading contribution to mean curvature cancels on the nodal set but survives on non-zero level sets in the transition region, whose mean curvature need not decay uniformly. This phenomenon has no interior analogue and is exhibited by stable solutions constructed by Kowalczyk.

math.AP↗

arXiv2026

White's cone over the Möbius band is area-minimising

We prove that the cone $C(Σ)$ in $\mathbb R^4$ over a suitable minimal Möbius band $Σ\subset \mathbb S^3$ is locally mass-minimising with coefficients in $\mathbb Z_2$. This proves a conjecture by Brian White in the context of models of boundary singularities of Plateau's problem in ambient dimension $4$ or higher. The key insight is that the cylindrical slices $C(Σ)\cap \{(z,w)\in \mathbb R^2 \times \mathbb R^2 : |w|=r\}$ are minimal surfaces in a flat rank-one translation quotient of $\mathbb R^3$. In fact, they correspond to non-orientable minimising helicoids previously studied by Antonio Ros. We also show that, up to rigid motions, the minimising cones $C(Σ)\times \mathbb R^{n-4}\subset \mathbb R^n$ are the only non-planar minimal hypercones with boundary $\mathbb R^{n-2}$ which are smooth away from the boundary that satisfy the minimal cylindrical slice property.

math.DG↗

arXiv2026

Uniqueness of free boundary minimal annuli

We prove that every smooth properly embedded free-boundary minimal annulus in the unit ball is congruent to the critical catenoid. We also classify positive solutions of $(Δ_{\mathbb{S}^2}+2)u=0$ on smooth spherical annuli with $u=0$ and $|\nabla u|=1$ on the boundary; their one-homogeneous extensions are the axially symmetric Alt-Caffarelli cones. Lastly, we also treat the case of free-boundary minimal annuli in spherical caps.

math.DG↗

arXiv2025

Generic regularity of isoperimetric regions in dimension eight

We establish generic regularity results for isoperimetric regions in closed Riemannian manifolds of dimension eight. In particular, we show that every isoperimetric region has a smooth nondegenerate boundary for a generic choice of smooth metric and enclosed volume, or for a fixed enclosed volume and a generic choice of smooth metric.

math.DG↗

arXiv2025

Symmetric log-epiperimetric inequality for harmonic maps with analytic target and applications

We establish a direct symmetric (log)-epiperimetric inequality for harmonic maps with analytic target and we leverage on this result to achieve a new proof of Simon's celebrated uniqueness of tangents with isolated singularity for energy minimizing harmonic maps. Moreover, we show that tangents at infinity of energy minimizing harmonic maps with suitably controlled energy growth are always unique, by exploiting the lower bound entailed in the symmetric (log)-epiperimetric inequality.

math.DG↗

arXiv2025

Nonabelian Yang-Mills-Higgs and Plateau's problem in codimension three

We investigate the asymptotic behavior of the $\mathrm{SU}(2)$-Yang-Mills-Higgs energy $E(Φ,A)=\int_M|d_AΦ|^2+|F_A|^2$ in the large mass limit, proving convergence to the codimension-three area functional in the sense of De Giorgi's $Γ$-convergence. More precisely, for a compact manifold with boundary $M$ and any family of pairs $Φ_m\inΩ^0(M;\mathfrak{su}(2))$ and $A_m\in Ω^1(M;\mathfrak{su}(2))$ indexed by a mass parameter $m\to\infty$, satisfying $$E(Φ_m,A_m)\leq Cm\quad\text{and}\quad\lim_{m\to\infty}\frac{1}{m}\int_M(m-|Φ_m|)^2=0,$$ we prove that the $(n-3)$-currents dual to $\frac{1}{2πm}\mathrm{tr}(d_{A_m}Φ_m\wedge F_{A_m})$ converge subsequentially to a relative integral $(n-3)$-cycle $T$ of mass \begin{equation} \mathbb{M}(T)\leq \liminf_{m\to\infty}\frac{1}{4πm}E(Φ_m,A_m), \end{equation} and show conversely that any integral $(n-3)$-current $T$ with $[T]=0\in H_{n-3}(M,\partial M;\mathbb{Z})$ admits such an approximation, with equality in the above inequality. In the special case of pairs $(Φ_m,A_m)$ satisfying the generalized monopole equation $*d_{A_m}Φ_m=F_{A_m}\wedge Θ$ for a calibration form $Θ\in Ω^{n-3}(M)$, we deduce that the limit $ν=\lim_{m\to\infty}\frac{1}{2πm}|d_{A_m}Φ_m|^2$ of the Dirichlet energy measures satisfies $ν\leq |T|$, with equality if and only if $T$ is calibrated by $Θ$, giving evidence for predictions of Donaldson-Segal in the settings of $G_2$-manifolds and Calabi-Yau $3$-folds.

math.DG↗

arXiv2024

Almost minimizing Yang$-$Mills fields: log-epiperimetric inequality, non-concentration, and uniqueness of tangents

We establish a direct log-epiperimetric inequality for Yang$-$Mills fields in arbitrary dimension and we leverage on it to prove uniqueness of tangent cones with isolated singularity for energy minimizing Yang$-$Mills fields and $ω$-ASD connections (where $ω$ is not necessarily closed) satisfying some suitable regularity assumptions. En route to this we establish a Luckhaus type lemma for Yang$-$Mills connections to exclude curvature concentration along blow-up sequences.

math.DG↗

arXiv2024

Rectifiability of the singular set and uniqueness of tangent cones for semicalibrated currents

We prove that the singular set of an $m$-dimensional integral current $T$ in $\mathbb{R}^{n + m}$, semicalibrated by a $C^{2, κ_0}$ $m$-form $ω$ is countably $(m - 2)$-rectifiable. Furthermore, we show that there is a unique tangent cone at $\mathcal{H}^{m - 2}$-a.e. point in the interior singular set of $T$. Our proof adapts techniques that were recently developed in [DLS23a, DLS23b, DLMS23] for area-minimizing currents to this setting.

math.AP↗

arXiv2024

Quantitative stability of Sobolev inequalities on compact Riemannian manifolds

We study quantitative stability results for different classes of Sobolev inequalities on general compact Riemannian manifolds. We prove that, up to constants depending on the manifold, a function that nearly saturates a critical Sobolev inequality is quantitatively $W^{1,2}$-close to a non-empty set of extremal functions, provided that the corresponding optimal Sobolev constant satisfies a suitable strict bound. The case of sub-critical Sobolev inequalities is also covered. Finally, we discuss degenerate phenomena in our quantitative controls.

math.AP↗

arXiv2023

Boundary behavior of limit-interfaces for the Allen-Cahn equation on Riemannian manifolds with Neumann boundary condition

We study the boundary behavior of any limit-interface arising from a sequence of general critical points of the Allen-Cahn energy functionals on a smooth bounded domain. Given any such sequence with uniform energy bounds, we prove that the limit-interface is a free boundary varifold which is integer rectifiable up to the boundary. This extends earlier work of Hutchinson and Tonegawa on the interior regularity of such limit-interface. A key novelty in our result is that no convexity assumption of the boundary is required and it is valid even when the limit-interface clusters near the boundary. Moreover, our arguments are local and thus works in the Riemannian setting. This work provides the first step towards the regularity theory for the Allen-Cahn min-max theory for free boundary minimal hypersurfaces, which was developed in the Almgren-Pitts setting by the first-named author and Zhou.

math.DG↗

arXiv2023

The Parabolic $U(1)$-Higgs Equations and Codimension-two Mean Curvature Flows

We develop the asymptotic analysis as $ε\to 0$ for the natural gradient flow of the self-dual $U(1)$-Higgs energies $$E_ε(u,\nabla)=\int_M\left(|\nabla u|^2+ε^2|F_{\nabla}|^2+\frac{(1-|u|^2)^2}{4ε^2}\right)$$ on Hermitian line bundles over closed manifolds $(M^n,g)$ of dimension $n\ge 3$, showing that solutions converge in a measure-theoretic sense to codimension-two mean curvature flows -- i.e., integral $(n-2)$-Brakke flows -- generalizing results of the last two authors from the stationary case. Given any integral $(n-2)$-cycle $Γ_0$ in $M$, these results can be used together with the convergence theory developed in previous work of the authors to produce nontrivial integral Brakke flows starting at $Γ_0$ with additional structure, similar to those produced via Ilmanen's elliptic regularization.

math.DG↗

arXiv2023

Warped Tori with Almost Non-Negative Scalar Curvature

For sequences of warped product metrics on a $3$-torus satisfying the scalar curvature bound $R_j \geq -\frac{1}{j}$, uniform upper volume and diameter bounds, and a uniform lower area bound on the smallest minimal surface, we find a subsequence which converges in both the Gromov-Hausdorff and the Sormani-Wenger Intrinsic Flat sense to a flat $3$-torus.

math.DG↗

arXiv2021

Convergence of the self-dual $U(1)$-Yang-Mills-Higgs energies to the $(n-2)$-area functional

Given a hermitian line bundle $L\to M$ on a closed Riemannian manifold $(M^n,g)$, the self-dual Yang-Mills-Higgs energies are a natural family of functionals \begin{align*} &E_ε(u,\nabla):=\int_M\Big(|\nabla u|^2+ε^2|F_\nabla|^2+\frac{(1-|u|^2)^2}{4ε^2}\Big) \end{align*} defined for couples $(u,\nabla)$ consisting of a section $u\inΓ(L)$ and a hermitian connection $\nabla$ with curvature $F_\nabla$. While the critical points of these functionals have been well-studied in dimension two by the gauge theory community, it was shown in previous work of the second- and third-named authors that critical points in higher dimension converge as $ε\to 0$ (in an appropriate sense) to minimal submanifolds of codimension two, with strong parallels to the correspondence between the Allen-Cahn equations and minimal hypersurfaces. In this paper, we complement this idea by showing the $Γ$-convergence of $E_ε$ to ($2π$ times) the codimension two area: more precisely, given a family of couples $(u_ε,\nabla_ε)$ with $\sup_εE_ε(u_ε,\nabla_ε)<\infty$, we prove that a suitable gauge invariant Jacobian $J(u_ε,\nabla_ε)$ converges to an integral $(n-2)$-cycle $Γ$, in the homology class dual to the Euler class $c_1(L)$, with mass $2 π\mathbb{M}(Γ)\le\liminf_{ε\rightarrow 0}E_ε(u_ε,\nabla_ε)$. We also obtain a recovery sequence for any integral cycle in this homology class. Finally, we apply these techniques to compare min-max values for the $(n-2)$-area from the Almgren-Pitts theory with those obtained from the Yang-Mills-Higgs framework, showing that the former values always provide a lower bound for the latter. As an ingredient, we also establish a Huisken-type monotonicity result along the gradient flow of $E_ε$.

math.DG↗