All Questions
Tagged with rt.representation-theory ra.rings-and-algebras
159 questions with no upvoted or accepted answers
38
votes
0
answers
1k
views
Groups whose complex irreducible representations are finite dimensional
By a complex irreducible representation of a group $G$, I mean a simple $\mathbb CG$-module. So my representations need not be unitary and we are working in the purely algebraic setting.
It is easy ...
- 38.6k
17
votes
0
answers
704
views
When is the determinant an $8$-th power?
I am working over $\mathbb{R}$ (though most of the story goes over any field). I am looking for linear spaces of matrices such that the restriction of the determinant to this spaces can be written (...
- 7,300
13
votes
0
answers
355
views
Analog of Haar element in an algebra
In a Hopf algebra $H $ (over some field $ k $), there is the notion of a Haar element $ h \in H$. This is an element of the algebra which has the property that if $ V $ is a representation of $ H $, ...
- 4,612
12
votes
0
answers
605
views
Given an algebra, can it be realized as a block of a Hopf algebra?
During a classification problem I came across a set of algebras given as the path algebra of a quiver with relations. As an example the local ones: $k\langle x,y\rangle/x^2,y^2, xy-qyx$, where $q\in k$...
- 2,450
11
votes
0
answers
436
views
A rather strange algebra
Let $k$ be an algebraic closed field of zero characteristic and $X$ an affine smooth variety, with $A=\mathcal{O}(X)$ the algebra of regular functions and $\mathcal{V}$ the Lie algebra of vector ...
- 3,318
11
votes
0
answers
708
views
What happens to simple modules under Ringel duality?
If $A$ is a quasi-hereditary algebra then its Ringel dual $A'=End_A(T)$ is the endomorphism algebra of a (minimal) full tilting module $T$ for $A$. The algebra $A'$ is again quasi-hereditary, although ...
- 578
11
votes
0
answers
287
views
What do Multilinear Forms tell us about Representations?
The last few days I have been calculating whether certain group representations are real, complex, or quaternionic. It is well-known that the type of the representation corresponds to what type of ...
- 5,191
10
votes
0
answers
275
views
Are local finite dimensional Hopf algebras symmetric?
Recall that a finite dimensional algebra $A$ over a field $K$is called a Frobenius algebra in case $A \cong D(A)$ as right modules, where $D(A) \cong Hom_K(A,K)$. In case $A \cong D(A)$ as bimodules, ...
- 26.5k
9
votes
0
answers
366
views
A characterisation of symmetric algebras using Hochschild (co)homology
A finite dimensional (connected if needed) $K$-algebra $A$ over a field $K$ is called symmetric when $A \cong Hom_K(A,K)$ as $A$-bimodules. Symmetric algebras are Frobenius algebras and include for ...
- 26.5k
9
votes
0
answers
371
views
Duality between coalgebras and (pseudocompact) algebras - uniqueness
The following result is well-known. It can for example be found in [Iovanov: The representation theory of profinite algebras, Theorem 1.0.2]. For definitions, see below.
Let $k$ be a field. The ...
- 2,450
9
votes
0
answers
259
views
Name for rings with $R \cong R^{\mathrm{op}}$
Is there a name for rings that are isomorphic to their opposite ring $R^{\mathrm{op}}$ in the literature? I'm especially interested for the class of Artin algebras.
- 26.5k
9
votes
0
answers
244
views
Homology of an interesting Lie algebra
Let $U$ and $V$ be finite dimensional complex vector spaces (or perhaps graded vector spaces).
Let $E(U)$ be the "square zero extension" $\mathbb C \oplus U$, made into a commutative ring in such a ...
- 40.2k
9
votes
0
answers
447
views
What's the analogue of a Young symmetrizer in the Brauer algebra?
According to Schur--Weyl duality, the centralizer of $\mathrm{GL}(V)$ acting diagonally on $V^{\otimes N}$ is the group algebra of the symmetric group $\mathbb S_N$. An equivalent formulation is the ...
- 40.2k
8
votes
0
answers
251
views
When does a semisimple $\mathbb{C}$-algebra come from a group?
Let $\mathcal{A}$ be a semisimple $\mathbb{C}$-algebra. By the Artin-Wedderburn theorem, it is isomorphic to a direct product of matrix algebras:
$$ \mathcal{A} = \prod_{i=1}^m M_{n_i}(\mathbb{C})$$
...
- 297
8
votes
0
answers
488
views
det(A)det(B) = det(AB+correction), Capelli identities, "factorized" representation of $\mathfrak {gl}_n$
Context: Some probably know that there are Capelli identities which state
$$det(A)det(B) = det(AB+correction)$$ for some matrices with non-commuting elements, they go back to the 19-th century, but ...
- 24.9k
8
votes
0
answers
917
views
duality between universal enveloping and function algebra for GL(n)
Motivation. Few years ago I constructed a family of internal Hopf algebras in the Loday-Pirashvili tensor category of linear maps which is in a sense a generalization of the algebra of regular ...
- 5,232
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
7
votes
0
answers
226
views
On the structure of an algebra as a bimodule
$\DeclareMathOperator\End{End}\DeclareMathOperator\Mod{Mod}\DeclareMathOperator\Ker{Ker}\newcommand{\bi}{\mathrm{bi}}\newcommand{\op}{\mathrm{op}}$Let $K$ be a field (say of characteristic zero), and $...
- 541
7
votes
0
answers
248
views
Trace on a KLR algebra
The cyclotomic KLR algebra is isomorphic to the Ariki-Koike algebra over a field and so admits a trace (this is used in Hu-Mathas' paper to define bases for the KLR algebra corresponding to Murphy and ...
- 1,413
6
votes
0
answers
182
views
On properties of an algebra as a bimodule
Let $A$ be a two-sided artinian ring.
Recall that a module $M$ is said to have dominant dimension at least $n$ in case the terms $I_i$ in the minimal injective coresolution of $M$ are projective for $...
- 26.5k
6
votes
0
answers
57
views
A characterisation of weakly symmetric algebras
A finite dimensional algebra $A$ over a field $K$ is called a Frobenius algebra in case there exists a $K$-linear map $f: A \rightarrow K$ such that $ker(f)$ contains no non-zero right ideal of $A$ (...
- 26.5k
6
votes
0
answers
259
views
Diameter of finite rational matrix groups
Suppose $G$ is a finite subgroup of $\mathrm{GL}(n,\mathbb{Q})$.
For a set $\mathcal{M} \subseteq G$ that generates $G$, define the $\mathcal{M}$-diameter $\mathit{diam}(G, \mathcal{M})$ of $G$ to be ...
- 165
6
votes
0
answers
79
views
Canonical forms for representations of tame algebras
Recently I have been studying the representation type of algebras (tame-wild dichotomy). A question that I feel is probably well known but that I cannot answer is the following:
Can I define tame ...
- 61
6
votes
0
answers
136
views
Does a given bound quiver algebra admit an algebra analogous to the preprojective algebra of a path algebra?
Let $Q=(Q_0,Q_1,s,e)$ be a finite quiver.
In the formal construction of the preprojective algebra associated to $Q$, we set $\ Q^*_1=\{\alpha^*:y\rightarrow x| \alpha\in Q_1, \alpha:x\rightarrow y \}...
- 493
6
votes
0
answers
164
views
Systematic treatment of folding and valued graphs
I'm going to say beforehand that this question has something of a "am I missing something?" flavor. I'm in that odd position mathematicians often find themselves, where a topic has been ...
- 44.7k
6
votes
0
answers
317
views
What is the technical difference between a deformation and a perturbation?
What is the technical difference between a deformation and a perturbation? Do they exist in somewhat different categories?
- 3,880
6
votes
0
answers
168
views
Classifying algebras with two idempotent generators and involution
Say that a finite-dimensional algebra $H$ over a field $K$ is dihedral if $H$ is generated by idempotents $P_1$ and $P_2$ and there is an algebra involution interchanging $P_1$ and $P_2$.
For example,...
- 1,021
5
votes
0
answers
226
views
Cohomology of representation varieties and the Hochschild cohomology
Let $k$ be a field, $A$ a $k$-algebra, and $V$ a $k$-vector space. Then we can consider the representation varieties of $A$ on $V$: $\mathrm{Hom}_{k\textrm{-alg}}(A, \mathfrak{gl}(V))$ and $\mathrm{...
- 985
5
votes
0
answers
212
views
Rings where all indecomposable modules are projective or injective
Let $A$ be a semi-perfect noetherian ring.
Is there a nice classification of such $A$ such that every indecomposable finitely generated $A$-module is projective or injective?
Im also interested in ...
- 26.5k
5
votes
0
answers
108
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 ...
- 5,039
5
votes
0
answers
161
views
Representation theory terminology question
For a paper I'm writing, I need a term for a representation-theoretic concept that I'm sure someone has thought of before, so I thought I'd ask here rather than just make something up.
Let $G$ be a ...
- 44.8k
5
votes
0
answers
140
views
Open problems about Morita and derived invariants
Are there properties of rings of which one does not know whether they are Morita or derived invariances?
For a recent such example for Morita invariance, see https://www.sciencedirect.com/science/...
- 26.5k
5
votes
0
answers
428
views
Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book
This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course.
Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
- 181
5
votes
0
answers
426
views
Homological dimension of completed path algebras.
Let A = c[Q]/I be a finite dimensional quotient of a path algebra over a quiver Q, with I being the ideal of relations.
Is it true that the I-adic completion of A has finite homological dimension?
- 51
5
votes
0
answers
519
views
Generalized Haar Measures and Semiring-Valued Integrals on Lie Groups
In an applied research problem I am currently working on, I am using non-commutative semiring convolution to formulate some interesting types of calculations on images and solid objects. For discrete ...
- 2,392
4
votes
0
answers
132
views
Ring theoretical aspects of the DAHA
The double affine Hecke algebras (DAHA) were introduced by Cherednik in his study of Macdonald's inner product conjectures (which were solved affirmatively).
Nowdays there are many variations of the ...
- 3,318
4
votes
0
answers
158
views
Wedderburn-Malcev principal theorem for graded-finite algebras
Let $k$ be a field and $A$ be a noncommutative $k$-algebra with Jacobson radical $J$. If $A$ is finite-dimensional, the Wedderburn-Malcev says that $A$ has a subalgebra $S$ such that $$A = S \oplus J$$...
- 492
4
votes
0
answers
79
views
Closed character formula for the module $L(a\omega_i)$
Let $\mathfrak{g}$ be a complex finite-dimensional simple Lie algebra with a fixed Cartan subalgebra $\mathfrak{h}$. Assume that $\omega_1, \omega_2, \dots, \omega_n\in\mathfrak{h}^{*}$ is the ...
- 41
4
votes
0
answers
80
views
Finding all nice ideals for quiver algebras
Let $Q$ be a finite, connected and acyclic quiver which is simply-laced.
Let $k$ be a field and $kQ$ the path algebra of $Q$ over $k$.
Recall that an ideal $I$ of $kQ$ is called admissible if it is ...
- 26.5k
4
votes
0
answers
153
views
The Jacobson radical as a bimodule
Let $A$ be a finite dimensional algebra with Jacobson radical $J$.
Question 1: In case $A$ is a Nakayama algebra with a linear quiver corresponding to a Dyck path $D$ (via its Auslander-Reiten ...
- 26.5k
4
votes
0
answers
141
views
Frobenius algebras of small dimensions
In Classification of commutative Frobenius algebras , Jeremy Rickard showed that there are infinitely many commutative (local without loss of generality) Frobenius algebras of vector space dimension ...
- 26.5k
4
votes
0
answers
153
views
Recovering the bimodule from the trivial extension
Given a ring $S$ with a non-zero $S$-bimodule $M$, the trivial extension of $(S,M)$ is defined as the ring $R:=T_M(S)$ with $R= S \oplus M$ with multiplication $(s,m)(s',m')=(s s', sm' +m s')$.
We ...
- 26.5k
4
votes
0
answers
218
views
Conjugacy class representatives for the automorphism group of a finite abelian group
Given a finite abelian group $A$, I'd like a list of conjugacy class representatives for its automorphism group ${\rm Aut}(A)$.
In fact, it's not important that I have exactly one representative from ...
- 286
4
votes
0
answers
228
views
Question on $n$-torsionless modules
Let $A$ be a finite dimensional algebra. Recall that a module $M$ is called $n$-torsionfree in case $Ext_A^i(D(A),\tau(M))=0$ for all $i=1,...,n$ when $\tau$ denotes the Auslander-Reiten translate. ...
- 26.5k
4
votes
0
answers
127
views
Injective dimension is infinite?
Let $A$ be a non-selfinjective finite dimensional algebra and $M$ a nonprojective module with $Ext^{i}(M,A)=0$ for all $i \geq 1$. It is easy to see that $M$ has infinite projective dimension. Does $M$...
- 26.5k
4
votes
0
answers
429
views
Auslander-Reiten-Quivers of representation-finite algebras having different 3-dimensional forms
I am looking for references, where I can find (pictures of) connected Auslander-Reiten-Quivers of representation-finite $k$-algebras ($k$ is a (preferably, but not necessarily finite) field) with one ...
- 1,755
4
votes
0
answers
167
views
For $P$ $\mathbb{Z}G$-projective, $\mathbb{Q}\otimes P$ is $\mathbb{Q}G$-free
I'm looking for a proof of a theorem of Swan [1, Theorem 3]:
If $G$ is a finite group and $P$ a finitely generated projective $\mathbb{Z}G$-module, then $\mathbb{Q}\otimes_\mathbb{Z}P$ is a free $\...
- 2,019
4
votes
0
answers
358
views
Minimal prime ideals of a group ring
Let $R$ be a left Noetherian ring (if you prefer you can just think to $R$ as a skew field, I'll be happy with an answer under that hypothesis) and $G$ be a polycyclic-by-finite (or, if you prefer ...
- 2,452
4
votes
0
answers
157
views
Endomorphismrings of maximal submodules.
The question I am interested in answering is the following:
Suppose that for a pair of $d$-dimensional modules $M$ and $N$ over a $k$-algebra ($k$ a field) $R$ we have that $\dim_k \rm{Hom}_R(X,M)\...
- 236
3
votes
0
answers
137
views
Composition of Frobenius $n$-homomorphisms, characteristic-free?
This question is, as so often, a crossbreed of curiosity and laziness. The
former has led me to an interesting, but somewhat unsatisfactory paper by
Khudaverdian and Voronov
(arXiv:2002.02395v2) and, ...
- 33.8k