All Questions
Tagged with linear-algebra rt.representation-theory
219 questions
5
votes
3
answers
904
views
Irreducible representations and invariant subspaces
Consider two invertible n-by-n matrices, $n>2$, $X$ and $Y$ over a finite field $k$ (say for simplicity $k=\mathbb Z/ \mathbb Z_2$). Is there any reasonable way to check that there is no proper ...
2
votes
0
answers
51
views
Relations among hyperplane mirror symmetries
Let $H(n) \subset O(n)$ be the set of mirror symmetries in $\mathbb{R}^n$ with respect to $(n - 1)$-planes containing the origin. One can see that for any $a, b, c \in H(2)$ we have $abcabc = id$, ...
- 5,590
6
votes
1
answer
321
views
Branching from $E(6)$ to $SO(10) \times U(1)$
In $E(6)$ inspired models of supersymmetry, the inclusion of Lie subgroups
$$
SO(10) \times U(1) \hookrightarrow E_6
$$
is important object of interest. See here for my motivating example.
In ...
- 835
15
votes
2
answers
863
views
What are the periodic Dyck paths?
I changed the thread completely so that everything is now elementary linear algebra.
A Dyck path of length $n$ is a list of positive integers $[c_1,c_2,...,c_n]$ with $c_i -1 \leq c_{i+1}$ for all $i$...
- 26.5k
1
vote
0
answers
103
views
Which operators constructed from 10d gamma matrices commute with $SO(1,2)\times SO(3)\times SO(3)$?
In the paper Supersymmetric Boundary Conditions in N=4 Super Yang-Mills Theory by Gaiotto and Witten, an in-depth analysis of boundary conditions in N=4 Super Yang-Mills in four dimensions in ...
- 1,155
1
vote
1
answer
178
views
Invariant two form under symplectic group
Let $m,n\in\mathbb{N}$, $l$ be a prime number, let $J$ be the standard symplectic matrix
$$J=\left[
\begin{array}[cc]
\\0 & I_n \\
-I_n & 0\\
\end{array}\right]$$
Let $$\mathrm{Sp}(2n,\...
user39380
5
votes
0
answers
856
views
Dual of representation is irreducible implies the representation is irreducible?
Suppose $V$ is an infinite dimensional $\mathbb{Q}_p$-representation of Lie algebra $\mathfrak{g}$ over $\mathbb{Q}_p$. If its dual representation $V^{\prime}$ is irreducible then, is it always true ...
- 685
5
votes
1
answer
440
views
Action of upper triangular matrices
Let $M,N$ be two $n\times m$ matrices with $n\leq m$ and coefficients in an algebraically closed field of characteristic zero $K$, both of full rank $n$.
Do there exist two upper triangular matrices ...
user114666
5
votes
1
answer
222
views
Equivalence of $G$-invariant symplectic forms
Let $V$ be a finite-dimensional complex vector space with a linear action of a complex reductive group $G$. Suppose that $\omega_0$ and $\omega_1$ are two $G$-invariant complex symplectic bilinear ...
- 53
5
votes
1
answer
273
views
Natural explanation for a matrix identity
I recently came across this curious fact in some calculations with the strain tensor in fluid mechanics:
Let $A$ be an antisymmetric 3 by 3 matrix and $S$ be a traceless symmetric 3 by 3 matrix. Then ...
- 5,169
1
vote
1
answer
92
views
Collection of matrices in $SU_{\mathbb{C}}(n)$ with given family of eigenvectors
For a given fixed matrix $M\in SU_{\mathbb{C}}(n)$, how to find all $N\in SO_{\mathbb{C}}(n)$ such that $N^{-1}MN$ is a diagonal matrix?
If we consider a fixed set of $n$ complex vectors $\Gamma:=\{...
- 8,071
4
votes
0
answers
115
views
Fierz like identity for $\epsilon_{abc}\sigma^a_{ij}\sigma^b_{kl}\sigma^c_{pq}$
It is known that contracting over the vector indices of two Pauli matrix can be simplified to a bunch of delta functions. This is done via Fierz formula
$$\delta_{ab}\sigma^a_{ij}\sigma^b_{kl}=\delta_{...
- 487
10
votes
2
answers
2k
views
Isomorphism between a filtered vector space and its associated graded
$\DeclareMathOperator\gr{gr}$Let $ V $ be a vector space with a decreasing filtration
$$
V = F_0 V \supseteq F_1 V \supseteq F_2 V \supseteq\dotsb .$$
We define the associated graded of $ V $ to be $$ ...
- 4,612
3
votes
1
answer
227
views
"Canonical" form for gauge equivalence classes of matrices in $\mathfrak{gl}_n(x)$
Let $\mathfrak{gl}_n(x)= \mathfrak{gl}_n \otimes_\mathbb{C}\mathbb{C}(x)$ be the algebra of matrices taking values in rational functions.
Definition: Two matrices $A, B \in \mathfrak{gl}_n(x)$ are ...
- 7,789
6
votes
0
answers
375
views
Monomial base change and the Vandermonde
Denote the falling factorials by $(x)_k=x(x-1)\cdots(x-k+1)$.
The Vandermonde determinant is given by $\det\left[x_i^{j-1}\right]_1^n=\prod_{i<j}(x_j-x_i)$.
It is well-known that in as much as ...
- 43.2k
24
votes
1
answer
1k
views
About the abelian category of endofunctors of $\mathsf{Vect}$
Let $k$ be a field, $\mathsf{Vect}$ the category of finite dimensional vector spaces, and $\mathsf{C} = Fun(\mathsf{Vect},\mathsf{Vect})$ the abelian category of pointed endofunctors (sending $0$ to $...
- 7,789
2
votes
0
answers
63
views
Determining subgroup of finite group of Lie type from characteristic polynomials
Suppose you have $G$ a finite group of Lie type (say $\mathrm{Sp}_4( \mathbb{F}_5)$ as a case I particularly care about, but there are others.) Your friend picks a subgroup $H$ and selects random ...
- 2,429
4
votes
1
answer
423
views
Alternating sum of symmetric and exterior powers vanishes
Let $V$ be a vector space with some extra structure (maybe to be general, an object of an abelian tensor category?), where we can form tensor products and exterior powers $\Lambda^i V$ and symmetric ...
- 3,149
6
votes
1
answer
273
views
Simultaneous triangularisation of an exterior power of a set of matrices
I'm working on some research problems relating to random matrix products, and this is taking me into areas of mathematics I've not previously studied: Lie groups, representation theory, and real ...
- 6,206
6
votes
1
answer
934
views
Finite groups with all irreducible representations one dimensional
Let $k$ be a field of characteristic $p$ and $G$ a finite group. This question might be a dulicate of this question:
Which finite groups have no irreducible representations other than characters?
...
- 137
9
votes
2
answers
814
views
Regular elementary abelian subgroups of primitive permutation groups
A finite group $B$ is said to be a B-group if every primitive permutation group having a regular (transitive) subgroup isomorphic to B is $2$-transitive.
Schur proved that a cyclic group of ...
- 11.2k
5
votes
2
answers
742
views
Non-Archimedean QR factorization (Iwasawa decomposition)
Let $\mathcal{O} = \mathbb{C}[[t]]$ be the ring of formal power series with $K = \mathbb{C}((t))$ its quotient field, i.e. the field of formal Laurent series. More generally, one can take $\mathcal{O}$...
- 275
4
votes
0
answers
164
views
Matrices in $SL(2,\mathbb{C})$ with characteristic polynomial defined over a subring
Let $R\subset\mathbb{C}$ be a subring, and let $A,B\in SL(2,\mathbb{C})$ be matrices such that $A,B,AB$ all have trace in $R$.
For which $R$ can we then deduce that $A,B$ are simultaneously conjugate ...
- 7,527
0
votes
1
answer
198
views
The eigenfunctions of an operator commuting with all rotations.
When reading the paper
E. Carlen, J. Geronimo & M. Loss: SIAM J. MATH. ANAL., vol. 40, no. 1, 327-374
I found an argument like the following.
Given an bounded and self-adjoint linear operator ...
- 199
4
votes
1
answer
161
views
Subring of matrix algebra with common eigenvectors
Consider the matrix algebra $\mathcal{M}_n(\mathbb{C})$ (acting on $n$ dimensional space $V$) and let $R$ be subring of matrices of $\mathcal{M}_n(\mathbb{C})$.
Suppose that any two elements of $R$...
- 291
6
votes
1
answer
205
views
Can a projective solvable group be transitive?
Let $p > 3$ be a prime number, and let $G \leq \mathrm{PGL}_2(\mathbb{F}_p)$ be a solvable subgroup.
Is it possible that the action of $G$ on $\mathbb{P}^1(\mathbb{F}_p)$ is transitive?
- 11.3k
2
votes
1
answer
223
views
Cluster algebra structure on the coordinate ring of $Mat_3$
Let $Mat_3$ be the set of all 3 by 3 matrices. I have some questions on the cluster algebra structure on the coordinate ring of $Mat_3$.
We use $\Delta_{j_1\ldots j_n}^{i_1\ldots i_n}$ to denote the ...
- 6,201
7
votes
1
answer
456
views
Hopfian modules
My question is slightly motivated by basic results in linear algebra, for example, that if $F$ is a field then a surjective linear map $F^n \rightarrow F^n$ is injective. More generally, any ...
- 11.2k
3
votes
0
answers
98
views
Quantum Groups and quantum spaces - From algebra to Analysis
My question will be about the non-standard quantum projective space $\mathcal{A}_q(\mathbb{CP}^n(c,d))$ introduced by Dijkhuizen and Noumi. I want to see this algebra now on a von Neumann algebraic ...
3
votes
0
answers
236
views
Deligne-Simpson problem for classical groups
Additive Deligne-Simpson problem was partially prooved by Kostov. Also there is Crawley-Boevey's approach to the question. The problem is about existence of a solution of the equation
$$
A_1 +...+A_n =...
- 181
2
votes
0
answers
135
views
Set of Special Unitary Matrices that are dense in SU(4) and obey certain relations
I'm trying to find a finite set of 4x4 Unitary matricies $\{U_1,U_2,\ldots U_N\}$ such that the matrices are dense in SU(4), and obey the relations:
$[U_i, U_j] = 0$ for $|i-j|>1$
$U_iU_{i+1}U_i=...
- 71
4
votes
1
answer
388
views
Existence of $SO(n)$-isotropic inner products which are not $O(n)$-isotropic
$\newcommand{\al}{\alpha}$
Let $M_n$ be the space of $n \times n$ real matrices.
Question:
For which $n$, is there an inner product on $M_n$ which satisfies:
$$(*) \, \, \langle Q^TXQ,Q^TYQ \...
- 6,741
1
vote
0
answers
84
views
Extra-Lorentzian Kac-Moody algebras
My question is about Kac-Moody (KM) algebras of finite rank with symmetrized Cartan matrices $B = C A$ ($A$ is Cartan matrix) of signatures $(-,-,+,...,+)$, $(-,-,-,+,...,+)$, etc. i.e. with $2$,...
- 371
1
vote
0
answers
207
views
the linear span of all matrix coefficients is $C(G,\mathbb{C})$ where $G$ is a finite group
Theorem. Let $\{(R_{\alpha},V_{\alpha})\}$ be a complete set of inequivalent irreducible finite dimensional representations of a finite group $G$. Let $V_{R_{\alpha}}$ be the subspace generated by all ...
- 155
1
vote
1
answer
282
views
Decompose $\Lambda^3(V \otimes W)$ [closed]
Let $V, W$ be two vector spaces. We have $\Lambda^2(V \otimes W) \cong (\Lambda^2 V \otimes S^2 W) \oplus (S^2 V \otimes \Lambda^2 W)$. I am trying to find similar results for $\Lambda^3(V \otimes W)$....
- 6,201
3
votes
1
answer
361
views
$k[x_1, \dots, x_n]$ is free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism?
For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set $\...
user80013
8
votes
1
answer
218
views
Pair of square matrices related by traces formulas
Let $A$ and $B$ be two $n\times n$ matrices over $\mathbb{C}$. Assume that for every $k\geq 1$ it holds $tr(A^k) = tr(B^{2k-1})$. What can we say about the possible eigenvalues of $A$ and of $B$? How ...
- 5,039
5
votes
1
answer
378
views
Plethysm of $S^3(S^2V)$ as $\mathfrak{sl}_3(\mathbb{C})$-module
I have asked this question in MSE before, but have not got any answer. So here I am asking it again with some more detail.
I believe that the following sequence of $\mathfrak{sl}_3(\mathbb{C})$-...
- 1,305
5
votes
0
answers
135
views
Relative invariants of $P\oplus P^*$
Let $P$ be a $\mathrm{GL}(V)$-module, and assume that the decomposition of $P$ into irreducible submodules is known. By a relative invariant of the module $P\oplus P^*$, I mean a homogeneous nonzero ...
- 2,527
0
votes
0
answers
212
views
Can we drop commutativity assumption?
Let $A$ be an associative algebra with a unit over a field $k$. fix $n > 1$. Define a $k$-algebra structure on the vector space $A^{\otimes n} = A \otimes_k \dots \otimes_k A$ (where there are $n$ ...
- 25
1
vote
1
answer
724
views
Determinants of tensors [closed]
Consider a tensor of dimension $[d]\times[d]\times[d]$ which is symmetric with respect to every permutation of the indices. Are there any $\textbf{explicit}$ formulas for notions like determinant-like ...
- 81
0
votes
0
answers
53
views
Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action
I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...
- 2,099
2
votes
2
answers
199
views
Permutation covering of a $G$-lattice
Let $G$ be a finite group.
By a $G$-lattice we mean a finitely generated free abelian group $L$ with an action of $G$.
We say that $L$ is a permutation $G$-lattice if $L$ has a ${{\mathbf{Z}}}$-basis ...
- 14.2k
4
votes
1
answer
365
views
Classes of finite resoluble groups which are (faithfully) representable by triangular matrices?
Let $G$ be a group, $k$ a field and $T(n,k)\subset Gl(n,k)$,
the group of invertible upper triangular $n\times n$ matrices.
I know that if $\rho : G\rightarrow T(n,k)$ is faithful
(i.e. into) then $...
- 3,738
35
votes
4
answers
2k
views
Why there is a relation among the second-order minors of a symmetric $4\times 4$ matrix?
A $4\times 4$ symmetric matrix
$$
\left(
\begin{array}{cccc}
a_{11} & a_{12} & a_{13} & a_{14} \\
a_{12} & a_{22} & a_{23} & a_{24} \\
a_{13} & a_{23} & a_{33} & ...
- 2,527
12
votes
4
answers
1k
views
Real and quaternionic representations according to weights
According to this question, it is easy to know whether a (complex, finite-dimensional) representation is self-dual or not: just check if the weight distribution in space is symmetric about the origin.
...
- 2,091
6
votes
1
answer
778
views
Dimension of the span of all partial derivatives of a given homogeneous symmetric polynomial $f$ and the polynomial $E(f)$
I need some help about the problem below.
Let $d\geq 4$ and $f$ a symmetric polynomial, homogeneous of degree $d$, in $n$ variables $x_1,\dots,x_n$, with real coefficients. We set
$$ E(f):=\sum_{j=1}^{...
- 307
3
votes
3
answers
1k
views
A table for irreducible integral representation of finite cyclic groups
Is there such a table where the irreducible integral representations of finite cyclic groups
are listed?
Edited:
Thanks for Todd Leason's comment.Acutally,i want to know all inequivalent ...
- 593
1
vote
1
answer
498
views
Projectors onto the invariant subspaces of a unitary representation $U \otimes U^* \otimes U \otimes U^*$
Let $$U \mapsto U \otimes U^* \otimes U \otimes U^*$$ be a unitary representation of the unitary group $U(n)$ acting on the vector space $V$ (where $U^*$ is the complex conjugate of $U$). We can ...
- 127
23
votes
4
answers
1k
views
Dividing by two in the category of vector spaces
Does every invertible linear map $M$ between $V \oplus V$ and $W \oplus W$ naturally yield an invertible linear map $L$ between $V$ and $W$?
Here "naturally" means "in an $GL(V) \times GL(W)$-...
- 19.7k