在Ammon Besser 2002年的《使用Tannakian形式主义的Coleman积分》第4节中，他定义了抽象Coleman函数，我们可以粗略地描述为那些沿着规范路径迭代积分产生的函数，或者按照本文的精神，作为unipower花式局部系统（超收敛等晶体）中并行传输的矩阵元素。定义X上抽象科尔曼函数的数据是，如果你愿意，一个单能等晶体V，一个点$x\以x表示$，一种纤维元素：$v\以v_x为单位$，以及双重数据的全局部分：$s\in\mathop{Hom}（V，\mathcal{O} X（_X）)$我们考虑结果函数$f_{x，V，e，s}（y）$作为对$y\mapsto s（\mathop{ParallelTransport}^V_{x\到y}（V_x））$.
我要留给报纸的细节：
但我想指出一个微妙之处：V美元$这就是将这些表达式连接到有限长度迭代积分的原因。
命题4.21似乎证明了这些科尔曼函数形成了一个层，它是通过在4.16-19引入最小抽象科尔曼函数的概念（局部系统尽可能小）以及这些函数的唯一性来实现的。然后我们展示了我们可以通过吸引这种独特性来粘合抽象的科尔曼函数，这也粘合了等晶体。
但是等等！Unipowere不是当地的财产。如果是的话，每个局部系统都是（局部平凡=>局部单极，当然）。
所以我有几个问题：
- 科尔曼函数到底形成了一层吗？4.21是否按规定执行？
- 科尔曼函数类是否有一个令人愉快的Tannakian描述
抱歉，如果这个问题毫无意义，请随时告诉我。
参考（两个版本在本节中的编号相同）：
