The Hasse Principle for Geometric Variational Problems: An Illustration via Area-minimizing Submanifolds

Area-minimizing representatives of integral homology classes can be recovered from those of real homology and mod n homologies for n\in \mathbb{Z}_{\ge 2}.

Every area-minimizing integral current on a compact Riemannian manifold is area-minimizing mod n for infinitely many n.

An area-minimizing integral cone with subanalytic link is area-minimizing mod n for n sufficiently large.

A pair of oriented planes is area-minimizing mod n for n\ge 4 if and only if the pair is an area-minimizing integral current.

With smooth or subanalytic boundary, the solution to Plateau problem mod n is obtained by integral currents for n large enough, thus enjoying an improvement of regularity.

On orientable manifolds, area-minimizing integral currents of codimension at least two are not generically calibrated.

On a product of two closed oriented manifolds with non-vanishing Betti numbers, products of area-minimizing representatives of some homology classes are not generically area-minimizing.

The following inequality holds

The following inequality always holds

For all [\Sigma]\in H_d(M,\mathbb{Z}), there exists a positive integer N_{[\Sigma],g}, and an open set \Omega_{[\Sigma],g} containing g in the space of Riemannian metrics, both depending only on [\Sigma] and g, such that for all metrics h\in\Omega_{[\Sigma],g}, all n\ge N_{[\Sigma],g}, with \tau_d|n  

• equality holds in (2.1.2), i.e., \left\lVert[\Sigma]\right\rVert_h^{\mathbb{Z}/n\mathbb{Z}}=\left\lVert[\Sigma]\right\rVert_h^\mathbb{Z},

• the \mathbb{Z}/n\mathbb{Z}-reduction restricted to \mathbf{MIN}_h^{\mathbb{Z}}\left([\Sigma]\right) is a one to one map from   \mathbf{MIN}_h^{\mathbb{Z}}\left([\Sigma]\right) to \mathbf{MIN}_h^{\mathbb{Z}/n\mathbb{Z}}\left([\Sigma]\right).

For all metrics h\in\Omega_{[\Sigma],g}, all n\ge N_{[\Sigma],g}, with \tau_d\not|n, we have

and the \mathbb{Z}/n\mathbb{Z}-reduction is a bijection from \mathbf{MIN}_h^{\mathbb{Z}}\big([\Sigma]+nG_d(M,\mathbb{Z})\big) to \mathbf{MIN}_h^{\mathbb{Z}/n\mathbb{Z}}([\Sigma]).

Area-minimizing representatives of [\Sigma]^{\mathbb{Z}/n\mathbb{Z}} are \mathbb{Z}/n\mathbb{Z}-reductions of area-minimizing integral currents for n large enough, thus enjoying much better regularity than general \mathbb{Z}/n\mathbb{Z} area-minimizing representatives.

If d\ge 1,c\ge 2, M is orientable, and [\Sigma] a non-torsion class, then for any real number \rho>1 and all integers n\ge 2 with \operatorname{gcd}\left(n,\mu_{[\Sigma]}\right)=1,  there exists a non-empty open set \Omega'_{[\Sigma],n,\rho} in the space of Riemannian metrics, depending on [\Sigma],n, and \rho, such that for all metrics h\in\Omega'_{[\Sigma],n,\rho} we have

If c\ge 2 and M is orientable, then for any [\Sigma]\not=0, there exists a non-empty open set \Omega_{[\Sigma],\mathbb{R}} in the space of Riemannian metrics, such that for any metric h\in \Omega_{[\Sigma],\mathbb{R}} and any T\in\mathbf{MIN}_h^\mathbb{Z}([\Sigma]), there is no weakly closed measurable d-form calibrating T.

The following inequality always holds

For all [\Sigma]\in H_d(\mathbb{R}^{d+c},W,\mathbb{Z}), there exists a positive integer N_{[\Sigma],\delta}, depending only on [\Sigma], such that for all n\ge N_{[\Sigma],\delta},

• we have \left\lVert[\Sigma]\right\rVert_\delta^{\mathbb{Z}/n\mathbb{Z}}=\left\lVert[\Sigma]\right\rVert_\delta^\mathbb{Z},

• the \mathbb{Z}/n\mathbb{Z}-reduction restricted to \mathbf{MIN}_\delta^{\mathbb{Z}}\left([\Sigma]\right) is a one to one map from   \mathbf{MIN}_h^{\mathbb{Z}}\left([\Sigma]\right) to \mathbf{MIN}_\delta^{\mathbb{Z}/n\mathbb{Z}}\left([\Sigma]\right).

Assume that d\ge 1,c\ge 1, and B is an integral current cycle, i.e., \partial B=0, supported in W, then exists N_{B}\ge 0 so that for all integers n\ge N_B, the \mathbb{Z}/n\mathbb{Z}-reduction of an \mathbb{Z}-area-minimizing integral current T with boundary B is \mathbb{Z}/n\mathbb{Z}-area-minimizing.

Assume that P,Q are oriented d-dimensional subspaces of \mathbb{R}^{d+c}, with d\ge 2,c\ge 1,n\ge4. Then P^{\mathbb{Z}/n\mathbb{Z}}+Q^{\mathbb{Z}/n\mathbb{Z}} is \mathbb{Z}/n\mathbb{Z} area-minimizing if and only if P+Q is \mathbb{Z}-area-minimizing.

For n\ge 4, the \mathbb{Z}/n\mathbb{Z}-flat chain P^{\mathbb{Z}/n\mathbb{Z}}+Q^{\mathbb{Z}/n\mathbb{Z}} is \mathbb{Z}/n\mathbb{Z}-area-minimizing if and only if P+Q is \mathbb{Z}-area-minimizing.

The following inequality holds,

If d\le 2, or c\le 2, or both [\Sigma],[\Sigma'] are of dimension 3 and codimension 3, then we have \left\lVert[\Sigma]\right\rVert^{\mathbb{R}}_{g}\times \left\lVert[\Sigma']\right\rVert^{\mathbb{R}}_{g'}= \left\lVert[\Sigma]\times [\Sigma']\right\rVert^{\mathbb{R}}_{g\times g'},

When both [\Sigma],[\Sigma'] are of codimension 1 and both M,M' are orientable,

If d\ge 1,c\ge 2, [\Sigma] is a non-torsion class on an orientable M, then for any real number \kappa>1, any metric g' on M', there exists a non-empty open set \Omega_{[\Sigma],g',\kappa} in the space of Riemannian metrics on M, a non-empty open set \Omega_{[\Sigma],g',\kappa}'\ni g' in the space of Riemannian metrics on M', and an integer \nu_{[\Sigma],g',\kappa}\ge 2, such that for any metrics h\in \Omega_{[\Sigma],g',\kappa}, h'\in \Omega_{[\Sigma],g',\kappa}' and any non-torsion homology class [\sigma']\in \nu H_m(M',\mathbb{Z}) with any integers \nu\ge \nu_{[\Sigma],g',\kappa}, 0\le m\le d'+c', we have,

If X,Y\in H_d(M,W,\mathbb{Z}) are two integral homology classes with the same \mathbb{Z}/n\mathbb{Z}-reduction, i.e., X^{\mathbb{Z}/n\mathbb{Z}}=Y^{\mathbb{Z}/n\mathbb{Z}}, then

Furthermore, when \tau_d|n, then X-Y is n times a non-torsion class.

With the same assumptions as in Theorem 3, there exists an infinite subset K\subset \mathbb{Z}_{\ge 2}, such that for all k\in K, the integral homology class k[\Sigma] can be represented by a smoothly embedded connected compact submanifold,

We have

For R=\mathbb{Z} or \mathbb{Z}/n\mathbb{Z} for n\in\mathbb{Z}_{\ge 2}, finite mass R-flat chains form the space of R-rectifiable currents.

Every d-dimensional \mathbb{Z}-rectifiable current T belongs in the dual space of smooth differential forms, with actions on a form \phi defined by

where \operatorname{Rect} T is the Hausdorff d-dimensional (countably) underlying rectifiable set of T defined in [HF, Section 4.1.28(4)], \theta_T is the density of the mass measure of T and \eta is the simple unit d-vector representing the oriented tangent space to \operatorname{Rect} T Hausdorff d-dimensional a.e. 

Every d-dimensional \mathbb{Z}-flat chain decomposes as a sum of a d-dimensional \mathbb{Z}-rectifiable current and the boundary of a (d+1)-dimensional \mathbb{Z}-rectifiable current and vice versa.

For every \mathbb{Z}/n\mathbb{Z}-rectifiable current T, there exists at least one \mathbb{Z}-rectifiable current V, called Federer’s “representative" modulo n of T such that the \mathbb{Z}/n\mathbb{Z}-mass measure of T coincides with the \mathbb{Z}-mass measure of V and T=V^{\mathbb{Z}/n\mathbb{Z}}.

In general, Federer’s “representative" modulo n

•  is not unique and many times there are infinitely many,  

• of a \mathbb{Z}/n\mathbb{Z}-cycle may not even be a \mathbb{Z}-cycle at all.

The j-th Almgren stratification of T has Hausdorff dimension at most j.

Suppose T is a d-dimensional \mathbb{Z}/n\mathbb{Z}-flat chain on a not necessarily compact (d+c)-dimensional Riemannian manifold M^{d+c}. Let S be a rectifiable current that is a Federer’s “representative" modulo n of T. Then

where \operatorname{Reg}(T) denotes the regular part of T.

Suppose T is a d-dimensional \mathbb{Z}/n\mathbb{Z}-area-minimizing \mathbb{Z}/n\mathbb{Z}- flat chain on a not necessarily compact (d+c)-dimensional Riemannian manifold (M^{d+c},h) with possibly non-zero boundary \partial T. Then

has Hausdorff dimension at most (d-2).

Assume that S is a d-dimensional \mathbb{Z}-rectifiable current on a not necessarily compact (d+c)-dimensional Riemannian manifold M^{d+c}. If

with W and W\cup O closed, O disjoint from W and O having Hausdorff dimension at most (d-2), then we have

\left\lVert\cdot\right\rVert^R_g depends continuously on g.

If \mathbf{M}_g^R\le A\mathbf{M}_h^R for A>0, then \left\lVert\cdot\right\rVert_g^R\le A\left\lVert\cdot\right\rVert_h^R.

\left\lVert\cdot\right\rVert^R_g is a norm in the sense of Definition 2.1.4, i.e., satisfying reversibility, triangle inequality and positivity.

For any integer k\in \mathbb{Z}, \omega\in H_d(M,R), we have

We have

• \left\lVert\cdot\right\rVert^{\mathbb{R}}_g is turns the the vector space H_d(M,\mathbb{R}) into a finite dimensional Banach space,

• \left\lVert[\Sigma]\right\rVert^{\mathbb{R}}_g\not=0  if and only if [\Sigma] is a non-torsion class.

• we have

  \begin{aligned} \lim_{\substack{k\to\infty\\ k\in\mathbb{N}}}\frac{\left\lVertk[\Sigma]\right\rVert_g^{\mathbb{Z}}}{k}=\left\lVert[\Sigma]\right\rVert_g^{\mathbb{R}}. \end{aligned}

For any torsion class \tau\in H_d(M,\mathbb{Z}), we have

If an integer k\in \left(-\frac{n}{2},\frac{n}{2}\right] invertible in \mathbb{Z}/n\mathbb{Z} with its unique inverse in \left(-\frac{n}{2},\frac{n}{2}\right] denoted by l, then for any \omega\in H_d(M,\mathbb{Z}/n\mathbb{Z}), we have

and thus

Fix a basis \{v_1,\cdots,v_b\} of \mathbb{R}^b. For any continuous Banach norm \left\lVert\cdot\right\rVert on \mathbb{R}^n, there exists a C>0 that depends continuously on \left\lVert\cdot\right\rVert, so that

with each a_j\in \mathbb{R}.

There exists a continuous function \upsilon mapping the space of Riemannian metrics to \mathbb{R}_{\ge 0}, such that  

If a d-dimensional integral current T on a Riemannian manifold is calibrated by a degree d smooth calibration form \phi, then T is both \mathbb{Z}-area-minimizing and \mathbb{R}-area-minimizing, and any integral current homologous to T and having the same area as T must also be calibrated by \phi.

Every element of \mathbf{MIN}_g^{\mathbb{R}}\left([\Sigma]\right) is calibrated by a calibration \mathbb{R}-flat cochain.

A \mathbb{Z}-area-minimizing integral current representing [\Sigma] is calibrated by an \mathbb{R}-flat cochain if and only if \left\lVert[\Sigma]\right\rVert_g^{\mathbb{Z}}=\left\lVert[\Sigma]\right\rVert_g^{\mathbb{R}}.

[VDDMom, Definition on p.506 and discussion right after it] An \mathbb{R}_{\operatorname{an}}-definable set of \mathbb{R} is a finite union of intervals and points.

Compact subanalytic sets in Euclidean spaces are \mathbb{R}_{\operatorname{an}}-definable.

If W is a (d-1)-dimensional compact subanalytic set of \mathbb{R}^{d+c} and V is a (c+1)-dimensional subspace of \mathbb{R}^{d+c}, with c,d\ge 1, then for Haar measure almost every g\in O(d+c), W\cap g.V consists of at most \mu_W points. Furthermore, affine translates W+p of W satisfies

The set of points in g\in O(d+c) satisfying \dim g.V\cap W\ge 1 is \mathbb{R}_{\operatorname{an}}-definable and has dimension most \dim(O(d+c))-1

Let V be a (c+1)-dimensional subspace of \mathbb{R}^{d+c} and v a unit length vector in V. Then the subset O(V,v) of O(d+c) defined by

is a smooth \mathbb{R}_{\operatorname{an}}-definable set of dimension

Let N be a d-dimensional open submanifold in a complete (d+c)-dimensional manifold M. Then an d-dimensional R-flat chain T such that \operatorname{Supp} \partial T\cap N=\emptyset restricted to N equals \alpha N for some \alpha\in R.

The d-dimensional R-homology of W, H_d(W,R), satisfies the following properties

1. H_{d-1}(W,R) is finitely generated abelian group and is free R=\mathbb{Z} or \mathbb{R},

2. every element of H_{d-1}(W,R) can be represented by a unique (d-1)-dimensional simplicial R-cycle and vice versa,

3. every (d-1)-dimensional R-flat chain cycle supported in W can be represented by a simplicial cycle,

4. the (d-1)-dimensional homology of R-flat chains supported in W is isomorphic to H_{d-1}(W,R).

5. every element of H_{d-1}(W,R) can be represented by a unique (d-1)-dimensional R-flat chain cycle and vice versa.

\left\lVert\cdot\right\rVert^R_\delta is a norm in the sense of Definition 2.1.4 on \mathcal{C}(\mathbb{R}^n,R) i.e., satisfying reversibility, triangle inequality and positivity.

For any integer k\in \mathbb{Z}, \beta\in\mathcal{C}(\mathbb{R}^n,R), we have

We have

• \left\lVert\cdot\right\rVert^{\mathbb{R}}_\delta turns the vector space H_d(\mathbb{R}^{d+c},W,\mathbb{R}) into a finite dimensional Banach space,

• \left\lVertk\beta\right\rVert^\mathbb{R}_\delta= |k|\left\lVert\beta\right\rVert^\mathbb{R}_\delta for any k\in\mathbb{R},

• and

  \begin{aligned} \lim_{\substack{k\to\infty\\ k\in\mathbb{N}}}\frac{\left\lVertk\beta\right\rVert^{\mathbb{Z}}_\delta}{k}=\left\lVert\beta\right\rVert^{\mathbb{R}}_\delta. \end{aligned}

We have  

Assume N is a d-dimensional connected embedded compact closed submanifold of M. For any real number \lambda>0,  there exists a smooth tubular neighborhood U(N) of N, a smooth Riemannian metric h on M, and a smooth deformation retract \pi_N of U(N) onto N, such that

• any stationary varifold on (M,h) whose support is not contained in U(N) has area larger than \lambda \mathbf{M}_h^{\mathbb{Z}}(N),

• \pi_N^\ast \operatorname{dvol}_{N} is a calibration form on (U(N),h),

• N is the only integral current calibrated by \pi_N^\ast \operatorname{dvol}_{N} in (U(N),h),

• if N represents a non-zero \mathbb{R}-homology class, then \pi_N^\ast \operatorname{dvol}_{N} can be extended to a smooth calibration form on (M,h),

• N is \mathbb{Z}/n\mathbb{Z}-area-minimizing in U(N) for n\in \mathbb{Z}_{\ge2}.

There exist an open set \Omega_g containing g in the space of smooth Riemannian metrics, positive real numbers C_g,c_g,r_g>0 depending on g,  such that, for any metric h\in \Omega_g, any point p\in M and  all radii r\in(0,r_g], we have

• for any d-dimensional integral stationary varifold V on M in the metric h, the function,

  \begin{aligned} \exp(c_gr)V(\mathbf{B}_r(p,h))r^{-d}, \end{aligned}

  is monotonically increasing in r, where V(\cdot) denotes the mass measure of V, and \mathbf{B}_r(p,h) is the radius r geodesic ball in metric h  centered at p,

• and the density \theta_V({p,h}) of V at p in h is well-defined and satisfies

  \begin{aligned} \theta_V({p,h})\le C_g V(M). \end{aligned}

Using the same notation as Lemma 4.1.1, for R=\mathbb{Z} or R=\mathbb{Z}/n\mathbb{Z} with n\ge 2 and all p\in M,h\in\Omega_g and any T\in\mathbf{MIN}_h^{R}\left([\Sigma]\right), we have

with C_{[\Sigma]}>0 depending only on [\Sigma] and \Omega_g, not on R.

Assume Assumption 2.2.1. Let T\in\mathbf{MIN}^R_\delta([\Sigma]) for R=\mathbb{Z} or R=\mathbb{Z}/n\mathbb{Z} with n\in\mathbb{Z}_{\ge 2}. There exists C_{[\Sigma]}>0 depending only on [\Sigma], not on R, so that for any point p\in\mathbb{R}^{d+c}, then \theta_T(p), the density of the R-mass measure of T at p, is at most \theta(B), i.e.,

Assume that c,d\in\mathbb{Z}_{\ge1}, and R=\mathbb{Z} or R=\mathbb{Z}/n\mathbb{Z} with n\ge 2. If W is a closed smooth (d-1)-dimensional submanifold of \mathbb{R}^{d+c} and B is a smooth (d-1)-dimensional integral cycle with \operatorname{Supp} B\subset W, and T is an R-area-minimizing flat chain with boundary

then for any point p\in\mathbb{R}^{d+c}, we have \theta_T(p)\le C_{B}, with C_{B} a positive real number depending only on B.

Assume that c,d\in\mathbb{Z}_{\ge1}, and R=\mathbb{Z} or R=\mathbb{Z}/n\mathbb{Z} with n\ge 2. If W is a compact (d-1)-dimensional subanalytic set of \mathbb{R}^{d+c} and B is a (d-1)-dimensional integral cycle with \operatorname{Supp} B\subset W, and T is an R-area-minimizing flat chain with boundary

then for any point p\in\mathbb{R}^{d+c}, we have \theta_T(p)\le C_{B}, with C_{B} a positive real number depending only on B.

For any point p\in \mathbb{R}^{d+c}, we have

\left|B^R\right| is finite and depends only on B^R.

For any point p\in \mathbb{R}^{d+c}, we have

For any point p\in \mathbb{R}^{d+c}, we have

When we are in the second case of Assumption 2.2.1, for any T\in\mathbf{MIN}^R_\delta([\Sigma]^R) we have

For p\in \mathbb{R}^{d+c}, and T\in\mathbf{MIN}^R_\delta([\Sigma_{P,Q}]) we have

and strict inequality holds for p\not=0.

Assume that n\ge 3C_{[\Sigma]}. For any metric h\in \Omega_g, let

Then any \mathbb{Z}-rectifiable current S that is Federer’s “representative" modulo n of T satisfies

In other words, S is a relative cycle in H_d(M,W,\mathbb{Z}) and the singular set of S outside of W is of Hausdorff dimension at most (d-2).

Using the same notation as in Fact 6.0.1, there exists a positive real number N_{[\Sigma],g}, so that for n\ge N_{[\Sigma],g}, we have [S]\in[\Sigma]+nG_d(M,W,\mathbb{Z}). Furthermore, if \tau_d|n, then nG_d(M,W,\mathbb{Z})=0 and we have [S]=[\Sigma].

S\in\mathbf{MIN}_h^\mathbb{Z}([S]) and S\in \mathbf{MIN}_h^{\mathbb{Z}}([\Sigma]+nH_d(M,W,\mathbb{Z})).

Using the same notation as in Fact 3.3.4, S as a Federer’s “representative" modulo n is unique. In other words, if S' is another Federer’s “representative" modulo n of T, then we have S=S'.

Any \mathbb{Z}-rectifiable current S that is Federer’s “representative" modulo n of T determines a homology class \partial S\in H_{d-1}(W_{P,Q},\mathbb{Z}) provided n\ge 4.

a,b cannot be of of opposite signs.

The forms P^\ast and Q^\ast are calibration forms calibrating only P and Q, respectively.

There exists N_B depending only on B so that T_n is an integral current with \partial T_n=B for n\ge N_B.

A \mathbb{Z}-area-minimizing current in a non-zero torsion homology class can never be calibrated.

If d\ge 1,c\ge 2, [\Sigma] is a non-torsion class and M is an orientable, then for any \lambda>0, there exists a non-empty open set \Omega'_{[\Sigma],\lambda} in the space of Riemannian metrics, depending on [\Sigma] and \lambda, such that for any metric h\in \Omega'_{[\Sigma],\lambda}, we have

For any metric h on M, there exists a non-empty open set \Omega_{[\Sigma],h}\ni h in the space of Riemannian metrics on M, and an integer \nu_{[\Sigma],h} such that for any integer \nu\ge \nu_{[\Sigma],h} and any metric {\hat{h}}\in \Omega_{[\Sigma],h}, we have

If d\ge 1,c\ge 2, [\Sigma] is a non-torsion class and M is an orientable, and K is the infinite subset of \mathbb{Z}_{\ge 2} defined in Lemma 3.1.2, then for any two integer k,l\in K with k<l and any real numbers \lambda>1,  there exist a non-empty open set \Omega'_{[\Sigma],k,l,\lambda} in the space of Riemannian metrics, depending on [\Sigma], k, l, and \lambda, such that for any metric h\in \Omega'_{[\Sigma],k,l,\lambda}, we have

We have

\mathbf{LavGap}([\Sigma],R) is always a (possibly empty) open set.

\mathbf{LavGap}([\Sigma],\mathbb{R}) is the set of metrics g where no element of \mathbf{MIN}_{g}^{\mathbb{Z}}([\Sigma]) can be calibrated.

If [\Sigma]\in H_d(\mathbb{CP}^{\frac{d+c}{2}},\mathbb{Z}), the Fubini-Study metric lies in the closure of \mathbf{LavGap}([\Sigma],\mathbb{R}).

[FMvbd, 3.3 Lemma] A d-dimensional \mathbb{Z}/n\mathbb{Z}-area-minimizing \mathbb{Z}/n\mathbb{Z}-flat chain in \mathbb{R}^{d+c} has Euclidean volume growth and has a tangent cone at infinity.

A d-dimensional \mathbb{Z}/n\mathbb{Z}-size-minimizing flat chain T satisfies

•  ([BWfrfc]) the d-th stratum in the Almgren stratification of T is a smooth open not necessarily connected d-dimensional submanifold,

• ([FMmcr, LScy]) near each point in the (d-1)-th stratum in the Almgren stratification of T, the support of T decomposes into three d-dimensional submanifolds with boundaries meeting along a (d-1)-dimensional submanifold at equal angles of \frac{2\pi}{3}, i.e., forming Y-shaped triple junctions.