Difference between revisions of "(C2)^4"

From Block library
Jump to: navigation, search
(Switched M(16,14,2) and M(16,14,3) to match C2xC2 and C3xC3xC3 labellings. Changed reference for k(B), l(B))
(Removed possibly incorrect Picard groups)
 
(6 intermediate revisions by 3 users not shown)
Line 3: Line 3:
 
== Blocks with defect group <math>(C_2)^4</math> ==
 
== Blocks with defect group <math>(C_2)^4</math> ==
  
[[Image:under-construction.png|50px|left]]
+
These were classified in [[References#E|[Ea18]]] using the [[Glossary#CFSG|CFSG]]. Each of the sixteen <math>k</math>-Morita equivalence classes lifts to an unique class over <math>\mathcal{O}</math>. The possibilities for <math> k(B) \text{ and } l(B)</math> were computed in [[References#K|[KS13]]] and [[References#E|[EKKS14]]].
 
 
These were classified in [[References|[Ea18]]] using the [[Glossary#CFSG|CFSG]]. Each of the sixteen <math>k</math>-Morita equivalence classes lifts to an unique class over <math>\mathcal{O}</math>. The possibilities for <math> k(B) \text{ and } l(B)</math> were computed in [[References|[KS13] and [EKKS14]]].
 
  
 
{| class="wikitable"
 
{| class="wikitable"
Line 22: Line 20:
  
 
|-
 
|-
|[[M(16,14,1)]] || <math>k((C_2)^4)</math> || 1 ||16 ||1 ||<math>1</math> || || ||1 ||1 ||
+
|[[M(16,14,1)]] || <math>k((C_2)^4)</math> || 1 ||16 ||1 ||<math>1</math> || <math>(C_2)^4:GL_4(2)</math> || ||1 ||1 ||
 
|-
 
|-
|[[M(16,14,2)]] || <math>B_0(k(C_2 \times C_2 \times A_5))</math> || 1 ||16 ||3 ||<math>C_3</math> || || ||1 ||1 ||  
+
|[[M(16,14,2)]] || <math>B_0(k(C_2 \times C_2 \times A_5))</math> || 1 ||16 ||3 ||<math>C_3</math> || <math>((C_2 \times C_2):S_3) \times C_2</math> || ||1 ||1 ||  
 
|-
 
|-
|[[M(16,14,3)]] || <math>k(C_2 \times C_2 \times A_4)</math> || 1 ||16 ||3 ||<math>C_3</math> || || ||1 ||1 ||  
+
|[[M(16,14,3)]] || <math>k(C_2 \times C_2 \times A_4)</math> || 1 ||16 ||3 ||<math>C_3</math> || <math>((C_2 \times C_2):S_3) \times S_3</math> || ||1 ||1 ||  
 
|-
 
|-
 
|[[M(16,14,4)]] || <math>k((C_2)^4 :C_3)</math> || 1 ||8 ||3 ||<math>C_3</math> || || ||1 ||1 || The action comes from the 5th power of a Singer cycle for <math>\mathbb{F}_{16}</math>
 
|[[M(16,14,4)]] || <math>k((C_2)^4 :C_3)</math> || 1 ||8 ||3 ||<math>C_3</math> || || ||1 ||1 || The action comes from the 5th power of a Singer cycle for <math>\mathbb{F}_{16}</math>
 
|-
 
|-
|[[M(16,14,5)]] || <math>k((C_2)^4 : C_5)</math> || 1 ||8 ||5 ||<math>C_5</math> || || ||1 ||1 ||  
+
|[[M(16,14,5)]] || <math>k((C_2)^4 : C_5)</math> || 1 ||8 ||5 ||<math>C_5</math> || || ||1 ||1 || The action comes from the 3rd power of a Singer cycle for <math>\mathbb{F}_{16}</math>
 
|-
 
|-
 
|[[M(16,14,6)]] || <math>k(C_2 \times ((C_2)^3:C_7))</math> || 1 ||16 ||7 ||<math>C_7</math> || || ||1 ||1 ||  
 
|[[M(16,14,6)]] || <math>k(C_2 \times ((C_2)^3:C_7))</math> || 1 ||16 ||7 ||<math>C_7</math> || || ||1 ||1 ||  
Line 36: Line 34:
 
|[[M(16,14,7)]] || <math>B_0(k(C_2 \times SL_2(8)))</math> || 1 ||16 ||7 ||<math>C_7</math> || || ||1 ||1 ||
 
|[[M(16,14,7)]] || <math>B_0(k(C_2 \times SL_2(8)))</math> || 1 ||16 ||7 ||<math>C_7</math> || || ||1 ||1 ||
 
|-  
 
|-  
|[[M(16,14,8)]] || <math>k(A_4 \times A_4)</math> || 1 ||16 ||9 ||<math>C_3 \times C_3</math> || || ||1 ||1 ||  
+
|[[M(16,14,8)]] || <math>k(A_4 \times A_4)</math> || 1 ||16 ||9 ||<math>C_3 \times C_3</math> || <math>S_3 \wr C_2</math>|| ||1 ||1 ||  
 
|-
 
|-
|[[M(16,14,9)]] || <math>B_0(k(A_4 \times A_5))</math> || 1 ||16 ||9 ||<math>C_3 \times C_3</math> || || ||1 ||1 ||
+
|[[M(16,14,9)]] || <math>B_0(k(A_4 \times A_5))</math> || 1 ||16 ||9 ||<math>C_3 \times C_3</math> || <math>S_3 \times C_2</math> || ||1 ||1 ||
 
|-
 
|-
 
|[[M(16,14,10)]] || <math>B_0(k(A_5 \times A_5))</math> || 1 ||16 ||9 ||<math>C_3 \times C_3</math> || || ||1 ||1 ||  
 
|[[M(16,14,10)]] || <math>B_0(k(A_5 \times A_5))</math> || 1 ||16 ||9 ||<math>C_3 \times C_3</math> || || ||1 ||1 ||  
 
|-
 
|-
|[[M(16,14,11)]] || <math>k((C_2)^4 : C_{15})</math> || 1 ||16 ||15 ||<math>C_{15}</math> || || ||1 ||1 ||  
+
|[[M(16,14,11)]] || <math>k((C_2)^4 : C_{15})</math> || 1 ||16 ||15 ||<math>C_{15}</math> || <math>C_{15}:C_4</math> || ||1 ||1 ||  
 
|-
 
|-
|[[M(16,14,12)]] || <math>B_0(kSL_2(16))</math> || 1 ||16 ||15 ||<math>C_{15}</math> || || ||1 ||1 ||  
+
|[[M(16,14,12)]] || <math>B_0(kSL_2(16))</math> || 1 ||16 ||15 ||<math>C_{15}</math> || <math>C_4</math> || ||1 ||1 ||  
 
|-
 
|-
 
|[[M(16,14,13)]] || <math>k(C_2 \times ((C_2)^3:(C_7:C_3)))</math> || 1 ||16 ||5 ||<math>C_7:C_3</math> || || ||1 ||1 ||  
 
|[[M(16,14,13)]] || <math>k(C_2 \times ((C_2)^3:(C_7:C_3)))</math> || 1 ||16 ||5 ||<math>C_7:C_3</math> || || ||1 ||1 ||  
Line 52: Line 50:
 
|[[M(16,14,15)]] || <math>B_0(k(C_2 \times{\rm Aut}(SL_2(8))))</math> || 1 ||16 ||5 ||<math>C_7:C_3</math> || || ||1 ||1 ||
 
|[[M(16,14,15)]] || <math>B_0(k(C_2 \times{\rm Aut}(SL_2(8))))</math> || 1 ||16 ||5 ||<math>C_7:C_3</math> || || ||1 ||1 ||
 
|-  
 
|-  
|[[M(16,14,16)]] || <math>b(k((C_2)^4 : 3^{1+2}_{+}))</math> || 1 ||8 ||1 ||<math>C_3 \times C_3</math> || || ||1 ||1 ||Non-principal faithful block. The center acts trivially.
+
|[[M(16,14,16)]] || <math>b_2(k((C_2)^4 : 3^{1+2}_{+}))</math> || 1 ||8 ||1 ||<math>C_3 \times C_3</math> || || ||1 ||1 ||Non-principal faithful block. Cannot be Morita equivalent to a principal block of any finite group.
 
|}
 
|}
  

Latest revision as of 17:39, 9 December 2019

Blocks with defect group [math](C_2)^4[/math]

These were classified in [Ea18] using the CFSG. Each of the sixteen [math]k[/math]-Morita equivalence classes lifts to an unique class over [math]\mathcal{O}[/math]. The possibilities for [math] k(B) \text{ and } l(B)[/math] were computed in [KS13] and [EKKS14].

Class Representative # lifts / [math]\mathcal{O}[/math] [math]k(B)[/math] [math]l(B)[/math] Inertial quotients [math]{\rm Pic}_\mathcal{O}(B)[/math] [math]{\rm Pic}_k(B)[/math] [math]{\rm mf_\mathcal{O}(B)}[/math] [math]{\rm mf_k(B)}[/math] Notes
M(16,14,1) [math]k((C_2)^4)[/math] 1 16 1 [math]1[/math] [math](C_2)^4:GL_4(2)[/math] 1 1
M(16,14,2) [math]B_0(k(C_2 \times C_2 \times A_5))[/math] 1 16 3 [math]C_3[/math] [math]((C_2 \times C_2):S_3) \times C_2[/math] 1 1
M(16,14,3) [math]k(C_2 \times C_2 \times A_4)[/math] 1 16 3 [math]C_3[/math] [math]((C_2 \times C_2):S_3) \times S_3[/math] 1 1
M(16,14,4) [math]k((C_2)^4 :C_3)[/math] 1 8 3 [math]C_3[/math] 1 1 The action comes from the 5th power of a Singer cycle for [math]\mathbb{F}_{16}[/math]
M(16,14,5) [math]k((C_2)^4 : C_5)[/math] 1 8 5 [math]C_5[/math] 1 1 The action comes from the 3rd power of a Singer cycle for [math]\mathbb{F}_{16}[/math]
M(16,14,6) [math]k(C_2 \times ((C_2)^3:C_7))[/math] 1 16 7 [math]C_7[/math] 1 1
M(16,14,7) [math]B_0(k(C_2 \times SL_2(8)))[/math] 1 16 7 [math]C_7[/math] 1 1
M(16,14,8) [math]k(A_4 \times A_4)[/math] 1 16 9 [math]C_3 \times C_3[/math] [math]S_3 \wr C_2[/math] 1 1
M(16,14,9) [math]B_0(k(A_4 \times A_5))[/math] 1 16 9 [math]C_3 \times C_3[/math] [math]S_3 \times C_2[/math] 1 1
M(16,14,10) [math]B_0(k(A_5 \times A_5))[/math] 1 16 9 [math]C_3 \times C_3[/math] 1 1
M(16,14,11) [math]k((C_2)^4 : C_{15})[/math] 1 16 15 [math]C_{15}[/math] [math]C_{15}:C_4[/math] 1 1
M(16,14,12) [math]B_0(kSL_2(16))[/math] 1 16 15 [math]C_{15}[/math] [math]C_4[/math] 1 1
M(16,14,13) [math]k(C_2 \times ((C_2)^3:(C_7:C_3)))[/math] 1 16 5 [math]C_7:C_3[/math] 1 1
M(16,14,14) [math]B_0(k(C_2 \times J_1))[/math] 1 16 5 [math]C_7:C_3[/math] 1 1
M(16,14,15) [math]B_0(k(C_2 \times{\rm Aut}(SL_2(8))))[/math] 1 16 5 [math]C_7:C_3[/math] 1 1
M(16,14,16) [math]b_2(k((C_2)^4 : 3^{1+2}_{+}))[/math] 1 8 1 [math]C_3 \times C_3[/math] 1 1 Non-principal faithful block. Cannot be Morita equivalent to a principal block of any finite group.

Both non-principal faithful blocks of [math]k((C_2)^4 : 3^{1+2}_{+})[/math] and [math]k((C_2)^4 : 3^{1+2}_{-})[/math] are Morita equivalent.

Blocks are derived equivalent if and only if they have the same inertial quotient (with the same action on the defect group) and number of simple modules. All the derived equivalences here also occur over [math]\mathcal{O}[/math]. In particular:

M(16,14,2) and M(16,14,3) are derived equivalent over [math]\mathcal{O}[/math].

M(16,14,6) and M(16,14,7) are derived equivalent over [math]\mathcal{O}[/math].

M(16,14,8) M(16,14,9) and M(16,14,10) are derived equivalent over [math]\mathcal{O}[/math].

M(16,14,11) and M(16,14,12) are derived equivalent over [math]\mathcal{O}[/math].

M(16,14,13), M(16,14,14) and M(16,14,15) are derived equivalent over [math]\mathcal{O}[/math].