ScalingStacks

0P7P

Remark 6.2.6. The bilinear form ⟨⟨−,−⟩⟩:Rn×Rn→12​𝐙\langle\langle-,-\rangle\rangle:R_{n}\times R_{n}\to\frac{1}{2}{\mathbf{Z}} obtained from ⟨−,−⟩\langle-,-\rangle by composing with the morphism Ln→12​𝐙,εi↦−12L_{n}\to\frac{1}{2}{\mathbf{Z}},\ \varepsilon_{i}\mapsto-\frac{1}{2} is given by ⟨⟨αa,αb⟩⟩=12​(δb,a+1−δb+1,a)\langle\langle\alpha_{a},\alpha_{b}\rangle\rangle=\frac{1}{2}(\delta_{b,a+1}-\delta_{b+1,a}). It is antisymmetric.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2