F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf ·...
Transcript of F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf ·...
![Page 1: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/1.jpg)
F -rationality of the ring of modular invariants
Mitsuyasu Hashimoto
Okayama University
March 22, 2016Partially Joint with P. Symonds
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 1 / 36
![Page 2: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/2.jpg)
F -rationality of the ring of modular invariants
Mitsuyasu Hashimoto
Okayama University
March 22, 2016Partially Joint with P. Symonds
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 1 / 36
![Page 3: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/3.jpg)
F -regularity and F -rationality of rings of invariants
Let k = k be an algebraically closed field of characteristic p > 0. LetV = kd , and G be a finite subgroup of GL(V ) = GLd . We say thatg ∈ GL(V ) is a pseudo-reflection if rank(1V − g) = 1. LetB = SymV = k[v1, . . . , vd ], where v1, . . . , vd is a basis of V , andA = BG .
Question 1Assume that G does not have a pseudo-reflection.
1 When is A = BG strongly F -regular?
2 When is A = BG F -rational?
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 2 / 36
![Page 4: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/4.jpg)
F -regularity and F -rationality of rings of invariants
Let k = k be an algebraically closed field of characteristic p > 0. LetV = kd , and G be a finite subgroup of GL(V ) = GLd . We say thatg ∈ GL(V ) is a pseudo-reflection if rank(1V − g) = 1. LetB = SymV = k[v1, . . . , vd ], where v1, . . . , vd is a basis of V , andA = BG .
Question 1Assume that G does not have a pseudo-reflection.
1 When is A = BG strongly F -regular?
2 When is A = BG F -rational?
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 2 / 36
![Page 5: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/5.jpg)
F -regularity and F -rationality of rings of invariants
Let k = k be an algebraically closed field of characteristic p > 0. LetV = kd , and G be a finite subgroup of GL(V ) = GLd . We say thatg ∈ GL(V ) is a pseudo-reflection if rank(1V − g) = 1. LetB = SymV = k[v1, . . . , vd ], where v1, . . . , vd is a basis of V , andA = BG .
Question 1Assume that G does not have a pseudo-reflection.
1 When is A = BG strongly F -regular?
2 When is A = BG F -rational?
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 2 / 36
![Page 6: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/6.jpg)
F -regularity and F -rationality of rings of invariants
Let k = k be an algebraically closed field of characteristic p > 0. LetV = kd , and G be a finite subgroup of GL(V ) = GLd . We say thatg ∈ GL(V ) is a pseudo-reflection if rank(1V − g) = 1. LetB = SymV = k[v1, . . . , vd ], where v1, . . . , vd is a basis of V , andA = BG .
Question 1Assume that G does not have a pseudo-reflection.
1 When is A = BG strongly F -regular?
2 When is A = BG F -rational?
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 2 / 36
![Page 7: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/7.jpg)
F -regularity and F -rationality of rings of invariants
Let k = k be an algebraically closed field of characteristic p > 0. LetV = kd , and G be a finite subgroup of GL(V ) = GLd . We say thatg ∈ GL(V ) is a pseudo-reflection if rank(1V − g) = 1. LetB = SymV = k[v1, . . . , vd ], where v1, . . . , vd is a basis of V , andA = BG .
Question 1Assume that G does not have a pseudo-reflection.
1 When is A = BG strongly F -regular?
2 When is A = BG F -rational?
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 2 / 36
![Page 8: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/8.jpg)
F -regularity and F -rationality of rings of invariants
Let k = k be an algebraically closed field of characteristic p > 0. LetV = kd , and G be a finite subgroup of GL(V ) = GLd . We say thatg ∈ GL(V ) is a pseudo-reflection if rank(1V − g) = 1. LetB = SymV = k[v1, . . . , vd ], where v1, . . . , vd is a basis of V , andA = BG .
Question 1Assume that G does not have a pseudo-reflection.
1 When is A = BG strongly F -regular?
2 When is A = BG F -rational?
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 2 / 36
![Page 9: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/9.jpg)
F -regularity and F -rationality of rings of invariants
Let k = k be an algebraically closed field of characteristic p > 0. LetV = kd , and G be a finite subgroup of GL(V ) = GLd . We say thatg ∈ GL(V ) is a pseudo-reflection if rank(1V − g) = 1. LetB = SymV = k[v1, . . . , vd ], where v1, . . . , vd is a basis of V , andA = BG .
Question 1Assume that G does not have a pseudo-reflection.
1 When is A = BG strongly F -regular?
2 When is A = BG F -rational?
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 2 / 36
![Page 10: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/10.jpg)
Broer–Yasuda theorem
Theorem 2 (Broer, Yasuda)
Assume that G does not have a pseudo-reflection. The following areequivalent.
1 A = BG is strongly F -regular.
2 A is a direct summand subring of B .
3 p does not divide the order #G of G .
2⇒1 is simply because strong F -regularity is inherited by a directsummand. 1⇒2 is because a weakly F -regular ring is a splinter(Hochster–Huneke). 3⇒2 is by the existence of the Reynoldsoperator. Broer and Yasuda proved 2⇒3.
Today we consider the problem for F -rationality.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 3 / 36
![Page 11: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/11.jpg)
Broer–Yasuda theorem
Theorem 2 (Broer, Yasuda)
Assume that G does not have a pseudo-reflection. The following areequivalent.
1 A = BG is strongly F -regular.
2 A is a direct summand subring of B .
3 p does not divide the order #G of G .
2⇒1 is simply because strong F -regularity is inherited by a directsummand. 1⇒2 is because a weakly F -regular ring is a splinter(Hochster–Huneke). 3⇒2 is by the existence of the Reynoldsoperator. Broer and Yasuda proved 2⇒3.
Today we consider the problem for F -rationality.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 3 / 36
![Page 12: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/12.jpg)
Broer–Yasuda theorem
Theorem 2 (Broer, Yasuda)
Assume that G does not have a pseudo-reflection. The following areequivalent.
1 A = BG is strongly F -regular.
2 A is a direct summand subring of B .
3 p does not divide the order #G of G .
2⇒1 is simply because strong F -regularity is inherited by a directsummand. 1⇒2 is because a weakly F -regular ring is a splinter(Hochster–Huneke). 3⇒2 is by the existence of the Reynoldsoperator. Broer and Yasuda proved 2⇒3.
Today we consider the problem for F -rationality.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 3 / 36
![Page 13: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/13.jpg)
Broer–Yasuda theorem
Theorem 2 (Broer, Yasuda)
Assume that G does not have a pseudo-reflection. The following areequivalent.
1 A = BG is strongly F -regular.
2 A is a direct summand subring of B .
3 p does not divide the order #G of G .
2⇒1 is simply because strong F -regularity is inherited by a directsummand. 1⇒2 is because a weakly F -regular ring is a splinter(Hochster–Huneke). 3⇒2 is by the existence of the Reynoldsoperator. Broer and Yasuda proved 2⇒3.
Today we consider the problem for F -rationality.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 3 / 36
![Page 14: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/14.jpg)
Broer–Yasuda theorem
Theorem 2 (Broer, Yasuda)
Assume that G does not have a pseudo-reflection. The following areequivalent.
1 A = BG is strongly F -regular.
2 A is a direct summand subring of B .
3 p does not divide the order #G of G .
2⇒1 is simply because strong F -regularity is inherited by a directsummand. 1⇒2 is because a weakly F -regular ring is a splinter(Hochster–Huneke). 3⇒2 is by the existence of the Reynoldsoperator. Broer and Yasuda proved 2⇒3.
Today we consider the problem for F -rationality.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 3 / 36
![Page 15: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/15.jpg)
Broer–Yasuda theorem
Theorem 2 (Broer, Yasuda)
Assume that G does not have a pseudo-reflection. The following areequivalent.
1 A = BG is strongly F -regular.
2 A is a direct summand subring of B .
3 p does not divide the order #G of G .
2⇒1 is simply because strong F -regularity is inherited by a directsummand. 1⇒2 is because a weakly F -regular ring is a splinter(Hochster–Huneke). 3⇒2 is by the existence of the Reynoldsoperator. Broer and Yasuda proved 2⇒3.
Today we consider the problem for F -rationality.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 3 / 36
![Page 16: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/16.jpg)
Broer–Yasuda theorem
Theorem 2 (Broer, Yasuda)
Assume that G does not have a pseudo-reflection. The following areequivalent.
1 A = BG is strongly F -regular.
2 A is a direct summand subring of B .
3 p does not divide the order #G of G .
2⇒1 is simply because strong F -regularity is inherited by a directsummand. 1⇒2 is because a weakly F -regular ring is a splinter(Hochster–Huneke). 3⇒2 is by the existence of the Reynoldsoperator. Broer and Yasuda proved 2⇒3.
Today we consider the problem for F -rationality.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 3 / 36
![Page 17: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/17.jpg)
Broer–Yasuda theorem
Theorem 2 (Broer, Yasuda)
Assume that G does not have a pseudo-reflection. The following areequivalent.
1 A = BG is strongly F -regular.
2 A is a direct summand subring of B .
3 p does not divide the order #G of G .
2⇒1 is simply because strong F -regularity is inherited by a directsummand. 1⇒2 is because a weakly F -regular ring is a splinter(Hochster–Huneke). 3⇒2 is by the existence of the Reynoldsoperator. Broer and Yasuda proved 2⇒3.
Today we consider the problem for F -rationality.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 3 / 36
![Page 18: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/18.jpg)
Broer–Yasuda theorem
Theorem 2 (Broer, Yasuda)
Assume that G does not have a pseudo-reflection. The following areequivalent.
1 A = BG is strongly F -regular.
2 A is a direct summand subring of B .
3 p does not divide the order #G of G .
2⇒1 is simply because strong F -regularity is inherited by a directsummand. 1⇒2 is because a weakly F -regular ring is a splinter(Hochster–Huneke). 3⇒2 is by the existence of the Reynoldsoperator. Broer and Yasuda proved 2⇒3.
Today we consider the problem for F -rationality.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 3 / 36
![Page 19: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/19.jpg)
Graded (G ,B)-modules
Let V = kd , and G be a finite subgroup of GL(V ) = GLd . LetB = SymV and A = BG .
A G -module B-module M is called a (G ,B)-module ifg(bm) = (gb)(gm) holds. This is the same as a module over thetwisted group algebra B ∗ G .Let M be the category of Z[1/p]-graded (G ,B)-modules. Let F beits full subcategory consisting of B-finite B-free objects.The Frobenius twist e(?) is an endofunctor of M, and eF ⊂ F .If M ∈ M and m ∈ M is of degree d , then em ∈ eM is of degreed/pe .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 4 / 36
![Page 20: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/20.jpg)
Graded (G ,B)-modules
Let V = kd , and G be a finite subgroup of GL(V ) = GLd . LetB = SymV and A = BG .
A G -module B-module M is called a (G ,B)-module ifg(bm) = (gb)(gm) holds. This is the same as a module over thetwisted group algebra B ∗ G .Let M be the category of Z[1/p]-graded (G ,B)-modules. Let F beits full subcategory consisting of B-finite B-free objects.The Frobenius twist e(?) is an endofunctor of M, and eF ⊂ F .If M ∈ M and m ∈ M is of degree d , then em ∈ eM is of degreed/pe .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 4 / 36
![Page 21: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/21.jpg)
Graded (G ,B)-modules
Let V = kd , and G be a finite subgroup of GL(V ) = GLd . LetB = SymV and A = BG .
A G -module B-module M is called a (G ,B)-module ifg(bm) = (gb)(gm) holds. This is the same as a module over thetwisted group algebra B ∗ G .Let M be the category of Z[1/p]-graded (G ,B)-modules. Let F beits full subcategory consisting of B-finite B-free objects.The Frobenius twist e(?) is an endofunctor of M, and eF ⊂ F .If M ∈ M and m ∈ M is of degree d , then em ∈ eM is of degreed/pe .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 4 / 36
![Page 22: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/22.jpg)
Graded (G ,B)-modules
Let V = kd , and G be a finite subgroup of GL(V ) = GLd . LetB = SymV and A = BG .
A G -module B-module M is called a (G ,B)-module ifg(bm) = (gb)(gm) holds. This is the same as a module over thetwisted group algebra B ∗ G .Let M be the category of Z[1/p]-graded (G ,B)-modules. Let F beits full subcategory consisting of B-finite B-free objects.The Frobenius twist e(?) is an endofunctor of M, and eF ⊂ F .If M ∈ M and m ∈ M is of degree d , then em ∈ eM is of degreed/pe .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 4 / 36
![Page 23: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/23.jpg)
Graded (G ,B)-modules
Let V = kd , and G be a finite subgroup of GL(V ) = GLd . LetB = SymV and A = BG .
A G -module B-module M is called a (G ,B)-module ifg(bm) = (gb)(gm) holds. This is the same as a module over thetwisted group algebra B ∗ G .Let M be the category of Z[1/p]-graded (G ,B)-modules. Let F beits full subcategory consisting of B-finite B-free objects.The Frobenius twist e(?) is an endofunctor of M, and eF ⊂ F .If M ∈ M and m ∈ M is of degree d , then em ∈ eM is of degreed/pe .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 4 / 36
![Page 24: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/24.jpg)
Frobenius twists of objects of F
Lemma 3 (Symonds–H)
There exists some e0 ≥ 1 such that for any E ∈ F of rank f , thereexists a direct summand E0 of e0E in F such that E0
∼= (B ⊗k kG )f
as (G ,B)-modules.
Lemma 4 (Symonds–H)e(B ⊗k kG ) ∼= (B ⊗k kG )p
deas (G ,B)-modules.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 5 / 36
![Page 25: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/25.jpg)
Frobenius twists of objects of F
Lemma 3 (Symonds–H)
There exists some e0 ≥ 1 such that for any E ∈ F of rank f , thereexists a direct summand E0 of e0E in F such that E0
∼= (B ⊗k kG )f
as (G ,B)-modules.
Lemma 4 (Symonds–H)e(B ⊗k kG ) ∼= (B ⊗k kG )p
deas (G ,B)-modules.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 5 / 36
![Page 26: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/26.jpg)
Asymptotic behavior of Frobenius twists
Theorem 5 (Symonds–H)
There exist some c > 0 and 0 < α < 1 such that for any E ∈ F ofrank f and any e ≥ 1, there exists some decomposition
eE ∼= E0,e ⊕ E1,e
in F such that E0,e is a direct sum of copies of B ⊗k kG as a(G ,B)-module, and E1,e is an object of F whose rank is less than orequal to fcpdeαe .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 6 / 36
![Page 27: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/27.jpg)
Some observations on E0,e and E1,e
lime→∞1pde
rankE1,e = 0. Hence lime→∞1pde
rankE0,e = f .
Since (B ⊗k kG )G ∼= B as A-modules, we have
lime→∞
1
pdeµA(E
G0,e) = f µA(B)/|G | = feHK(A) (by
Watanabe–Yoshida theorem, as [Q(B) : Q(A)] = |G |), where Aand B are the completions of A and B , respectively.
As lime→∞
1
pdeµA(
e EG ) = eHK(e EG ) = feHK(A), we have
Corollary 6 (Symonds–H)
lime→∞
1
pdeµA(E
G1,e) = 0.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 7 / 36
![Page 28: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/28.jpg)
Some observations on E0,e and E1,e
lime→∞1pde
rankE1,e = 0. Hence lime→∞1pde
rankE0,e = f .
Since (B ⊗k kG )G ∼= B as A-modules, we have
lime→∞
1
pdeµA(E
G0,e) = f µA(B)/|G | = feHK(A) (by
Watanabe–Yoshida theorem, as [Q(B) : Q(A)] = |G |), where Aand B are the completions of A and B , respectively.
As lime→∞
1
pdeµA(
e EG ) = eHK(e EG ) = feHK(A), we have
Corollary 6 (Symonds–H)
lime→∞
1
pdeµA(E
G1,e) = 0.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 7 / 36
![Page 29: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/29.jpg)
Some observations on E0,e and E1,e
lime→∞1pde
rankE1,e = 0. Hence lime→∞1pde
rankE0,e = f .
Since (B ⊗k kG )G ∼= B as A-modules, we have
lime→∞
1
pdeµA(E
G0,e) = f µA(B)/|G | = feHK(A) (by
Watanabe–Yoshida theorem, as [Q(B) : Q(A)] = |G |), where Aand B are the completions of A and B , respectively.
As lime→∞
1
pdeµA(
e EG ) = eHK(e EG ) = feHK(A), we have
Corollary 6 (Symonds–H)
lime→∞
1
pdeµA(E
G1,e) = 0.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 7 / 36
![Page 30: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/30.jpg)
Some observations on E0,e and E1,e
lime→∞1pde
rankE1,e = 0. Hence lime→∞1pde
rankE0,e = f .
Since (B ⊗k kG )G ∼= B as A-modules, we have
lime→∞
1
pdeµA(E
G0,e) = f µA(B)/|G | = feHK(A) (by
Watanabe–Yoshida theorem, as [Q(B) : Q(A)] = |G |), where Aand B are the completions of A and B , respectively.
As lime→∞
1
pdeµA(
e EG ) = eHK(e EG ) = feHK(A), we have
Corollary 6 (Symonds–H)
lime→∞
1
pdeµA(E
G1,e) = 0.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 7 / 36
![Page 31: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/31.jpg)
Interpretation to A-modulesLet k = V0,V1, . . . ,Vn be the list of simple G -modules. Let Pi bethe projective cover of Vi . Set Mi := (B ⊗k Pi)
G .
Theorem 7 (Symonds–H)
There exists some sequence of non-negative integers {ae} such that
1 lime→∞ ae/pde = 1/|G |; and
2 For each B-finite B-free Z-graded (G ,B)-module E of rank fand e ≥ 1, there is a decomposition
eEG ∼=n⊕
i=0
M⊕fae dimVii ⊕ME ,e
as an A-module such that lime→∞ µA(ME ,e)/pde = 0.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 8 / 36
![Page 32: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/32.jpg)
Interpretation to A-modulesLet k = V0,V1, . . . ,Vn be the list of simple G -modules. Let Pi bethe projective cover of Vi . Set Mi := (B ⊗k Pi)
G .
Theorem 7 (Symonds–H)
There exists some sequence of non-negative integers {ae} such that
1 lime→∞ ae/pde = 1/|G |; and
2 For each B-finite B-free Z-graded (G ,B)-module E of rank fand e ≥ 1, there is a decomposition
eEG ∼=n⊕
i=0
M⊕fae dimVii ⊕ME ,e
as an A-module such that lime→∞ µA(ME ,e)/pde = 0.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 8 / 36
![Page 33: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/33.jpg)
Interpretation to A-modulesLet k = V0,V1, . . . ,Vn be the list of simple G -modules. Let Pi bethe projective cover of Vi . Set Mi := (B ⊗k Pi)
G .
Theorem 7 (Symonds–H)
There exists some sequence of non-negative integers {ae} such that
1 lime→∞ ae/pde = 1/|G |; and
2 For each B-finite B-free Z-graded (G ,B)-module E of rank fand e ≥ 1, there is a decomposition
eEG ∼=n⊕
i=0
M⊕fae dimVii ⊕ME ,e
as an A-module such that lime→∞ µA(ME ,e)/pde = 0.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 8 / 36
![Page 34: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/34.jpg)
Interpretation to A-modulesLet k = V0,V1, . . . ,Vn be the list of simple G -modules. Let Pi bethe projective cover of Vi . Set Mi := (B ⊗k Pi)
G .
Theorem 7 (Symonds–H)
There exists some sequence of non-negative integers {ae} such that
1 lime→∞ ae/pde = 1/|G |; and
2 For each B-finite B-free Z-graded (G ,B)-module E of rank fand e ≥ 1, there is a decomposition
eEG ∼=n⊕
i=0
M⊕fae dimVii ⊕ME ,e
as an A-module such that lime→∞ µA(ME ,e)/pde = 0.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 8 / 36
![Page 35: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/35.jpg)
Sannai’s dual F -signature
Let (R ,m, k) be a d-dimensional reduced F -finite local ring of primecharacteristic p with k perfect. For finite R-modules M and N , define
surjR(M ,N) := max{r ∈ Z≥0 | ∃ a surjection M → N⊕r}.
We define
s(M) := lim supe→∞
surjR(eM ,M)
pde,
and call it the dual F -signature of M (Sannai). s(R) is nothing butthe F -signature of the ring R (defined by Huneke–Leuschke).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 9 / 36
![Page 36: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/36.jpg)
Sannai’s dual F -signature
Let (R ,m, k) be a d-dimensional reduced F -finite local ring of primecharacteristic p with k perfect. For finite R-modules M and N , define
surjR(M ,N) := max{r ∈ Z≥0 | ∃ a surjection M → N⊕r}.
We define
s(M) := lim supe→∞
surjR(eM ,M)
pde,
and call it the dual F -signature of M (Sannai). s(R) is nothing butthe F -signature of the ring R (defined by Huneke–Leuschke).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 9 / 36
![Page 37: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/37.jpg)
Sannai’s dual F -signature
Let (R ,m, k) be a d-dimensional reduced F -finite local ring of primecharacteristic p with k perfect. For finite R-modules M and N , define
surjR(M ,N) := max{r ∈ Z≥0 | ∃ a surjection M → N⊕r}.
We define
s(M) := lim supe→∞
surjR(eM ,M)
pde,
and call it the dual F -signature of M (Sannai). s(R) is nothing butthe F -signature of the ring R (defined by Huneke–Leuschke).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 9 / 36
![Page 38: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/38.jpg)
Characterizations of F -regularity and F -rationality
Theorem 8Let (R ,m, k) be a reduced F -finite local ring with k perfect.
1 (Tucker) s(R) := lim supe→∞
surj(eR ,R)
pde= lim
e→∞
surj(eR ,R)
pde.
2 (Aberbach–Leuschke) R is strongly F -regular if and only ifs(R) > 0.
3 (Gabber) R is a homomorphic image of a regular local ring.
4 (Sannai) R is F -rational if and only if R is Cohen–Macaulay ands(ωR) > 0, where ωR is the canonical module of R .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 10 / 36
![Page 39: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/39.jpg)
Characterizations of F -regularity and F -rationality
Theorem 8Let (R ,m, k) be a reduced F -finite local ring with k perfect.
1 (Tucker) s(R) := lim supe→∞
surj(eR ,R)
pde= lim
e→∞
surj(eR ,R)
pde.
2 (Aberbach–Leuschke) R is strongly F -regular if and only ifs(R) > 0.
3 (Gabber) R is a homomorphic image of a regular local ring.
4 (Sannai) R is F -rational if and only if R is Cohen–Macaulay ands(ωR) > 0, where ωR is the canonical module of R .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 10 / 36
![Page 40: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/40.jpg)
Characterizations of F -regularity and F -rationality
Theorem 8Let (R ,m, k) be a reduced F -finite local ring with k perfect.
1 (Tucker) s(R) := lim supe→∞
surj(eR ,R)
pde= lim
e→∞
surj(eR ,R)
pde.
2 (Aberbach–Leuschke) R is strongly F -regular if and only ifs(R) > 0.
3 (Gabber) R is a homomorphic image of a regular local ring.
4 (Sannai) R is F -rational if and only if R is Cohen–Macaulay ands(ωR) > 0, where ωR is the canonical module of R .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 10 / 36
![Page 41: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/41.jpg)
Characterizations of F -regularity and F -rationality
Theorem 8Let (R ,m, k) be a reduced F -finite local ring with k perfect.
1 (Tucker) s(R) := lim supe→∞
surj(eR ,R)
pde= lim
e→∞
surj(eR ,R)
pde.
2 (Aberbach–Leuschke) R is strongly F -regular if and only ifs(R) > 0.
3 (Gabber) R is a homomorphic image of a regular local ring.
4 (Sannai) R is F -rational if and only if R is Cohen–Macaulay ands(ωR) > 0, where ωR is the canonical module of R .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 10 / 36
![Page 42: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/42.jpg)
Characterizations of F -regularity and F -rationality
Theorem 8Let (R ,m, k) be a reduced F -finite local ring with k perfect.
1 (Tucker) s(R) := lim supe→∞
surj(eR ,R)
pde= lim
e→∞
surj(eR ,R)
pde.
2 (Aberbach–Leuschke) R is strongly F -regular if and only ifs(R) > 0.
3 (Gabber) R is a homomorphic image of a regular local ring.
4 (Sannai) R is F -rational if and only if R is Cohen–Macaulay ands(ωR) > 0, where ωR is the canonical module of R .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 10 / 36
![Page 43: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/43.jpg)
Characterizations of F -regularity and F -rationality
Theorem 8Let (R ,m, k) be a reduced F -finite local ring with k perfect.
1 (Tucker) s(R) := lim supe→∞
surj(eR ,R)
pde= lim
e→∞
surj(eR ,R)
pde.
2 (Aberbach–Leuschke) R is strongly F -regular if and only ifs(R) > 0.
3 (Gabber) R is a homomorphic image of a regular local ring.
4 (Sannai) R is F -rational if and only if R is Cohen–Macaulay ands(ωR) > 0, where ωR is the canonical module of R .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 10 / 36
![Page 44: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/44.jpg)
The group [C]
Let C be an additive category. We define
[C] := (⊕M∈C
Z ·M)/(M −M1 −M2 | M ∼= M1 ⊕M2).
The class of M in the group [C] is denoted by [M].The vector space R⊗Z [C] is denoted by [C]R. If C is Krull–Schmidtand C0 is a complete set of representatives of Ind C, then{[M] | M ∈ C0} is an R-basis of [C]R.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 11 / 36
![Page 45: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/45.jpg)
The group [C]
Let C be an additive category. We define
[C] := (⊕M∈C
Z ·M)/(M −M1 −M2 | M ∼= M1 ⊕M2).
The class of M in the group [C] is denoted by [M].The vector space R⊗Z [C] is denoted by [C]R. If C is Krull–Schmidtand C0 is a complete set of representatives of Ind C, then{[M] | M ∈ C0} is an R-basis of [C]R.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 11 / 36
![Page 46: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/46.jpg)
The metric of [mod(R)]
Let R be a Henselian local ring, and C := mod(R). For α ∈ [C]R, wecan write
α =∑M∈C0
cM [M].
We define ∥α∥ :=∑
M |cM |µR(M). Then ([C]R, ∥ · ∥) is a normedspace. So it is a metric space by the metric
d(α, β) := ∥α− β∥.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 12 / 36
![Page 47: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/47.jpg)
The metric of [mod(R)]
Let R be a Henselian local ring, and C := mod(R). For α ∈ [C]R, wecan write
α =∑M∈C0
cM [M].
We define ∥α∥ :=∑
M |cM |µR(M). Then ([C]R, ∥ · ∥) is a normedspace. So it is a metric space by the metric
d(α, β) := ∥α− β∥.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 12 / 36
![Page 48: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/48.jpg)
The F -limit of a module
Let α =∑
M∈C0 cM [M] ∈ [C]R = [mod(R)]R.
Define µR : [C]R → R by µR(α) :=∑
M cMµR(M).
For N ∈ C0, define sumN : [C]R → R by sumN(α) = cN .
Assume further that R is of characteristic p > 0 and F -finitewith a perfect residue field.
Define eα =∑
M∈C0 cM [eM].
Define FL(α) = lime→∞
1
pdeeα (if exists, the F -limit of α).
Define eHK(α) =∑
M cMeHK(M).
For N ∈ C0, define FSN(α) =∑
M cM FSN(M), where
FSN(M) = lime→∞
1
pdesumN(
eM) (the generalized F -signature).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 13 / 36
![Page 49: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/49.jpg)
The F -limit of a module
Let α =∑
M∈C0 cM [M] ∈ [C]R = [mod(R)]R.
Define µR : [C]R → R by µR(α) :=∑
M cMµR(M).
For N ∈ C0, define sumN : [C]R → R by sumN(α) = cN .
Assume further that R is of characteristic p > 0 and F -finitewith a perfect residue field.
Define eα =∑
M∈C0 cM [eM].
Define FL(α) = lime→∞
1
pdeeα (if exists, the F -limit of α).
Define eHK(α) =∑
M cMeHK(M).
For N ∈ C0, define FSN(α) =∑
M cM FSN(M), where
FSN(M) = lime→∞
1
pdesumN(
eM) (the generalized F -signature).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 13 / 36
![Page 50: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/50.jpg)
The F -limit of a module
Let α =∑
M∈C0 cM [M] ∈ [C]R = [mod(R)]R.
Define µR : [C]R → R by µR(α) :=∑
M cMµR(M).
For N ∈ C0, define sumN : [C]R → R by sumN(α) = cN .
Assume further that R is of characteristic p > 0 and F -finitewith a perfect residue field.
Define eα =∑
M∈C0 cM [eM].
Define FL(α) = lime→∞
1
pdeeα (if exists, the F -limit of α).
Define eHK(α) =∑
M cMeHK(M).
For N ∈ C0, define FSN(α) =∑
M cM FSN(M), where
FSN(M) = lime→∞
1
pdesumN(
eM) (the generalized F -signature).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 13 / 36
![Page 51: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/51.jpg)
The F -limit of a module
Let α =∑
M∈C0 cM [M] ∈ [C]R = [mod(R)]R.
Define µR : [C]R → R by µR(α) :=∑
M cMµR(M).
For N ∈ C0, define sumN : [C]R → R by sumN(α) = cN .
Assume further that R is of characteristic p > 0 and F -finitewith a perfect residue field.
Define eα =∑
M∈C0 cM [eM].
Define FL(α) = lime→∞
1
pdeeα (if exists, the F -limit of α).
Define eHK(α) =∑
M cMeHK(M).
For N ∈ C0, define FSN(α) =∑
M cM FSN(M), where
FSN(M) = lime→∞
1
pdesumN(
eM) (the generalized F -signature).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 13 / 36
![Page 52: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/52.jpg)
The F -limit of a module
Let α =∑
M∈C0 cM [M] ∈ [C]R = [mod(R)]R.
Define µR : [C]R → R by µR(α) :=∑
M cMµR(M).
For N ∈ C0, define sumN : [C]R → R by sumN(α) = cN .
Assume further that R is of characteristic p > 0 and F -finitewith a perfect residue field.
Define eα =∑
M∈C0 cM [eM].
Define FL(α) = lime→∞
1
pdeeα (if exists, the F -limit of α).
Define eHK(α) =∑
M cMeHK(M).
For N ∈ C0, define FSN(α) =∑
M cM FSN(M), where
FSN(M) = lime→∞
1
pdesumN(
eM) (the generalized F -signature).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 13 / 36
![Page 53: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/53.jpg)
The F -limit of a module
Let α =∑
M∈C0 cM [M] ∈ [C]R = [mod(R)]R.
Define µR : [C]R → R by µR(α) :=∑
M cMµR(M).
For N ∈ C0, define sumN : [C]R → R by sumN(α) = cN .
Assume further that R is of characteristic p > 0 and F -finitewith a perfect residue field.
Define eα =∑
M∈C0 cM [eM].
Define FL(α) = lime→∞
1
pdeeα (if exists, the F -limit of α).
Define eHK(α) =∑
M cMeHK(M).
For N ∈ C0, define FSN(α) =∑
M cM FSN(M), where
FSN(M) = lime→∞
1
pdesumN(
eM) (the generalized F -signature).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 13 / 36
![Page 54: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/54.jpg)
The F -limit of a module
Let α =∑
M∈C0 cM [M] ∈ [C]R = [mod(R)]R.
Define µR : [C]R → R by µR(α) :=∑
M cMµR(M).
For N ∈ C0, define sumN : [C]R → R by sumN(α) = cN .
Assume further that R is of characteristic p > 0 and F -finitewith a perfect residue field.
Define eα =∑
M∈C0 cM [eM].
Define FL(α) = lime→∞
1
pdeeα (if exists, the F -limit of α).
Define eHK(α) =∑
M cMeHK(M).
For N ∈ C0, define FSN(α) =∑
M cM FSN(M), where
FSN(M) = lime→∞
1
pdesumN(
eM) (the generalized F -signature).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 13 / 36
![Page 55: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/55.jpg)
The F -limit of a module
Let α =∑
M∈C0 cM [M] ∈ [C]R = [mod(R)]R.
Define µR : [C]R → R by µR(α) :=∑
M cMµR(M).
For N ∈ C0, define sumN : [C]R → R by sumN(α) = cN .
Assume further that R is of characteristic p > 0 and F -finitewith a perfect residue field.
Define eα =∑
M∈C0 cM [eM].
Define FL(α) = lime→∞
1
pdeeα (if exists, the F -limit of α).
Define eHK(α) =∑
M cMeHK(M).
For N ∈ C0, define FSN(α) =∑
M cM FSN(M), where
FSN(M) = lime→∞
1
pdesumN(
eM) (the generalized F -signature).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 13 / 36
![Page 56: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/56.jpg)
The Hilbert–Kunz multiplicity and F -signature
Lemma 9µR : [C]R → R is a short map. That is, |µR(α)− µR(β)| ≤ ∥α− β∥.Similarly for sumN : [C]R → R for N ∈ C0. In particular, they areuniformly continuous.
Corollary 10
Let α =∑
M∈C0 cM [M] ∈ [C]R. If FL(α) exists, then
µR(FL(α)) = eHK(α)
andsumN(FL(α)) = FSN(α).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 14 / 36
![Page 57: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/57.jpg)
The Hilbert–Kunz multiplicity and F -signature
Lemma 9µR : [C]R → R is a short map. That is, |µR(α)− µR(β)| ≤ ∥α− β∥.Similarly for sumN : [C]R → R for N ∈ C0. In particular, they areuniformly continuous.
Corollary 10
Let α =∑
M∈C0 cM [M] ∈ [C]R. If FL(α) exists, then
µR(FL(α)) = eHK(α)
andsumN(FL(α)) = FSN(α).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 14 / 36
![Page 58: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/58.jpg)
The dual F -signature
For α =∑
M cM [M] ∈ [C]R and M ,N ∈ modR ,
Define ⟨α⟩ :=∑
M max{0, ⌊cM⌋}[M].
Define
asn(α,N) := limt→∞
1
tsurj(⟨tα⟩,N)
(the limit exists, the asymptotic surjective number).
In general, surj(M ,N) ≤ asn([M],N).
asn(?,N) is a short map.
We say that α ≥ 0 if cM ≥ 0 for any M ∈ C0.If α, β ≥ 0, then asn(α + β,N) ≥ asn(α,N) + asn(β,N).
If the F -limit of M exists, then s(M) = asn(FL([M]),M).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 15 / 36
![Page 59: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/59.jpg)
The dual F -signature
For α =∑
M cM [M] ∈ [C]R and M ,N ∈ modR ,
Define ⟨α⟩ :=∑
M max{0, ⌊cM⌋}[M].
Define
asn(α,N) := limt→∞
1
tsurj(⟨tα⟩,N)
(the limit exists, the asymptotic surjective number).
In general, surj(M ,N) ≤ asn([M],N).
asn(?,N) is a short map.
We say that α ≥ 0 if cM ≥ 0 for any M ∈ C0.If α, β ≥ 0, then asn(α + β,N) ≥ asn(α,N) + asn(β,N).
If the F -limit of M exists, then s(M) = asn(FL([M]),M).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 15 / 36
![Page 60: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/60.jpg)
The dual F -signature
For α =∑
M cM [M] ∈ [C]R and M ,N ∈ modR ,
Define ⟨α⟩ :=∑
M max{0, ⌊cM⌋}[M].
Define
asn(α,N) := limt→∞
1
tsurj(⟨tα⟩,N)
(the limit exists, the asymptotic surjective number).
In general, surj(M ,N) ≤ asn([M],N).
asn(?,N) is a short map.
We say that α ≥ 0 if cM ≥ 0 for any M ∈ C0.If α, β ≥ 0, then asn(α + β,N) ≥ asn(α,N) + asn(β,N).
If the F -limit of M exists, then s(M) = asn(FL([M]),M).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 15 / 36
![Page 61: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/61.jpg)
The dual F -signature
For α =∑
M cM [M] ∈ [C]R and M ,N ∈ modR ,
Define ⟨α⟩ :=∑
M max{0, ⌊cM⌋}[M].
Define
asn(α,N) := limt→∞
1
tsurj(⟨tα⟩,N)
(the limit exists, the asymptotic surjective number).
In general, surj(M ,N) ≤ asn([M],N).
asn(?,N) is a short map.
We say that α ≥ 0 if cM ≥ 0 for any M ∈ C0.If α, β ≥ 0, then asn(α + β,N) ≥ asn(α,N) + asn(β,N).
If the F -limit of M exists, then s(M) = asn(FL([M]),M).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 15 / 36
![Page 62: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/62.jpg)
The dual F -signature
For α =∑
M cM [M] ∈ [C]R and M ,N ∈ modR ,
Define ⟨α⟩ :=∑
M max{0, ⌊cM⌋}[M].
Define
asn(α,N) := limt→∞
1
tsurj(⟨tα⟩,N)
(the limit exists, the asymptotic surjective number).
In general, surj(M ,N) ≤ asn([M],N).
asn(?,N) is a short map.
We say that α ≥ 0 if cM ≥ 0 for any M ∈ C0.If α, β ≥ 0, then asn(α + β,N) ≥ asn(α,N) + asn(β,N).
If the F -limit of M exists, then s(M) = asn(FL([M]),M).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 15 / 36
![Page 63: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/63.jpg)
The dual F -signature
For α =∑
M cM [M] ∈ [C]R and M ,N ∈ modR ,
Define ⟨α⟩ :=∑
M max{0, ⌊cM⌋}[M].
Define
asn(α,N) := limt→∞
1
tsurj(⟨tα⟩,N)
(the limit exists, the asymptotic surjective number).
In general, surj(M ,N) ≤ asn([M],N).
asn(?,N) is a short map.
We say that α ≥ 0 if cM ≥ 0 for any M ∈ C0.If α, β ≥ 0, then asn(α + β,N) ≥ asn(α,N) + asn(β,N).
If the F -limit of M exists, then s(M) = asn(FL([M]),M).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 15 / 36
![Page 64: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/64.jpg)
The dual F -signature
For α =∑
M cM [M] ∈ [C]R and M ,N ∈ modR ,
Define ⟨α⟩ :=∑
M max{0, ⌊cM⌋}[M].
Define
asn(α,N) := limt→∞
1
tsurj(⟨tα⟩,N)
(the limit exists, the asymptotic surjective number).
In general, surj(M ,N) ≤ asn([M],N).
asn(?,N) is a short map.
We say that α ≥ 0 if cM ≥ 0 for any M ∈ C0.If α, β ≥ 0, then asn(α + β,N) ≥ asn(α,N) + asn(β,N).
If the F -limit of M exists, then s(M) = asn(FL([M]),M).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 15 / 36
![Page 65: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/65.jpg)
The dual F -signature
For α =∑
M cM [M] ∈ [C]R and M ,N ∈ modR ,
Define ⟨α⟩ :=∑
M max{0, ⌊cM⌋}[M].
Define
asn(α,N) := limt→∞
1
tsurj(⟨tα⟩,N)
(the limit exists, the asymptotic surjective number).
In general, surj(M ,N) ≤ asn([M],N).
asn(?,N) is a short map.
We say that α ≥ 0 if cM ≥ 0 for any M ∈ C0.If α, β ≥ 0, then asn(α + β,N) ≥ asn(α,N) + asn(β,N).
If the F -limit of M exists, then s(M) = asn(FL([M]),M).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 15 / 36
![Page 66: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/66.jpg)
The restatement of Theorem 7
Theorem 11 (Symonds–H)
For each B-finite B-free Z-graded (G ,B)-module E of rank f ,
FL([EG ]) =f
|G |[B] =
f
|G |
n⊕i=0
(dimVi)[Mi ]
in [mod A]R, where Mi = (B ⊗k Pi)G .
Remark 12The theorem for the case that p does not divide |G | is due toNakajima–H.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 16 / 36
![Page 67: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/67.jpg)
The restatement of Theorem 7
Theorem 11 (Symonds–H)
For each B-finite B-free Z-graded (G ,B)-module E of rank f ,
FL([EG ]) =f
|G |[B] =
f
|G |
n⊕i=0
(dimVi)[Mi ]
in [mod A]R, where Mi = (B ⊗k Pi)G .
Remark 12The theorem for the case that p does not divide |G | is due toNakajima–H.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 16 / 36
![Page 68: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/68.jpg)
The description of ωA
From now, unless otherwise stated explicitly (in an example), assumethat G has no pseudo-reflection.
Theorem 13 (Watanabe–Peskin–Broer–Braun)
Let det = detV denote the one-dimensional representation∧d V of
G . Then
1 ωA∼= (B ⊗k det)
G .
2 Hence B ⊗k det ∼= (B ⊗A ωA)∗∗.
3 In particular, A is quasi-Gorenstein if and only if det ∼= k as aG -module (or equivalently, G ⊂ SL(V )).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 17 / 36
![Page 69: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/69.jpg)
The description of ωA
From now, unless otherwise stated explicitly (in an example), assumethat G has no pseudo-reflection.
Theorem 13 (Watanabe–Peskin–Broer–Braun)
Let det = detV denote the one-dimensional representation∧d V of
G . Then
1 ωA∼= (B ⊗k det)
G .
2 Hence B ⊗k det ∼= (B ⊗A ωA)∗∗.
3 In particular, A is quasi-Gorenstein if and only if det ∼= k as aG -module (or equivalently, G ⊂ SL(V )).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 17 / 36
![Page 70: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/70.jpg)
The description of ωA
From now, unless otherwise stated explicitly (in an example), assumethat G has no pseudo-reflection.
Theorem 13 (Watanabe–Peskin–Broer–Braun)
Let det = detV denote the one-dimensional representation∧d V of
G . Then
1 ωA∼= (B ⊗k det)
G .
2 Hence B ⊗k det ∼= (B ⊗A ωA)∗∗.
3 In particular, A is quasi-Gorenstein if and only if det ∼= k as aG -module (or equivalently, G ⊂ SL(V )).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 17 / 36
![Page 71: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/71.jpg)
The description of ωA
From now, unless otherwise stated explicitly (in an example), assumethat G has no pseudo-reflection.
Theorem 13 (Watanabe–Peskin–Broer–Braun)
Let det = detV denote the one-dimensional representation∧d V of
G . Then
1 ωA∼= (B ⊗k det)
G .
2 Hence B ⊗k det ∼= (B ⊗A ωA)∗∗.
3 In particular, A is quasi-Gorenstein if and only if det ∼= k as aG -module (or equivalently, G ⊂ SL(V )).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 17 / 36
![Page 72: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/72.jpg)
The description of ωA
From now, unless otherwise stated explicitly (in an example), assumethat G has no pseudo-reflection.
Theorem 13 (Watanabe–Peskin–Broer–Braun)
Let det = detV denote the one-dimensional representation∧d V of
G . Then
1 ωA∼= (B ⊗k det)
G .
2 Hence B ⊗k det ∼= (B ⊗A ωA)∗∗.
3 In particular, A is quasi-Gorenstein if and only if det ∼= k as aG -module (or equivalently, G ⊂ SL(V )).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 17 / 36
![Page 73: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/73.jpg)
Reproving Watanabe–Yoshida theorem and
Broer–Yasuda theorem
Note that each Mi = (B ⊗k Pi)G is an indecomposable A-module,
and Mi ∼= Mj for i = j . Moreover, Mi∼= A if and only if Pi
∼= k . Thisis equivalent to say that i = 0 and p does not divide |G |.
Corollary 14 (Watanabe–Yoshida, Broer, Yasuda)
The F -signature s(A) of A is zero if p divides |G |, and is 1/|G |otherwise.
Proof.
s(A) = FS A(A) = |G |−1∑n
i=0(dimVi) sumA([Mi ]).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 18 / 36
![Page 74: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/74.jpg)
Reproving Watanabe–Yoshida theorem and
Broer–Yasuda theorem
Note that each Mi = (B ⊗k Pi)G is an indecomposable A-module,
and Mi ∼= Mj for i = j . Moreover, Mi∼= A if and only if Pi
∼= k . Thisis equivalent to say that i = 0 and p does not divide |G |.
Corollary 14 (Watanabe–Yoshida, Broer, Yasuda)
The F -signature s(A) of A is zero if p divides |G |, and is 1/|G |otherwise.
Proof.
s(A) = FS A(A) = |G |−1∑n
i=0(dimVi) sumA([Mi ]).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 18 / 36
![Page 75: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/75.jpg)
Reproving Watanabe–Yoshida theorem and
Broer–Yasuda theorem
Note that each Mi = (B ⊗k Pi)G is an indecomposable A-module,
and Mi ∼= Mj for i = j . Moreover, Mi∼= A if and only if Pi
∼= k . Thisis equivalent to say that i = 0 and p does not divide |G |.
Corollary 14 (Watanabe–Yoshida, Broer, Yasuda)
The F -signature s(A) of A is zero if p divides |G |, and is 1/|G |otherwise.
Proof.
s(A) = FS A(A) = |G |−1∑n
i=0(dimVi) sumA([Mi ]).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 18 / 36
![Page 76: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/76.jpg)
Representation theoretic characterization of
s(ωA) > 0Let ν be the number such that Vν
∼= det.
Theorem 15 (Main Theorem)
Assume that A is not strongly F -regular (or equivalently, p divides|G |). Then the following are equivalent.
1 s(ωA) > 0;
2 The canonical map Mν → ωA is surjective.
3 H1(G ,B ⊗k radPν) = 0.
4 For any non-projective indecomposable G -summand M of B , Mdoes not contain det−1 (the k-dual of det).
If these conditions hold, then s(ωA) ≥ 1/|G |.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 19 / 36
![Page 77: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/77.jpg)
Representation theoretic characterization of
s(ωA) > 0Let ν be the number such that Vν
∼= det.
Theorem 15 (Main Theorem)
Assume that A is not strongly F -regular (or equivalently, p divides|G |). Then the following are equivalent.
1 s(ωA) > 0;
2 The canonical map Mν → ωA is surjective.
3 H1(G ,B ⊗k radPν) = 0.
4 For any non-projective indecomposable G -summand M of B , Mdoes not contain det−1 (the k-dual of det).
If these conditions hold, then s(ωA) ≥ 1/|G |.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 19 / 36
![Page 78: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/78.jpg)
Representation theoretic characterization of
s(ωA) > 0Let ν be the number such that Vν
∼= det.
Theorem 15 (Main Theorem)
Assume that A is not strongly F -regular (or equivalently, p divides|G |). Then the following are equivalent.
1 s(ωA) > 0;
2 The canonical map Mν → ωA is surjective.
3 H1(G ,B ⊗k radPν) = 0.
4 For any non-projective indecomposable G -summand M of B , Mdoes not contain det−1 (the k-dual of det).
If these conditions hold, then s(ωA) ≥ 1/|G |.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 19 / 36
![Page 79: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/79.jpg)
Representation theoretic characterization of
s(ωA) > 0Let ν be the number such that Vν
∼= det.
Theorem 15 (Main Theorem)
Assume that A is not strongly F -regular (or equivalently, p divides|G |). Then the following are equivalent.
1 s(ωA) > 0;
2 The canonical map Mν → ωA is surjective.
3 H1(G ,B ⊗k radPν) = 0.
4 For any non-projective indecomposable G -summand M of B , Mdoes not contain det−1 (the k-dual of det).
If these conditions hold, then s(ωA) ≥ 1/|G |.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 19 / 36
![Page 80: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/80.jpg)
Representation theoretic characterization of
s(ωA) > 0Let ν be the number such that Vν
∼= det.
Theorem 15 (Main Theorem)
Assume that A is not strongly F -regular (or equivalently, p divides|G |). Then the following are equivalent.
1 s(ωA) > 0;
2 The canonical map Mν → ωA is surjective.
3 H1(G ,B ⊗k radPν) = 0.
4 For any non-projective indecomposable G -summand M of B , Mdoes not contain det−1 (the k-dual of det).
If these conditions hold, then s(ωA) ≥ 1/|G |.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 19 / 36
![Page 81: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/81.jpg)
Representation theoretic characterization of
s(ωA) > 0Let ν be the number such that Vν
∼= det.
Theorem 15 (Main Theorem)
Assume that A is not strongly F -regular (or equivalently, p divides|G |). Then the following are equivalent.
1 s(ωA) > 0;
2 The canonical map Mν → ωA is surjective.
3 H1(G ,B ⊗k radPν) = 0.
4 For any non-projective indecomposable G -summand M of B , Mdoes not contain det−1 (the k-dual of det).
If these conditions hold, then s(ωA) ≥ 1/|G |.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 19 / 36
![Page 82: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/82.jpg)
Representation theoretic characterization of
s(ωA) > 0Let ν be the number such that Vν
∼= det.
Theorem 15 (Main Theorem)
Assume that A is not strongly F -regular (or equivalently, p divides|G |). Then the following are equivalent.
1 s(ωA) > 0;
2 The canonical map Mν → ωA is surjective.
3 H1(G ,B ⊗k radPν) = 0.
4 For any non-projective indecomposable G -summand M of B , Mdoes not contain det−1 (the k-dual of det).
If these conditions hold, then s(ωA) ≥ 1/|G |.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 19 / 36
![Page 83: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/83.jpg)
Theorem 11 for E = B ⊗ det
Let k = V0,V1, . . . ,Vn be the list of simple G -modules. Let Pi bethe projective cover of Vi . Set Mi := (B ⊗k Pi)
G .
Theorem 11 (Symonds–H)
FL([ωA]) =1
|G |[B] =
1
|G |
n⊕i=0
(dimVi)[Mi ],
where Mi = (B ⊗ Pi)G .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 20 / 36
![Page 84: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/84.jpg)
Theorem 11 for E = B ⊗ det
Let k = V0,V1, . . . ,Vn be the list of simple G -modules. Let Pi bethe projective cover of Vi . Set Mi := (B ⊗k Pi)
G .
Theorem 11 (Symonds–H)
FL([ωA]) =1
|G |[B] =
1
|G |
n⊕i=0
(dimVi)[Mi ],
where Mi = (B ⊗ Pi)G .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 20 / 36
![Page 85: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/85.jpg)
The proof of 2⇒1
As we assume that there is a surjection Mν → ωA, surj(Mν , ωA) ≥ 1.By Theorem 11 (applied to E = B ⊗ det),
s(ωA) = asn(FL([ωA]), ωA) =1
|G |asn([Mν ] +
∑i =ν
(dimVi)[Mi ], ωA)
≥ 1
|G |asn([Mν ], ωA) ≥
1
|G |surj(Mν , ωA) ≥
1
|G |> 0.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 21 / 36
![Page 86: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/86.jpg)
The proof of 2⇒1
As we assume that there is a surjection Mν → ωA, surj(Mν , ωA) ≥ 1.By Theorem 11 (applied to E = B ⊗ det),
s(ωA) = asn(FL([ωA]), ωA) =1
|G |asn([Mν ] +
∑i =ν
(dimVi)[Mi ], ωA)
≥ 1
|G |asn([Mν ], ωA) ≥
1
|G |surj(Mν , ωA) ≥
1
|G |> 0.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 21 / 36
![Page 87: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/87.jpg)
The proof of 1⇒2 (1)
By Theorem 11, we have that asn([B], ωA) > 0. Or equivalently,
there is a surjection h : B r → ωA for r ≫ 0. By the equivalence
γ = (B⊗A?)∗∗ : Ref(A) → Ref(G , B), there corresponds
h = γ(h) : (B ⊗k kG )r → B ⊗k det .
As B ⊗k kG is a projective object in the category of (G , B)-modules,h factors through the surjection
B ⊗k Pν → B ⊗k det .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 22 / 36
![Page 88: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/88.jpg)
The proof of 1⇒2 (1)
By Theorem 11, we have that asn([B], ωA) > 0. Or equivalently,
there is a surjection h : B r → ωA for r ≫ 0. By the equivalence
γ = (B⊗A?)∗∗ : Ref(A) → Ref(G , B), there corresponds
h = γ(h) : (B ⊗k kG )r → B ⊗k det .
As B ⊗k kG is a projective object in the category of (G , B)-modules,h factors through the surjection
B ⊗k Pν → B ⊗k det .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 22 / 36
![Page 89: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/89.jpg)
The proof of 1⇒2 (1)
By Theorem 11, we have that asn([B], ωA) > 0. Or equivalently,
there is a surjection h : B r → ωA for r ≫ 0. By the equivalence
γ = (B⊗A?)∗∗ : Ref(A) → Ref(G , B), there corresponds
h = γ(h) : (B ⊗k kG )r → B ⊗k det .
As B ⊗k kG is a projective object in the category of (G , B)-modules,h factors through the surjection
B ⊗k Pν → B ⊗k det .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 22 / 36
![Page 90: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/90.jpg)
The proof of 1⇒2 (2)
(B ⊗k kG )r h //
��
B ⊗k det
B ⊗ Pν
88 88⇔ B r h // //
��
ωA
Mν
??
Returning to the category Ref A, the surjection h : B r → ωA factorsthrough
Mν = (B ⊗A Pν)G → ωA.
So this map is also surjective, and 2 follows.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 23 / 36
![Page 91: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/91.jpg)
The proof of 1⇒2 (2)
(B ⊗k kG )r h //
��
B ⊗k det
B ⊗ Pν
88 88⇔ B r h // //
��
ωA
Mν
??
Returning to the category Ref A, the surjection h : B r → ωA factorsthrough
Mν = (B ⊗A Pν)G → ωA.
So this map is also surjective, and 2 follows.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 23 / 36
![Page 92: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/92.jpg)
A corollary
Corollary 16
Let det−1 denote the dual representation of det. Assume that pdivides |G |. If s(ωA) > 0, then det−1 is not a direct summand of B .
Proof.
Note that the one-dimensional representation det−1 is not projective.The result follows from 1⇒4 of the theorem.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 24 / 36
![Page 93: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/93.jpg)
A corollary
Corollary 16
Let det−1 denote the dual representation of det. Assume that pdivides |G |. If s(ωA) > 0, then det−1 is not a direct summand of B .
Proof.
Note that the one-dimensional representation det−1 is not projective.The result follows from 1⇒4 of the theorem.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 24 / 36
![Page 94: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/94.jpg)
A lemma
Lemma 17Let M and N be in Ref(G ,B). There is a natural isomorphism
γ : HomA(MG ,NG ) → HomB(M ,N)G
Proof.This is simply because γ = (B⊗A?)
∗∗ : Ref(A) → Ref(G ,B) is anequivalence, and HomB(M ,N)G = HomG ,B(M ,N).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 25 / 36
![Page 95: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/95.jpg)
A lemma
Lemma 17Let M and N be in Ref(G ,B). There is a natural isomorphism
γ : HomA(MG ,NG ) → HomB(M ,N)G
Proof.This is simply because γ = (B⊗A?)
∗∗ : Ref(A) → Ref(G ,B) is anequivalence, and HomB(M ,N)G = HomG ,B(M ,N).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 25 / 36
![Page 96: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/96.jpg)
Another criterion
Theorem 18A is F -rational if and only if the following three conditions hold.
1 A is Cohen–Macaulay.
2 H1(G ,B) = 0.
3 (B ⊗k (I/k))G is a maximal Cohen–Macaulay A-module, where I
is the injective hull of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 26 / 36
![Page 97: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/97.jpg)
Another criterion
Theorem 18A is F -rational if and only if the following three conditions hold.
1 A is Cohen–Macaulay.
2 H1(G ,B) = 0.
3 (B ⊗k (I/k))G is a maximal Cohen–Macaulay A-module, where I
is the injective hull of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 26 / 36
![Page 98: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/98.jpg)
Another criterion
Theorem 18A is F -rational if and only if the following three conditions hold.
1 A is Cohen–Macaulay.
2 H1(G ,B) = 0.
3 (B ⊗k (I/k))G is a maximal Cohen–Macaulay A-module, where I
is the injective hull of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 26 / 36
![Page 99: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/99.jpg)
Another criterion
Theorem 18A is F -rational if and only if the following three conditions hold.
1 A is Cohen–Macaulay.
2 H1(G ,B) = 0.
3 (B ⊗k (I/k))G is a maximal Cohen–Macaulay A-module, where I
is the injective hull of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 26 / 36
![Page 100: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/100.jpg)
A corollary
Corollary 19
If A is F -rational, then H1(G , k) = 0.
Proof.k is a direct summand of B , and H1(G ,B) = 0.
Example 20
If char(k) = 2 and G = S2 or S3, then H1(G , k) = 0. So A = BG isnot F -rational (provided G does not have a pseudo-reflection).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 27 / 36
![Page 101: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/101.jpg)
A corollary
Corollary 19
If A is F -rational, then H1(G , k) = 0.
Proof.k is a direct summand of B , and H1(G ,B) = 0.
Example 20
If char(k) = 2 and G = S2 or S3, then H1(G , k) = 0. So A = BG isnot F -rational (provided G does not have a pseudo-reflection).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 27 / 36
![Page 102: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/102.jpg)
A corollary
Corollary 19
If A is F -rational, then H1(G , k) = 0.
Proof.k is a direct summand of B , and H1(G ,B) = 0.
Example 20
If char(k) = 2 and G = S2 or S3, then H1(G , k) = 0. So A = BG isnot F -rational (provided G does not have a pseudo-reflection).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 27 / 36
![Page 103: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/103.jpg)
An example (1)
Let p be an odd prime number.
Let us identify Map(Fp,Fp)× with the symmetric group Sp.
Let Q := Fp ⊂ Sp, acting on Fp by addition. Q is generated bythe cyclic permutation σ = (1+) = (0 1 · · · p − 1) ∈ Sp.
Let Γ := F×p ⊂ Sp, acting on Fp by multiplication. It is a cyclic
group of order p − 1 generated byτ = (α·) = (1 α α2 · · · αp−2), where α is the primitive element.
As τστ−1 = σα, Γ normalizes Q. Set G = QΓ. CG (Q) = Q.
G = {ϕ ∈ Sp | ∃a ∈ F×p ∃b ∈ Fp ∀x ∈ Fp ϕ(x) = ax + b} ⊂ Sp.
#G = p(p − 1).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 28 / 36
![Page 104: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/104.jpg)
An example (1)
Let p be an odd prime number.
Let us identify Map(Fp,Fp)× with the symmetric group Sp.
Let Q := Fp ⊂ Sp, acting on Fp by addition. Q is generated bythe cyclic permutation σ = (1+) = (0 1 · · · p − 1) ∈ Sp.
Let Γ := F×p ⊂ Sp, acting on Fp by multiplication. It is a cyclic
group of order p − 1 generated byτ = (α·) = (1 α α2 · · · αp−2), where α is the primitive element.
As τστ−1 = σα, Γ normalizes Q. Set G = QΓ. CG (Q) = Q.
G = {ϕ ∈ Sp | ∃a ∈ F×p ∃b ∈ Fp ∀x ∈ Fp ϕ(x) = ax + b} ⊂ Sp.
#G = p(p − 1).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 28 / 36
![Page 105: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/105.jpg)
An example (1)
Let p be an odd prime number.
Let us identify Map(Fp,Fp)× with the symmetric group Sp.
Let Q := Fp ⊂ Sp, acting on Fp by addition. Q is generated bythe cyclic permutation σ = (1+) = (0 1 · · · p − 1) ∈ Sp.
Let Γ := F×p ⊂ Sp, acting on Fp by multiplication. It is a cyclic
group of order p − 1 generated byτ = (α·) = (1 α α2 · · · αp−2), where α is the primitive element.
As τστ−1 = σα, Γ normalizes Q. Set G = QΓ. CG (Q) = Q.
G = {ϕ ∈ Sp | ∃a ∈ F×p ∃b ∈ Fp ∀x ∈ Fp ϕ(x) = ax + b} ⊂ Sp.
#G = p(p − 1).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 28 / 36
![Page 106: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/106.jpg)
An example (1)
Let p be an odd prime number.
Let us identify Map(Fp,Fp)× with the symmetric group Sp.
Let Q := Fp ⊂ Sp, acting on Fp by addition. Q is generated bythe cyclic permutation σ = (1+) = (0 1 · · · p − 1) ∈ Sp.
Let Γ := F×p ⊂ Sp, acting on Fp by multiplication. It is a cyclic
group of order p − 1 generated byτ = (α·) = (1 α α2 · · · αp−2), where α is the primitive element.
As τστ−1 = σα, Γ normalizes Q. Set G = QΓ. CG (Q) = Q.
G = {ϕ ∈ Sp | ∃a ∈ F×p ∃b ∈ Fp ∀x ∈ Fp ϕ(x) = ax + b} ⊂ Sp.
#G = p(p − 1).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 28 / 36
![Page 107: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/107.jpg)
An example (1)
Let p be an odd prime number.
Let us identify Map(Fp,Fp)× with the symmetric group Sp.
Let Q := Fp ⊂ Sp, acting on Fp by addition. Q is generated bythe cyclic permutation σ = (1+) = (0 1 · · · p − 1) ∈ Sp.
Let Γ := F×p ⊂ Sp, acting on Fp by multiplication. It is a cyclic
group of order p − 1 generated byτ = (α·) = (1 α α2 · · · αp−2), where α is the primitive element.
As τστ−1 = σα, Γ normalizes Q. Set G = QΓ. CG (Q) = Q.
G = {ϕ ∈ Sp | ∃a ∈ F×p ∃b ∈ Fp ∀x ∈ Fp ϕ(x) = ax + b} ⊂ Sp.
#G = p(p − 1).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 28 / 36
![Page 108: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/108.jpg)
An example (1)
Let p be an odd prime number.
Let us identify Map(Fp,Fp)× with the symmetric group Sp.
Let Q := Fp ⊂ Sp, acting on Fp by addition. Q is generated bythe cyclic permutation σ = (1+) = (0 1 · · · p − 1) ∈ Sp.
Let Γ := F×p ⊂ Sp, acting on Fp by multiplication. It is a cyclic
group of order p − 1 generated byτ = (α·) = (1 α α2 · · · αp−2), where α is the primitive element.
As τστ−1 = σα, Γ normalizes Q. Set G = QΓ. CG (Q) = Q.
G = {ϕ ∈ Sp | ∃a ∈ F×p ∃b ∈ Fp ∀x ∈ Fp ϕ(x) = ax + b} ⊂ Sp.
#G = p(p − 1).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 28 / 36
![Page 109: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/109.jpg)
An example (1)
Let p be an odd prime number.
Let us identify Map(Fp,Fp)× with the symmetric group Sp.
Let Q := Fp ⊂ Sp, acting on Fp by addition. Q is generated bythe cyclic permutation σ = (1+) = (0 1 · · · p − 1) ∈ Sp.
Let Γ := F×p ⊂ Sp, acting on Fp by multiplication. It is a cyclic
group of order p − 1 generated byτ = (α·) = (1 α α2 · · · αp−2), where α is the primitive element.
As τστ−1 = σα, Γ normalizes Q. Set G = QΓ. CG (Q) = Q.
G = {ϕ ∈ Sp | ∃a ∈ F×p ∃b ∈ Fp ∀x ∈ Fp ϕ(x) = ax + b} ⊂ Sp.
#G = p(p − 1).
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 28 / 36
![Page 110: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/110.jpg)
An example (2)
The only involution of Γ is τ (p−1)/2 = ((−1)·) =(1 (p − 1))(2 (p − 2)) · · · ((p − 1)/2 (p + 1)/2), which is atransposition if and only if p = 3.
As Γ contains a Sylow 2-subgroup, a transposition of G isconjugate to a transposition of Γ. So G has a transposition ifand only if p = 3.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 29 / 36
![Page 111: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/111.jpg)
An example (2)
The only involution of Γ is τ (p−1)/2 = ((−1)·) =(1 (p − 1))(2 (p − 2)) · · · ((p − 1)/2 (p + 1)/2), which is atransposition if and only if p = 3.
As Γ contains a Sylow 2-subgroup, a transposition of G isconjugate to a transposition of Γ. So G has a transposition ifand only if p = 3.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 29 / 36
![Page 112: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/112.jpg)
An example (3)
G ⊂ Sp acts on P = kp = ⟨w0,w1, . . . ,wp−1⟩ by ϕwi = wϕ(i) forϕ ∈ G and i ∈ Fp.
Let r ≥ 1, and set V = P⊕r .
G acts on V by permutations of the obvious basis.
A permutation in G is a pseudo-reflection on V if and only if itis a transposition (as a permutation on the basis of V ).
G has a pseudo-reflection on V if and only if r = 1 and p = 3.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 30 / 36
![Page 113: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/113.jpg)
An example (3)
G ⊂ Sp acts on P = kp = ⟨w0,w1, . . . ,wp−1⟩ by ϕwi = wϕ(i) forϕ ∈ G and i ∈ Fp.
Let r ≥ 1, and set V = P⊕r .
G acts on V by permutations of the obvious basis.
A permutation in G is a pseudo-reflection on V if and only if itis a transposition (as a permutation on the basis of V ).
G has a pseudo-reflection on V if and only if r = 1 and p = 3.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 30 / 36
![Page 114: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/114.jpg)
An example (3)
G ⊂ Sp acts on P = kp = ⟨w0,w1, . . . ,wp−1⟩ by ϕwi = wϕ(i) forϕ ∈ G and i ∈ Fp.
Let r ≥ 1, and set V = P⊕r .
G acts on V by permutations of the obvious basis.
A permutation in G is a pseudo-reflection on V if and only if itis a transposition (as a permutation on the basis of V ).
G has a pseudo-reflection on V if and only if r = 1 and p = 3.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 30 / 36
![Page 115: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/115.jpg)
An example (3)
G ⊂ Sp acts on P = kp = ⟨w0,w1, . . . ,wp−1⟩ by ϕwi = wϕ(i) forϕ ∈ G and i ∈ Fp.
Let r ≥ 1, and set V = P⊕r .
G acts on V by permutations of the obvious basis.
A permutation in G is a pseudo-reflection on V if and only if itis a transposition (as a permutation on the basis of V ).
G has a pseudo-reflection on V if and only if r = 1 and p = 3.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 30 / 36
![Page 116: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/116.jpg)
An example (3)
G ⊂ Sp acts on P = kp = ⟨w0,w1, . . . ,wp−1⟩ by ϕwi = wϕ(i) forϕ ∈ G and i ∈ Fp.
Let r ≥ 1, and set V = P⊕r .
G acts on V by permutations of the obvious basis.
A permutation in G is a pseudo-reflection on V if and only if itis a transposition (as a permutation on the basis of V ).
G has a pseudo-reflection on V if and only if r = 1 and p = 3.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 30 / 36
![Page 117: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/117.jpg)
An example (4)
Let S = SymP .
Let λ ∈ Zp, and let wλ = wλ00 · · ·wλp−1
p−1 be the correspondingmonomial of S .
Unless λ0 = λ1 = · · · = λp−1, Q acts freely on the orbit Gwλ.So kGwλ is a kQ-free module.
For a G -module M , we have H i(G ,M) ∼= H i(Q,M)Γ (since theorder of Γ is coprime to p, the Lyndon–Hochschild–Serrespectral sequence collapses).
So kGwλ is G -projective in this case.
If λ0 = λ1 = · · · = λp−1, kGwλ ∼= k is trivial.
So S is a direct sum of projectives and copies of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 31 / 36
![Page 118: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/118.jpg)
An example (4)
Let S = SymP .
Let λ ∈ Zp, and let wλ = wλ00 · · ·wλp−1
p−1 be the correspondingmonomial of S .
Unless λ0 = λ1 = · · · = λp−1, Q acts freely on the orbit Gwλ.So kGwλ is a kQ-free module.
For a G -module M , we have H i(G ,M) ∼= H i(Q,M)Γ (since theorder of Γ is coprime to p, the Lyndon–Hochschild–Serrespectral sequence collapses).
So kGwλ is G -projective in this case.
If λ0 = λ1 = · · · = λp−1, kGwλ ∼= k is trivial.
So S is a direct sum of projectives and copies of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 31 / 36
![Page 119: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/119.jpg)
An example (4)
Let S = SymP .
Let λ ∈ Zp, and let wλ = wλ00 · · ·wλp−1
p−1 be the correspondingmonomial of S .
Unless λ0 = λ1 = · · · = λp−1, Q acts freely on the orbit Gwλ.So kGwλ is a kQ-free module.
For a G -module M , we have H i(G ,M) ∼= H i(Q,M)Γ (since theorder of Γ is coprime to p, the Lyndon–Hochschild–Serrespectral sequence collapses).
So kGwλ is G -projective in this case.
If λ0 = λ1 = · · · = λp−1, kGwλ ∼= k is trivial.
So S is a direct sum of projectives and copies of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 31 / 36
![Page 120: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/120.jpg)
An example (4)
Let S = SymP .
Let λ ∈ Zp, and let wλ = wλ00 · · ·wλp−1
p−1 be the correspondingmonomial of S .
Unless λ0 = λ1 = · · · = λp−1, Q acts freely on the orbit Gwλ.So kGwλ is a kQ-free module.
For a G -module M , we have H i(G ,M) ∼= H i(Q,M)Γ (since theorder of Γ is coprime to p, the Lyndon–Hochschild–Serrespectral sequence collapses).
So kGwλ is G -projective in this case.
If λ0 = λ1 = · · · = λp−1, kGwλ ∼= k is trivial.
So S is a direct sum of projectives and copies of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 31 / 36
![Page 121: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/121.jpg)
An example (4)
Let S = SymP .
Let λ ∈ Zp, and let wλ = wλ00 · · ·wλp−1
p−1 be the correspondingmonomial of S .
Unless λ0 = λ1 = · · · = λp−1, Q acts freely on the orbit Gwλ.So kGwλ is a kQ-free module.
For a G -module M , we have H i(G ,M) ∼= H i(Q,M)Γ (since theorder of Γ is coprime to p, the Lyndon–Hochschild–Serrespectral sequence collapses).
So kGwλ is G -projective in this case.
If λ0 = λ1 = · · · = λp−1, kGwλ ∼= k is trivial.
So S is a direct sum of projectives and copies of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 31 / 36
![Page 122: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/122.jpg)
An example (4)
Let S = SymP .
Let λ ∈ Zp, and let wλ = wλ00 · · ·wλp−1
p−1 be the correspondingmonomial of S .
Unless λ0 = λ1 = · · · = λp−1, Q acts freely on the orbit Gwλ.So kGwλ is a kQ-free module.
For a G -module M , we have H i(G ,M) ∼= H i(Q,M)Γ (since theorder of Γ is coprime to p, the Lyndon–Hochschild–Serrespectral sequence collapses).
So kGwλ is G -projective in this case.
If λ0 = λ1 = · · · = λp−1, kGwλ ∼= k is trivial.
So S is a direct sum of projectives and copies of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 31 / 36
![Page 123: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/123.jpg)
An example (4)
Let S = SymP .
Let λ ∈ Zp, and let wλ = wλ00 · · ·wλp−1
p−1 be the correspondingmonomial of S .
Unless λ0 = λ1 = · · · = λp−1, Q acts freely on the orbit Gwλ.So kGwλ is a kQ-free module.
For a G -module M , we have H i(G ,M) ∼= H i(Q,M)Γ (since theorder of Γ is coprime to p, the Lyndon–Hochschild–Serrespectral sequence collapses).
So kGwλ is G -projective in this case.
If λ0 = λ1 = · · · = λp−1, kGwλ ∼= k is trivial.
So S is a direct sum of projectives and copies of k .
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 31 / 36
![Page 124: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/124.jpg)
An example (5)
Now consider V = P⊕r and B := SymV ∼= S⊗r .
Let k− be the sign representation of G . As τ ∈ G is an oddpermutation, k− ∼= k .
detV = (detP)⊗r = (k−)⊗r ∼= det−1V . This is k if r is even and
k− if r is odd.
If M is a projective G -module and N a G -module, then M ⊗ Nis projective. So B = S⊗r is again a direct sum of projectivesand copies of k .
If r = 1 and p = 3, then A := BG = k[e1, e2, e3], the polynomialring generated by the elementary symmetric polynomials.
Otherwise, G does not have a pseudo-reflection. s(ωA) > 0 ifand only if r is odd.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 32 / 36
![Page 125: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/125.jpg)
An example (5)
Now consider V = P⊕r and B := SymV ∼= S⊗r .
Let k− be the sign representation of G . As τ ∈ G is an oddpermutation, k− ∼= k .
detV = (detP)⊗r = (k−)⊗r ∼= det−1V . This is k if r is even and
k− if r is odd.
If M is a projective G -module and N a G -module, then M ⊗ Nis projective. So B = S⊗r is again a direct sum of projectivesand copies of k .
If r = 1 and p = 3, then A := BG = k[e1, e2, e3], the polynomialring generated by the elementary symmetric polynomials.
Otherwise, G does not have a pseudo-reflection. s(ωA) > 0 ifand only if r is odd.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 32 / 36
![Page 126: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/126.jpg)
An example (5)
Now consider V = P⊕r and B := SymV ∼= S⊗r .
Let k− be the sign representation of G . As τ ∈ G is an oddpermutation, k− ∼= k .
detV = (detP)⊗r = (k−)⊗r ∼= det−1V . This is k if r is even and
k− if r is odd.
If M is a projective G -module and N a G -module, then M ⊗ Nis projective. So B = S⊗r is again a direct sum of projectivesand copies of k .
If r = 1 and p = 3, then A := BG = k[e1, e2, e3], the polynomialring generated by the elementary symmetric polynomials.
Otherwise, G does not have a pseudo-reflection. s(ωA) > 0 ifand only if r is odd.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 32 / 36
![Page 127: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/127.jpg)
An example (5)
Now consider V = P⊕r and B := SymV ∼= S⊗r .
Let k− be the sign representation of G . As τ ∈ G is an oddpermutation, k− ∼= k .
detV = (detP)⊗r = (k−)⊗r ∼= det−1V . This is k if r is even and
k− if r is odd.
If M is a projective G -module and N a G -module, then M ⊗ Nis projective. So B = S⊗r is again a direct sum of projectivesand copies of k .
If r = 1 and p = 3, then A := BG = k[e1, e2, e3], the polynomialring generated by the elementary symmetric polynomials.
Otherwise, G does not have a pseudo-reflection. s(ωA) > 0 ifand only if r is odd.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 32 / 36
![Page 128: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/128.jpg)
An example (5)
Now consider V = P⊕r and B := SymV ∼= S⊗r .
Let k− be the sign representation of G . As τ ∈ G is an oddpermutation, k− ∼= k .
detV = (detP)⊗r = (k−)⊗r ∼= det−1V . This is k if r is even and
k− if r is odd.
If M is a projective G -module and N a G -module, then M ⊗ Nis projective. So B = S⊗r is again a direct sum of projectivesand copies of k .
If r = 1 and p = 3, then A := BG = k[e1, e2, e3], the polynomialring generated by the elementary symmetric polynomials.
Otherwise, G does not have a pseudo-reflection. s(ωA) > 0 ifand only if r is odd.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 32 / 36
![Page 129: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/129.jpg)
An example (5)
Now consider V = P⊕r and B := SymV ∼= S⊗r .
Let k− be the sign representation of G . As τ ∈ G is an oddpermutation, k− ∼= k .
detV = (detP)⊗r = (k−)⊗r ∼= det−1V . This is k if r is even and
k− if r is odd.
If M is a projective G -module and N a G -module, then M ⊗ Nis projective. So B = S⊗r is again a direct sum of projectivesand copies of k .
If r = 1 and p = 3, then A := BG = k[e1, e2, e3], the polynomialring generated by the elementary symmetric polynomials.
Otherwise, G does not have a pseudo-reflection. s(ωA) > 0 ifand only if r is odd.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 32 / 36
![Page 130: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/130.jpg)
Kemper’s theorem
Let k be a field of characteristic p > 0, and G be a subgroup of thesymmetric group of Sd acting on B = k[v1, . . . , vd ] by permutation.Let Q be a Sylow p-subgroup of G . Assume that |Q| = p. LetN = NG (Q) be the normalizer. Let X1, . . . ,Xc be the Q-orbits of{v1, . . . , vd}. Set
H := {σ ∈ N | ∀i σ(Xi) ⊂ Xi}.
Then Q is a normal subgroup of H . Set m := [H : CH(Q)].
Theorem 21 (Kemper)
depthBG = min{2m + c , d}.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 33 / 36
![Page 131: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/131.jpg)
Kemper’s theorem
Let k be a field of characteristic p > 0, and G be a subgroup of thesymmetric group of Sd acting on B = k[v1, . . . , vd ] by permutation.Let Q be a Sylow p-subgroup of G . Assume that |Q| = p. LetN = NG (Q) be the normalizer. Let X1, . . . ,Xc be the Q-orbits of{v1, . . . , vd}. Set
H := {σ ∈ N | ∀i σ(Xi) ⊂ Xi}.
Then Q is a normal subgroup of H . Set m := [H : CH(Q)].
Theorem 21 (Kemper)
depthBG = min{2m + c , d}.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 33 / 36
![Page 132: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/132.jpg)
The depth of our example
For our G , Q, and V , H = N = G . CH(Q) = Q.
So m = p − 1, and c = r .
So depthA = min{2p − 2 + r , rp} and dimA = d = rp.
So A is Cohen–Macaulay if and only if r ≤ 2.
It follows that A is F -rational if and only if r = 1.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 34 / 36
![Page 133: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/133.jpg)
The depth of our example
For our G , Q, and V , H = N = G . CH(Q) = Q.
So m = p − 1, and c = r .
So depthA = min{2p − 2 + r , rp} and dimA = d = rp.
So A is Cohen–Macaulay if and only if r ≤ 2.
It follows that A is F -rational if and only if r = 1.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 34 / 36
![Page 134: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/134.jpg)
The depth of our example
For our G , Q, and V , H = N = G . CH(Q) = Q.
So m = p − 1, and c = r .
So depthA = min{2p − 2 + r , rp} and dimA = d = rp.
So A is Cohen–Macaulay if and only if r ≤ 2.
It follows that A is F -rational if and only if r = 1.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 34 / 36
![Page 135: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/135.jpg)
The depth of our example
For our G , Q, and V , H = N = G . CH(Q) = Q.
So m = p − 1, and c = r .
So depthA = min{2p − 2 + r , rp} and dimA = d = rp.
So A is Cohen–Macaulay if and only if r ≤ 2.
It follows that A is F -rational if and only if r = 1.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 34 / 36
![Page 136: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/136.jpg)
The depth of our example
For our G , Q, and V , H = N = G . CH(Q) = Q.
So m = p − 1, and c = r .
So depthA = min{2p − 2 + r , rp} and dimA = d = rp.
So A is Cohen–Macaulay if and only if r ≤ 2.
It follows that A is F -rational if and only if r = 1.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 34 / 36
![Page 137: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/137.jpg)
Conclusion
Theorem 22Let p ≥ 3, r , G , V , B = SymV , and A = BG be as above.
1 #G = p(p − 1).
2 If p = 3 and r = 1, then G is a reflection group and A is apolynomial ring. Otherwise, G does not have apseudo-reflection, and A is not F -regular.
3 If p ≥ 5 and r = 1, then A is F -rational but not F -regular.
4 If r = 2, then A is Gorenstein, but not F -rational.
5 If r ≥ 3 and odd, then s(ωA) > 0 but A is not Cohen–Macaulay.
6 If r ≥ 4 and even, then A is quasi-Gorenstein, but notCohen–Macaulay.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 35 / 36
![Page 138: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/138.jpg)
Conclusion
Theorem 22Let p ≥ 3, r , G , V , B = SymV , and A = BG be as above.
1 #G = p(p − 1).
2 If p = 3 and r = 1, then G is a reflection group and A is apolynomial ring. Otherwise, G does not have apseudo-reflection, and A is not F -regular.
3 If p ≥ 5 and r = 1, then A is F -rational but not F -regular.
4 If r = 2, then A is Gorenstein, but not F -rational.
5 If r ≥ 3 and odd, then s(ωA) > 0 but A is not Cohen–Macaulay.
6 If r ≥ 4 and even, then A is quasi-Gorenstein, but notCohen–Macaulay.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 35 / 36
![Page 139: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/139.jpg)
Conclusion
Theorem 22Let p ≥ 3, r , G , V , B = SymV , and A = BG be as above.
1 #G = p(p − 1).
2 If p = 3 and r = 1, then G is a reflection group and A is apolynomial ring. Otherwise, G does not have apseudo-reflection, and A is not F -regular.
3 If p ≥ 5 and r = 1, then A is F -rational but not F -regular.
4 If r = 2, then A is Gorenstein, but not F -rational.
5 If r ≥ 3 and odd, then s(ωA) > 0 but A is not Cohen–Macaulay.
6 If r ≥ 4 and even, then A is quasi-Gorenstein, but notCohen–Macaulay.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 35 / 36
![Page 140: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/140.jpg)
Conclusion
Theorem 22Let p ≥ 3, r , G , V , B = SymV , and A = BG be as above.
1 #G = p(p − 1).
2 If p = 3 and r = 1, then G is a reflection group and A is apolynomial ring. Otherwise, G does not have apseudo-reflection, and A is not F -regular.
3 If p ≥ 5 and r = 1, then A is F -rational but not F -regular.
4 If r = 2, then A is Gorenstein, but not F -rational.
5 If r ≥ 3 and odd, then s(ωA) > 0 but A is not Cohen–Macaulay.
6 If r ≥ 4 and even, then A is quasi-Gorenstein, but notCohen–Macaulay.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 35 / 36
![Page 141: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/141.jpg)
Conclusion
Theorem 22Let p ≥ 3, r , G , V , B = SymV , and A = BG be as above.
1 #G = p(p − 1).
2 If p = 3 and r = 1, then G is a reflection group and A is apolynomial ring. Otherwise, G does not have apseudo-reflection, and A is not F -regular.
3 If p ≥ 5 and r = 1, then A is F -rational but not F -regular.
4 If r = 2, then A is Gorenstein, but not F -rational.
5 If r ≥ 3 and odd, then s(ωA) > 0 but A is not Cohen–Macaulay.
6 If r ≥ 4 and even, then A is quasi-Gorenstein, but notCohen–Macaulay.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 35 / 36
![Page 142: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/142.jpg)
Conclusion
Theorem 22Let p ≥ 3, r , G , V , B = SymV , and A = BG be as above.
1 #G = p(p − 1).
2 If p = 3 and r = 1, then G is a reflection group and A is apolynomial ring. Otherwise, G does not have apseudo-reflection, and A is not F -regular.
3 If p ≥ 5 and r = 1, then A is F -rational but not F -regular.
4 If r = 2, then A is Gorenstein, but not F -rational.
5 If r ≥ 3 and odd, then s(ωA) > 0 but A is not Cohen–Macaulay.
6 If r ≥ 4 and even, then A is quasi-Gorenstein, but notCohen–Macaulay.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 35 / 36
![Page 143: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/143.jpg)
Conclusion
Theorem 22Let p ≥ 3, r , G , V , B = SymV , and A = BG be as above.
1 #G = p(p − 1).
2 If p = 3 and r = 1, then G is a reflection group and A is apolynomial ring. Otherwise, G does not have apseudo-reflection, and A is not F -regular.
3 If p ≥ 5 and r = 1, then A is F -rational but not F -regular.
4 If r = 2, then A is Gorenstein, but not F -rational.
5 If r ≥ 3 and odd, then s(ωA) > 0 but A is not Cohen–Macaulay.
6 If r ≥ 4 and even, then A is quasi-Gorenstein, but notCohen–Macaulay.
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 35 / 36
![Page 144: F-rationality of the ring of modular invariantshashimoto/paper/lectures/halong16.pdf · Broer{Yasuda theorem Theorem 2 (Broer, Yasuda) Assume that G does not have a pseudo-re ection.](https://reader035.fdocuments.in/reader035/viewer/2022070812/5f0b441b7e708231d42faa4b/html5/thumbnails/144.jpg)
Thank you
This slide will soon be available athttp://www.math.okayama-u.ac.jp/ hashimoto/
Mitsuyasu Hashimoto (Okayama University) F -rationality of rings of invariants March 22, 2016 36 / 36