2
votes
1answer
62 views

Pivotal functors of that are substantially different from finite group homomorphisms

Fusion categories can be seen as generalisations of the representation category of finite groups. I'm interested in spherical fusion categories. I'm trying to find "interesting" functors from a ...
4
votes
2answers
173 views

Serre functor of a subcategory (in particular parabolic category O)

For an additive category $\mathcal C$ there is the notion of a Serre functor on $\mathcal C$, i.e. a an autoequivalence $S$ of $C$ such that there exist isomorphisms $$Hom(A, S(B)) \cong Hom(B, A)^*$$ ...
5
votes
2answers
294 views

When is/isn't the monoidal unit compact projective?

I am interested in developing intuition for when the monoidal unit in a closed monoidal abelian category is or isn't compact projective. As such, my question is not looking for a yes/no answer, but ...
2
votes
4answers
648 views

Are there natural examples of non-symmetric Frobenius algebras?

Symmetric Frobenius algebras arise everywhere, but the non-symmetric variety seem difficult to come by. Are there any natural examples/constructions that produce non-symmetric Frobenius algebras in ...
3
votes
0answers
354 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 ...
2
votes
1answer
88 views

From the representation category of a Lie group and the representation on a homogeneous space, can we reconstruct the stabiliser subgroup reps?

Given a Lie group $G$ and a transitive action $- \triangleright - : G \times X \to X$ on a homogeneous space, we can recover the stabiliser subgroup $H_x$ of a point $x \in X$. It is the subgroup of ...
11
votes
1answer
366 views

Can one explain Tannaka-Krein duality for a finite-group to … a computer ? (How to make input for reconstruction to be finite datum?)

Consider a finite group. Tannaka-Krein duality allows to reconstruct the group from the category of its representations and additional structures on it (tensor structure + fiber functor). Somehow ...
12
votes
3answers
1k views

History and motivation for Tannaka, Krein, Grothendieck, Deligne et al. works on Tannaka-Krein theory?

I am trying to wrap my mind around Tannaka-Krein duality and it seems quite mysterious for me, as well, as its history. So let me ask: Question: What was the motivation and historical context for ...
13
votes
2answers
410 views

Does base extension reflect the property of being isomorphic?

Let L/K be a (separable?) field extension, let A be a finite dimensional algebra over K, and let M and N be two A-modules. Let $A' = L \otimes_K A$ be the algebra given by extension of scalars, and ...
4
votes
1answer
240 views

Is a group scheme determined by its category of representations?

More precisely, let $G$ be an affine group scheme over a field $k$, $Rep_k(G)$ be the category of finite dimensional representations of G, and $\omega_0$ be the forgetful functor from $Rep_k(G)$ to ...
1
vote
0answers
128 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 ...
8
votes
3answers
452 views

What is the categorical significance of the trivial $\mathfrak{g}$-module in the category of $\mathfrak{g}$-mod?

This question may be trivial for experts. Let $\mathfrak{g}$ be a Lie algebra over a field $k$ and consider the category $\mathfrak{g}$-mod of $\mathfrak{g}$ modules. We can add suitable conditions, ...
4
votes
1answer
201 views

U(1) vs. BZ and representations of 2-groups

$U(1)$ seems to lead a dual life. On one hand it is the group we know and love, and on the other, it is the classifying space of the integers. Thinking about $n$-groups says that we should also think ...
15
votes
3answers
477 views

An algebraic approach to the thermodynamic limit $N\rightarrow\infty$?

In physics one studies quite often the thermodynamic limit or what we call the $N\rightarrow \infty$ behavior of a system of $N\rightarrow\infty$ particles. This is of particular relevance in the ...
1
vote
0answers
113 views

Cotorsion theory and its relative homology

Let (F(R), Cot(R)) be a cotorsion theory, Such that F(R) is the class of flat R-modules and Cot(R) the cotorsion modules. Why this is true that, For $ N\in Cot(R) $, $ \text{Ext}_{F(R)}^i(M, N)\cong ...
3
votes
0answers
188 views

(Co)limit computations for diagrams of Vector Spaces

Fix a field $K$ and consider a finite directed graph $\Gamma$ where multiple edges between a pair of vertices are allowed so long as the total number of edges is finite. Associate to each vertex $v$ a ...
4
votes
2answers
274 views

Origin of notion of “split Grothendieck group”?

In the construction of Soergel's bimodules in representtion theory , it's essential for him to work with split Grothendieck groups. Here he starts with a certain small additive category ...
0
votes
1answer
380 views

Are Verma modules universally characterised?

I'm having trouble understanding the definition of Verma Module in wikipedia. It later goes to show that it satisfies what appears to be a universal property (which I'm also having trouble ...
4
votes
0answers
250 views

Counter example in Tannaka reconstruction?

This question is motivated by my attempts to answer the question Invariants for the exceptional complex simple Lie algebra $F_4$ from the point of view of Tannaka reconstruction. This has led me to ...
3
votes
0answers
203 views

Comultiplication on Schur functors (& functions). Can it be seen from categorical perspective ?

Consider category of vector spaces. Consider functors from it to itself. They actually form an algebra - since vector spaces can be added and tensor multiplied. Question Is there co-product on this ...
1
vote
1answer
143 views

why the concept of compactly (or well) generated in triangulated categories is introduced?.

why the concept of compactly (or well) generated in triangulated categories is introduced?
1
vote
4answers
289 views

Role of fiber functor monoidal structure in Tannakian bialgebra reconstruction

Shahn Majid presents in section 9.4 of "Foundatations of Quantum Group Theory" a Tannaka-type reconstruction theorem for producing a $k$-bialgebra out of its $k$-linear monoidal category of modules ...
6
votes
0answers
198 views

Category of modules over a coPoisson-bialgebra

Fix a ground commutative ring $k$. A coPoisson-bialgebra is a bialgebra $H$ equipped with a linear mapping $\pi:H \rightarrow H \otimes_k H$ s.t. $\pi$ is a coLie bracket $\pi$ is a coderivation ...
5
votes
1answer
349 views

Morita equivalence of acyclic categories

(Crossposted from math.SE.) Call a category acyclic if only the identity morphisms are invertible and the endomorphism monoid of every object is trivial. Let $C, D$ be two finite acyclic categories. ...
5
votes
2answers
572 views

Indecomposable projectives correspond to irreducibles - reference

Hello, We have the following assertion: In an abelian category that has enough projectives and in which every object has finite length, indecomposable projectives correspond bijectively to ...
2
votes
0answers
196 views

localization functor for category of quasi coherent sheaves of $Fl_{\infty/2}$?

From series papers of Frenkel-Feign-Gaitsgory-Braveman and Beilinson Drinfeld and their school we know that the algebraic geometric definition and theory of semi infinite flag manifold were not ...
2
votes
3answers
277 views

Can the 'linkages' between equivalent extensions of modules of an algebraic group be taken to have bounded length?

I have a conjecture concerning how "tightly" two equivalent $n$-fold extensions of modules over an algebraic group over a field might be "linked". I suspect that the question has been already ...
7
votes
2answers
538 views

“Composition of Morita equivalences” or “Morita equivalence and the Nakayama functor”

This problem occured to me, when trying to find a Morita invariant for finite dimensional algebras. Suppose $\Lambda$ and $\Gamma$ are two self-injective $k$-algebras ($k$ being a field) which are ...
21
votes
1answer
881 views

What does the Tannakian formalism reconstruct when fed the category of chain complexes?

I've recently realized that there is a gap in my understanding of the Tannakian formalism for reconstructing an (algebraic) group from its category of (finite-dimensional) representations. To warm ...
0
votes
1answer
259 views

Can injective resolutions be 'enlarged' (or shrunk) to admit only injective maps from extensions?

Let $M$ and $N$ be $R$-modules for some ring $R$. There is a standard result involving the computation of $\text{Ext}^n(M,N)$, using projective resolutions, which says that you can always choose a ...
5
votes
2answers
2k views

Why SU(3) is not equal to SO(5)?

I am asking in the sense of isometry groups of a manifold. SU(3) is the group of isometries of CP2, and SO(5) is the group of isometries of the 4-sphere. Now, it happens that both manifolds are ...
3
votes
3answers
784 views

Fractional Quantum Hall Effect - Mathematics

Just to include something that starts to answer my own question Topological Quantum Computation Lecture notes covers a lot of the Mathematics of the Fractional Quantum Hall effect, or topological ...
6
votes
1answer
748 views

Conformal Field Theory and Langlands

I'm a Mathematics masters student currently studying some aspects of TQFT. I'm interested in Langlands, mainly because it sounds oppressive! Is anyone familiar with any links between CFT and ...
2
votes
2answers
532 views

endomorphism rings of indecomposable objects

Suppose $\mathcal C$ is a preadditive, Karoubi category with a zero object. What further assumptions on $\mathcal C$ are required to ensure that the endomorphism ring of an indecomposable object is a ...
12
votes
0answers
194 views

Is there a common framework for Tannaka and Gabriel-Ulmer reconstruction theorems?

Gabriel-Ulmer duality is a biequivalence between the 2-category of finite limit categories and the 2-category of locally finitely presentable categories. It allows for the reconstruction of a theory ...
18
votes
3answers
1k views

Why the BGG category O?

Given a finite-dimensional semisimple complex Lie algebra $\mathfrak{g}$, the Bernstein-Gelfand-Gelfand category $\mathcal O$ is the full subcategory of $\mathfrak g$-modules satisfying some ...
6
votes
1answer
1k views

What is a Specht module?

I'm studying the structure of the Specht module for $S_n$ and I would like to know if there is some generalizations of this structure for Weyls groups or Coxeter groups. Also, I'm interest to know ...
14
votes
1answer
444 views

Is there a good notion of “induction” for representations of 2-categories?

One of the most important observations in the representation theory of algebras is that if one has a subalgebra $A\subset B$, then these is a functor $B\otimes_A -\colon A\operatorname{-pmod}\to ...
13
votes
2answers
612 views

What's an example of a locally presentable category “in nature” that's not $\aleph_0$-locally presentable?

Recall the notion of locally presentable category (nLab): $\DeclareMathOperator{\Hom}{Hom}$ Definition: Fix a regular cardinal $\kappa$; a set is $\kappa$-small if its cardinality is strictly less ...
6
votes
2answers
578 views

Which monoidal categories are equivalent to their centers?

Let $\mathcal C$ be a monoidal category. Recall that the (Drinfel'd) center of $\mathcal C$ is the braided monoidal category $Z(\mathcal C)$ with: Objects: pairs $M \in \mathcal C$ and $\mu: ...
4
votes
2answers
402 views

Can a commutative, associative “multiplication” on an infinite-dimensional vector space be an isomorphism?

Let $V$ be a vector space (over $\mathbb C$, but I don't think it matters), and $m: V\otimes V \to V$ a "multiplication" that is associative and commutative (but I do not demand that it is unital). ...
11
votes
2answers
2k views

What's so special about the forgetful functor from G-rep to Vect?

The following is some version of Tannaka-Krein theory, and is reasonably well-known: Let $G$ be a group (in Set is all I care about for now), and $G\text{-Rep}$ the category of all $G$-modules ...
10
votes
1answer
528 views

Why not _co_free modules?

Let $R$ be a ring, and $R\text{-Mod}$ its category of all left modules. There is a "forgetful" functor $\operatorname{Forget}: R\text{-Mod} \to \text{AbGp}$, which is additive, continuous, and ...
6
votes
2answers
458 views

What are examples of cogenerators in R-mod?

Fill in the blank, please :) Let $\mathcal C$ be a complete and cocomplete abelian category. A generator in $\mathcal C$ is an object $X \in \mathcal C$ such that every object $Y \in \mathcal C$ ...
10
votes
1answer
249 views

What is known about higher-categorical reconstruction theorems? (reference request)

The answer to my question is almost certainly "not much" — at least, I've asked a few people, and that was their answer. But I'd like to refine this answer, and MathOverflow seems like the best ...
7
votes
2answers
671 views

What makes the stable module category stable?

When geometrically flavoured words like "mapping cone" or "chain homotopy" crop up in homological algebra, there's usually a good reason. (In this case, looking at the chain complexes associated with ...
5
votes
1answer
497 views

Looking for references talking about category of topological vector spaces

It's known that category of topological vector spaces is not abelian but quasi-abelian or exact category. I am looking for the references playing with this category(category theory). All the related ...
10
votes
4answers
588 views

When are modules and representations not the same thing?

I've been trying for a while to get a real concrete handle on the relationship between representations and modules. To frame the question, I'll put here the standard situation I have in mind: A ring ...
8
votes
2answers
413 views

Applications of classifying thick subcategories

So, relatively recently, Balmer introduced this notion of a spectrum for a tensor triangulated category and used it to prove a generalization of a classification theorem done in several areas of ...
10
votes
1answer
1k views

Why did people originally like Frobenius algebras?

These days, lots of people are excited by Frobenius algebras because commutative Frobenius algebras are the same thing as 2D topological quantum field theories. ...but this seems like teaching an old ...