当前位置: X-MOL 学术J. Pure Appl. Algebra › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Equivariant coinvariant rings, Bott–Samelson rings and Watanabe's bold conjecture
Journal of Pure and Applied Algebra ( IF 0.8 ) Pub Date : 2020-08-25 , DOI: 10.1016/j.jpaa.2020.106524
Chris McDaniel , Larry Smith

Modeled on work of Bott–Samelson, Soergel, and Elias–Williamson we introduce the Bott–Samelson ring BS(s1,s2,,sk) associated to reflections s1,s2,,skGL(n,F) where F is a field. We show that for semisimple reflections it is a complete intersection algebra with a triangular pattern of relations and has the strong Lefschetz property. For a finite nonmodular reflection group generated by reflections of order two we produce a degree one embedding of the coinvariant algebra F[V]G into a Bott–Samelson BS(s1,s2,,sk) algebra where s1,s2,,skG are reflections of order two generating G answering a question of J. Watanabe. We show by example that the strong Lefschetz property of BS(s1,s2,,sk) need not be inherited by the embedded F[V]G answering another question of J. Watanabe. Finally we investigate the decomposition map

Image 1
where we start with a representation
Image 2
and its associated equivariant coinvariant algebra F[V]F[V]GF[V], and for each wW the w-twisted multiplication map
Image 3
is defined by μw(fRWf)=fw(f). These fit together to define the decomposition map μW into the direct sum of |W| copies of F[V] indexed by the elements of W and we show this map is a monomorphism if the representation of W is nonmodular. For a reflection representation ρ of W and a family of reflections s1,s2,,sk generating W we also define a map
Image 4
and characterize for which families of reflections it is a degree one embedding.



中文翻译:

等变协变环,Bott–Samelson环和渡边的大胆猜想

以Bott–Samelson,Soergel和Elias–Williamson的工作为模型,我们介绍了Bott–Samelson环 学士学位s1个s2sķ 与反思相关 s1个s2sķGLñF 哪里 F是一个领域。我们表明,对于半简单反射,它是具有三角关系的完整交点代数,并具有很强的Lefschetz性质。对于由二阶反射生成的有限非模反射群,我们产生协变代数的一阶嵌入F[V]G 进入博特-萨默森 学士学位s1个s2sķ 代数在哪里 s1个s2sķG是阶次生成G的反映,回答了渡边J.的问题。我们通过示例表明,Lefschetz的强属性学士学位s1个s2sķ 不需要被嵌入式继承 F[V]G回答渡边J.的另一个问题。最后我们研究分解图

图片1
我们从表示开始
图片2
及其相关的等变协变代数 F[V]F[V]GF[V],并且每个 ww ^W¯¯ -twisted乘法地图
图片3
由定义 μwF[Rw ^F''=FwF''。这些适合在一起以定义分解图 μw ^ 直接成 |w ^| 的副本 F[V]W的元素索引,并且如果W的表示形式是非模块化的,则表明该映射是单态的。用于反射表示ρW¯¯和家庭反射s1个s2sķ生成W我们还定义了一张地图
图片4
并说明它是针对哪一类反射的嵌入。

更新日期:2020-10-16
down
wechat
bug