The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
1answer
175 views

Non-abelian freeness of SU_2

The distribution of the trace of a random element of $SU_2$ is the Sato-Tate distribution. The analogue of the Gaussian distribution in free probability theory is the Wigner semicircle distribution. ...
9
votes
0answers
337 views

Categorification of the integers

I would like to know a natural categorification of the rig of integers $\mathbb{Z}$. This should be a $2$-rig. Among the various notions of 2-rigs, we obviously have to exclude those where $+$ is a ...
4
votes
2answers
227 views

The 2-group of extensions

Let $A,B$ objects of an abelian category. Then we can define the abelian group $\mathrm{Ext}^1(A,B)$ as the set of isomorphism classes of extensions $0 \to B \to E \to A \to 0$, endowed with the Baer ...
19
votes
1answer
1k views

Analogy between the exterior power and the power set

The symmetric algebra of an object exists in every cocomplete $\otimes$-category. For the category of sets $\mathrm{Sym}(X)$ is the set of multi-subsets of $X$. The usual definition of the exterior ...
9
votes
0answers
378 views

Can we categorify the formula for the quadratic Gauss sum?

Background Fix an odd prime $p$ and set $\zeta=e^{2\pi i/p}$. We define the quadratic Gauss sum as $$g=\sum_{n=0}^{p-1} \zeta^{n^2}.$$ It's pretty easy to show that $$g^2= \begin{cases} p & ...
2
votes
0answers
182 views

Reference Request: The Categorification of $\mathbb{Z}$ as cochain complexes of vector spaces

Just as the fact that a categorification of $\mathbb{N}$ is the category of finite dimensional vector spaces, a categorification of $\mathbb{Z}$ (in my mind) is the category of bounded cochain ...
6
votes
3answers
666 views

Is there a categorification of topological K-theory?

For a compact Hausdorff topological space $X$, its K-theory $K^0(X)$ is defined to be the Grothendieck group of the isomorphism classes of finite dimensional vector spaces on $X$. For example ...
5
votes
1answer
289 views

Computations and applications of Khovanov's functor valued invariant of tangles

Soon after his famous paper "A categorification of the Jones polynomial", Khovanov introduced a "bordered" version. His theory assingns to every oriented even tangle a complex of (H_n,H_m)-bimodules, ...
8
votes
1answer
526 views

Where does the canonical basis differ from the KLR basis?

The question implicitly asked in Ben Webster's question is: Does the canonical basis of Uq(n+) agree with the basis coming from categorification via Khovanov-Lauda-Rouqier algebras? Thanks to ...
4
votes
0answers
305 views

Categorifying idempotent relations

Generalizing partial orders: A relation $R$ is transitive if $R \circ R \subseteq R$ and interpolative if $R \subseteq R \circ R$. It is idempotent if $R \circ R = R$. Interpolativeness means that ...
5
votes
1answer
912 views

categorifying induction in homotopy type theory

In trying to understand homotopy type theory, I stumbled upon the following silly question, which is likely to be trivial for the experts. Let $B=\sqcup_{n\in\Bbb N} BS_n$, which I'd like to think of ...
12
votes
2answers
2k views

Which cluster algebras have been categorified?

In "Tilting Theory and Cluster Combinatorics" Buan, Marsh, Reineke, Reiten, and Todorov constructed cluster categories for mutation finite cluster algebras (without coefficients), and Amiot gives a ...
5
votes
3answers
892 views

Categorification request

Possible Duplicate: Can we categorify the equation (1 - t)(1 + t + t^2 + …) = 1? Can you give a categorification of the geometric series identity: $$1/(1-x)=1+x+x^2+...$$ ...
2
votes
1answer
343 views

Indeterminates and forgetful functors

Forgive me if this is a well-known observation/result, but I'm quite new to graduate-level algebra and I was wondering if there are generalisations of the constructions I describe below. It's ...
16
votes
4answers
2k views

Intuitive explanation of Burnside's Lemma

Burnside's Lemma states that, given a set $X$ acted on by a group $G$, $$|X/G|=\frac{1}{|G|}\sum_{g\in G}|X^g|$$ where $|X/G|$ is the number of orbits of the action, and $|X^g|$ is the number of ...
14
votes
1answer
445 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 ...
20
votes
19answers
3k views

Examples of categorification

What is your favorite example of categorification?
13
votes
1answer
556 views

Are homological knot invariants of finite type?

It is well known that, after a change of variables, the quantum knot invariants (Jones, HOMFLY, Kauffman, etc.) can be written as power series whose coefficients are finite type (i.e., Vassiliev) ...
3
votes
1answer
306 views

Categorifying the group representations

I've heard about this construction on the lecture about higher representation theory: Given a Lie algebra $g$, one constructs $\mathcal A$, a category whose $K_0$ is the universal enveloping ...
44
votes
11answers
5k views

What precisely Is “Categorification”?

(And what's it good for.) Related MO questions (with some very nice answers): examples-of-categorification; can-we-categorify-the-equation $(1-t)(1+t+t^2+\dots)=1$?; categorification-request.
12
votes
6answers
986 views

What structure on a monoidal category would make its 2-category of module categories monoidal and braided?

So, many of us know the answer to "what kind of structure on an algebra would make its category of representations braided monoidal": your algebra should be a quasi-triangular Hopf algebra (maybe if ...
7
votes
4answers
507 views

What's the right object to categorify a braided tensor category?

The yoga of categorification has gained a lot of popularity in recent years, and some techniques for it have made a lot of progress. It's well-understood that, for example, a ring is probably ...
11
votes
2answers
458 views

What do decategorification and “compactification on a circle” have to do with each other?

Some physicists have told me that if you think about an extended n-dimensional TQFT $F$, then the decategorification is given by $F'(X)=F(X\times S^1)$, which I believe they call "compactification on ...
10
votes
3answers
316 views

Is there a categorification of the integers in terms of “graded sets”?

One way to categorify the non-negative integers is to consider the category FinSet whose objects are finite sets and whose morphisms are functions. The isomorphism classes of objects in FinSet can be ...
13
votes
2answers
659 views

Is there any meaning to a “nice bijective proof?”

From Zeilberger's PCM article on enumerative combinatorics: The reaction of the combinatorial enumeration community to the involution principle was mixed. On the one hand it had the universal ...
7
votes
1answer
357 views

Determinant of a pullback diagram

Suppose that X and Y are finite sets and that f : X → Y is an arbitrary map. Let PB denote the pullback of f with itself (in the category of sets) as displayed by the commutative diagram PB ...
13
votes
3answers
716 views

Categorifying the Reals via von Neumann Algebras?

So one way to categorify the natural numbers is to replace them with vector spaces. Then the dimension of the vector space reproduces the natural number. More generally you can categorify integers to ...
14
votes
3answers
2k views

Can we categorify the equation (1 - t)(1 + t + t^2 + …) = 1?

Polynomials in ℤ[t] are categorified by considering Euler characteristics of complexes of finite-dimensional graded vector spaces. Now, given a rational function that has a power series ...
1
vote
1answer
475 views

Are cyclotomic Khovanov-Lauda-Rouquier algebras symmetric?

Recall that for k a field, a finite dimensional k-algebra A is called symmetric if it is isomorphic to its dual as a bimodule of itself. Which is to say, there's a trace map t:A -> k such that ...
11
votes
6answers
1k views

Can adjoint linear transformations be naturally realized as adjoint functors?

Last week Yan Zhang asked me the following: is there a way to realize vector spaces as categories so that adjoint functors between pairs of vector spaces become adjoint linear operators in the usual ...