ScalingStacks

Verified tagged author-source HTML · 2007.01384v1 · cited publication edition alignment unverified.

Notice Int​(ΔJ)⊂Δ𝒳\text{Int}(\Delta_{J})\subset\Delta_{\mathcal{X}} inherits a natural integral affine structures. Since the restriction of ϕ0\phi_{0} is convex on these faces by Prop. 3.5, its real MA measure makes sense, and by Prop. 3.7 it satisfies the real MA equation on Int​(ΔJ)\text{Int}(\Delta_{J})

MAℝ​(ϕ0)=(Ln)n!​d​μ0.\text{MA}_{\mathbb{R}}(\phi_{0})=\frac{(L^{n})}{n!}d\mu_{0}. (8)

Then the regularity theory of real MA equation (cf. section 2.5) will apply, so we may view the comparison property as a regularity assumption on ‖⋅‖C​Y\left\lVert\cdot\right\rVert_{CY}. Some subtleties are discussed in [21, Appendix].

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.