$\mathbb R_{\mathcal Q}$-芽的典范展开
Canonical Expansions of $\mathbb R_{\mathcal Q}$-Germs
查看机构详情
- The Taft School（塔夫特学校）
- Wesleyan University（卫斯理安大学）
机构由 AI 辅助整理，请以论文原文为准。
浏览论文内容
中文总结 AI 辅助
本文为拟解析 o-极小结构中的一元芽构造典范展开，证明其分支性，并给出 Dembner 问题的否定答案，同时表明收敛芽构成真子域。
中文摘要 AI 辅助
设 $\mathcal{H}_{\mathcal{Q}}$ 为在 Kaiser-Rolin-Speissegger 的拟解析 o-极小结构 $\mathbb{R}_{\mathcal{Q}}$ 中可定义的 $0^+$ 处一元芽构成的域。我们构造了 $\mathcal{H}_{\mathcal{Q}}$ 到自然支撑广义洛朗级数域的典范有序微分域嵌入。每个一元芽都有唯一的这种渐近展开，且有界芽的展开仅含非负指数。一个芽具有收敛的广义洛朗级数表示当且仅当其典范展开收敛；在这种情况下，每个具有良序支撑的收敛表示都是典范的。我们还证明了 $\mathbb{R}_{\mathcal{Q}}$ 在 Dembner [1] 的意义下是分支的。一个具有发散 Dulac 级数的非共振双曲鞍点产生一个有界正实解析 $\mathbb{R}_{\mathcal{Q}}$-可定义芽，其典范广义幂级数发散。这否定了 Dembner 的一个问题，即是否每个在分支结构中可定义的一元芽都具有收敛的广义幂级数表示。尽管如此，每个有界一元 $\mathbb{R}_{\mathcal{Q}}$-芽都有典范形式广义幂级数展开。因此，收敛芽构成 $\mathcal{H}_{\mathcal{Q}}$ 的一个真有序微分子域。
英文摘要
Let $\mathcal{H}_{\mathcal{Q}}$ be the field of unary germs at $0^+$ definable in the quasianalytic o-minimal structure $\mathbb{R}_{\mathcal{Q}}$ of Kaiser-Rolin-Speissegger. We construct a canonical ordered differential-field embedding of $\mathcal{H}_{\mathcal{Q}}$ into the field of natural-support generalized Laurent series. Every unary germ has a unique such asymptotic expansion, and bounded germs have expansions with only nonnegative exponents. A germ admits a convergent generalized Laurent-series representation exactly when its canonical expansion converges; in that case, every convergent representation with well-ordered support is canonical. We also prove that $\mathbb{R}_{\mathcal{Q}}$ is branching in the sense of Dembner [1]. A nonresonant hyperbolic saddle with divergent Dulac series yields a bounded positive real-analytic $\mathbb{R}_{\mathcal{Q}}$-definable germ whose canonical generalized power series diverges. This gives a negative answer to a question of Dembner asking whether every unary germ definable in a branching structure admits a convergent generalized power-series representation. Nevertheless, every bounded unary $\mathbb{R}_{\mathcal{Q}}$-germ has a canonical formal generalized power-series expansion. Consequently, the convergent germs form a proper ordered differential subfield of $\mathcal{H}_{\mathcal{Q}}$.
