All Questions
7,429 questions
3
votes
0
answers
27
views
p-torsion in the Tate-Shafarevich group of supersingular elliptic curves
Let E be a supersingular elliptic curve over $\mathbb{F}_p(t)$. Is something known on the p-torsion of the Tate-Shafarevich group in this case? In particular, I would like to know if (or if known ...
- 103
0
votes
0
answers
9
views
Unitaries that setwise fix an algebra under conjugation
Let $M_d(\mathbb{C})$ denote the algebra of $d \times d$ complex matrices. Consider the algebra
$$\mathcal{A} = \bigoplus_{i=1}^r I_{d_i} \otimes M_{d_i}(\mathbb{C})$$
for some choice of $d_1, \ldots, ...
- 2,339
-2
votes
0
answers
50
views
Dimension of group scheme [migrated]
I am new to algebraic geometry and reading group schemes and their representations from Jantzen’s book. My question id the following:
Let $G$ be a finite group and $k$ be a field. Then there exists a ...
- 12.9k
5
votes
1
answer
225
views
Invariants of tuples of matrices under $\mathrm{GL}(p)\otimes \mathrm{GL}(q) \subseteq \mathrm{GL}(n)$?
$\DeclareMathOperator\GL{GL}$Consider $\GL(n)$ over some field of characteristic zero (I'm thinking of either the rationals, reals or complexes) and the subgroup $\GL(p)\otimes \GL(q)$ which embeds ...
- 12.9k
1
vote
0
answers
89
views
Generic reducedness of geometric generic fibre
Let $f:X\to Y$ be a surjective morphism between two projective schemes over a field of characteristic $p>0$. Also assume that $X$ is smooth,$Y$ smooth & irreducible and $f_*\mathcal{O}_X=\...
- 5,976
2
votes
0
answers
205
views
Is a triangulated category admitting a tilting object algebraic or even equivalent to the derived category of some ring?
Let $\mathcal{T}$ be a triangulated category having all infinite coproducts(such triangulated category is sometimes said to be cocomplete or satisfying the TR5 axiom). We call an object $G$ tilting if
...
- 35.2k
6
votes
1
answer
170
views
Equivariant KR-theory of representation sphere
I would like to say my question first.
Let $G$ be a compact Lie group acting on a good space $X$ in a good way. Let $V$ be a $G$-representation whose real dimension may be less than 8, and let $S^V$ ...
CommunityBot
- 1
7
votes
1
answer
233
views
Is there a more natural way to define the Young symmetrizer and the Specht module?
It's well known that Young symmetrizer is a fundamental tool in the representation theory of symmetric groups.
For instance, for every Young diagram $\lambda\vdash n$, we construct a Young tableau $T_\...
- 1,316
4
votes
1
answer
101
views
Invariant theory for unitary groups $\mathcal{U}(n)$
I'm trying to understand the invariant theory of the unitary groups $\mathcal{U}(n)$ on tensor powers of their standard representations $V^{\otimes p} \otimes (V^*)^{\otimes q}$. Let $\mathcal{U}(n)$ ...
- 2,368
7
votes
0
answers
122
views
Langlands correspondence of coverings of $\mathrm{SL}_2(\mathbb R)$ and modular forms with fractional weights
$\DeclareMathOperator\SL{SL}$Let $G \to \SL_2(\mathbb R)$ be a finite covering of degree $d \geq 2$. Then $G$ is a connected Lie group with semisimple Lie algebra $\mathfrak{g}=\mathfrak{sl}_2$ and ...
- 63.9k
3
votes
0
answers
82
views
While expanding Jack polynomials in monomial basis
Denote $\mathbf{z}=(z_1,\dots,z_n)$. Let $P_{\kappa}(\mathbf{z};\alpha)$ be the symmetric Jack polynomials and suppose they are expanded in terms of the monomial symmetric basis $m_{\rho}(\mathbf{z})$ ...
- 43.2k
51
votes
10
answers
10k
views
How is the physical meaning of an irreducible representation justified?
This is maybe not an entirely mathematical question, but consider it a pedagogical question about representation theory if you want to avoid physics-y questions on MO.
I've been reading Singer's ...
- 12.9k
2
votes
1
answer
145
views
Exotic Hopf algebra structures on the $p$-fold direct product in characteristic $p > 0$
Let $k$ be an algebraically closed field of characteristic $p > 0 $ and let $A$ be an algebra over $k$, which is a local ring.
There is an isomorphism of algebras $\prod_{i=1}^p A \cong A \otimes k[...
- 156k
4
votes
1
answer
256
views
Connected Frobenius algebras non-semisimple as an object
A Frobenius algebra object $A$ in a tensor category $\mathcal C$ is said to be connected if $\text{Hom}_{\mathcal C}(\mathbb{1}, A)$ is a one dimensional vector space, where $\mathbb {1} $ denotes the ...
3
votes
0
answers
136
views
Galois cohomology and Levi subgroups
Let $F$ a field and $G$ a smooth connected reductive group with a Levi subgroup $M$. Under what assumptions is $H^1(F, M) \to H^1(F, G)$ injective? In the case $F$ is nonarchimedean local I believe ...
- 605
5
votes
1
answer
238
views
Explicit Jacquet-Langlands correspondence for real reductive groups
Let $G$ be a connected reductive group over $\mathbb R$. Let $G'$ over $\mathbb R$ be an inner form of $G$ with ${}^LG={}^LG'$. By local Langlands correspondence over $\mathbb R$, if a $L$-packet of $...
- 761
2
votes
0
answers
114
views
Whether or not the root number of GL$_3\times$GL$_2$ $L$-function $L(s, F \otimes g)$ contains the coefficients $\lambda_g(n)$ of $g$?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SL{SL}$Let $p$ and $q$ be two distinct primes. Let $$\Gamma_0(p)= \left\{ g\in \GL_3(\mathbb{Z}):g \equiv \left(\begin{matrix} \ast &\ast&\...
- 51
3
votes
0
answers
159
views
Faithful representations and symmetric powers
In the question Faithful representations and tensor powers, several proofs demonstrate that for every faithful complex representation $V$ of a finite group $G$, every irreducible complex ...
3
votes
1
answer
306
views
$\bigwedge^2(\bigwedge^k\mathbb{C}^n)$ and $\operatorname{Sym}^2(\bigwedge^k\mathbb{C}^n)$ as $\operatorname{GL}(n,\mathbb{C})$-modules
Consider the natural representations of $\operatorname{GL}(n,\mathbb{C})$ in the spaces
$\bigwedge^2(\bigwedge^k\mathbb{C}^n)$ and $\operatorname{Sym}^2(\bigwedge^k\mathbb{C}^n)$.
Is it known how to ...
- 12.9k
1
vote
0
answers
36
views
induced module of hyperoctahedral group
Let $H$ be the subgroup of the symmetric group $\mathfrak{S}_n$. Let $W_n$ be the group algebra of the hyperoctahedral group $\mathbb{Z}/2\mathbb{Z} \wr \mathfrak{S}_n$.The induced module $M:=\mathrm{...
- 179
3
votes
1
answer
102
views
Which compact Lie groups have an upper bound on the dimension of irreducible continuous representations?
To fix notation, if $G$ is a compact Lie group, $Rep(G)$ denotes the set of continuous irreducible unitary representations of G, and $\widehat{G}$ denotes the quotient $Rep(G)/\sim$, which identifies ...
- 8,597
9
votes
1
answer
161
views
Eigenfunctions of the Laplace–Beltrami operator on the coadjoint orbit of $\mathfrak{su}(n)$
$\DeclareMathOperator\SU{SU}$For $\mathfrak{su}(2,\mathbb{C})$, the generic coadjoint orbit is $\mathbb{S}^2$, and the Laplace–Beltrami operator on it is given by
$$
\Delta \equiv \frac{1}{\sin\theta} ...
- 195
5
votes
0
answers
97
views
$\text{Rep}(D_4)$ and its three fiber functors
It is well-known that the fusion category $\text{Rep}(D_4)$ of representations of the dihedral group $D_4$ of order 8 admits three distinct fiber functors. Therefore, there are three different Hopf ...
12
votes
0
answers
347
views
Does every finite group have a small projective representation (over some ring)?
Question. Let $G$ be a finite group. Can we find some (commutative) ring $R$ and some positive integer $d=O(\log\lvert G\rvert)$ such that $G$ can be found as a subgroup of $\operatorname{PGL}_d(R)$?
...
- 602
7
votes
2
answers
3k
views
Frobenius - Schur indicator and irreducible representations over R
from now on let $\mathbb{C}$ denote the complex number field, $G$ a finite group , and
$T$ be a irreducible representation of G over $\mathbb{C}$ whose character is $\chi$.
Frobenius - Schur indicator ...
- 4,081
5
votes
1
answer
653
views
What are the maximal closed subgroups of $ \operatorname{SU}_3 $?
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\SL{SL}$What are the maximal closed subgroups of $ \SU_3 $?
This question is inspired by Lie subgroups of SU(3). Interesting partial answers to that ...
- 4,081
0
votes
1
answer
139
views
presentation for a nilpotent group associated to the square of a coxeter element
This question is related to one asked earlier about inductive presentations of unipotent radicals in Kac-Moody groups.
Let $\Gamma$ be a coxeter diagram --- i.e. an unoriented graph with $r$ vertices ...
CommunityBot
- 1
1
vote
2
answers
197
views
What are the finite étale coverings of a quasi-hyperelliptic surface?
Let $X$ be a quasi-hyperelliptic surface in characteristic 3 where the canonical bundle $K_X$ is trivial.
Question: Is there a finite étale covering $Y \rightarrow X$ such that
$Y$ is an abelian ...
- 103
1
vote
0
answers
100
views
Unitary representations of Fuchsian and Kleinian groups
Let $\Gamma$ be a discrete group that is either Fuchsian ($\Gamma \subseteq \text{PSL}(2,\mathbb R)$) or Kleinian ($\Gamma \subseteq \text{PSL}(2,\mathbb{C})$).
I have a unitary representationL
$$
\...
- 357
2
votes
0
answers
128
views
A property of matrices formed by pairing of roots and coroots
Let $A$ be an $n\times n$ integral matrix, define its level $l(A)$ as
$$l(A) := \begin{cases}0 &\det A = 0 \\ \text{smallest integer } N \text{ such that } NA^{-1} \text{ is integral} &\det A \...
- 528
2
votes
2
answers
206
views
Software library for complex irreducible representations of $\mathrm{PSL}_n(q)$
I came across an extremely useful Python software library for the Monster group: https://github.com/Martin-Seysen/mmgroup which allows for all sorts of manipulations involving the sporadic finite ...
- 37.4k
1
vote
1
answer
865
views
Galois representations with semisimple residue representation
$\DeclareMathOperator\GL{GL}$Let $\mathbb{Z}_p$ be the ring of integers of $p$-adic numbers $\mathbb{Q}_p$, $G$ a profinite group (e.g. Galois group of local field or global field) and $\rho:G\to \...
CommunityBot
- 1
1
vote
1
answer
181
views
Unitary representations of discrete (locally compact) groups
Let $\Gamma$ be a discrete (locally compact) subgroup of a locally compact Lie group. Let $H = L^2(\mathbb R^n, \mathbb C)$. Assume we have a complex unitary representation $$\Phi : \Gamma \to \...
- 63.9k
2
votes
0
answers
152
views
Characters on commutative algebra of operators on $L^2(\mathrm{SL}_2(R))$ coming from regular representation
Let $\pi$ be the regular representation of $G=\operatorname{SL}_2(R)$ on $L^2(G)$. Let $M$ be the (commutative) convolution algebra generated by measures of the form $m_K * \delta_g * m_K$ where $m_K$ ...
- 494
8
votes
0
answers
94
views
Literature request: Jordan-Hölder property in exact categories
The Jordan-Hölder theorem says that any chain of subobjects of a finite length object can be refined to a composition series, and that any composition series has the same length. We say an exact ...
- 63.9k
5
votes
0
answers
88
views
Application of character sheaves to characters of $G(\mathbb{F}_q)$
I wish to ask about good examples of new applications of Lusztig's theory of character sheaves (and subsequent development, but excluding generalized Springer theory) back to the theory of characters ...
- 1,856
4
votes
0
answers
83
views
Classification of nilpotent orbits over local fields (for type ABCD via partitions )
Let $\mathfrak g$ be a simple Lie algebra over a char $0$ local field $F$ (e.g. $F=\mathbb R$ or $F=\mathbb Q_p$) with its adjoint group $G$. Let $\mathcal N \subseteq \mathfrak g$ be its nilpotent ...
- 6,622
2
votes
3
answers
183
views
Stabilizers of the action of Levi on abelianization of nilpotent radical
$\DeclareMathOperator\Lie{Lie}$Let $G$ be a simple connected reductive group over $\mathbb C$. Consider a parabolic subgroup $P=MU$ of $G$, where $M$ is a Levi of $P$ and $U$ is the unipotent radical ...
- 2,516
1
vote
0
answers
88
views
Equivariant resolution of singularity making a pullback of a line bundle admit a root
I am considering the following situation. Let $X$ be an irreducible normal projective variety with an action of a linear algebraic group $H$, and we have a $H$-equivariant line bundle $L$ over $X$. We ...
- 323
1
vote
1
answer
109
views
Orbit spaces of n-tuples of square matrices under simultaneous conjugation
Let $n, p, \geq 1$ be integers. Denote the set of ordered partitions of $p$ by $\Pi$: each $\pi \in \Pi$ is an ordered $k$-tuple $(p_1,p_2, \dotsc, p_k)$ where $p_1+\dotsb+p_k = p$. Write $\pi \leq \...
- 185
1
vote
0
answers
72
views
Component groups of stabilizers for linear representations
Let $G$ be a connected simple reductive group over $\mathbb C$. Let $V$ be a finite-dimensional complex representation of $G$.
Given a vector $v \in V$, it is natural to consider its stabilizer group $...
- 6,622
3
votes
1
answer
194
views
Opposite convex order on the set of positive roots of a semisimple Lie algebra
Let $\mathfrak{g}$ be a semisimple Lie algebra of rank l and let $\Delta^+$ be its set of positive roots. Denote by $s_1,...,s_l$ the simple generators of its Weyl group and let $w_0$ be the longest ...
- 534
1
vote
0
answers
128
views
Tangle hypothesis and ribbon category
The tangle hypothesis, when specialized to ordinary framed tangles, says that the framed tangles form the free braided category with all duals (i.e. considered as a 3-category, all the 1- and 2-...
- 1,262
2
votes
0
answers
92
views
Geometric interpretation of flags and the role of the rook monoid and Kazhdan–Lusztig theory in $M_n(\mathbb{C})$
Let $G = GL_n(\mathbb{C})$, $B$ be its Borel subgroup, and $P$ a parabolic subgroup. The space $G/B$ corresponds to complete flags in $ \mathbb{C}^n$, and $G/P$ corresponds to partial flags. The ...
- 141
0
votes
0
answers
95
views
Class multiplication coefficients of symmetric groups
My question is that I was working with some counting problems, and finally the answer should be
$$
\nu_{\mu_1,\mu_2,\mu_3}=\#\{(\sigma_1,\sigma_2,\sigma_3): \sigma_1\sigma_2\sigma_3=1, \sigma_1\in C_{\...
- 63.9k
1
vote
0
answers
79
views
Invariant theory (first fundamental theorem) for a direct sum of two fundamental representations
Let $G$ be a simple reductive group over $\mathbb C$, e.g. $G=\mathrm{SO}(V)$ is a special orthogonal group.
Let $W_1$ and $W_2$ be two irreducible representations of $G$. Assume both $W_i$ are ...
- 6,622
10
votes
1
answer
435
views
When is a Hecke algebra not a bialgebra?
Let $\mathcal{H}_q(d)$ denote the Iwahori-Hecke algebra of type $A$ over a field of characteristic zero. When $q = 1$, this is just the group algebra of the symmetric group on $d$ letters. In this ...
- 1,996
5
votes
1
answer
346
views
Are parabolic Kazhdan-Lusztig polynomials truncations of the usual Kazhdan-Lusztig polynomials?
Let $(W,S)$ be the affine Weyl group associated to a simple root system.
For $x,y \in W$ we have the usual Kazhdan--Lustig polynomials $h_{y,x} \in \mathbb{Z}[v]$ in Soergel's normalisation, and if ...
- 10.5k
3
votes
0
answers
91
views
Are the reductions of the cuspidal characters of GL2(Fq) distinct?
Let $p$ be an odd prime and $q=p^n$ for some $n \geq 1$. If $\mathbb{F}_q$ is the unique, up to isomorphism, finite field with $q$ elements then the cuspidal representations of the group $\rm{GL}_2(\...
- 2,242
4
votes
0
answers
106
views
Relationship between characteristic polynomials of a matrix and its adjoint representation
Let $A \in \mathrm{M}_n(F)$ be a matrix over a field $F$. Consider its adjoint representation $\mathrm{ad}_A \in \mathrm{End}(\mathrm{M}_n(F))$, defined by
$$
\mathrm{ad}_A(X) = [A, X] = AX - XA.
$$
I ...
- 269