# Questions tagged [tannakian-category]

The tag has no usage guidance.

77 questions
Filter by
Sorted by
Tagged with
390 views

### Is the category $\operatorname{sVect}$ an “algebraic closure” of $\operatorname{Vect}$?

$\DeclareMathOperator\sVect{sVect}\DeclareMathOperator\Vect{Vect}$The category $\sVect_k$ of (let's say finite-dimensional) super vector spaces can be obtained from the category $\Vect_k$ of (finite-...
107 views

174 views

### What properties of a finite group fibre functor give its endomorphisms a hopf algebra structure?

Tannaka duality for a finite group lets us recover the group algebra $\mathbb{C}[G]$ as the endomorphisms of the forgetful functor $F:RepG\rightarrow Vect$, and taking the monoidal automorphisms ...
112 views

### Converse to Tannaka duality for rings

Let $k$ be a field. It's well known and easy to prove that a $k$-algebra $R$ may be recovered from the functor $F: R-Mod \to Vect_k$ as the endomorphisms of $F$. Now suppose $\mathcal{C}$ is a ...
213 views

### Examples and non-examples of Tannakian $\infty$-categories

My definition of a Tannakian $\infty$-category is taken from this paper ("Tannaka duality over ring spectra" by James Wallbridge). (p. $53$, definition $7.9$) Let $R$ be an $E_{\infty}$-ring, $C$ a ...
490 views

### Tannaka duality for semisimple groups

Tannakian formalism tells us that for any rigid, symmetric monoidal, semisimple category $\mathcal{C}$ equipped with a fiber functor $F: \mathcal{C} \to Vect_k$ for a field $k$ (of characteristic $0$) ...
204 views

### Is this Related to Tannakian Formalism?

I am wondering how I might be able to express the following phenomenon, which is essentially equivalent to Artin's linear independence of characters, in Tannakian formalism. Any help would be much ...
153 views

### Tannakian theory for Lie algebras

Let $G$ be a reductive (just in case) linear algebraic group over $\mathbb{C}$ and let $\mathfrak{g}$ be the Lie algebra of $G$. Consider the category $\operatorname{Rep}(G)$ of finite dimensional ...
127 views

### What do I know about a group if its representations are filtered?

Let $G$ be an affine group scheme over a field. Say that, for every finite-dimensional representation of $G$, I have a $\mathbb{Z}$-grading on the underlying vector space, compatible with tensor ...
127 views

### Representations of the intersections of two algebraic subgroups

Let $G$ be an algebraic group over a field $k$ (say of characteristic $0$) and let $H,H'$ be two closed subgroups. I would like to understand the category $Rep_k(H \cap H')$ of finite dimensional ...
639 views

### Tannakian Formalism for the Quaternions and Dihedral Group

It is a basic fact in representation theory of finite groups over complex numbers that the character tables of $Q_8$ and $D_8$ are identical. I believe, this implies that the corresponding categories ...
1k views

### Why linearization leads to arithmetization?

Sorry for this question, but I think it is really important the intuition here. Motives can be seen as the 'best' way of linearizing the study of schemes, des-composing them into "cohomological atoms"...
196 views

### Mumford-Tate group of the Fermat curve

Let $C$ be the Fermat curve of degree $d$, defined by the equation $x^d+y^d=z^d$ in $\mathbb{P}^2$. The first cohomology group $H^1(C, \mathbb{Q})$ carries a pure Hodge structure, so it has an ...
188 views

### What is the name of the Hopf algebra whose comodules are the “positive” highest weight modules of $U_{q}(sl(2))$?

The finite-dimensional representations over $\mathbb C(q)$ of $U_q(\mathfrak{sl}(2))$ are all highest weight. There are two irreducible modules of each dimension. In one, the highest weight vector $v$ ...
633 views

228 views

2k views

### Grothendieck's Period Conjecture and the missing p-adic Hodge Theories

Singular cohomology and algebraic de Rham cohomology are both functors from the category of smooth projective algebraic varieties over $\mathbb Q$ to $\mathbb Q$-vectors spaces. They come with the ...
306 views

### Establishing Duality in Tannakian Categories

I sometimes need to prove a category is Tannakian. Part of the definition of a Tannakian category is that it is rigid. However, I find the definition of rigid categories somewhat difficult. I don't ...
637 views

### Tannakian fundamental group of two explicit tensor categories

Let $K/k$ is a field extension and $G$ an affine group scheme over $K$. What are the Tannakian fundamental groups of these two $k$-tensor categories (with trivial fiber functors over $k$): 1. The ...
807 views

### Torsors and twists of algebraic groups

Let $G/S$ be an affine group scheme. Then the automorphism group of every $G$-torsor over $S$ is a twist of $G$, but it this functor isn't essentially surjective in general (It may be not full nor ...
384 views

### Applying Lemma 2.12 of Deligne's/ Milne's “Tannakian Categories” on an irreducible representation

since this is my first question here, I'm not very certain whether I state it properly. I'm thankful for any helpful remarks. Currently I'm trying to understand the above-mentioned article which can ...
367 views

### Tannakian formalism for topological Hopf algebras

Tannaka-Krein duality allows, under the appropriate assumptions, to reconstruct a Hopf algebra from its category of modules. This method was found to be powerful for instance in the work of Etingof-...
280 views

### Tannaka categories and reductive groups

The group associated to a Tannaka category $T$ over a field is pro-reductive if and only if $T$ is semi-simple. Pro-reductive groups make sense over any scheme. Is there an extension of the theory ...
177 views

### Algebraic fundamental group without regularity at infinity

Suppose $X$ is a smooth (connected) variety over $\mathbb{C}$. Let $\mathscr{C}$ be the category of finite rank vector bundles on $X$ equipped with an integrable connection, and let $\mathscr{C}'$ be ...
542 views

### Generalized Tannakian Duality?

By the classical theory of Tannakian duality we know that every $k$-linear rigid abelian tensor category ($k$ a field) which has a fibre functor to $\mathrm{Vec}_k$ (finite dim. vector spaces over $k$)...
362 views

### Rank vanishing in tensor categories

Let $\mathcal{C}$ be a cocomplete $\mathbb{Q}$-linear symmetric monoidal category (if convenient, assume that it is locally finitely presentable and/or abelian). Recall that the rank (or dimension) of ...
1k 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 ...
165 views

### quantum deformations of tensor category

I was told that, if I understand correctly, that the enveloping algebra of semisimple Lie algebra admits one family of quantum deformation as Hopf algebra, which was proved by Drinfeld. Anyone can ...
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 ...