---
title: Free Boundary Flat Y-Cone Model
url: https://www.emergentmind.com/topics/free-boundary-flat-y-cone
type: topic
---

# Free Boundary Flat Y-Cone Model

The free boundary flat \(Y\)-cone is the standard singular Plateau model in which three planar half-unit disks meet along a common diameter at equal angles of \(120^\circ\), while the outer boundary lies on the unit sphere and is orthogonal to it. In current arXiv usage, this object is most precisely the compact model denoted \(YC\) in the study of free-boundary minimal \(Y\)-surfaces in \(B^3\), where rigidity, index, and classification results are now available [2509.24137]. It must be distinguished from several different “free boundary cone” problems on arXiv—especially one-phase Bernoulli problems on singular ambient cones and capillary hypersurface cones—which concern cone-tip interaction or codimension-one capillary geometry rather than triple-junction \(Y\)-surfaces [1704.05131].

## 1. Geometric model and terminology

The ambient space for the classical flat \(Y\)-cone problem is the unit ball
\[
B^3=\mathbb B^3\subset \mathbb R^3,\qquad \partial B^3=\mathbb S^2.
\]
A free boundary minimal surface in \(B^3\) is a minimal surface \(\Sigma\subset B^3\) whose boundary lies on \(\mathbb S^2\) and which meets \(\mathbb S^2\) orthogonally along \(\partial\Sigma\) [2509.24137].

In the singular setting, the surface is a triple junction surface
\[
\Sigma=\Big(\bigcup_{j=1}^3 \Sigma_j;\Gamma\Big),
\]
where each \(\Sigma_j\) is a smooth two-sided surface, the identified boundary components \(\partial''\Sigma_j\) are glued together along a common smooth curve \(\Gamma\), and the remaining components \(\partial'\Sigma_j\) form the outer boundary
\[
\partial \Sigma=\bigcup_{j=1}^3 \partial'\Sigma_j\subset \mathbb S^2.
\]
A minimal \(Y\)-surface in \(B^3\) means that each face \(\Sigma_j\) is minimally immersed, the singular set is the common junction curve \(\Gamma\), and at each \(p\in \Gamma\) the three outward conormals \(\tau_j\) satisfy
\[
\tau_1+\tau_2+\tau_3=0.
\]
This is the standard balancing law for a \(Y\)-junction [2509.24137].

The standard compact flat \(Y\)-cone is built from the half-disk
\[
\hat D=\{x^2+y^2\le 1,\ x\ge 0\}\subset \mathbb C,
\]
with boundary decomposition
\[
\partial \hat D=\gamma\cup \sigma,
\]
where
\[
\gamma=\{-1\le y\le 1,\ x=0\}, \qquad \sigma=\{x^2+y^2=1,\ x\ge 0\}.
\]
The model domain is
\[
YC=\hat D\cup \hat D_{120}\cup \hat D_{-120},
\]
where \(\hat D_{\theta}\) denotes rotation of \(\hat D\) by angle \(\theta\) about the \(x_2\)-axis. Geometrically, \(YC\) is the union of three planar half-unit disks meeting along their diameters at equal \(120^\circ\) angles. It is “flat” because each face is planar, so
\[
A_{\Sigma_j}\equiv 0.
\]
The singular set is the common diameter, hence in the compact model a line segment with endpoints on \(\mathbb S^2\) [2509.24137].

Along the junction, the paper also imposes the metric compatibility condition
\[
\sum_{j=1}^3 \kappa_j(p)=0 \qquad \text{along }\Gamma,
\]
where
\[
\kappa_j(p)=g_j(\nabla^{\Sigma_j}_\eta \eta,\tau_j).
\]
This is the intrinsic counterpart of the \(120^\circ\) balancing relation [2509.24137].

## 2. Conformal minimal immersion and free-boundary structure

A map
\[
u=(u_1,u_2,u_3):YC\to \mathbb R^3
\]
is conformal when each restriction \(u_j\) is conformal on its face and the three maps agree along the common edge:
\[
u_i(p)=u_j(p)\qquad \forall p\in \gamma.
\]
On each face, conformality and minimality are expressed by
\[
(u_j)_{z\bar z}=0,\qquad (u_j)_z\cdot (u_j)_z=0.
\]
In polar coordinates \((r,\theta)\) on \(\hat D\), these become
\[
(u_j)_{rr}+\frac1r (u_j)_r+\frac1{r^2}(u_j)_{\theta\theta}=0,\qquad (u_j)_r\cdot (u_j)_\theta=0
\]
[2509.24137].

The free-boundary condition along the outer semicircle \(\sigma\) is that \(u_j(\sigma)\subset \mathbb S^2\) and the surface meets the sphere orthogonally. Analytically,
\[
(u_j)_r = f\, u_j \qquad \text{on }\sigma
\]
for some scalar function \(f\), and differentiation yields
\[
(u_j)_{r\theta}^{\perp}=0 \qquad \text{on }\sigma.
\]
This identity is one of the main inputs in the rigidity argument [2509.24137].

Along the singular diameter \(\gamma\), the triple-junction conditions are encoded by
\[
u_1(p)=u_2(p)=u_3(p),
\]
\[
(u_1)_r(p)=(u_2)_r(p)=(u_3)_r(p), \qquad (u_1)_{rr}(p)=(u_2)_{rr}(p)=(u_3)_{rr}(p),
\]
and
\[
(u_1)_\theta(p)+(u_2)_\theta(p)+(u_3)_\theta(p)=0.
\]
Using harmonicity, the paper further derives
\[
(u_1)_{\theta\theta}(p)=(u_2)_{\theta\theta}(p)=(u_3)_{\theta\theta}(p)
\qquad \text{along }\gamma
\]
[2509.24137].

These formulas place the flat \(Y\)-cone in a highly rigid class: the conformal structure is sectorwise classical, but the singular geometry is carried by the matching, balancing, and free-boundary orthogonality constraints. A plausible implication is that the object is best understood as a Plateau singularity model with analytic control on each face rather than as a weak multi-phase interface.

## 3. Rigidity theorem and planarity of the faces

The core rigidity statement is that any conformal and minimal immersion of the standard compact flat \(Y\)-cone into \(B^3\) meeting \(\partial B^3\) orthogonally is again a flat \(Y\)-cone [2509.24137]. A later paper restates the earlier theorem in the broader form that any conformal minimal immersion of the flat \(Y\)-cone into \(\mathbb B^n\) that meets the boundary sphere orthogonally must coincide with the flat \(Y\)-cone itself, up to orthogonal transformation [2605.27776].

The proof adapts Nitsche’s complex-analytic method from the disk case. For each face one defines
\[
Q_j(z)=(u_j)_{zz}(z), \qquad h(z)=\sum_{j=1}^3 Q_j^2(z)=\sum_{j=1}^3 (Q_j^\perp)^2(z),
\]
and then
\[
H(z)=z^4 h(z).
\]
Because each \(u_j\) is harmonic and conformal,
\[
\big((u_j)_{zz}^{\perp}\big)^2
\]
is holomorphic. The free-boundary identity \((u_j)_{r\theta}^{\perp}=0\) shows that \(H\) is real on \(\sigma\), while the matching and balancing conditions imply that \(\operatorname{Im}H=0\) on \(\gamma\). Hence \(H\) is holomorphic and real on the whole boundary, so it is constant; since it vanishes at the origin,
\[
H\equiv 0.
\]
From this one obtains along \(\sigma\)
\[
(u_j)_{r\theta}^{\perp}=0, \qquad (u_j)_{rr}^{\perp}-(u_j)_{\theta\theta}^{\perp}=0
\]
[2509.24137].

The vanishing of the quartic differential forces the boundary curves \(u_j(\sigma)\) to be arcs of great circles on \(\mathbb S^2\). If \(P_j\) is the plane containing \(u_j(\sigma)\), with unit normal \(n_j\), then \(n_j\cdot u_j\) is harmonic and vanishes on \(\sigma\). By the free-boundary condition,
\[
\nabla_{\tau_j}(n_j\cdot u_j)=0 \qquad \text{on }\sigma,
\]
and Calderón unique continuation yields
\[
n_j\cdot u_j\equiv 0 \quad \text{on }\hat D.
\]
Therefore each face lies in a plane, and the image is the planar \(Y\)-configuration [2509.24137].

The later \(T\)-cone rigidity paper describes this as the prototype singular rigidity mechanism: conformal parametrization on each sector, harmonicity and conformality, free-boundary orthogonality, junction balance, a holomorphic quadratic differential with real boundary values, vanishing of that differential, and planarity of the faces [2605.27776].

## 4. Morse index, nullity, and the index-two characterization

The flat \(Y\)-cone is not only rigid under conformal free-boundary minimal immersion; it also occupies a distinguished place in the Morse-index landscape. The paper proves:

> The Morse index of the free boundary flat \(Y\)-cone in the unit ball is two, and its nullity is five. Moreover, if \(\Sigma\) is a free boundary minimal \(Y\)-surface in the unit ball with Morse index two, then \(\Sigma\) is a \(Y\)-cone [2509.24137].

Normal variations are written as
\[
V=f\nu,\qquad f=(f_1,f_2,f_3),
\]
with admissible space
\[
W^{1,2}_{com}(\Sigma) = \left\{ f=(f_1,f_2,f_3):\ f_j\in W^{1,2}(\Sigma_j),\  f_1+f_2+f_3=0 \text{ along }\Gamma \right\}.
\]
The compatibility condition
\[
f_1+f_2+f_3=0 \quad \text{on }\Gamma
\]
preserves the \(Y\)-junction under variation [2509.24137].

The second variation quadratic form is
\[
\begin{aligned}
Q(f,f) &=
\sum_{j=1}^3 \left( \int_{\Sigma_j} |\nabla_{\Sigma_j} f_j|^2 - |A_{\Sigma_j}|^2 f_j^2
+ \int_{\partial'\Sigma_j} \mathbf H_{\partial'\Sigma_j}\cdot \tau_j\, (f_j)^2
- \int_{\partial''\Sigma_j} \mathbf H_{\partial''\Sigma_j}\cdot \tau_j\, (f_j)^2 \right).
\end{aligned}
\]
Since each face is flat,
\[
A_{\Sigma_j}\equiv 0,\qquad J_j=\Delta_{\Sigma_j},
\]
and because the junction is straight in the flat model,
\[
\mathbf H_{\partial''\Sigma_j}=0.
\]
Along the outer free boundary on \(\mathbb S^2\),
\[
\mathbf H_{\partial'\Sigma_j}\cdot \tau_j=-1.
\]
Thus the spectral problem reduces to harmonic functions on the half-disk with Steklov boundary conditions [2509.24137].

The relevant Steklov spectrum on each face is
\[
w_0|_{r=1}=1,\qquad \delta_0=0,
\]
and for \(n\ge 1\),
\[
w_n(r,\theta)=a_n r^n \cos n\theta + b_n r^n \sin n\theta,\qquad
w_n|_{r=1}=a_n\cos n\theta+b_n\sin n\theta,\qquad \delta_n=n.
\]
For compatible triples with coefficients \(\mathbf c=(c_1,c_2,c_3)\) satisfying
\[
c_1+c_2+c_3=0,
\]
the \(\delta_0=0\) eigenspace contributes a \(2\)-dimensional negative space, giving index \(2\), while the \(\delta_1=1\) eigenspace yields a \(5\)-dimensional kernel, giving nullity \(5\) [2509.24137].

The index-two classification uses ambient translations. If \(E_1,E_2,E_3\) are parallel vector fields in \(\mathbb R^3\), their normal components are Jacobi fields on each face. The paper shows that whenever such a normal component is nontrivial,
\[
Q(n,n)<0.
\]
Since there are three independent ambient translation directions but the index is only \(2\), one direction must have vanishing normal component everywhere. That forces an ambient direction tangent to all three faces, hence tangent to the junction curve \(\Gamma\), which must therefore be a straight line segment. From this the paper concludes that the surface is a flat \(Y\)-cone [2509.24137].

## 5. Position within the Plateau-model rigidity theory

The flat \(Y\)-cone now appears as one of the three canonical free-boundary Plateau model surfaces in the unit ball: the planar disk, the flat \(Y\)-cone, and the flat \(T\)-cone [2605.27776]. In the language of Plateau singularities, a surface is locally modeled on one of
\[
P,\ H,\ Y,\ T,
\]
where
\[
Y=\text{the union of three half-planes meeting along a common line at }120^\circ.
\]
This is the local model for \(Y\)-junctions, and tangent cones at \(Y\)-points are required to be \(Y\) up to orthogonal transformation [2605.27776].

The unifying rigidity statement is:

> Let \(\Sigma\) be a free-boundary minimal Plateau surface in \(\mathbb{B}^n\) arising as the image of a conformal minimal immersion of one of the classical model domains: a planar disk, the flat \(Y\)-cone, or the flat \(T\)-cone. Then \(\Sigma\) is congruent, via an orthogonal transformation of \(\mathbb{R}^n\), to the corresponding flat model [2605.27776].

Within this trichotomy, the flat \(Y\)-cone is the intermediate singular model between the smooth disk and the tetrahedral \(T\)-cone. The later \(T\)-cone paper explicitly states that its proof “follows the same strategy as the uniqueness proof for the flat \(Y\)-cone,” adapted to tetrahedral combinatorics. This places the \(Y\)-cone theorem in a structural role: it is both a classification result and a methodological prototype for singular free-boundary Plateau rigidity [2605.27776].

A plausible implication is that the flat \(Y\)-cone should be regarded as the first singular analogue of Nitsche’s equatorial disk: the singularity is permitted, but conformality, minimality, and the free-boundary condition still force the model to be planar.

## 6. Distinct cone problems and common misidentifications

The phrase “free boundary cone” has several incompatible meanings in current literature. The flat \(Y\)-cone belongs to the Plateau/minimal-surface setting, not to the one-phase Bernoulli or capillarity settings. The distinction is substantive rather than terminological.

| Setting | Model object | Relation to the flat \(Y\)-cone |
|---|---|---|
| Free-boundary minimal \(Y\)-surface | Three planar half-disks meeting at \(120^\circ\) in \(B^3\) | Genuine flat \(Y\)-cone [2509.24137] |
| One-phase Bernoulli on a right circular cone | Rotationally symmetric \(1\)-homogeneous free boundary on a singular ambient cone | Not a \(Y\)-junction [1704.05131] |
| Capillary or wedge free-boundary hypersurfaces | Codimension-one hypersurface with contact-angle condition | Generally excludes triple-junction \(Y\)-cones [2502.07697] |

In the one-phase Bernoulli problem on the three-dimensional right circular cone
\[
C:= \{(y_1,y_2,y_3,y_4) \in \mathbb{R}^4 : y_4 = c\sqrt{y_1^2 + y_2^2 + y_3^2} \},
\]
the governing system is
\[
\Delta_c u=0 \quad\text{in }\{u>0\},\qquad |\nabla_c u|=1 \quad\text{on }\partial\{u>0\}\setminus\{0\},
\]
and the relevant homogeneous solution is a rotationally symmetric cone
\[
\Phi_c(r,\phi)=r f_{1,c}(\phi).
\]
The authors state explicitly that this problem is “not about classical triple-junctions or soap-film \(Y\)-cones,” and that the resulting cone-tip blow-up is a single conical sheet rather than a \(Y\)-shape. In dimension three, stable homogeneous solutions are, up to rotation, exactly the symmetric solution \(\Phi_c\), and the structural lemmas force the zero set to be a single connected convex cone in a half-space, which is incompatible with a genuine \(Y\)-junction [1704.05131]. The later computational refinement proves that for
\[
0\le c\le 0.43,
\]
the distinguished homogeneous cone solution is the unique minimizer for its boundary data, while the stability threshold is numerically
\[
c_0\approx 0.5884,
\]
again in a setting unrelated to flat \(Y\)-cones [2101.02262].

A different but related dictionary appears in the correspondence between free boundary minimal surfaces in \(B^3\) and homogeneous one-phase free boundary cones in \(\mathbb R^3\). There the cone problem is
\[
\Delta v=0 \text{ in } K,\qquad v=0 \text{ on } \partial K,\qquad |\nabla v|=1 \text{ on } \partial K\setminus\{0\},
\]
with \(v\) homogeneous of degree \(1\). The paper proves that if \(K\cap S^2\) is diffeomorphic to a disk, then \(K\) is a half-space; if \(K\cap S^2\) is diffeomorphic to an annulus, then \(\mathbb R^3\setminus K\) is a circular cone formed by lines with aperture
\[
2\arccos(\tanh a), \qquad a\tanh a=1.
\]
This again classifies smooth one-phase cone geometries but does not address triple-junction \(Y\)-cones [1812.08943].

Capillarity and wedge problems impose yet another framework. For minimizing capillary cones in the half-space, one studies
\[
\mathcal F_\theta(E) :=\mathcal H^n(\partial E\cap \mathbb R^{n+1}_+) -\cos\theta\,\mathcal H^n(\partial E\cap \{x_{n+1}=0\}),
\]
with stability inequality
\[
\int_M \big(|\nabla_M\varphi|^2-|A|^2\varphi^2\big)\,d\mathcal H^n \ge \cos\theta\int_{\partial M} H_{\partial M}\,\varphi^2\,d\mathcal H^{n-1}.
\]
In this class, the paper proves that in dimension \(n=4\) any minimizing capillary cone with non-sign-changing \(H_{\partial M}\) is flat, and that axially symmetric minimizing capillary cones are flat for \(n<7\). But it also emphasizes that a classical \(Y\)-cone is generally outside the framework because the objects are boundaries of a single set of finite perimeter rather than multi-sheet triple-junction surfaces [2502.07697].

The same exclusionary pattern appears in wedge free-boundary minimal hypersurfaces. In a \(4\)-dimensional wedge \(\Omega_\theta^4\), \(\theta\in(0,\pi]\), any stable \(C^{1,1}\)-to-edge properly embedded free boundary minimal hypersurface \(\Sigma^3\) is flat:
\[
\Sigma=\Omega\cap P
\]
for some hyperplane \(P\subset \mathbb R^4\). This is a strong flatness theorem, but its admissible class is properly embedded hypersurfaces, not \(Y\)-junction cones [2403.08005].

The most precise conclusion is therefore terminological and geometric at once: the free boundary flat \(Y\)-cone is a singular Plateau model surface with three planar faces meeting at \(120^\circ\), rigid under conformal free-boundary minimal immersion and characterized by Morse index \(2\) in \(B^3\) [2509.24137]. Many nearby arXiv literatures discuss “free boundary cones,” but these are usually rotational Bernoulli cones, capillary hypersurface cones, or wedge-hyperplane sections rather than genuine \(Y\)-junction configurations [2605.27776].

Source: https://www.emergentmind.com/topics/free-boundary-flat-y-cone