Boundary-weighted barycenter spaces

技术摘要：边界加权重心空间

问题陈述
本文研究了非紧边界欧拉-拉格朗日泛函在拓扑建模中的浓度模式问题，特别是在具有紧致流形边界且具有临界指数增长的变分问题中。在这些问题中（例如曲面上的共振诺伊曼平均场方程），由于存在临界点，Palais-Smale 条件在共振处失效，导致出现了“无穷远处的临界点”，其中解发生集中现象。作者指出，这些浓度现象的极限剖面受控于一个特定的拓扑对象：边界加权重心空间，记作 $B^\partial_l(M)$。

与所有支撑点携带相等权重的普通重心空间不同，$B^\partial_l(M)$ 的定义规则为内部支撑点分配两个的成本（或权重），为边界支撑点分配一个的成本。一个包含 $p$ 个内部点和 $q$ 个边界点的配置属于能级 $l$，当且仅当 $2p + q \leq l$。这种加权方式反映了边界椭圆问题中的质量量子化，其中一个内部泡（bubble）携带质量 $8\pi$，而一个边界泡携带质量 $4\pi$。本文旨在对这些空间进行系统的代数拓扑计算，以促进无穷远处的莫尔斯理论（Morse theory at infinity）。

方法论
作者结合分层空间理论、同伦余极限（homotopy colimits）和对称积理论，来分析 $B^\partial_l(M)$ 的结构。

1. 分层与过滤（Stratification and Filtration）： 该空间根据内部（$p$）和边界（$q$）支撑点的数量，分解为开混合层 $B^\circ_{p,q}(M, \partial M)$。作者定义了闭层 $B^p_q(M)$ 作为这些开集的闭包。
2. 三角形交半格（Triangular Meet-Semilattice）： 层之间的闭包关系通过一个有限的三角形交半格进行编码。空间 $B^\partial_l(M)$ 被实现为由这些闭层构成的图表 $D_l$ 的余极限（colimit）。作者证明该图表是 Reedy 余辅性的（Reedy cofibrant），从而允许将该余极限视为同伦余极限。
3. 同调分解： 通过按“成本”能级 $l$ 对空间进行过滤，作者分析了连续商空间 $B^\partial_l(M) / B^\partial_{l-1}(M)$。利用连接（joins）和推压（pushouts）的性质，他们建立并证明这些商空间分解为边界 $\partial M$ 的普通重心空间与商空间 $M/\partial M$ 的楔和（wedge sums）。
4. 显式计算： 作者将通用的同调分解专门化应用于特定流形：
   • 圆盘/半球面： 利用重心空间与约化对称积以及 Dold-Thom 理论的等价性。
   • 可定向曲面： 利用商曲面 $\Sigma/\partial \Sigma$ 的分解以及生成序列技术，来计算有理及模二 Betti 多项式。

主要贡献与结果

• 连通性与欧拉示性数（定理 1.1）：
  作者根据 $M$ 和 $\partial M$ 的连通性，建立了 $B^\partial_l(M)$ 连通性的下界。他们还推导了欧拉示性数 $\chi(B^\partial_l(M))$ 的公式，表明对于偶维流形，$\chi(B^\partial_{2l}(M)) = \chi(B_l(M))$ 且 $\chi(B^\partial_{2l-1}(M)) = \chi(B_{l-1}(M))$。

• 同调分解（定理 1.2）：
  其核心结果是将 $B^\partial_l(M)$ 的约化同调显式分解为三个部分：

  1. 边界 $\partial M$ 的普通重心同调。
  2. 商空间 $M/\partial M$ 的重心同调。
  3. 代表内部配置与边界配置之间相互作用的“连接项”（join terms）。
     这些公式区分了偶数能级 $l$ 和奇数能级 $l$，并提供了关于普通重心空间同调的张量积形式的 $H_*(B^\partial_{2l}(M))$ 和 $H_*(B^\partial_{2l-1}(M))$ 的同构关系。

• 针对曲面的显式多项式（推论 1.3 & 1.5）：
  本文提供了以下对象的闭合形式有理庞卡莱多项式（rational Poincaré polynomials）：

  • 半球面 ($H_d$)： 给出针对偶数维和奇数维的显式公式。
  • 可定向曲面 ($\Sigma$)： 公式涉及亏格 $g$ 和边界分量 $b$ 的参数。作者还推导了相应的模二多项式，这对于在 $\mathbb{F}_2$ 上进行莫尔斯理论的应用至关重要。

• 在平均场方程中的应用（第 8 节）：
  作者将上述拓扑结果应用于紧致带边界曲面上的共振诺伊曼平均场方程。他们证明了对于共振参数 $\rho = 4\pi\kappa$（$\kappa \geq 2$），泛函的极负子能级（very negative sublevels）在同伦意义下等价于 $B^\partial_{\kappa-1}(\Sigma)$。因此，$B^\partial_{\kappa-1}(\Sigma)$ 的 Betti 数（本文已计算）为无穷远处的强莫尔斯关系（strong Morse relations）提供了拓扑下界（即等式右侧）。这直接将代数拓扑计算与通过无穷远处的拓扑结构来确定解的存在性联系起来。

意义与主张
本文将自身定位为边界加权重心代数拓扑计算的基础性参考文献。其主要意义在于：

1. 系统化处理： 提供了对这些特定加权空间的首次全面结构分析，超越了零散的计算。
2. 桥接分析与拓扑： 明确地将边界变分问题中紧致性的失效与 $B^\partial_l(M)$ 的拓扑结构联系起来。计算出的 Betti 数为在共振机制下编写无穷远处的莫尔斯不等式提供了必要的拓扑数据。
3. 对 PDE 的效用： 本文声称既可作为独立的计算工具，也可作为 PDE 应用（特别是共振诺伊曼平均场方程和边界 $Q$-曲率问题）的参考，在这些问题中，这些空间模型化了“无穷远处的拓扑”。

作者并不声称解决了这些 PDE 本身，而是提供了精确的拓扑不变量，以便在共振机制下编写控制解存在的莫尔斯关系。