All Questions
Tagged with linear-algebra rt.representation-theory
219 questions
9
votes
1
answer
158
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
4
votes
0
answers
103
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 ...
- 309
3
votes
1
answer
111
views
Generalization of a result of Kostant related to Gauss decomposition and Toda lattices
I found myself needing a generalization of a result of Kostant in his famous paper
B. Kostant, The solution to a generalized Toda lattice and representation theory, Adv. in Math, Volume 34, 1979, ...
- 173
5
votes
0
answers
231
views
Avoiding Cartan subalgebra in a Lie algebra
Let $G$ be a simple complex algebraic group acting on its Lie algebra $\mathfrak{g}$ via the adjoint representation.
What is the largest integer $d$ such that every subspace $U \subseteq \mathfrak{g}$ ...
- 309
9
votes
3
answers
1k
views
Examples of combinatorial problems where the only known solutions, or most "natural" solutions, use representation theory?
In Solution of two difficult combinatorial problems with linear algebra, Robert Proctor presents two simply stated combinatorial problems, and gives solutions to them using a linear algebraic approach ...
1
vote
0
answers
58
views
Linear algebraic group, absolute root system, computing roots
Let $G(F)$ be a reductive linear algebraic group, where $F$ is a local field. Let $T(F)$ be a maximal anisotropic torus of $G$ that splits over a quadratic extension of $F$. Is there an efficient ...
- 11
1
vote
0
answers
139
views
Integral convex polytopes formed from the weight diagrams of representations of $\mathfrak {sl}_4$($\mathbb{C}$)
I'm a student studying undergraduate abstract algebra and doing a summer research project in the mathematics department at my school. I'm barely familiar with the rudiments of representation theory; I ...
- 111
3
votes
0
answers
109
views
How much a general a theory of matrices equivalence under group actions we have?
Let $F$ be a field and let $M_{m,n}\,(F)$ be the $F$-linear space of $m \times n$ matrices over $F$. Let $G$ be a group acting on $M_{m,n}\,(F)$.
My question is: Do we have some theory about the ...
- 157
9
votes
1
answer
563
views
Peter–Weyl decomposition of a group representation rather than group algebra
Consider a finite or compact group $G$. The Peter–Weyl decomposition is usually formulated for the group algebra $\mathbb{C}[G]\simeq\bigoplus_i \operatorname{End}(V_i)$, where $V_i$ are the spaces of ...
- 1,731
7
votes
1
answer
271
views
Existence of a linear map resulting in the determinant being an elementary symmetric polynomial
Let $1 \leq k \leq n$ be fixed integers. Let $\mathcal{M}_n^{\mathrm{H}}$ be the set of $n \times n$ complex Hermitian matrices (if it makes it easier to answer this question, you may instead use the ...
- 6,351
4
votes
1
answer
101
views
Extension of scalars for bounded chain complexes of $kG$-modules
I'm wondering if a generalization regarding a statement from Curtis-Reiner holds. The original statement is as follows:
(30.33) Theorem: Let $R$ and $S$ be complete discrete valuation rings, with $S$ ...
- 175
7
votes
0
answers
225
views
Decomposing an endomorphism as a tensor product
$\DeclareMathOperator\End{End}$Let $f$ be an endomorphism of the finite-dimensional vector space $V$, over the field $K$. The question of whether $f$ is decomposable, that is, whether $V$ can be ...
- 2,287
0
votes
0
answers
121
views
Representation of anti-commuting matrices in $\mathbb{C}^{2}$
This is a cross posting updated question from MSE. I have not got any answers there yet and I really want to understand this problem.
The basic question is the following. Let $V$ be a finite-...
- 1,305
2
votes
0
answers
101
views
On the irreducible submodules of adjoint representations $\text{ad}^{0}$
Let $k$ be a finite field of characteristic $p$. Let $H$ be a subgroup of $\rm{GL}_{n}(k)$ of order prime to $p$ where $n\geq2$. Assume that the representation $H\hookrightarrow \rm{GL}_{n}(k)$ is ...
- 667
9
votes
3
answers
350
views
$G$-module structure of the relation module for a presentation of a finite group $G$
Let $F_n$ be a free group of rank $n\ge 2$, and $F_n\rightarrow G$ a surjection with $G$ finite. Let $R$ be the kernel. From this, we get an action of $G$ on the abelianization $R/R'$ (a free abelian ...
- 7,527
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 $ \...
- 697
4
votes
0
answers
219
views
Map $\operatorname{Sym}^{mp}(V^*) \longrightarrow K^{q}$ defined by $q$ points in $\operatorname{Sym}^p(V)$
EDIT : I have edited the question and made it more specific with respect to the kind of answer I expect.
Let $V$ be a finite dimensional $K$-vector space and let $x_1, \dotsc, x_q \in V$ be $q$ points,...
- 7,300
7
votes
2
answers
403
views
Decomposition of tensors into symmetry classes according to Schur functors
I am mainly looking for references on this subject, as I was unable to find any, at least any that answers what I am looking for to a satisfactory degree.
As it is well-known and extremely easy to ...
- 2,792
11
votes
2
answers
1k
views
Is the eigenvalue map open?
The eigenvalue map in question is
$\sigma: {\mathfrak gl}(\mathbb{C}, n) \to S_n \backslash \mathbb{C}^n$,
from $n$ by $n$ complex matrices to $\mathbb{C}^n$ vectors modulo permutation of entries by $...
- 1,123
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 ...
- 43.2k
1
vote
0
answers
206
views
About the question "Tannaka–Krein duality"
I saw this post recently: Tannaka–Krein duality
I have this question please: in the following which I report here:
The problem is with surjectivity: let us denote $\mathcal{G}:=\mathcal{G}(\mathcal{R}...
- 29
2
votes
0
answers
77
views
Equivalence of two descriptions of differentials of Koszul complex
My question comes from learning the paper [BGS96] Koszul duality patterns in representation theory by Beilinson, Ginzburg and Soergel, published in 1996.
Let $A=T_{A_0}A_1/\langle R\rangle$ be a ...
- 21
3
votes
0
answers
85
views
Exterior powers of the Cartan matrix and Dyck paths
(This question can be formulated purely combinatorially in terms of Dyck paths, which is done in the second part of the question. But I am more interested whether this can be explained by some sort of ...
- 26.5k
3
votes
0
answers
249
views
Grothendieck schemes and the Sheffer differential op calculus (Rota, Roman, et al. finite operator calculus)
In "Left differential operators on non-commutative algebras" on p. 4, Michiel Hazewinkel displays "precisely the right definition of differential operator" as
$$D\; X^n = F(\tfrac{...
- 10.5k
4
votes
1
answer
237
views
A (bi)alternant formula for Wronskian
We know that there exists similarities between power functions and derivative of a function (in particular, Newton binomial formula and Leibniz rule for derivation of a product can be deduced from ...
- 275
6
votes
1
answer
317
views
Action of complex torus on a vector space
Consider a torus $T$ over $\mathbb{C}$. Let $\rho: T\rightarrow \operatorname{GL}_{n}(\mathbb C)$ be a finite dimensional complex representation.
Is there an elementary way (undergrad level) to see ...
- 3,472
2
votes
0
answers
45
views
Extending $G$-closed sets to permutation bases of a permutation $RG$-module
I'm curious if there are any papers or results about the following scenario:
Let $R$ be a commutative ring (I'm interested in particular in the $R = \mathbb{Z}$ case, but fields are okay too), $G$ a ...
- 175
3
votes
1
answer
556
views
Equivalent condition to linear operator having trace zero
I'm trying to describe an equivalence relation on the category of finite-dimensional $\mathbb{C}[t]$-modules such that $V \sim W$ if and only if the trace of $t$ acting on $V$ is the same as the trace ...
- 949
1
vote
0
answers
56
views
Images of linear combinations of linear maps over an infinite field
Let $k$ be an infinite field and $V,W$ vector spaces over $k$. Let $\varphi, \psi:V \longrightarrow W$ be $k$-linear morphisms. Consider the linear combinations $\varphi_\lambda := \varphi + \lambda \...
- 696
1
vote
1
answer
298
views
Degenerate representation
Let $\rho : \mathbb{R}^n\to \mathfrak{so}(2m)$ be a faithful representation of the commutative Lie algebra $\mathbb{R}^n$ into the Lie algebra of skew-symmetric matrices. There is an orthonormal basis ...
- 442
5
votes
1
answer
309
views
On a proof involving Young symmetrizers acting on tensor spaces
I hope this is not too elementary for this site, but I already asked something similar on MSE which has not received any attention whatsoever. I am extremely unfamiliar with the algebraic/...
- 2,792
0
votes
1
answer
187
views
Semi simplicity over commutative algebras over non-algebraically closed fields
I have already posted this on stackexchange
I have a question:
If k is an arbitrary field then is it true that if $M$ a finite dimensional $k[x, y]$ is semisimple as a $k[x]$ module and also as a $...
- 159
4
votes
0
answers
211
views
Diagonalization over valuation rings
Let $\mathcal{R}$ be a valuation ring, and consider an $\mathcal{R}$-linear endomorphism $L:\mathcal{R}^{n}\rightarrow \mathcal{R}^{n}$. Is there any criterion for telling when $L$ can be diagonalized?...
- 541
6
votes
1
answer
291
views
Example of nice isomorphism between Cl$_{p,q}(\mathbb R)$ and matrix algebras over $\mathbb R,\mathbb C,\mathbb H,\mathbb R^2,\mathbb C^2,\mathbb H^2$
$\DeclareMathOperator\Cl{Cl}$It is known that every Clifford Algebra $\Cl(Q)$ over the real numbers where $Q: \mathbb R^n \to \mathbb R$ is a non-degenerate quadratic form is isomorphic to a matrix ...
- 4,943
3
votes
0
answers
229
views
$f(x)>0$ and $f(y)>0$ implies $f(x+y)>0$, then there must exist an linear function $g$ such that $g(x)>0$ iff $f(x)>0$?
Background: Let $x,y\in\mathbb (0,+\infty)^n$. $f$ is a continuous function on $\mathbb R^n_+=(0,+\infty)^n$. Consider the following condition (1), the sign of $f(x+y)$ is dependent on the sign of $f(...
- 263
2
votes
1
answer
193
views
Irreducible components of a cyclic extension over $ \mathbb{Q} $
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Gal{Gal}$Let $ L $ be a cyclic Galois extension of $ \mathbb{Q} $ of degree $ 6 $. So $ G = \Gal(L/\mathbb{Q}) $ is a cyclic group of order $ 6 $. Then ...
- 923
0
votes
1
answer
596
views
Definition of an irreducible subgroup, and how to tell if any subgroup of $\mathrm{GL}_{n}(p)$ is irreducible [closed]
I'm not entirely sure what the proper definition of an "irreducible subgroup". I want an intuitive definition what an irreducible subgroup is in the simplest, most pedagogical terms as ...
- 113
12
votes
2
answers
1k
views
The character table of the symmetric group modulo m
Let $S_n$ be the symmetric group and $M_n$ the character table of $S_n$ as a matrix (in some order) for $n \geq 2$.
Question: Is it true that the rank of $M_n$ as a matrix modulo $m$ for $m \geq 2$ ...
- 26.5k
2
votes
1
answer
167
views
Bound on the size of group related to a matrix basis
Let $ G $ be a group of $ n \times n $ matrices. Suppose that some subset $ \{ g_j: 1 \leq j \leq n^2 \} $ of $ G $ is a basis for the space of all $ n \times n $ matrices. Furthermore suppose that ...
- 4,081
8
votes
0
answers
291
views
Image of multiplication map in tensor powers of finite-dimensional ring
Let $R$ be a (commutative, unital) ring of dimension $n$ over a field $k$. Assume the characteristic of $k$ is greater than $n$.
Then $R^{\otimes n}$ has a natural ring structure, together with an $...
- 148k
2
votes
1
answer
168
views
Irreducible $G$-representations with unital algebra structure
Let us work over $\mathbb C$. Suppose that $G$ is a semisimple algebraic group and let $H \subset G$ be a maximal torus. Consider a dominant weight $\omega$, then one can associate a unique ...
- 381
2
votes
0
answers
181
views
Is every nearly rank-1 doubly stochastic matrix a product of pairwise averaging matrices?
A doubly stochastic matrix is a square matrix with non-negative real entries where the sum of each row is $1$ and the sum of each column is $1$. A pairwise averaging matrix is a matrix of the form $tA+...
3
votes
0
answers
181
views
A conceptual explanation for the Kirchoff matrix theorem in terms of the quiver algebra
On the wikipedia page for the Kirchoff matrix theorem, they state a souped up version of the theorem:
Let $G$ be a finite undirected loopless graph and let us form the square matrix $L$ indexed by the ...
- 7,746
1
vote
1
answer
206
views
Factorizing the doubly stochastic matrix where all entries are equal such that the factors are all convex combinations of few permutation matrices
Let $N_{n}=(1/n)_{i=1,j=1}^{n}$ be the $n\times n$-matrix where all the entries are equal.
Suppose $n>0$. Let $\delta_{n}$ be the least natural number such that $N_{n}$ can be factored as $N_{n}=A_{...
5
votes
1
answer
147
views
Fixed subspaces of a family of representations $\rho_t: F_2\to GL(n,\mathbb C)$
Suppose we have a real analytic family of matrices $A_t, B_t\in GL_n(\mathbb C)$, with $t\in \mathbb R$. Suppose that for $t\in (0,1)$ there is a common non-zero eigenvector $v_t\in \mathbb C^n\...
- 14.3k
8
votes
2
answers
275
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 ...
- 11.2k
1
vote
0
answers
71
views
What subspace of $\operatorname{SU}(4)$ group keeps an element of the $\mathfrak{su}(2)$ subalgebra within $\mathfrak{su}(2)$ upon adjoint action?
Consider the Lie group $G_4=\operatorname{SU}(4)$ with (15) generators $T^a$. A basis for the latter is
$$\{\sigma^j \times 1_2, \quad \quad \sigma^i \times \sigma^j, \quad \quad 1_2 \times \sigma^j\},...
- 155
7
votes
1
answer
326
views
Independent vectors in the permuting coordinates action of $S_n$ on $\mathbb{R}^n$
Let $V$ be the hyperplane in $\mathbb{R}^n$ with equation $\sum_i x_i=0$. The symmetric group $S_n$ acts on $V$ by $s\cdot (v_1,\ldots,v_n)=(v_{s^{-1}(1)},\ldots,v_{s^{-1}(n)})$. Consider those $v\in ...
2
votes
1
answer
316
views
Decomposition of Hilbert spaces via groups and algebras representations
Let $\mathcal{H}$ be a complex finite dimensional Hilbert space and let $\mathcal{A}\subseteq \mathcal{B}(\mathcal{H})$. I am looking to understand the different decompositions of $\mathcal{H}$ ...
- 23
1
vote
0
answers
143
views
Why is this operator independent of the choice of basis
I asked this question in MSE but I received no answer
https://math.stackexchange.com/questions/4009524/why-is-the-following-operator-independent-of-the-choice-of-basis/4013636#4013636
Let $G$ be a lie ...
- 139