讨论室: 学术

这个页面是讨论数学问题的地方. 如果要讨论关于香蕉空间网站的问题, 请前往讨论室: 香蕉空间.

关于典范层是否为平凡/ample

Bondal-Orlov 有一个结论说的是对于光滑射影簇上凝聚层的 bounded 导出范畴 (在同构意义下) 唯一决定了该射影簇, 如果该射影簇的典范层是 ample 的. 这个结论在 Huybrechts 的 Fourier-Mukai 那本书里的 4.11. 证明中唯独用到和 ample 典范层有关的是这个结论: 射影代数簇 $X$ 的典范环 (canonical ring) 的 Proj 恰好等于 X, 如果典范层是 ample 的.

我比较好奇一般来说, 知道一个代数簇上的典范层是否 ample、是否平凡的信息, 我们还能得到哪些有用的结论? 这个信息的意义是什么, 我感觉我理解的不透彻.

https://en.wikipedia.org/wiki/Fano_variety 不过这里是 anticanonical bundle $-K_X$.

双有理几何的内容.

态射怎么给出余纤维序列

设 $\mathcal{C}$ 是一个稳定模型范畴, $f:X\to Y$ 是里面的一个映射, 那么为什么 $f$ 会给出一个余纤维序列 $X\stackrel{f}{\to }Y\to Z$?

我们可以通过余纤维替换得到一个余纤维对象之间的余纤维化 $X^{\prime }\stackrel{f^{\prime }}{\to }{Y}^{\prime }$, $f^{\prime }$ 的余纤维映射 $Y^{\prime }\to Z^{\prime }$ 就给出了一个余纤维序列 $X^{\prime }\to Y^{\prime }\to Z^{\prime }$, 然后这里我不知道怎么样找到一个对象 $Z$ 使得 $X\stackrel{f}{\to }Y\to Z$ 使得这个序列同构于余纤维序列 $X^{\prime }\to Y^{\prime }\to Z^{\prime }$. 我试着用推出, 但是似乎推出并不能给出一个序列的同构.

试试同伦推出?

btw, 这里的同构我指的是同伦等价 (即 $X,Y,Z$ 分别跟 $X^{\prime },Y^{\prime },Z^{\prime }$ 弱等价并且对应的态射形成交换图)

我已经明白了. 这个不是在 $\mathcal{C}$ 里面做的.

K 理论的紧支撑前推函子的定义

设 $f:X\to Y$ 为一般性的概型间的态射 (不一定紧合), 这时我们该如何定义紧支撑前推函子 $f_{!}:K(X)\to K(Y)$?

一道 Galois 理论习题

丁石孙老师的代数学引论 Galois 理论部分的最后一道题:

证明 $x^7-1$ 在 ${\mathbb{F}}_3$ 上不能用根式解.

向大家求教

很难理解这里的根式可解是什么意思, 因为有限域的有限扩张按照通常对于根式可解的定义, 都是可解的

这是因为其分裂域是 ${\mathbb{F}}_{27}$, 是 Artin–Schreier 扩张.

一个映射把任何线性相关组映成线性相关组, 那么它是否一定是线性的?

命题不成立, Master 和 BCJ 的回复都给出了适当的反例.

设 $V,W$ 是域 $K$ 上的两个线性空间, 映射 $f:V\to W$. 如果对 $V$ 中任意的线性相关的向量组 $\{x_1.\cdots ,x_n\}$, 它们的像 $\{f(x_1),\cdots ,f(x_n)\}$ 是 $W$ 中的线性相关的向量组. 那么是否一定有 $f$ 是线性映射?

可以看出 $V$, $W$ 都一维时, 只要 $f$ 把 $0$ 映至 $0$ 就会满足这个条件, 所以未必线性.

看上去至少三维就可以

可以取 $f(x)=\lambda (x)\cdot g(x)$, 其中 $\lambda :V\to K$ 是任意 (集合间) 映射, $g:V\to W$ 是线性映射. 除此也还有别的例子, 例如 $f:K^n\to K^n$ 保持 $x_1$ 轴不动, 把其他所有点都投影到超平面 $x_1=0$ 上.

线性代数幺半群的单位群是开的吗?

线性代数幺半群的单位群一定是开的吗, 在 https://link.springer.com/content/pdf/10.1007

在 https://link.springer.com/content/pdf/10.1007

为啥显示不全......

空间层/topos 下叹与 abel 层下叹

两者使用同样的记号但是含义感觉无法对上. 空间层下叹与上星伴随而稳定情形与上叹 (光滑情形为上星的 shift) 伴随, 感到奇怪. 有一些头绪但尚未想明白, 空间层下叹可视为余层前推, 而紧支前推也是余层, 似乎有所联系.

前者记作 $f_{!}$ 一般是在 $f$ 是同一个 topos 里面不同对象的映射这个情况. 此时相当于平展映射, $f^{!}=f^{\ast }$. 一般情况 $f^{\ast }$ 的左伴随大概记作 $f_{♮}$.

但是如果我没有理解错空间层的平展映射感觉要求并不高 (尤其和代数几何之平展相较) , 比如拓扑空间到点都是.

没错, 伦型之间的映射确实都是平展的

但是对伦型谈通常拓扑及在其下的层是没有意义的

抱歉我想说的拓扑空间指 CW 复形或一般局部可缩拓扑空间

原来还是 verdier 对偶 (HA 5.5.5.1)

代数簇的 singular locus

设 $X$ 是一个不可约代数簇, 那么它的 singular locus 是 (拓扑) 连通的吗

当然不是, 比如平面不可约曲线完全可以有多个奇点

合理, 我犯蠢了.

Representing Homology Classes by Piecewise Smooth Cycles

Assume $X$ is a differentiable manifold of dimension $n$, $A\in H_k(X;\mathbb{Z})$ and $B\in H_{n-k}(X;\mathbb{Z})$ two homology classes in $X$, then can we represent them as “piecewise smooth cycles"? This is in section 4 of Griffith&Harris, which aimed to define the “intersection number" of two homology classes $A$ and $B$, but I doubt whether this is well-defined since it seems not reasonable to represent an arbitrary homology classes by a union (and possibly with multiplicities) of smooth submanifolds of arbitrary dimension.

codim=1, 2 的时候是对的, 其它的就不知道了. Thom 在 Quelques propriétés globales des variétés différentiables 讨论过这种问题. 我前面说的两种情况可以在 Bredon 的 “geometry and topology” 里面找到证明.

考虑系数是 Z/2Z 的话结果就会好一些, Thom 在那篇文章证明了: 如果 M 是一个闭, 维数为 n 的流形, 那么它的所有维数小于 n/2 的 (系数取 Z/2Z) 同调群都可以被子流形表出.

“小于 n/2 ”->“小于等于 n/2”

还可以考虑如下问题: 两个子流形如果对应相同的同调类, 那么它们有什么关系. 我猜它们大概是配边的, 但是不知道也没找到证明.

微分流形

怎样证明 $1$ 维紧连通流形同胚于 ${\mathbb{S}}_1$; $1$ 维非紧连通流形同胚于 $\mathbb{R}.$

这个是纯组合的 argument. 可以参见 Lee 的 Introduction to Topological Manifolds 第 5 章.

有没有其他证明, 这是刚讲了流形的定义下面的习题