3.2 星系形成物理栈演进

3.2 星系形成：无碰撞暗物质到重子物理

本节摘要：星系动力学可以先把恒星和暗物质当成无碰撞粒子，看盘稳不稳、旋臂怎么长、并合怎么把盘加热成椭球。星系形成则必须让气体冷却、变成恒星、再把能量动量还回去。White 与 Rees 的层次图景给出骨架；此后四十年的争论，多半不是骨架错了，而是冷却灾难如何被反馈按住。读星系模拟，就是读这一叠物理栈，而不是读一张更细的晕图。

学习目标

阅读完本节，你应当能够：

1. 区分无碰撞星系动力学与重子星系形成各自问的问题
2. 解释冷却灾难：若只有冷却没有反馈，气体会掉进中心变成什么
3. 按层列出当代星系形成栈：晕、气体、星形成、超新星、黑洞
4. 说明分辨率与配方如何纠缠：加密格子不等于可以关掉反馈
5. 把 EAGLE、FIRE、TNG 等项目放回“同一骨架、不同配方哲学”的谱系，而不是品牌榜

先有能转的盘，才有能冷却的气

图姆雷用很少的粒子展示：自引力盘可以长出旋臂。霍尔等人讨论盘的热稳定性。这些工作的物质是无碰撞的——恒星或暗物质，没有激波，没有辐射。它们回答的是动力学：势、轨道、共振、并合加热。直到今天，纯 N 体仍是理解棒、环、潮汐尾的合法实验室。把气体和星形成打开，这些动力学信号会被配方噪声淹没，所以谱系没有被废除。

White 与 Rees 把宇宙学层次形成写成：暗物质晕先塌，气体落入势阱，冷却才形成恒星。骨架是引力的，重子是后来者。冷却函数一旦接入，灾难立刻出现——高红移的低质量晕冷却时标短，气体会过早变成恒星，今天的星系质量函数会错得离谱。反馈因此不是锦上添花，它是按住冷却灾难的手。超新星把动量和能量送回气体，黑洞在大质量端再按一次。没有这两只手，分辨率越高，灾难越干净。

无碰撞层                     重子层
  晕的并合树                 冷却函数与金属性
  盘的旋臂与棒               星形成阈值
  潮汐尾与星流               超新星动量与能量
  动力学摩擦                 黑洞吸积与喷流
​

💡 关键直觉：星系形成模拟的第一美德不是更像哈勃照片，而是冷却灾难被按在观测允许的质量函数附近。

物理栈如何一层层叠上去

最底层永远是重力，TreePM 或 AMR 上的泊松。其上是流体：SPH、网格或运动网格。再上是冷却与加热：原初函数、金属线、紫外背景。再上是星形成：密度阈值、效率、分子氢、或湍流判据。再上是恒星反馈：热、动能、辐射压、宇宙线。再上是化学与尘埃。再上是超大质量黑洞：吸积率公式、喷流或热泡。每一层都把下一层的资格改写。紫外背景可以抑制小晕里的冷却，于是你“看见”的最小星系一部分是宇宙学电离史，不是本地星形成定律。

历史上 SPH 星系码先把并合与形态学做成视觉传统；网格与运动网格后来在盘的开尔文-亥姆霍兹和激波上追回来。项目名称变成共同体坐标：Illustris 展示可以把宇宙学盒子里的星系做成形态样本；TNG 改磁场与反馈；EAGLE 强调校准到质量函数与大小；FIRE 强调解析反馈、少用调参。它们不是四个真理，是四种关于“哪些观测量有权当校准靶、哪些必须是预测”的哲学。

图：星系形成物理栈

从上到下不是软件菜单，是依赖。上层的漂亮形态，预算往往写在下层的冷却与反馈上。

分辨率、校准与“预测”的诚实划分

加密粒子或格子，本应让更多星团尺度的反馈被解析。FIRE 一脉朝这个方向走，用更高分辨率换更少的自由参数。宇宙学大盒子走相反的方向：粒子代表的质量仍远大于星团，反馈必须亚网格，于是校准不可避免。EAGLE 把校准写进项目设计，TNG 也有明确的调参靶。诚实不在于“我们没调参”，而在于哪些量被用来调、哪些量留作盲测。把已校准的质量函数再展示成预测，是应用史上反复出现的修辞。

并合形态学提供过一种较弱的检验：无碰撞 N 体就能做出潮汐尾，气体再决定核区星暴。天线星系一类的一对一重现，对动力学敏感，对宇宙学配方不那么敏感。反过来，红序列如何在群环境里出现，对黑洞反馈极敏感。读图时要问：这张图在审哪一层栈。

⚠️ 常见坑：看见模拟星系有旋臂，就认为重子物理已经正确。无碰撞盘也可以有旋臂；真正的审判在质量函数、金属性梯度、气体分数和黑洞质量关系。

概念账本：

骨架：宇宙学初值 + N 体重力
气体：流体 + 冷却库
恒星：阈值 → 粒子
反馈：注入质量动量能量光子
黑洞：吸积公式 + 喷流或热泡
校准集与盲测集分开
分辨率加倍时，配方是否仍要同样强度
​

星系栈是联邦制。下一节把联邦放到周期盒子里：宇宙学模拟如何从只长骨架，变成试图长出可与巡天对比的星系样本。

校准哲学的光谱，以及环境如何成为独立试卷

把 EAGLE、TNG、FIRE、SIMBA 排成光谱，一端是明确校准到少数观测量并声明其余为预测，一端是尽量解析反馈并接受更小的体积。光谱中间还有“弱校准”：只调到不出现明显冷却灾难，形态交给动力学。没有一端拥有全部提问权。大体积统计属于校准端，星团尺度的分子云结构属于解析端。用 FIRE 的云尺度结论去否定 EAGLE 的聚类，或反向，都是拿不同试卷的分数比总评。

环境是独立试卷。场星系、群、团的气体剥离、窒息、预处理，对风的空间分布和轨道更敏感，对本地星形成阈值可能不那么敏感。半解析在树上加环境条款，流体宇宙则必须真的解析或亚网格掉轨道上的气体。团内介质的 X 射线与微波孙亚耶夫-泽尔多维奇效应，成为条款的硬约束：风若把过多重子推出晕，团气体分数会错。大尺度宇宙学与星系形成在这里再次握手。

形态学分类本身也是产品。视觉旋臂、定量的角动量、运动学分解，三者可以给出不同的盘比例。模拟若用其中一种与观测比，必须用同一种测量管道。这又回到第 4.3 节：对比发生在翻译层，不发生在粒子层。

盘的角动量来源：冷却流、并合与反馈的三角债

盘星系的角动量可以从大尺度潮汐扭矩来，也可以在冷却流里被损耗，还可以被反馈重新分配。无碰撞晕的自旋分布是骨架产物；气体能否保住自旋变成盘，取决于冷却与反馈的三角债。早期模拟常做出过小、过厚的盘，后来的风把低角动量气体推出，盘看起来变薄——有时是物理，有时是把错误的角动量损耗用风掩盖。审计应同时看气体分数、盘厚度和比角动量，而不是只看有没有旋臂。

卫星扰动与场潮汐会在盘上留下褶皱与星流。这些结构对无碰撞层更敏感，是检验骨架的窗口。把所有不对称都写成重子反馈，会浪费这扇窗口。分层阅读仍然有效：大尺度不对称先问晕与并合树，核区星暴再问条款。

问题：模拟里出现旋臂，是否说明重子物理已经正确？

不能。无碰撞盘就可以长旋臂。审判在质量函数、气体分数、金属性梯度、盘的比角动量、黑洞质量关系，以及这些量在加密后是否仍靠同一套风撑住。旋臂是动力学层的读数，顶层形态可以被错误的角动量损耗加过强的风共同伪造。分层阅读：大尺度不对称先问晕与并合树，核区星暴再问条款。封面图的旋臂，最多证明你的势还能转，不证明宪法正确。

过小过厚的盘曾经是共同病征。后来的风把低角动量气体推出，盘变薄，有时是物理，有时是用风掩盖冷却流里错误的角动量损耗。同时看气体分数、盘厚度和比角动量，才能分开这两种。卫星褶皱与星流更靠近无碰撞层，是检验骨架的窗口，不应当全部记在重子条款名下。分层阅读在盘问题上特别值钱。

环境是独立试卷。场、群、团的剥离与窒息对风的空间分布敏感，团气体的 X 射线与微波效应会否决把过多重子推出晕的条款。大尺度宇宙学与星系形成在团内介质上再次握手，旋臂封面管不了这张卷。

形态分类本身也是产品：视觉旋臂、角动量与运动学分解可以给出不同的盘比例，对比必须走同一测量管道。

校准靶与盲测靶必须分列。栈是有顺序的：无碰撞骨架先成立，冷却灾难被按住，形态才有资格出庭。把旋臂封面当成通行证，等于跳过账本直接宣判。无碰撞层、冷却层、反馈层、形态层，四层读数不能互相签发通行证；团环境这张卷还可能否决把过多重子推出晕的条款。无碰撞检验用星流，重子检验用气体分数与盘厚度，形态检验必须走同一测量管道。三层分开记账，旋臂才不会变成假通行证。

一节小结

• 无碰撞动力学仍是合法实验室：不要被重子着色废除
• 冷却灾难是重子层的原罪：反馈是按住手，不是彩蛋
• 物理栈有依赖顺序：形态是顶层读数
• 项目名称编码配方哲学：校准靶与盲测划分比品牌更重要
• 分辨率与配方纠缠：加密不自动等于第一性原理
• 旋臂不是通行证：审判在质量函数与气体分数一类的账

下一节进入周期盒子：从 PM 到千禧年，再到流体宇宙，看宇宙学模拟的世代如何改写“大尺度结构”这句话的含义。