Stack Exchange网络由183个问答社区组成,包括堆栈溢出是开发人员学习、分享知识和建立职业生涯的最大、最受信任的在线社区。
该定理表明,对于特征为0的字段$k$,任何满足每个对象被Schur函子湮灭条件的$End(1)=k$的$k$线性张量范畴,都等价于超群$G$的保奇偶表示范畴。
该语句独立于fiber函子,但证明似乎是通过先为某些大型$R$的$R$-模块构造一个函子并对其进行修改来自行构造的。我想了解证明是如何从这里开始的。
这应该类似于Deligne对非super案件的证明吗?我发现这种方法Joyal&Street公司其实现$G$作为光纤函子的coend的谱是特别清楚的。有没有类似的方法可以从超纤维函子中获得超群?
最后一个问题是:超向量空间的哪些方面使得捕获每个tannakian类别成为可能?
必需,但从未显示
Required, but never shown
单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.