混合扩张的Tannakian基本群

《Journal of Algebra》：Tannakian fundamental groups of blended extensions

　　

令A₁, A₂, A₃为特征零域上中性Tannakian范畴中的对象。令L为A₂被A₁的扩张，N为A₃被A₂的扩张。令M为N被L的混合扩张（extension panachée）。研究人员研究了M的Tannakian基本群中在A₁, A₂, A₃上平凡作用的子群。研究人员还给出了该结果在Deligne 1-动机的动机版本霍奇猜想（即动机伽罗瓦群与Mumford-Tate群的幂零根相等）的幂零部分上的一个应用。

**论文解读：混合扩张的Tannakian基本群及其在1-动机霍奇猜想中的应用**

**研究背景与问题**
在代数几何与数论中，Tannakian范畴为研究混合动机提供了统一的框架。混合扩张（blended extension）概念由Grothendieck引入，用于描述三步过滤结构。给定一个阿贝尔范畴中的两个固定扩张——L：A₂被A₁的扩张，以及N：A₃被A₂的扩张——混合扩张M是N被L的扩张，其结构由精确行与列构成的交换图描述。该结构自然地出现在具有三个权重的动机（如Deligne 1-动机）及其实现（如Hodge实现与?-adic实现）中。

目前存在的主要问题包括：如何显式地描述混合扩张M的Tannakian基本群的幂零根（即Lie代数u(M)），以及如何将这一描述应用于动机版本的霍奇猜想。对于普通扩张（两步过滤）的情形，Bertrand、Hardouin以及作者与Murty已有系统研究，但三步过滤的情形（即混合扩张）尚缺乏一般性理论。此外，在动机语境下，1-动机的幂零根相等性（即动机伽罗瓦群与Mumford-Tate群的幂零根相等）是霍奇猜想在动机版本中的一个关键部分，但已有证明依赖于形变论证，André曾询问是否可能给出不依赖形变的直接证明。

**研究内容与结论**
本文在特征零域上的中性Tannakian范畴中，系统研究了混合扩张M的幂零根u(M)的结构。研究人员假定A₁, A₂, A₃为半单对象，并在一个温和条件（Hom(Hom_(A₂,A₁)⊕Hom_(A₃,A₂), Hom_(A₃,A₁)) = 0）下，给出了u(M)的完全描述。该描述通过两个子对象u_?2(M)（包含于Hom_(A₃,A₁)）和u_?1(M)（包含于Hom_(A₂,A₁)⊕Hom_(A₃,A₂)）实现，并证明了这些子对象完全决定了u(M)。

具体而言，u_?1(M)由扩张L和N唯一确定，是使(L,N)的推前在商空间中分裂的最小子对象；u_?2(M)刻画了M是否属于由L⊕N生成的Tannakian子范畴；导代数[u(M),u(M)]由u_?1(M)通过配对（composition）完全决定；商u_?2(M)/[u(M),u(M)]与Ext¹_〈M〉?(A₃,A₁)存在典范同构。

作为应用，研究人员将上述结果用于Deligne 1-动机，证明了在合适的动机范畴中，若Hodge实现映射在〈M〉?中Ext¹(1, Q(1))上为单射，则M的动机伽罗瓦群与Mumford-Tate群的幂零根相等。特别地，权重-1分量的相等性是无条件的，而权重-2分量的相等性依赖于该单射条件。

**主要技术方法**
研究人员使用纤维函子ω将Tannakian范畴中的对象等同于表示，并利用Levi分解和权分解构造R-等变分裂。关键工具包括：通过Lie代数对象g(X,Y)定义幂零子对象u(M)；利用内部Hom对象Hom_和Ext群之间的典范同构（Ext¹(X,Y) ? Ext¹(1, Hom_(X,Y))）；通过Proposition 3.1.1建立Ext¹与Hom(u^ab(M), X)之间的同构；以及通过配对映射（composition）刻画导代数。

**研究结果**
（以下保留原文小标题结构）

- **Theorem A (a)**：u(M)包含于典范正合序列中，且由u_?2(M)和u_?1(M)完全确定（在条件(2)下）。
- **Theorem A (b)**：u_?1(M)是使(L,N)的推前分裂的最小子对象，仅依赖于L和N。
- **Theorem A (c)**：u_?2(M)是使Mh的推前属于〈L⊕N〉?的最小子对象；u_?2(M)=0当且仅当M∈〈L⊕N〉?。
- **Theorem A (d)**：[u(M),u(M)] = {u_?1(M), u_?1(M)}，其中{ , }为composition诱导的反对称配对。
- **Theorem A (e)**：[u(M),u(M)]是使序列(3)推前分裂的最小子对象。
- **Theorem A (f)**：存在典范同构 Hom(u_?2(M)/[u(M),u(M)], Hom_(A₃,A₁)) ? Ext¹_〈M〉?(A₃,A₁)。
- **Theorem A (g)**：固定L和N，至多存在一个混合扩张M使得u_?2(M)=0。

**讨论与结论**
研究人员在讨论部分指出，定理A中部分断言不需要半单性和条件(2)的全部假设，例如(b)仅需半单性，(c)无需任何假设。条件(2)在权过滤范畴（如混合Hodge结构）中自动满足。对于1-动机的应用，研究人员证明了u_?1的相等性是无条件的，而u_?2的相等性需要Hodge实现映射在Ext¹_〈M〉?(1, Q(1))上的单射性，这一条件可通过Deligne关于1-动机在好动机范畴中封闭于扩张的猜想得到保证。

**研究结论翻译**：
本文中，研究人员在特征零域上的中性Tannakian范畴中，对混合扩张M的幂零基本群Lie代数u(M)进行了系统研究。在A₁, A₂, A₃半单且条件(2)成立下，研究人员给出了u(M)的完全描述，包括u_?1(M), u_?2(M), [u(M),u(M)]以及u_?2(M)/[u(M),u(M)]的特征刻画。作为应用，研究人员证明了对于Deligne 1-动机，在合适的动机范畴中，若Hodge实现映射在相关子范畴的Ext¹(1, Q(1))上为单射，则动机伽罗瓦群与Mumford-Tate群的幂零根相等，为André提出的不依赖形变的证明提供了新途径。