Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given an algebraically closed field $k$ and a finitely generated commutative $k$-algebra $A$, all simple modules over $A$ are 1-dimensional

  • What is the analogous statement for symmetric monoidal $k$-linear categories?
  • What is the analogous statement for braided monoidal $k$-linear categories?

We can assume the category is Abelian and the product functor is right exact in both variables

I expect something of the sort "any simple (in some sense) module category is equivalent to $Vect$", although I have no idea how braided and symmetric are different in this repsect

share|improve this question

2 Answers 2

Consider C = Rep(G) for a finite group G. This is a symmetric tensor category. Any subgroup $H \subset G$ yields a module category Rep(H) with the action given by restricting and then tensoring. This module category is simple in any appropriate sense, and in no interesting sense is it "1-dimensional."

share|improve this answer

If A is a commutative Noetherian A algebra in Vec, then A-mod is not typically equivalent to Vec. First, if it's not a semisimple algebra then there are interesting non-simple modules, and even in the semisimple case you don't just have one 1-dimensional A-module. So I don't think your question makes sense as currently written.

At any rate, you can have a commutative semisimple finite dimensional algebra A in a braided tensor category with simple A-modules that aren't one-dimensional. For example, your tensor category is U_q(sl_2) at an appropriate root of unity, your commutative algebra is the sum of the two 1-dimensional objects out at the ends, and the category of modules is quite interesting and goes by the name D_2n (the easiest place for you to see more about this is probably http://arxiv.org/abs/math/0101219). I'm not totally sure about the symmetric case.

share|improve this answer
1  
Noah you completely misunderstood my intention. Probably I need to reformulate. I am not asking about algebra objects in symmetric monoidal categories. I'm trying to categorify the statement i.e. consider module categories over symmetric monoidal categories. A module category $\mathcal{M}$ over a symmetric monoidal category $\matcal{A}$ is a category equipped with a linear (or even right exact) bifunctor $\otimes: \mathcal{A} \times \mathcal{M} \rightarrow \mathcal{M}$ satisfying the appropriate conditions –  Squark Feb 18 '12 at 17:08

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.