Skip to main content

All Questions

32 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
7 votes
0 answers
275 views

Split epimorphism of modules - does the finite case imply the infinite case?

Let $k$ be a field, $A$ a finite dimensional $k$-algebra, $X$ a finite dimensional indecomposable (left) $A$-module and $M$ an infinite dimensional (left) $A$-module. Suppose further we have an ...
kevkev1695's user avatar
6 votes
0 answers
58 views

Definition of modular Howe correspondence

Let $(G,G')$ be a pair of mutually centralized subgroups of a symplectic group $Sp_n(\mathbb{F}_q)$ (called a dual pair), and let $\omega_{G,G'}$ be the restriction of the Weil representation (with ...
Hans Pohl's user avatar
5 votes
0 answers
288 views

Representation functor on modules

Let $k$ be a field and $A$ a unital associative $k$-algebra. The representation functor associates, to each object in non-commutative geometry, a genuine geometric object on the representation variety ...
Qwert Otto's user avatar
5 votes
0 answers
221 views

Group cohomology of $\mathbb{Z}$ vs $\mathbb{Z}_p$

Let $M$ be a continuous representation of $\mathbb{Z}_p$ over $\mathbb{F}_p$, likely infinite-dimensional. There is the inflation map of group cohomology $H^*_{\text{cts}}(\mathbb{Z}_p, M) \rightarrow ...
user125639's user avatar
5 votes
0 answers
241 views

Finite-dimensional irreducible representations of 2-loop quiver

What are the finite-dimensional irreducible representations of the quiver with one vertex and two loops?
Ralle's user avatar
  • 491
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 ...
MathStudent's user avatar
4 votes
0 answers
187 views

Generalization of the second Brauer-Thrall conjecture for arbitrary Artin algebras

Let $k$ be a field with infinite cardinality and $A$ a finite dimensional $k$-Algebra. The second Brauer-Thrall conjecture states the following: There are infinitely many natural numbers $n_1<n_2&...
kevkev1695's user avatar
4 votes
0 answers
64 views

Why does this cluster tilting object form a local slice?

I am reading the paper "Cluster automrphisms", here is the link: http://prospero.dmat.usherbrooke.ca/ibrahim/publications/Cluster_Automorphisms.pdf In the proof of lemma 3.1 I am stuck: For ...
Xiaosong Peng's user avatar
4 votes
0 answers
212 views

When does the canonical $t$-structure restrict to perfect complexes?

I am interested in non-Noetherian(!) rings such that the canonical $t$-structure on $D(R)$ (the derived category of left $R$-modules) restricts to perfect complexes i.e. to the subcategory of ...
Mikhail Bondarko's user avatar
3 votes
0 answers
107 views

Dimension of hom spaces between indecomposable modules

Undergraduate-Level Background Let $A$ be an Artin algebra over an algebraically closed field $k$, and let $C = Rep(A)$ denotes the category of $k$-linear, $k$-finite dimensional representations of $A$...
Student's user avatar
  • 5,230
3 votes
0 answers
107 views

Auslander-Reiten sequences where irreducible morphisms are all epi/mono

Let's work in the setting of modules over an Artin algebra $A$, or a finite-dimensional $k$-algebra $A$, or if you like, modules over a connected quiver $Q$ without oriented cycles. Let $M$ be such a ...
Marty's user avatar
  • 13.3k
3 votes
0 answers
99 views

Decidability of theory of modules over a ring of finite representation type

I have read from Mike Prest's model theory for modules (London lecture note series) chapter 17 that a Ring of finite representation type has a decidable theory of modules. Here decidability was ...
Yoneda Lemma's user avatar
3 votes
0 answers
1k views

An exact sequence which does not split

Let $X$ and $Y$ be indecomposable modules over a finite dimensional algebra and let $f \colon X \to Y$ be a non-zero morphism which is neither a monomorphism nor an epimorphism. Suppose that it is ...
Vasco's user avatar
  • 237
3 votes
0 answers
199 views

Decompositions of representations of pro-p groups

Let $P$ be a pro-p group. Assume that there is a filtration of $P$ by normal subgroups $P_i$ such that $P_0=P$ and $P_{i+1} < P_i(i\in\mathbb N)$. Let $V$ be an $l$-adic representation of $P$, ...
Int's user avatar
  • 93
2 votes
0 answers
100 views

Pairs of ideals in an abelian category similar to torsion pairs

Let $\mathcal{A}$ be an abelian category. In the context of my work I am considering pairs of ideals $(\mathcal{I}, \mathcal{J})$ in $\mathcal{A}$ with the following properties: $\quad \mathcal{I} \...
kevkev1695's user avatar
2 votes
0 answers
79 views

Almost split sequences for symmetric algebras

Let $k$ be an algebraically closed field and $A$ be a symmetric algebra. I want to know how to compute almost split sequences ending at a non-projective indecomposable right $A$-module $X$. Question: ...
sola's user avatar
  • 21
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 ...
Sam K's user avatar
  • 175
2 votes
0 answers
93 views

Is there a category of "chains of modules" that behaves well with taking direct limits?

I came up with the following definition of a category of certain "chains of modules" and want to know if this concept is already known and studied. Let $R$ be ring. An object in our category ...
kevkev1695's user avatar
2 votes
0 answers
116 views

Loewy structure of $S_4$

How to deduce the Loewy Structure of $kS_4$ where $k$ has characteristic 2. I can compute the Cartan matrix and Decomposition matrix with Brauer Characters without difficulties. But when it comes to ...
user666's user avatar
  • 51
2 votes
0 answers
105 views

Why $T'$ dosen't have projective direct summand?

Let $A$ be a k-algebra, where k is a fixed field. Let $S$ be a simple, non-injective $A$-module such that $Ext^{i}_{A}(S,S)=0$ for $1 \leq i \leq n$. Let $P(S)$ be the projective cover of $S$, and let ...
Xiaosong Peng's user avatar
2 votes
0 answers
202 views

Could Partial Tiltings be studied as Almost Complete Tiltings?

The first part of what follows is a brief recap of the definitions, setting and motivations for my questions. Experts can find the questions at the end. Here $k$ denotes an algebraically closed field,...
Kaveh's user avatar
  • 493
1 vote
0 answers
65 views

Is it possible to describe a $k$-basis for $M\otimes_{kH}N$ when $M$ is a $k[G\times H]$-module and $N$ is a $k[H\times K]$-module?

Suppose $k$ is a field for Let $M$ be a finitely-generated a $k[G\times H]$-module and let $N$ be a finitely-generated $k[H\times K]$-module. Then in particular, $M$ and $N$ are finite-dimensional $k$-...
death_cube_k's user avatar
1 vote
0 answers
46 views

What is the maximal weight submodule of $\text{Hom}_{\mathfrak{g}}(M,N)$?

Let $\mathfrak{g}$ be a finite-dimensional semisimple Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$. Fix a Cartan subalgebra $\mathfrak{h}$ of $\mathfrak{g}$. For ...
Batominovski's user avatar
1 vote
0 answers
66 views

To find $\dim(D^{\mu})=\dim\frac{S^{\mu}}{S^{\mu}\cap S^{\mu\perp}}$

Let $S_6$ be the symmetric group of degree $6$ and $F$ be any finite field of characteristic $2.$ Then $2$-regular partition of $6$ are $(5,1)$, $(4,2)$ and $(3,2,1)$ . I have to find $$\dim(D^{\mu})=\...
neelkanth's user avatar
  • 141
1 vote
0 answers
77 views

n-Gorenstein algebras and tilting modules

Let $\Lambda$ be an artin algebra over a commutative artinian ring $R$. $\Lambda$ is said to be $n$-Gorenstein, for some natural number $n$, provided it have finite self-injective dimension at most $n$...
Xiaosong Peng's user avatar
1 vote
0 answers
77 views

Existence of a certain direct summand

Let $P$ be a cyclic group of order $p^n$. Let $M$ be a $\mathbb{Z}_p[P]$-module and $M_p :=\mathbb{Q}_p\otimes M$ be the associated $\mathbb{Q}_p[P]$-module. When will $M_p$ have a direct summand ...
debanjana's user avatar
  • 1,283
1 vote
0 answers
360 views

Property of the syzygy functor of $\operatorname{\underline{mod}} A$

Let $A$ be an artin algebra. We denote by $\operatorname{mod}A$ the category of finitely generated left $A$-modules. We denote by $[A]$ the ideal of morphisms between $A$-modules which factor through ...
Xiaosong Peng's user avatar
1 vote
0 answers
33 views

How to get that $add(E)=add(\nu(E))$ equivalent to $add(soc(E))\cong add(top(E))$?

Let $A$ be a finite dimensional algebra over a field K. $E$ is an injective $A$ module. $\nu=DHom_A(-,A)$ is the Nakayama functor. $add(E)$ is the full subcategory of $A$-module consisting of all ...
Xiaosong Peng's user avatar
1 vote
0 answers
120 views

Irreducible representations of quantum affine algebras

The finite dimensional simple modules of quantum affine algebras are parameterized by Drinfeld polynomials. Some other modules of quantum affine algebras are studied in the paper. Some infinite ...
Jianrong Li's user avatar
  • 6,201
1 vote
0 answers
238 views

Is this a pure monomorphism?

Let $M$ be a representation of a quiver $Q=(V, E)$ by $R$-modules. By $M^{+}$ we mean a representation of $Q^{op}$ with $M^{+}(v)=\mathrm{Hom}(M(v), \frac{Q}{Z})$. One can easily see that there is ...
HHH's user avatar
  • 63
0 votes
0 answers
43 views

Endomorphism algebra of equivariant maps of isotypic module

Let $A$ be a simple Artinian $K$-algebra with a minimal left ideal $M$. Here, $M$ can be viewed as a simple left $A$ module, and, by Schur's lemma, $D=\text{End}_A(M)$ is a $K$-algebra. By Wedderburn-...
khashayar's user avatar
  • 143
0 votes
0 answers
68 views

Is there a simple module $S$ satisfies the following conditions?

Let $A$ be a k-algebra,where k is a fixed field. {$x_1,x_2, \cdots,x_n $} is a complete set of primitive orthogonal idempotents of $A$. $M$ is a left $A$-module such that $x_iM=0$ for $i=1,2,\cdots,n-...
Xiaosong Peng's user avatar