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

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 the following problem and I am asking for an example (or alternatively an argument that what I am asking for does not exist).

Let $K$ be a field and $G$ an algebraic group over $K$. I will use "tensor" as shorthand for "$K$-linear rigid symmetric monoidal". Then the category $Rep(G)$ of finite dimensional rational representations is a tensor category.

Then let $C$ be a tensor category and $\omega\colon C\rightarrow Rep(G)$ a faithful tensor functor. There are two properties I am asking for. First, that $G$ is the group of tensor automorphisms of the functor from $C$ to vector spaces over $K$ (given by composing $\omega$ with the forgetful functor). Second that $\omega$ is not full.

Note I am not assuming that $C$ is abelian. This is a standard condition. If this is assumed and $\omega$ is exact then Tannaka theory implies that $\omega$ is an equivalence. I also suspect (but can't prove) that if $G$ is reductive then $\omega$ is full.

I would be particularly interested in an example with $K$ of characteristic zero (in which case $K$ is perfect and $G$ is reduced).

share|improve this question
    
I assume "rational" in the second paragraph means "$K$-linear". –  Theo Johnson-Freyd Jun 1 '12 at 3:23
    
@Theo A representation is "rational" if the matrix entries are rational functions on the variety $G$. –  Bruce Westbury Jun 1 '12 at 6:10

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.