# Questions tagged [modular-representation-theory]

For questions about modular representation theory, the study of representations over a field of positive characteristic.

125
questions

3
votes

0
answers

129
views

### Has the positivity part in Lusztig's conjecture been solved?

In Lusztig's paper "BASE IN EQUIVARIANT K- THEORY Ⅱ", He stated a conjecture about the positivity of coefficients in his famous conjecture.
Precisely, (In 9.20) He conjectured that
$\tilde{\...

2
votes

0
answers

40
views

### Modular invariants of special linear groups acting on exterior powers

In general it can be very difficult to compute the invariants of a group acting on a module which is not a vector space over an infinite field. I am interested in the following example, motivated by ...

2
votes

0
answers

164
views

### Context for Wiles defect criterion and patching

This is not a homework or a project question, just me trying to get acquainted to the subject: I am an MSc student who recently came across the Wiles defect numerical criterion (see, for example, ...

6
votes

1
answer

130
views

### When is the group algebra a product of local rings up to Morita equivalence?

Let $KG$ be the group algebra of a finite group $G$ over a field of characteristic $p$.
Question 1: Is there a characterisation when $KG$ is Morita equivalent to a product of local rings?
This ...

1
vote

0
answers

82
views

### Pure, residual, 2-dimensional, semisimple $G_{\mathbb{Q}}$ representations

Let $G_{\mathbb{Q}}$ be the absolute Galois group of the rationals. I want to know how many isomorphism classes of 2-dimensional, irreducible, pure Galois representations are there over a finite field ...

2
votes

0
answers

93
views

### How to compute the character of the Steinberg module for the group $\mathrm{SL}_n$ over a field of characteristic $p$?

It is known that the Steinberg representation $V$ of the group $\mathrm{SL}_n$ over a field $k$ of characteristic $p$ (maybe one needs to assume that $k$ is perfect, I am not sure) is the irreducible ...

2
votes

0
answers

40
views

### Characters of simple $\mathfrak{sl}_n$-modules in positive characteristic with subregular nilpotent central character

Consider representations of $\mathfrak{sl}_n$ in positive characteristic with a subregular nilpotent central character $\chi$ (i.e. $\chi$ is a nilpotent matrix whose Jordan normal form has two blocks ...

2
votes

0
answers

50
views

### An analog of a BGG resolution in subregular case in positive characteristic

Consider representations of $\mathfrak{sl}_n$ in positive characteristic with a subregular nilpotent central character $\chi$. For every regular weight $\lambda$ of $\mathfrak{sl}_n$, we have the ...

7
votes

0
answers

157
views

### Dual Coxeter numbers, Langlands dual groups, black holes and twisted compactification of 6d (2,0) A D E theories on a circle

A 6-dimensional (2,0) superconformal quantum field theory comes in Lie algebra A, D, E types. These theories do not have classical Lagrangian and are purely quantum.These theories on a torus ...

1
vote

0
answers

107
views

### Irreducibility of adjoint representation

Let $ \mathbb{F} $ be a finite field of characteristic $ p\geq 5 $, $ G $ a finite group and $ \rho:G\to {\rm GL}_{2}(\mathbb{F}) $ be a representation of $ G $. By $ \text{ad}^{0}(\rho) $ we denote ...

4
votes

0
answers

121
views

### Frobenius kernel by Greenberg functor

I was not able to find much on representation theory (with a geometric perspective) of algebraic groups over local artinian rings. In particular, studying on the classic book of Jantzen, I was asking ...

0
votes

0
answers

66
views

### Modularity and Galois representations notation

Reading some literature concerning modularity of elliptic curves, more particularly the study of the corresponding Galois representations I sometimes see $$\rho_{E,p} \simeq \rho_{\mathfrak{f},p}$$ ...

0
votes

0
answers

49
views

### $p$-centric subgroups control fusion

Given two finite groups $G,H$ such that
$$\displaystyle\bigoplus_{Q\cong L\leq G\ \mathrm{up\ to}\ G\mathrm{-conjugation}}{\mathbb{F}_p\Bigg[\frac{\mathrm{Out}(L)}{\mathrm{Out}_G(L)}\Bigg]}\cong\...

2
votes

0
answers

40
views

### Brauer pairs associated to a normalizer subsystem in the fusion system of a block of a finite group

Let $G$ be a finite group and let $k$ be an algebraically closed field of positive characteristic $p$. Let $b$ be a block of $kG$ and let $(P,e)$ be a maximal $(G,b)$-Brauer pair. For every subgroup $...

9
votes

2
answers

637
views

### Can we use formal groups to recover Lie-theoretic representation theory in characteristic p?

In differential geometry, Lie's theorems allow us to integrate any Lie algebra representation to a Lie group representation. The algebraic version of this is more complicated (and I'm not terribly ...

5
votes

1
answer

223
views

### Examples of a group $G$ and an $F$-representation $V$ where $\cup:H^1(G,F)\otimes H^1(G,V)\to H^2(G,V)$ is injective

Let $G$ be a group and $F$ a field. I am particularly interested in the case where $G$ is a uniform lattice in a Lie group and $F=\mathbb{F}_2$, or in finite groups $G$ where
$\operatorname{char} F$ ...

6
votes

3
answers

643
views

### Representation theory of $\text{SL}(2,\mathbb{Z})$

The group $\text{SL}(2,\mathbb{Z})$ is the group of two-by-two matrices with integer entries and determinant one. This is a very simple definition. Yet its representation theory seems quite wild to me ...

3
votes

0
answers

174
views

### What do the indecomposable objects of the homotopy category of chain complexes look like?

I am trying to understand indecomposable objects in the homotopy category of chain complexes. Let $\mathcal{A}$ be an abelian category. Denote by $C(\mathcal{A})$ the category whose objects are chain ...

5
votes

0
answers

101
views

### Indecomposable objects in iterated functor categories

Let $\mathcal{O}$ be a DVR with a uniformizer $\pi$ and a finite quotient field $\mathbb{F}_q=\mathcal{O}/\pi$. Write $\mathcal{O}_r = \mathcal{O}/(\pi^r)$. Fix now an integer $r\geq 2$. We define ...

11
votes

0
answers

248
views

### Representation theory of Kac-Moody algebras in positive characteristic

I have been trying to learn about the representation theory of Kac-Moody algebras in positive characteristic. However, my usual reference for the subject (Infinite dimensional Lie algebras by Kac) ...

11
votes

2
answers

599
views

### Reference on the Chern-Simons theory and WZW models for mathematicians

I would like to ask if there are any beginner friendly references for learning CS theory and WZW models. It seems that most mathematical texts on the subjects begin with convenient definitions that ...

8
votes

2
answers

388
views

### The radical of $kG$-modules

$\DeclareMathOperator\Rad{Rad}$Let $k$ be a finite field of $p$ elements. Let $G$ be an elementary abelian p-group and $V$ a $kG$-module corresponding to the representation $\alpha:G\rightarrow \...

9
votes

0
answers

423
views

### Stable homotopy type of $BG^{\wedge}_p$ in algebraic terms

In the mid 90's, Martino- Priddy proved that given two finite groups $G, H$, the following are equivalent:
$\mathbb{F}_p\mathrm{Inj}(P,G)\cong \mathbb{F}_p\mathrm{Inj}(P,H)$ as $\mathbb{F}_p\mathrm{...

4
votes

0
answers

144
views

### Generalization of the second Brauer-Thrall conjecture for arbitrary Artin algebras

Let $k$ be a field with infinite cardinality and $A$ a finite dimensional $k$-Algebra. The second Brauer-Thrall conjecture states the following: There are infinitely many natural numbers $n_1<n_2&...

3
votes

0
answers

101
views

### Ext groups of tensor products of Specht modules

$\newcommand{\sym}{\mathfrak{S}}$
$\DeclareMathOperator{\Ext}{Ext}$
Let $k$ be a field of characteristic $p > 0$ and $a < p \leq b$ so that the $k\sym_a$-modules are semisimple but $k\sym_b$-...

3
votes

1
answer

85
views

### Does a finite coresolution with Specht-filtered modules imply a Specht filtration?

$\newcommand{\sym}{\mathfrak{S}}$
$\newcommand{\rarr}{\rightarrow}$
Given a partition $\lambda$ of $n$ and a commutative ring $R$, writing $\sym_n$ for the symmetric group, there is a Specht module $S^...

4
votes

1
answer

231
views

### Reference for fact about reduction mod $p$ of a representation of a finite group

Let $G$ be a finite group, let $M$ be a $\mathbb{Z}[G]$-module whose underlying abelian group is finite-rank free abelian, and let $\mathbb{F}$ be a field of characteristic $0$. For some prime $p$ ...

4
votes

1
answer

179
views

### Let A be an Artin algebra. What happens if the limit and inverse limit are the same in mod A?

Let $A$ be an Artin algebra and $\text{mod}\,A$ the category of finite length modules. Further, let $X_0 \longrightarrow X_1 \longrightarrow X_2 \longrightarrow ...$ and $Y_0 \longleftarrow Y_1 \...

2
votes

1
answer

71
views

### Reference for the action of the Mullineux involution on a partition with an added good node

Could you help me to locate a reference in the literature to the following fact: if you act by the Mullineux involution $M$ on a partition $Q$ which is a union of a regular partition $P$ with an added ...

9
votes

1
answer

189
views

### What is the largest subcategory $C$ of a module category over an Artin algebra, such that $C$ is Krull-Schmidt (and abelian)? Does $C$ exist?

Let $A$ be an Artin algebra, $\text{Mod}\,A$ the category of $A$-modules and $\text{mod}\,A$ the category of finitely generated $A$-modules. It is well-known that $\text{mod}\,A$ is a Krull-Schmidt ...

1
vote

0
answers

225
views

### Is there a roadmap to learning representation theory of finite group over finite field?

I've been wanted to learn some basic theories of the (non-semisimple) representation of the finite group over a finite field.
I have been guessing that the materials might be contained in the books on ...

8
votes

2
answers

249
views

### Is it possible for the reduction modulo $p$ of an non-commutative semisimple algebra to be commutative?

Suppose that $I, X_1, \ldots, X_{d-1}$ are $n \times n$ matrices with integer entries whose $\mathbb{Z}$-span is a subalgebra of $\mathrm{Mat}_n(\mathbb{Z})$. Suppose that, thought of as a subalgebra ...

2
votes

0
answers

59
views

### Upper bound on decomposition numbers for the symmetric group in a block of weight $w$

The $p$-blocks of the symmetric group $S_n$ are labelled by pairs $(\gamma, w)$ where $\gamma$ is a $p$-core partition, $w \in \mathbb{N}_0$ is the weight of the block, and $|\gamma| + p w = n$. ...

3
votes

0
answers

77
views

### compactly induction of smooth modules over Hecke algebras

Let $G$ be a locally profinite group and $H$ its closed subgroup. It is well-known that a smooth representation of $G$ is identified with a smooth module over $\mathcal{H}(G)$, where $\mathcal{H}(G)$ ...

1
vote

1
answer

336
views

### Irreducible Representation of A_5

Knowing the fact that standard representation arising out of permutation representation of $A_5$ over $\mathbb{C}$ is irreducible and of degree $4$. What can we conclude about the irreducibility over ...

8
votes

1
answer

265
views

### Reference request for indecomposable representations of $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$

Is there a good reference on the classification of indecomposable representations of the Lie algebra $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$ (of course, in ...

22
votes

1
answer

975
views

### How to see that the determinant of this matrix is nonzero for all primes?

I'm trying to show that $\sum_{i = 0}^{p-2} (i+1)^{-1} t^{i+n}$ where $0 \leq n \leq p-2$ spans the vector space $\mathbb{F}_p[t]/(1-t)^{p-1}$ as a rank $p-1$ module over $\mathbb{F}_p$.
In other ...

1
vote

0
answers

51
views

### When is a block of a group algebra a trivial extension algebra?

Let $B$ be a block of a group algebra. See for example https://math.stackexchange.com/questions/229412/trivial-extension-of-an-algebra for the definition of a trivial extension algebra (which is ...

5
votes

0
answers

140
views

### Quiver and relations of $F\mathrm{SL}(2,q)$

$\DeclareMathOperator\SL{SL}$Let $q=p^n$ be a prime power and $F$ a field of characteristic two.
Let $G=SL(2,q)$ the group of $2 \times 2$ special linear matrices over the field with $q$ elements with ...

4
votes

0
answers

101
views

### Which algebras of quaternion type do appear as blocks of group algebras?

A finite dimensional algebra $A$ is said to be of quaternion type (first defined by Erdmann?) when it is tame, symmetric and connected and furthermore the Cartan matrix is nonsingular and the stable ...

0
votes

0
answers

90
views

### Decomposition an $A$-module to irreducible ones

Let $V$ be a complex vector space (i.e, over the filed of complex numbers) and $A$ be a complex algebra.
Suppose that $V$ is an $A$-module. Under what proper condition(s) there are irreducible ...

5
votes

1
answer

205
views

### Representations of $\operatorname{Sp}(2g,\mathbb{Z}_3)$

Let $V$ be a $2g$-dimensional vector space over $\mathbb{Z}_3 := \mathbb{Z}/3\mathbb{Z}$. First, $\operatorname{Sp}(2g,\mathbb{Z}_3)$ acts on $\Lambda^2(V)$, and this decomposition is reducible, as ...

2
votes

0
answers

110
views

### Loewy structure of $S_4$

How to deduce the Loewy Structure of $kS_4$ where $k$ has characteristic 2. I can compute the Cartan matrix and Decomposition matrix with Brauer Characters without difficulties. But when it comes to ...

4
votes

0
answers

105
views

### No irreducible subrepresentations

Let $p$ be a prime number. In the paper The image of Colmez's Montreal functor, on the page 12, the author points out an interesting property: The smooth mod $p$ representation $\mathrm{c-Ind}^{GL_2(\...

4
votes

1
answer

88
views

### Field of definition for isomorphism classes of modular representations

Let $G$ be a finite group, and let $\sigma: G \to GL_n(k)$ be a (not necessarily irreducible) representation defined over an algebraically closed field $k$ of characteristic $p$. Let $\sigma^{(m)}$ ...

6
votes

1
answer

166
views

### Endomorphism ring of trivial source modules for abelian p-groups

Bernhard Böhmler (who is also on MO) and myself had the following idea:
Let $G$ be a finite group and $k$ a field of characteristic $p$ (algebraically closed when it is needed) such that $p$ divides ...

12
votes

0
answers

385
views

### Non-isomorphic groups with same character tables and different Brauer character tables

Let $A$ be a discrete valuation ring with perfect residue field $k$ of characteristic $p$ and field of fractions $K$ of characteristic $0$. Let $G$ and $H$ be two finite groups and assume that $K$ is ...

4
votes

1
answer

216
views

### Does any group action of $\mathbb{F}_p^\mathbb{N}$ on $\mathbb{F}_p^\mathbb{N}$ have non-trivial fixed points?

It is well-known that if $G$ is a finite $p$-group acting on a non-zero $\mathbb{F}_p$-vector space $V$, then $V^G \neq \{0\}$.
My question is about a generalization of this result when $G = V = \...

3
votes

0
answers

91
views

### Reference for representations of $\text{GL}_n(\mathbb{Z}/p^k\mathbb{Z})$ over $\mathbb{F}_p$

I was looking for a reference on representations of $GL_n(\mathbb{Z}/p^k\mathbb{Z})$ over $\mathbb{F}_p$. In particular what the irreducible and indecomposable representations look like.

3
votes

1
answer

212
views

### Fourier transform on finite groups in characteristic $p>0$

Is there a Fourier theory for finite groups in characteristic $p>0$? Assume that $p$ divides the order $|G|$ of finite groups (or just work with $p$-groups), i.e., in a modular representation-...