a presentation on kostant's invariant theory papervipul/writeupsand... · a presentation on...
TRANSCRIPT
![Page 1: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/1.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Outline
Prerequisites
Setup and basic questions
Kostant’s first problem
Kostant’s second problem
Source
![Page 2: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/2.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Prerequisites: for a broad understanding
I Commutative algebra: Module, ring, algebra, ideal
I Group theory: Group action, fixed point, isotropysubgroup, orbit
I Topology: Open, closed, dense, closure
I Generators and relations: Generating set, relationsamong generators, free objects, linear dependence
![Page 3: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/3.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Prerequisites: for a broad understanding
I Commutative algebra: Module, ring, algebra, ideal
I Group theory: Group action, fixed point, isotropysubgroup, orbit
I Topology: Open, closed, dense, closure
I Generators and relations: Generating set, relationsamong generators, free objects, linear dependence
![Page 4: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/4.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Prerequisites: for a broad understanding
I Commutative algebra: Module, ring, algebra, ideal
I Group theory: Group action, fixed point, isotropysubgroup, orbit
I Topology: Open, closed, dense, closure
I Generators and relations: Generating set, relationsamong generators, free objects, linear dependence
![Page 5: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/5.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Prerequisites: for a broad understanding
I Commutative algebra: Module, ring, algebra, ideal
I Group theory: Group action, fixed point, isotropysubgroup, orbit
I Topology: Open, closed, dense, closure
I Generators and relations: Generating set, relationsamong generators, free objects, linear dependence
![Page 6: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/6.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Nice to knows
I More ring theory: Tensor product, prime ideal, radicalideal
I Algebraic geometry: Zariski topology and Hilbert’snullstellensatz
I Lie theory: Lie group, Lie algebra, universal envelopingalgebra, differential operators
![Page 7: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/7.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Nice to knows
I More ring theory: Tensor product, prime ideal, radicalideal
I Algebraic geometry: Zariski topology and Hilbert’snullstellensatz
I Lie theory: Lie group, Lie algebra, universal envelopingalgebra, differential operators
![Page 8: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/8.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Nice to knows
I More ring theory: Tensor product, prime ideal, radicalideal
I Algebraic geometry: Zariski topology and Hilbert’snullstellensatz
I Lie theory: Lie group, Lie algebra, universal envelopingalgebra, differential operators
![Page 9: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/9.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Nice to knows
I More ring theory: Tensor product, prime ideal, radicalideal
I Algebraic geometry: Zariski topology and Hilbert’snullstellensatz
I Lie theory: Lie group, Lie algebra, universal envelopingalgebra, differential operators
![Page 10: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/10.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Goals of the talk
I want to:
I Give sufficient conditions for Kostant’s first and (if timepermits) second problem
I Get and give a flavour of invariant theory
I Gain experience in presenting material
I Show how commutative algebra, algebraic geometry,and Lie theory merges
![Page 11: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/11.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Goals of the talk
I want to:
I Give sufficient conditions for Kostant’s first and (if timepermits) second problem
I Get and give a flavour of invariant theory
I Gain experience in presenting material
I Show how commutative algebra, algebraic geometry,and Lie theory merges
![Page 12: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/12.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Goals of the talk
I want to:
I Give sufficient conditions for Kostant’s first and (if timepermits) second problem
I Get and give a flavour of invariant theory
I Gain experience in presenting material
I Show how commutative algebra, algebraic geometry,and Lie theory merges
![Page 13: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/13.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Goals of the talk
I want to:
I Give sufficient conditions for Kostant’s first and (if timepermits) second problem
I Get and give a flavour of invariant theory
I Gain experience in presenting material
I Show how commutative algebra, algebraic geometry,and Lie theory merges
![Page 14: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/14.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
A presentation on Kostant’s invariant theorypaper
Vipul Naik
February 21, 2007
![Page 15: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/15.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Outline
Prerequisites
Setup and basic questions
Kostant’s first problem
Kostant’s second problem
Source
![Page 16: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/16.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 1
Setup: R is a commutative unit ring
I R-algebra: Ring containing R as a subring
I R-module: Abelian group with R action
R algebra =⇒ R moduleQuestion: S is an R-algebra. Hence S is an R module. Is Sfree as an R-module?Remark: A module-theoretic generating set is very differentfrom an algebra-theoretic generating set.
![Page 17: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/17.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 1
Setup: R is a commutative unit ring
I R-algebra: Ring containing R as a subring
I R-module: Abelian group with R action
R algebra =⇒ R module
Question: S is an R-algebra. Hence S is an R module. Is Sfree as an R-module?Remark: A module-theoretic generating set is very differentfrom an algebra-theoretic generating set.
![Page 18: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/18.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 1
Setup: R is a commutative unit ring
I R-algebra: Ring containing R as a subring
I R-module: Abelian group with R action
R algebra =⇒ R moduleQuestion: S is an R-algebra. Hence S is an R module. Is Sfree as an R-module?
Remark: A module-theoretic generating set is very differentfrom an algebra-theoretic generating set.
![Page 19: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/19.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 1
Setup: R is a commutative unit ring
I R-algebra: Ring containing R as a subring
I R-module: Abelian group with R action
R algebra =⇒ R moduleQuestion: S is an R-algebra. Hence S is an R module. Is Sfree as an R-module?Remark: A module-theoretic generating set is very differentfrom an algebra-theoretic generating set.
![Page 20: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/20.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 2
I k is a field.
I S is a k-algebra.
I G acts as algebra automorphisms on S .
I J = SG is the invariant subring.
Question: S is a J-algebra. Is S free as a J module?
![Page 21: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/21.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 2
I k is a field.
I S is a k-algebra.
I G acts as algebra automorphisms on S .
I J = SG is the invariant subring.
Question: S is a J-algebra. Is S free as a J module?
![Page 22: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/22.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 2
I k is a field.
I S is a k-algebra.
I G acts as algebra automorphisms on S .
I J = SG is the invariant subring.
Question: S is a J-algebra. Is S free as a J module?
![Page 23: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/23.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 2
I k is a field.
I S is a k-algebra.
I G acts as algebra automorphisms on S .
I J = SG is the invariant subring.
Question: S is a J-algebra. Is S free as a J module?
![Page 24: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/24.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 2
I k is a field.
I S is a k-algebra.
I G acts as algebra automorphisms on S .
I J = SG is the invariant subring.
Question: S is a J-algebra. Is S free as a J module?
![Page 25: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/25.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 3
Setup:
I X a set, k a field
I S ≤ kX
I G acts on X , inducing algebra automorphisms on S
I J = SG
Question: Is S free as a J-module?
![Page 26: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/26.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 3
Setup:
I X a set, k a field
I S ≤ kX
I G acts on X , inducing algebra automorphisms on S
I J = SG
Question: Is S free as a J-module?
![Page 27: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/27.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 3
Setup:
I X a set, k a field
I S ≤ kX
I G acts on X , inducing algebra automorphisms on S
I J = SG
Question: Is S free as a J-module?
![Page 28: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/28.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 3
Setup:
I X a set, k a field
I S ≤ kX
I G acts on X , inducing algebra automorphisms on S
I J = SG
Question: Is S free as a J-module?
![Page 29: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/29.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 3
Setup:
I X a set, k a field
I S ≤ kX
I G acts on X , inducing algebra automorphisms on S
I J = SG
Question: Is S free as a J-module?
![Page 30: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/30.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Exploration
A function is G -invariant iff it is constant on every orbitunder G action.
I IO is the ideal of functions vanishing on orbit O
I RO = IO + k is the ring of functions constant on O
I ⋂O
RO = J
![Page 31: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/31.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Exploration
A function is G -invariant iff it is constant on every orbitunder G action.
I IO is the ideal of functions vanishing on orbit O
I RO = IO + k is the ring of functions constant on O
I ⋂O
RO = J
![Page 32: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/32.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Exploration
A function is G -invariant iff it is constant on every orbitunder G action.
I IO is the ideal of functions vanishing on orbit O
I RO = IO + k is the ring of functions constant on O
I ⋂O
RO = J
![Page 33: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/33.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Exploration
A function is G -invariant iff it is constant on every orbitunder G action.
I IO is the ideal of functions vanishing on orbit O
I RO = IO + k is the ring of functions constant on O
I ⋂O
RO = J
![Page 34: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/34.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 4
Setup:
I X is a k-vector space, k a field
I S = k[X ] is the polynomial ring
I G ≤ GL(X ) and acts on S as degree-preservingautomorphisms.
Question: Is S a free module over J?This is Kostant’s First Problem and I will providesufficient conditions for a yes.
![Page 35: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/35.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 4
Setup:
I X is a k-vector space, k a field
I S = k[X ] is the polynomial ring
I G ≤ GL(X ) and acts on S as degree-preservingautomorphisms.
Question: Is S a free module over J?This is Kostant’s First Problem and I will providesufficient conditions for a yes.
![Page 36: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/36.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 4
Setup:
I X is a k-vector space, k a field
I S = k[X ] is the polynomial ring
I G ≤ GL(X ) and acts on S as degree-preservingautomorphisms.
Question: Is S a free module over J?This is Kostant’s First Problem and I will providesufficient conditions for a yes.
![Page 37: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/37.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Setup and question – 4
Setup:
I X is a k-vector space, k a field
I S = k[X ] is the polynomial ring
I G ≤ GL(X ) and acts on S as degree-preservingautomorphisms.
Question: Is S a free module over J?This is Kostant’s First Problem and I will providesufficient conditions for a yes.
![Page 38: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/38.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Steps towards the solution
Setup: S(Ox) is the ring of functions on Ox as restrictionsof elements of S .
Exploration: Free means absence of nontrivial linearrelations. We relate linear independence in two ways:
I Over J versus over k: Note that all k modules are freeas k is a field.
I On the whole space (that is, in S) versus restricted toan orbit (that is, in S(Ox))
![Page 39: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/39.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Steps towards the solution
Setup: S(Ox) is the ring of functions on Ox as restrictionsof elements of S .Exploration: Free means absence of nontrivial linearrelations. We relate linear independence in two ways:
I Over J versus over k: Note that all k modules are freeas k is a field.
I On the whole space (that is, in S) versus restricted toan orbit (that is, in S(Ox))
![Page 40: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/40.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Steps towards the solution
Setup: S(Ox) is the ring of functions on Ox as restrictionsof elements of S .Exploration: Free means absence of nontrivial linearrelations. We relate linear independence in two ways:
I Over J versus over k: Note that all k modules are freeas k is a field.
I On the whole space (that is, in S) versus restricted toan orbit (that is, in S(Ox))
![Page 41: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/41.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Steps towards the solution
Setup: S(Ox) is the ring of functions on Ox as restrictionsof elements of S .Exploration: Free means absence of nontrivial linearrelations. We relate linear independence in two ways:
I Over J versus over k: Note that all k modules are freeas k is a field.
I On the whole space (that is, in S) versus restricted toan orbit (that is, in S(Ox))
![Page 42: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/42.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Steps towards the solution
Setup: S(Ox) is the ring of functions on Ox as restrictionsof elements of S .Exploration: Free means absence of nontrivial linearrelations. We relate linear independence in two ways:
I Over J versus over k: Note that all k modules are freeas k is a field.
I On the whole space (that is, in S) versus restricted toan orbit (that is, in S(Ox))
![Page 43: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/43.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Statement of the major result
Setup:
I X = kn, S = k[X ], G ≤ GL(X ), J = SG
I J+ ≡ positive degree part of J
I H is a graded subspace complement to J+S
Basic result:JH = S
![Page 44: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/44.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Statement of the major result
Setup:
I X = kn, S = k[X ], G ≤ GL(X ), J = SG
I J+ ≡ positive degree part of J
I H is a graded subspace complement to J+S
Basic result:JH = S
![Page 45: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/45.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Statement of the major result
Setup:
I X = kn, S = k[X ], G ≤ GL(X ), J = SG
I J+ ≡ positive degree part of J
I H is a graded subspace complement to J+S
Basic result:JH = S
![Page 46: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/46.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Outline
Prerequisites
Setup and basic questions
Kostant’s first problem
Kostant’s second problem
Source
![Page 47: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/47.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Restatement of result – and steps to proof
Result (stated without proof): The following areequivalent.
1. J ⊗ H → S (given as f ⊗ g 7→ fg) is an isomorphism.
2. S is free over J.
3. Let M be a k submodule intersecting J+S trivially.Then for elements of M, k-linear independence equalsJ-linear independence.
Goal: To determine when equivalent condition (2) holds.Approach: Try to determine when equivalent condition (3)holds.
![Page 48: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/48.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Restatement of result – and steps to proof
Result (stated without proof): The following areequivalent.
1. J ⊗ H → S (given as f ⊗ g 7→ fg) is an isomorphism.
2. S is free over J.
3. Let M be a k submodule intersecting J+S trivially.Then for elements of M, k-linear independence equalsJ-linear independence.
Goal: To determine when equivalent condition (2) holds.Approach: Try to determine when equivalent condition (3)holds.
![Page 49: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/49.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Restatement of result – and steps to proof
Result (stated without proof): The following areequivalent.
1. J ⊗ H → S (given as f ⊗ g 7→ fg) is an isomorphism.
2. S is free over J.
3. Let M be a k submodule intersecting J+S trivially.Then for elements of M, k-linear independence equalsJ-linear independence.
Goal: To determine when equivalent condition (2) holds.Approach: Try to determine when equivalent condition (3)holds.
![Page 50: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/50.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Restatement of result – and steps to proof
Result (stated without proof): The following areequivalent.
1. J ⊗ H → S (given as f ⊗ g 7→ fg) is an isomorphism.
2. S is free over J.
3. Let M be a k submodule intersecting J+S trivially.Then for elements of M, k-linear independence equalsJ-linear independence.
Goal: To determine when equivalent condition (2) holds.
Approach: Try to determine when equivalent condition (3)holds.
![Page 51: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/51.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Restatement of result – and steps to proof
Result (stated without proof): The following areequivalent.
1. J ⊗ H → S (given as f ⊗ g 7→ fg) is an isomorphism.
2. S is free over J.
3. Let M be a k submodule intersecting J+S trivially.Then for elements of M, k-linear independence equalsJ-linear independence.
Goal: To determine when equivalent condition (2) holds.Approach: Try to determine when equivalent condition (3)holds.
![Page 52: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/52.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Proof programme begins
Programme: We prove equivalent condition (3): If Mintersects J+S trivially, nontrivial J-linear relation givesnontrivial k-linear relation. We take the orbit route
1. nontrivial J-linear relation =⇒ nontrivial k-linearrelation restricted to orbit
2. nontrivial k-linear relation restricted to orbit =⇒nontrivial k-linear relation
![Page 53: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/53.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Naive proof idea for part (1)
Claim: nontrivial J-linear relation over S =⇒ nontrivial krelation on restriction to orbit
Naive Proof Idea: Map original relation via quotient mapto a k-linear relation.Bug: Nontrivial relation may restrict to trivial relation.Proper proof: Observe that the set of points at which therelation restricts to a trivial one is open. How? Look at thenext slide.
![Page 54: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/54.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Naive proof idea for part (1)
Claim: nontrivial J-linear relation over S =⇒ nontrivial krelation on restriction to orbitNaive Proof Idea: Map original relation via quotient mapto a k-linear relation.
Bug: Nontrivial relation may restrict to trivial relation.Proper proof: Observe that the set of points at which therelation restricts to a trivial one is open. How? Look at thenext slide.
![Page 55: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/55.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Naive proof idea for part (1)
Claim: nontrivial J-linear relation over S =⇒ nontrivial krelation on restriction to orbitNaive Proof Idea: Map original relation via quotient mapto a k-linear relation.Bug: Nontrivial relation may restrict to trivial relation.
Proper proof: Observe that the set of points at which therelation restricts to a trivial one is open. How? Look at thenext slide.
![Page 56: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/56.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Naive proof idea for part (1)
Claim: nontrivial J-linear relation over S =⇒ nontrivial krelation on restriction to orbitNaive Proof Idea: Map original relation via quotient mapto a k-linear relation.Bug: Nontrivial relation may restrict to trivial relation.Proper proof: Observe that the set of points at which therelation restricts to a trivial one is open. How? Look at thenext slide.
![Page 57: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/57.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The proof for part (1)
Claim: Take a collection fi of functions. Locate the set ofpoints x such that fi |Ox are linearly independent. This set isopen.Proof Idea: Convert the linear independence of fi s on theorbit to linear independence of columns constructed at thepoint. This is the matrix D = dij with dij = pi .fj .Ingredient: The fact that a function being zero on thewhole orbit is captured by all derivatives being zero at onepoint. That is, complex analytic functions have Taylorexpansions.Limitation: In the form presented, this proof works onlyover C.
![Page 58: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/58.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The proof for part (2)
Claim: Under certain conditions, a nontrivial k-linearrelation over an orbit =⇒ nontrivial k-linear relation overwhole space (X )
Ingredients:
I Nontrivial linear relation over subset =⇒ nontriviallinear relation over Zariski closure
I Function vanishes on the zero set of a “Galois closed”ideal =⇒ Function is in ideal
Special fact: When k is algebraically closed, a “radicalideal” is a “Galois-closed” ideal, courtesy Hilbert’snullstellensatz
![Page 59: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/59.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The proof for part (2)
Claim: Under certain conditions, a nontrivial k-linearrelation over an orbit =⇒ nontrivial k-linear relation overwhole space (X )Ingredients:
I Nontrivial linear relation over subset =⇒ nontriviallinear relation over Zariski closure
I Function vanishes on the zero set of a “Galois closed”ideal =⇒ Function is in ideal
Special fact: When k is algebraically closed, a “radicalideal” is a “Galois-closed” ideal, courtesy Hilbert’snullstellensatz
![Page 60: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/60.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The proof for part (2)
Claim: Under certain conditions, a nontrivial k-linearrelation over an orbit =⇒ nontrivial k-linear relation overwhole space (X )Ingredients:
I Nontrivial linear relation over subset =⇒ nontriviallinear relation over Zariski closure
I Function vanishes on the zero set of a “Galois closed”ideal =⇒ Function is in ideal
Special fact: When k is algebraically closed, a “radicalideal” is a “Galois-closed” ideal, courtesy Hilbert’snullstellensatz
![Page 61: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/61.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The proof for part (2)
Claim: Under certain conditions, a nontrivial k-linearrelation over an orbit =⇒ nontrivial k-linear relation overwhole space (X )Ingredients:
I Nontrivial linear relation over subset =⇒ nontriviallinear relation over Zariski closure
I Function vanishes on the zero set of a “Galois closed”ideal =⇒ Function is in ideal
Special fact: When k is algebraically closed, a “radicalideal” is a “Galois-closed” ideal, courtesy Hilbert’snullstellensatz
![Page 62: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/62.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The proof for part (2) (contd)
Setup: Let P be the Zariski cone of J+S .
Claim: If J+S is a radical ideal, k = C and O is a denseorbit in P, nontrivial k-linear relation in M over O =⇒nontrivial k-linear relation over X .Proof Idea: Apply the ingredients on the previous slide.Will become clearer when done on the blackboard.
![Page 63: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/63.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The proof for part (2) (contd)
Setup: Let P be the Zariski cone of J+S .Claim: If J+S is a radical ideal, k = C and O is a denseorbit in P, nontrivial k-linear relation in M over O =⇒nontrivial k-linear relation over X .
Proof Idea: Apply the ingredients on the previous slide.Will become clearer when done on the blackboard.
![Page 64: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/64.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The proof for part (2) (contd)
Setup: Let P be the Zariski cone of J+S .Claim: If J+S is a radical ideal, k = C and O is a denseorbit in P, nontrivial k-linear relation in M over O =⇒nontrivial k-linear relation over X .Proof Idea: Apply the ingredients on the previous slide.Will become clearer when done on the blackboard.
![Page 65: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/65.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The exact claim
Summary: We have obtained sufficient conditions for S tobe free over J.
Overall claim: Let k = C, J+S be a radical ideal, and O bea dense orbit in P. Then, if M ∩ J+S = 0, J-linearindependence equals k-linear independence for elements inM.Ingredients:
I C is algebraically closed and J+S is a radical ideal =⇒J+S is Galois closed.
I The Lie algebra structure of C was used in transferringan orbit-related question to a point-related question.
![Page 66: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/66.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The exact claim
Summary: We have obtained sufficient conditions for S tobe free over J.Overall claim: Let k = C, J+S be a radical ideal, and O bea dense orbit in P. Then, if M ∩ J+S = 0, J-linearindependence equals k-linear independence for elements inM.
Ingredients:
I C is algebraically closed and J+S is a radical ideal =⇒J+S is Galois closed.
I The Lie algebra structure of C was used in transferringan orbit-related question to a point-related question.
![Page 67: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/67.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The exact claim
Summary: We have obtained sufficient conditions for S tobe free over J.Overall claim: Let k = C, J+S be a radical ideal, and O bea dense orbit in P. Then, if M ∩ J+S = 0, J-linearindependence equals k-linear independence for elements inM.Ingredients:
I C is algebraically closed and J+S is a radical ideal =⇒J+S is Galois closed.
I The Lie algebra structure of C was used in transferringan orbit-related question to a point-related question.
![Page 68: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/68.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Outline
Prerequisites
Setup and basic questions
Kostant’s first problem
Kostant’s second problem
Source
![Page 69: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/69.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Statement of the problem
Setup: k, X , S , J, J+SQuestion: Let H be a module-theoretic complement to J+Sin S . How does the map γx : H → S(Ox) look?
Partial answer: It is surjective. It is an “isomorphism” incase any function in H vanishing on P is zero.
![Page 70: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/70.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Statement of the problem
Setup: k, X , S , J, J+SQuestion: Let H be a module-theoretic complement to J+Sin S . How does the map γx : H → S(Ox) look?Partial answer: It is surjective. It is an “isomorphism” incase any function in H vanishing on P is zero.
![Page 71: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/71.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Conditions for quasi-regularity
Recall: We already proved that if Ox is dense in P, the mapγx is injective.
Definition: If Ox is dense in P, x is termed regular(defined). Ifthe saturation of Ox under the C∗ action is dense in P, x istermed quasi-regular(defined).Question: Is γx an isomorphism for quasi-regular x (the wayit is for regular x)?
![Page 72: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/72.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Conditions for quasi-regularity
Recall: We already proved that if Ox is dense in P, the mapγx is injective.Definition: If Ox is dense in P, x is termed regular(defined). Ifthe saturation of Ox under the C∗ action is dense in P, x istermed quasi-regular(defined).
Question: Is γx an isomorphism for quasi-regular x (the wayit is for regular x)?
![Page 73: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/73.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Conditions for quasi-regularity
Recall: We already proved that if Ox is dense in P, the mapγx is injective.Definition: If Ox is dense in P, x is termed regular(defined). Ifthe saturation of Ox under the C∗ action is dense in P, x istermed quasi-regular(defined).Question: Is γx an isomorphism for quasi-regular x (the wayit is for regular x)?
![Page 74: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/74.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
The proof
Proof ingredients:
I The set of regular points is Euclidean nonempty open(nonvanishing minors) and the saturation of any Ox fora regular point x is dense. So they intersect.
I The set of x for which γx is isomorphism is closed underC∗ action.
![Page 75: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/75.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Miscellaneous comments
I A general notion of Galois correspondence
I Other questions about finitely generated and aboutfree.
I A natural complement to J+S , namely the space ofharmonic polynomials.
![Page 76: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/76.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
Outline
Prerequisites
Setup and basic questions
Kostant’s first problem
Kostant’s second problem
Source
![Page 77: A presentation on Kostant's invariant theory papervipul/writeupsand... · A presentation on Kostant’s invariant theory paper Vipul Naik Prerequisites Setup and basic questions Kostant’s](https://reader034.vdocuments.site/reader034/viewer/2022050415/5f8bd9a632f90439c6659652/html5/thumbnails/77.jpg)
A presentation onKostant’s invariant
theory paper
Vipul Naik
Prerequisites
Setup and basicquestions
Kostant’s firstproblem
Kostant’s secondproblem
Source
This is based on the paper “Lie Group Representations ofPolynomial Rings” by Bertram Kostant. The paper isavailable via JSTOR to paid subscribers at:http://links.jstor.org/sici?sici=0002-9327(196307)85:3%3C327:LGROPR%3E2.0.CO%3B2-1This is a modified version of a presentation I have as part ofmy Visiting Students’ Research Programme at TIFR, underthe guidance of Professor Dipendra Prasad.