Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
327 views

Pro-unipotent radical (in Bruhat-Tits) vs. unipotent radical (and reference request)

I'm a beginner in Bruhat-Tits theory, and the following phenomenon makes me puzzled. So let $F$ be a $p$-adic field, with $\mathfrak{o}\supset \mathfrak{p}$ its ring of integers and maximal ideal, and ...
1 vote
0 answers
110 views

Character table of $\mathrm{P\Gamma L}_2(q)$ with $q$ even

Let $q = 2^f$ for some integer $f\geqslant 3$. The character table of $\mathrm{SL}_2(q)\cong\mathrm{PSL}_2(q)$ can be deduced from the character table of $\mathrm{GL}_2(q)$ (see, for example, Exercise ...
11 votes
1 answer
482 views

What is the commutative coproduct and where can I learn more about it?

This is a reformulation of a Mathematics Stack Exchange question that got no answer there, and, at the same time, a follow-up to another question on MSE. The original problem was to prove $U(\mathfrak{...
1 vote
1 answer
232 views

Transfer for the group of coinvariants: a reference request

Let $G$ be a group and $M$ be a $G$-module, that is, an abelian group written additively on which $G$ acts: $$ (g,m)\mapsto g m.$$ We consider the group of coinvariants $$ M_G:=G/\langle g m -m\ |\ g\...
9 votes
0 answers
254 views

An identity for characters of the symmetric group

I am looking for a reference for the identity $$\chi_\lambda(C)=\frac{\dim(V_\lambda)}{|C|}\sum_{p\in P_\lambda,\,q\in Q_\lambda,\,pq\in C}\operatorname{sgn}(q)$$ for the irreducible characters of the ...
2 votes
0 answers
352 views

On characters of the symmetric group: Part 1

Given an integer partition $\lambda$, denote $\ell(\lambda)=$ length, $\vert\lambda\vert=$ size and $\lambda=$ conjugate of $\lambda$. Allow to write $\lambda\vdash n$ either as $(\lambda_1,\dots,\...
5 votes
0 answers
146 views

On Soergel's results concerning projectives modules in category $\mathcal{O}$

I am looking for a translated proof of two results of Soergel usually referred to as endomorphismensatz and struktursatz. Both of those results were shown in the paper Soergel, W. (1990). Kategorie 𝒪...
1 vote
0 answers
126 views

Reference request: unfolding of Integral representation of an L-function

Are there any text or papers that thoroughly address unfolding of integral representation of an L-function such as D. Ginzburg's On Spin L-function for Orthogonal Groups page 762-763 and page 774 (or ...
1 vote
2 answers
350 views

Finding lectures PDF "Four lectures on simple groups and singularities"

I would be very interested to find the PDF "Four lectures on simple groups and singularities" by Peter Slodowy, especially the lecture 4. I used to print them but lost it. Does anyone has ...
4 votes
0 answers
158 views

Relation between two Harish-Chandra homomorphisms

Let $\mathfrak{g}$ be a Lie algebra admitting a triangular decomposition $\frak g = N^-\oplus h\oplus N^+$ and $\gamma$ the classic Harish-Chandra isomorphism defined on the center $\frak Z$ of the ...
3 votes
0 answers
311 views

What is known about representations of $S_n$ in other categories?

Is anything known about representations of the symmetric group $S_n$ for categories other than $\textbf{Vect}_k$, vector spaces and linear maps over a field $k$. That is, a group $G$ can be considered ...
2 votes
0 answers
102 views

Category O for (Yangian) toroidal Lie algebras?

Suppose throughout that $g$ is a finite-dimensional simple Lie algebra over $\mathbb{C}$ and let us denote: $$g_{[2]} := g \otimes_{\mathbb{C}} \mathbb{C}[v^{\pm 1}, t^{\pm 1}]$$ $$g_{[2]}^+ := g \...
6 votes
1 answer
1k views

Full expansion of $\det(I+\varepsilon A)$

It is well known that given a $n \times n$ matrix $A$, it holds that $$ \det(I + \varepsilon A)= 1 + \varepsilon \operatorname{tr}(A) + O(\varepsilon ^2).$$ I would need a full representation of $ \...
2 votes
0 answers
137 views

$p$-adic Banach group algebra

Let $G$ be a discrete group. Consider the Banach $\mathbb{Z}_p$-algebra: $$c_0(G, \mathbb{Z}_p) = \{ F : G \to \mathbb{Z}_p \mid \lim_{g \to \infty} |F(g)|_p = 0 \}$$ with the product given by the ...
17 votes
2 answers
742 views

Equivariant Möbius inversion

I'll first explain what Möbius inversion says, and then state what I am fairly sure the equivariant version is. I can write out a proof, but I also can't believe this hasn't been done already; this is ...
1 vote
1 answer
214 views

Conditions of P for existence of orthogonal matrix Q and permutation matrix U satisfying QP = PU

Question: Let $P\in \mathbb{R}^{d\times n}$ be a $d$-rank real matrix and $PP^T = c I_d$ with a certain constant $c > 0$. Under what additional conditions of $P$ does there exist an orthogonal ...
1 vote
0 answers
106 views

Uniqueness of indecomposable decomposition (Krull–Schmidt) for finitely generated modules over commutative Noetherian standard graded rings

Let $R_0=\mathbb C$ and $R=\bigoplus_{i\geq 0} R_i$ be a commutative Noetherian graded ring such that the grading is standard, i.e., $R=R_0[R_1]$. Let $M$ be a finitely generated $R$-module. Evidently,...
5 votes
0 answers
293 views

On the deformation theory of associative algebras

Let us start by recalling the notion of a formal deformation: Let $K$ be a field of characteristic zero and $A$ be an associative $K$-algebra. Consider a commutative augmented $K$-algebra $R$, with ...
1 vote
0 answers
64 views

How to find all linear transformations commuting with all elements of the image of an isotypic representation of a compact Lie group

Let a linear finite-dimensional isotypic (i.e., decomposable into a direct sum of isomorphic irreducible subrepresentations) representation of a compact Lie group $G$ in a finite-dimensional space $V$ ...
2 votes
0 answers
88 views

Simple modules and trivial source modules

Let $(K,\mathcal{O},k)$ be a large enough $p$-modular system. In this context, I would like to ask what is known about the following question: when are simple $kG$-modules trivial source modules? So ...
16 votes
1 answer
408 views

Is there a relationship between Broué's abelian defect group conjecture and Alperin's weight conjecture?

Let $G$ be a finite group, let $k$ be a large enough field of characteristic $p>0$. Let $p\mid |G|$. Broué's abelian defect group conjecture states the following: Let $B$ be a block of $kG$ with ...
23 votes
2 answers
859 views

Moments of Plücker coordinates on complex Grassmannian

Consider the Grassmannian $Gr(k,N)\simeq U(N)/(U(k)\times U(N-k))$ which parametrizes $k$-dimensional subspaces of $\mathbb{C}^N$. Let us put on it the $U(N)$-invariant probability measure. Let $\...
1 vote
0 answers
83 views

$p$-modular splitting systems and the characteristic of the ring $\mathcal{O}$

Let $k=\overline{k}$ be a field of characteristic $p$. Let $(K,\mathcal{O},k)$ be a $p$-modular system. Let both $k$ and $K$ be splitting fields for $G$ and its subgroups. The ring $\mathcal{O}$ can ...
8 votes
1 answer
356 views

Homological conjectures for finite dimensional commutative algebras

$\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Hom{Hom}$>Question: What are some (open) homological conjectures that are also relevent for finite dimensional commutative algebras over a field $...
5 votes
1 answer
318 views

Up to date summary on semisimple Hopf algebra over $\mathbb{C}$

Question: Is there an up to date summary of results on the classification of semisimple Hopf algebras over $\mathbb{C}$ (or a field of characteristic 0)? Here are some questions I wonder about: ...
7 votes
2 answers
376 views

Basis parametrized by the symmetric group elements for the coinvariant algebra

Let $A_n$ be the coinvariant algebra of the symmetric group $S_n$. This algebra has vector space dimension $n!$. $A_n$ is the quotient algebra of the polynomial ring $K[x_1,...,x_n]$ by the elementary ...
7 votes
0 answers
176 views

The quotient of a higher Specht polynomial over the corresponding regular Specht polynomial

I'll need some notation before I can phrase my question, so please bare with me for a little. I'll try to get there as fast as possible (it's also my first MO question...). Let $\lambda$ be a ...
5 votes
1 answer
207 views

Iwahori-spherical tempered representations with fixed vectors for larger parahoric subgroups

Let $F$ be a $p$-adic field and $G$ be split over $F$ plus all other usual adjectives. Let $\pi$ be an admissible tempered representation with Iwahori-fixed vectors. Let $P\supset I$ be some parahoric ...
5 votes
1 answer
505 views

Generalized Wigner 3-j symbol and Legendre functions

Let $P_{n}(x)$ the $n-th$ Legendre polynomial. It is well-knonw that $$\int_{-1}^1 P_n(x) P_m(x) P_h(x) \, dx=2\left(\begin{array}{ccc} n & m & h\\ 0 & 0 & 0 \end{array}\right)^{2}\tag{...
1 vote
1 answer
438 views

Categories associated to digraphs

Let's take a directed graph, or a digraph, $G=(V,E)$ given by a finite set of vertices $V$ and a finite set of edges $E$. We can assume that pairs of vertices can have parallel edges between them and ...
9 votes
0 answers
286 views

Is Landvogt's thesis "The functorial properties of the Bruhat–Tits building" available online?

Universität Münster publishes theses online through "miami", but "miami" doesn't have Erasmus Landvogt's thesis (search). ProQuest (predatorily) provides many theses, but they don'...
5 votes
1 answer
268 views

Enumerating monomials in Schur polynomials

Let $s_{\lambda}(x_1,\dots,x_k)$ be the Schur polynomial associated to the partition $\lambda=(\lambda_1\geq\lambda_2\geq\cdots\geq\lambda_k>0)$. Among the many things involved with these ...
3 votes
0 answers
361 views

References on $p$-adic Langlands

As a student with a background in Algebraic Geometry (up to chapter 3 of Hartshorne) and basic Algebraic Number Theory, where should I begin learning about the $p$-adic Langlands program? What are the ...
0 votes
0 answers
99 views

General reference for finite dimensional $*$-algebras over $\mathbb R$?

What references are there for studying finite-dimensional $*$-algebras over the field $\mathbb R$ in their full generality? We assume these are associative and unital. Note that: Not every algebra ...
6 votes
0 answers
236 views

Group homomorphism from $\mathrm{GL}_p$ to $\mathrm{SL}_p$ in characteristic $p$

If $k$ is a commutative field of characteristic $p>0$, then the map $$ \theta \colon \mathrm{GL}_p(k) \to \mathrm{SL}_p(k) \colon A = (a_{ij}) \mapsto (\det A)^{-1} (a_{ij}^p) $$ is a group ...
4 votes
2 answers
378 views

Splitting field for $\mathrm{GL}(2,p)$ - reference request

It seems to me from a quick glance at several sources describing the complex and modular irreducible representations of $\mathrm{GL}(2,p)$ that any field $K$ containing a primitive $(p-1)$-root of ...
2 votes
0 answers
228 views

Ramanujan's theta functions and hook lengths?

Given an integer partition $\lambda\vdash n$ of $n$, one may associate a Young diagram $Y(\lambda)$ to it followed by a computation of hook length $h_{\square}$ for each cell $\square=(i,j)$ in $Y(\...
6 votes
1 answer
588 views

A numerical matrix of power sum polynomials

Let $p_i=x_1^i+x_2^i+\cdots+x_m^i=\sum_{k=1}^mx_k^i$ be the power sum polynomials. Then, the determinant of the $m\times m$ Hankel matrix $M_m=(p_{i+j-2})$, for $1\leq i,j\leq m$, has a neat ...
1 vote
0 answers
59 views

K-finiteness of unitary representations of Poincaré-like groups?

$\DeclareMathOperator\SO{SO}\DeclareMathOperator\ISO{ISO}$I'd like to know if there are any papers that study the following problems: Determine when decomposing the unitary irreps of $\ISO(d,1)$ into ...
3 votes
1 answer
140 views

Asymptotics of Haar moments on general Lie groups

I am trying to understand the asymptotics of Haar Moments on general compact Lie groups (in particular, subgroups of $\mathrm{SU}(n)$). I have learned that closed form formulae for these moments are ...
2 votes
1 answer
258 views

Literature request: $K^b(\text{proj} A)$ Krull-Schmidt for $\text{gl dim}A = \infty$ and general results about its Grothendieck group

I'm interested in the Grothedieck group of the triangulated category $K^b(\text{proj}A)$ when $A$ is a finite dimensional algebra over a field of infinite global dimension. For this purpose, It would ...
2 votes
0 answers
134 views

Algebra of finite width matrices

$\DeclareMathOperator\FWM{FWM}\DeclareMathOperator\End{End}$For any ring $R$ there's an algebra of finite width matrices with entries in $R$. By finite width matrices I mean the ones that have only ...
4 votes
2 answers
770 views

Finitistic dimension conjecture for quadratic algebras

The finitistic dimension of a finite dimensional algebra is defined as the supremum of all projective dimensions of modules having finite projective dimension. The finitistic dimension conjecture says ...
4 votes
1 answer
185 views

Frobenius series for the $S_n$-module $\mathbb{Q}[X]$

I'm reposting this question, by recommendation of a moderator. I'm reading Haiman's article titled Conjectures on the quotient ring by diagonal invariants. In what follows, all vector spaces and ...
3 votes
1 answer
173 views

$\Omega$ for noetherian semiperfect rings

Let $A$ be a a two-sided noetherian semiperfect ring and assume that the injective dimension of the left and right regular modules are equal to $n \geq 1$. Let $\Omega^n(mod A)$ be the category of $n$-...
5 votes
0 answers
207 views

parameter of a quantum group

I am currently learning about quantum groups, and I got a question about how two different ways of thinking the $q$-parameter of quantum groups are related to each other. Here by a quantum group, I ...
4 votes
3 answers
567 views

Gröbner/SAGBI bases for non-commutative setting

It is well known that SAGBI/Gröbner bases are important for commutative and non-commutative algebra. The references for commutative scenery is ample and vast, but I am in trouble to find a good ...
3 votes
1 answer
102 views

References on coefficient quivers

I would like to study about coefficient quivers, but I cannot find a good reference, as book for example. I could find many papers working with coefficient quivers, but none of them give a book or a &...
19 votes
2 answers
2k views

Dual versions of "folding" symmetric ADE Dynkin diagrams?

Start with the Dynkin diagram of an irreducible root system, typically associated with a simple Lie algebra over $\mathbb{C}$ or a simple algebraic group. Most of the simply-laced ADE diagrams ...
4 votes
0 answers
177 views

Reference for Iwahori-Hecke algebras

I recently came across the notion of an Iwahori-Hecke algebra. I would like to learn the basics about this type of algebras (mainly to get an intuition about them, as they seem to be related to some ...

1
2
3 4 5
17