吸引子, 排斥子 [吸引子]
吸引子, 排斥子 [吸引子]
定义
对于带 $\mathbb G_m$-作用的概形 (或类似几何对象) $X$, 定义其吸引子 (attractor) $X^+$ 为 $\mathbb G_m$-等变映射的空间 $$ X^+ = \operatorname{Map}^{\mathbb G_m}(\mathbb A^1,X) = \operatorname{Map}_{\mathbf{B}\mathbb G_m}(\mathbb A^1 / \mathbb G_m, X/\mathbb G_m). $$ 另见 $\mathbb A^1 / \mathbb G_m$.
考虑另一个仿射直线 $\mathbb A^1_- := \mathbb P^1\setminus \{0\} = \operatorname{Spec}\mathbb{Z}[x^{-1}]$, 定义 $X$ 的排斥子 (repeller) 为 $$ X^- = \operatorname{Map}^{\mathbb G_m}(\mathbb A^1_-,X). $$ 排斥子等同于 $\mathbb G_m$ 逆作用的吸引子.
性质
吸引子 $X^+$ 带有幺半群 $\mathbb A^1$ 的作用, 以及到原空间 $X$ 的映射 $X^+\to X$.
- $i^+$ 为闭嵌入.
例
仿射情形
设 $X = \operatorname{Spec} A$, $A$ 为 $\mathbb{Z}$-分次环 (见滤与分次的叠观点). 那么 $$ X^+ = \operatorname{Spec}A^+ $$ $A^+$ 是 $A$ 的极大 $\mathbb{Z}_{\geq 0}$-分次商, 也即 $A$ 关于所有负次数元素的商. 1
注意 $A^+$ 是 $A$ 的商, 这不同于 $A$ 的 $\geq 0$ 次元素构成的子代数. 例如 $\mathbb{Z}[x^{\pm 1}]$ 的极大 $\mathbb{Z}_{\geq 0}$-分次商是 $0$, 因为 $x^{-1}$ 生成单位理想.
证明. 对任意环 $B$, $\operatorname{Spec}B$ 到 $X^+$ 的映射等同于 $\mathbb G_m$-等变映射 $\operatorname{Spec}B \times\mathbb A^1\to X$, 也即分次环的态射 $A\to B[x]$. 这个态射唯一地穿过 $A^+$. $\square$
例. $\mathbb G_m$ 作用于 $\mathbb A^n$, 吸引子为整个 $\mathbb A^n$.
例. 考虑 $X=\mathbb A^2_{\tau_1,\tau_2}\to \mathbb A^1_t$, $(\tau_1,\tau_2)\mapsto \tau_1\tau_2$. 那么当 $t\neq 0$ 时 $X_t$ 是双曲线 $\tau_1\tau_2 = t$. 当 $t=0$ 时, $X_0$ 是两条直线. 考虑 $\mathbb G_m$ 在 $X$ 上的作用, $\lambda (\tau_1,\tau_2) = (\lambda\tau_1,\lambda^{-1}\tau_2)$. 该作用与 $X\to \mathbb A^1$ 相容; 从而 $\mathbb G_m$ 作用在每个纤维 $X_t$ 上. 此时 $X_0$ 分解为 $X_0^+ \cup X_0^-$, 其中吸引子 $X_0^+ = \{\tau_2 = 0\}$, 排斥子 $X_0^- = \{\tau_1 = 0\}$.
射影直线
设 $X = \mathbb P^1$, 带有 $\mathbb G_m$ 的通常作用. 那么 $$ X^+ = \mathbb A^1 \sqcup \{\infty\}. $$