已经开始写出了一个具体的例子。

“你看，假如一个单个谐振子的相空间由位置q和动量p组成，形成一个平面(q，p)。辛形式可以写为w=dq∧dp。我们现在要将这个平面量子化到一个希尔伯特空间，首先选择极化为/p=0……”

乔喻静静的听着导师的讲解，不懂的地方就开口提问，就这样十分钟后，他突然又开窍了。

“哦，我明白了，我的q可以代表量子化不变量，等等，让我想想，我需要一个量子化同调范畴，来分解曲线的同调群，就能通过量子化处理，解释曲线上有理点在局部量子结构中的行为，对吧？田导？”

“嗯……”

“对对对，就是这样的，笔给我用用，嗯，在一个量子化同调范畴……”说着乔喻从田导手中直接把笔抽出，让飞快的在稿纸上把他昨晚琢磨的第一个公式补充完整。

田言真看着乔喻写下的这一串公式，面色不变的说道：“证明过程呢？”

“首先q已经确定是作用在曲线同调群的量子算符了嘛，然后第一步就是构建一个量子同调范畴，首先对h进行分解，构建新的量子态，然后用量子态维数描述曲线同调性。

第二步就是找到量子化同调群与有理点的关系，这里就很明显了，同调群的维数直接与曲线的亏格g相关。亏格越大，意味着曲线的几何复杂性越高，有理点的个数相对较少。

这个时候把q加进去，就能到dimqh1(cp)=f(g，q)，这是为了让局部几何结构的变化更加敏感，进一步限制了有理点的个数。

然后通过jacobian对有理点进行限制，这是今天讲座上那位罗伯特教授用到的方法，我们可以改一下，放进完备空间里。按照之前的研究jacobian的阶次越高，意味着曲线上可分配的有理点数量可能更少。

最后再把这个函数构建出