Skip to main content
MathOverflow

Return to Question

added 14 characters in body
Source Link
uncookedfalcon
uncookedfalcon
  • 329
  • 1
  • 9

In 'Infinite Dimensional Lie Algebras, 3rd edition', Kac mentions at the top of p. 170 that 'a simple cohomological proof of Theorem 9.11 was found by O. Mathieu (unpublished)'.

Does anyone know how this proof goes?

For reference, 9.11 is the statement that given a symmetrizable generalized Cartan matrix $A$, with associated lie algebra $\tilde{\mathfrak{g}}(A)$ with only the Weyl relations, the maximal ideal not intersecting $\mathfrak{h}$ is generated by the Serre relations. Thank you in advance.

In 'Infinite Dimensional Lie Algebras, 3rd edition', Kac mentions at the top of p. 170 that 'a simple cohomological proof of Theorem 9.11 was found by O. Mathieu (unpublished)'.

Does anyone know how this proof goes?

For reference, 9.11 is the statement that given a generalized Cartan matrix $A$, with associated lie algebra $\tilde{\mathfrak{g}}(A)$ with only the Weyl relations, the maximal ideal not intersecting $\mathfrak{h}$ is generated by the Serre relations. Thank you in advance.

In 'Infinite Dimensional Lie Algebras, 3rd edition', Kac mentions at the top of p. 170 that 'a simple cohomological proof of Theorem 9.11 was found by O. Mathieu (unpublished)'.

Does anyone know how this proof goes?

For reference, 9.11 is the statement that given a symmetrizable generalized Cartan matrix $A$, with associated lie algebra $\tilde{\mathfrak{g}}(A)$ with only the Weyl relations, the maximal ideal not intersecting $\mathfrak{h}$ is generated by the Serre relations. Thank you in advance.

Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Draw attention by uncookedfalcon
Bounty Started worth 150 reputation by uncookedfalcon
deleted 5 characters in body
Source Link
uncookedfalcon
uncookedfalcon
  • 329
  • 1
  • 9

In 'Infinite Dimensional Lie Algebras, 3rd edition', Kac mentions at the top of p. 170 that 'a simple cohomological proof of Theorem 9.11 was found by O. Mathieu (unpublished)'.

Does anyone know how this proof goes?

For reference, 9.11 is the statement that given a generalized Cartan matrix $A$, with associated lie algebra $\tilde{\mathfrak{g}}(A)$ with only the ChevalleyWeyl relations, the maximal ideal not intersecting $\mathfrak{h}$ is generated by the Serre relations. Thank you in advance.

In 'Infinite Dimensional Lie Algebras, 3rd edition', Kac mentions at the top of p. 170 that 'a simple cohomological proof of Theorem 9.11 was found by O. Mathieu (unpublished)'.

Does anyone know how this proof goes?

For reference, 9.11 is the statement that given a generalized Cartan matrix $A$, with associated lie algebra $\tilde{\mathfrak{g}}(A)$ with only the Chevalley relations, the maximal ideal not intersecting $\mathfrak{h}$ is generated by the Serre relations. Thank you in advance.

In 'Infinite Dimensional Lie Algebras, 3rd edition', Kac mentions at the top of p. 170 that 'a simple cohomological proof of Theorem 9.11 was found by O. Mathieu (unpublished)'.

Does anyone know how this proof goes?

For reference, 9.11 is the statement that given a generalized Cartan matrix $A$, with associated lie algebra $\tilde{\mathfrak{g}}(A)$ with only the Weyl relations, the maximal ideal not intersecting $\mathfrak{h}$ is generated by the Serre relations. Thank you in advance.

Source Link
uncookedfalcon
uncookedfalcon
  • 329
  • 1
  • 9

Cohomological Proof of Serre Relations for a Symmetrizable Kac-Moody Algebra

In 'Infinite Dimensional Lie Algebras, 3rd edition', Kac mentions at the top of p. 170 that 'a simple cohomological proof of Theorem 9.11 was found by O. Mathieu (unpublished)'.

Does anyone know how this proof goes?

For reference, 9.11 is the statement that given a generalized Cartan matrix $A$, with associated lie algebra $\tilde{\mathfrak{g}}(A)$ with only the Chevalley relations, the maximal ideal not intersecting $\mathfrak{h}$ is generated by the Serre relations. Thank you in advance.