Categorificación

En matemáticas, categorificar es el proceso de reemplazar teoremas de la teoría de conjuntos por teoremas equivalentes en teoría de categorías. Para hacer una categorificación exitosa, se deben reemplazar conjuntos con categorías, funciones con funtores, y ecuaciones con isomorfismos naturales de funtores satisfaciendo propiedades adicionales. El término categorificación (en inglés categorification) fue acuñado por Louis Crane.

El proceso inverso de categorificación es el proceso de descategorificación. Descategorificar es un proceso sistemático en el que objetos isomórfos en una categoría se identifican como iguales. Sistemáticamente, descategorificar es un proceso directo, mientras que categorificar suele ser mucho menos directo. Por ejemplo, en la teoría de representación de álgebras de Lie, los módulos sobre álgebras concretas son los objetos principales de estudio, y existen varias maneras en las que se pueden categorificar dichos módulos; tal es el caso de la llamada categorificación abeliana (débil).^[1]

Categorificar y descategorificar no son procedimientos matemáticos precisos, sino una clase de posibles análogos.^[2]

Ejemplos de categorificación[editar]

Una forma de categorificación es tomar una estructura descrita en términos de conjuntos e interpretar los conjuntos como clases de isomorfía de objetos en una categoría. Por ejemplo, el conjunto de números naturales puede ser visto como el conjunto de cardinales de conjuntos finitos (cualesquier dos conjuntos con la misma cardinal son isomorfos). En este caso, operaciones en el conjunto de números naturales, como adición y multiplicación, pueden ser vistos como el producto y coproducto de la categoría de conjuntos finitos. De manera más intuitiva, la idea es que la manipulación de conjuntos mediante coproductos (unión dos conjuntos) o productos (producto cartesiano de dos conjuntos) nos refleja la aritmética de los números naturales. Si consideramos las clases de objetos hasta isomorfismos el coproducto refleja la suma y el producto cartesiano el producto de números naturales, así la aritmética de los números naturales es una descategorificación de la categoría de conjuntos finitos.

Otros ejemplos incluyen teorías de homología en topología. Emmy Noether dio la formulación moderna de homología como el rango de cietos grupos abelianos libres categorificando la idea de números de Betti^[3][./Categorificación#cite_note-FOOTNOTEBaez1998-3 [3]]. Véase también homología de Khovanov como invariante de nudos en teoría de nudos.

Un ejemplo en la teoría de grupos finitos es el anillo de funciones simétricas, éste es categorificado por la categoría de representaciones del grupo simétrico. La descategorificación mapea un módulo de Specht indexado por una partición $\lambda$ a la función de Schur indexada por la misma partición,

S^{\lambda }{\stackrel {\varphi }{\to }}s_{\lambda },

esencialmente siguiendo el mapeo que va de los caracteres de una base del grupo de Grothendieck asociado hacia una base del anillo de funciones simétricas. Este mapa refleja cómo las estructuras son similares; por ejemplo

[\mathrm {Ind} _{S_{m}\otimes S_{n}}^{S_{n+m}}(S^{\mu }\otimes S^{\nu })]\qquad {\text{ y }}\qquad s_{\mu }s_{\nu }

tiene los mismos números de descomposición sobre sus respectivas bases, ambos dados po los coeficientes de Littlewood@–Richardson.

Categorificaciones Abelianas[editar]

Para una categoría ${\mathcal {B}}$ , sea $K({\mathcal {B}})$ el grupo de Grothendieck de ${\mathcal {B}}$ .

Sea $A$ un anillo que es libre como grupo abeliano, y sea $\mathbf {a} =\{a_{i}\}_{i\in I}$ una base de $A$ tal que la multiplicación es positiva en $\mathbf {a}$ , i.e.

a_{i}a_{j}=\sum _{k}c_{ij}^{k}a_{k},

donde

c_{ij}^{k}\in \mathbb {Z} _{\geq 0}.

Sea $B$ un $A$ -módulo. Entonces una categorificación abeliana (débil) $(A,\mathbf {a} ,B)$ consta de una categoría abeliana ${\mathcal {B}}$ , un isomorfismo $\phi :K({\mathcal {B}})\to B$ , y una familia de endofuntores exactos $F_{i}:{\mathcal {B}}\to {\mathcal {B}}$ tal que

Cada funtor $F_{i}$ levanta la acción de $a_{i}$ en el módulo $B$ , i.e. $\phi [F_{i}]=a_{i}\phi$
Hay isomorfismos $F_{i}F_{j}\cong \bigoplus _{k}F_{k}^{c_{ij}^{k}},$ , i.e. la composición $F_{i}F_{j}$ se descompone como la suma directa de los funtoress $F_{k}$ de la misma manera que el producto $a_{i}a_{j}$ se descompone como combinación lineal de elementos $a_{k}$ de la base.

Referencias[editar]

↑ Khovanov, Mikhail; Mazorchuk, Volodymyr; Stroppel, Catharina (2009), «A brief review of abelian categorifications», Theory Appl. Categ. 22 (19): 479-508 .
↑ Alex Hoffnung (10 de noviembre de 2009). «What precisely Is "Categorification"?».
↑ Baez (1998). Falta el |título= (ayuda)

Baez, John; Dolan, James (1998), «Categorification», en Getzler, Ezra; Kapranov, Mikhail, eds., Higher Category Theory, Contemp. Math. 230, Providence, Rhode Island: American Mathematical Society, pp. 1-36, arXiv:math.QA/9802029 .
Crane, Louis; Yetter, David N. (1998), «Examples of categorification», Cahiers de Topologie et Géométrie Différentielle Catégoriques 39 (1): 3-25 .
Mazorchuk, Volodymyr (2010), Lectures on Algebraic Categorification, QGM Master Class Series, European Mathematical Society, Bibcode:2010arXiv1011.0144M, arXiv:1011.0144 .
Savage, Alistair (2014), Introduction to Categorification, Bibcode:2014arXiv1401.6037S, arXiv:1401.6037 .
Khovanov, Mikhail; Mazorchuk, Volodymyr; Stroppel, Catharina (2009), «A brief review of abelian categorifications», Theory Appl. Categ. 22 (19): 479-508, arXiv:math.RT/0702746 .

Otras lecturas[editar]

Un blog subido por uno de los autores anteriores (Baez): https://golem.ph.utexas.edu/category/2008/10/what_is_categorification.html.

[1] Khovanov, Mikhail; Mazorchuk, Volodymyr; Stroppel, Catharina (2009), «A brief review of abelian categorifications», Theory Appl. Categ. 22 (19): 479-508 .

[2] Alex Hoffnung (10 de noviembre de 2009). «What precisely Is "Categorification"?».

[3] Baez (1998). Falta el |título= (ayuda)

[1]

[2]

[3]