“第一题……我觉得可以构造一个空间作为k倍复叠空间,并用单径作用给出表示,只需要在题设基础上补充有限多个点并……并……”
德维特也拿着一张小试卷,认真听完后点点头,和蔼地望向伽罗瓦,“并什么?”
“将全纯映射扩张到g!”卡特琳娜突然开口补充,“伽罗瓦的做法是把它先看成一个局部问题,将对应置换群里的元素表示成无交圈的乘积!”
“对对!”伽罗瓦感激地看了卡特琳娜一眼,“我觉得这样切入,可以把题目做出来。”
“很好!”德维特笑眯眯。
“我觉得倒可以从另一个方向入手。”卡特琳娜进入状态了,“既然已知j是一个分支覆盖,那么j能得到一个逆映射,说明复叠空间是平凡的。”
“也可能复叠空间是不连通的。”伽罗瓦突然开口补充。
“对,总之和题设里的事实相悖,所以没法在穿孔平面Ω上得到j的逆映射。”卡特琳娜语速加快,“不如引入一个新变量去专门考虑l里面的代数簇,将投影映射a限制一下就能得到需要的分支覆盖。”
德维特拿着小试卷,眉头微挑,“嗯,有道理!然后呢?”
“然后……”卡特琳娜忽然卡住。
“这样可不可以?”伽罗瓦犹豫一下道,“此处有限覆盖映射毕竟光滑同伦于标准映射,那么可以尝试假设c1由h给出,然后把标准映射粘贴一下,试着得到n次分支覆盖jn,对所有j都这么操作,可以得到……”
“得到一个分支覆盖映射!”卡特琳娜惊喜,“对啊,这样所需条件就满足了,所有局部解决之后,整体的分支覆盖就解决了,后面就好做了!”
“这里有个细节要注意……”伽罗瓦又接过话头。
伽罗瓦和卡特琳娜完全进入状态,不断推进题目,你一言我一句说的飞快。
两人犹如正在操场上接力跑,每跑一圈就把接力棒交给对方,对方会选择一条新跑道快速冲一圈,再回来递交接力棒,竟是迅速形成了默契。
&nbs>> --