Witt-Grothendieck rings and π-Henselianity

1999 ◽  
Vol 16 (3) ◽  
Author(s):  
Antonio José Engler
Keyword(s):  
2017 ◽  
Vol 28 (01) ◽  
pp. 1750009 ◽  
Author(s):  
Scott Morrison ◽  
Kevin Walker

We explain a technique for discovering the number of simple objects in [Formula: see text], the center of a fusion category [Formula: see text], as well as the combinatorial data of the induction and restriction functors at the level of Grothendieck rings. The only input is the fusion ring [Formula: see text] and the dimension function [Formula: see text]. In particular, we apply this to deduce that the center of the extended Haagerup subfactor has 22 simple objects, along with their decompositions as objects in either of the fusion categories associated to the subfactor. This information has been used subsequently in [T. Gannon and S. Morrison, Modular data for the extended Haagerup subfactor (2016), arXiv:1606.07165 .] to compute the full modular data. This is the published version of arXiv:1404.3955 .


1987 ◽  
Vol 53 (1) ◽  
pp. 17-25
Author(s):  
Kazimierz Szymiczek
Keyword(s):  

Author(s):  
Christopher Ryba

Abstract Given a tensor category $\mathcal{C}$ over an algebraically closed field of characteristic zero, we may form the wreath product category $\mathcal{W}_n(\mathcal{C})$. It was shown in [10] that the Grothendieck rings of these wreath product categories stabilise in some sense as $n \to \infty $. The resulting “limit” ring, $\mathcal{G}_\infty ^{\mathbb{Z}}(\mathcal{C})$, is isomorphic to the Grothendieck ring of the wreath product Deligne category $S_t(\mathcal{C})$ as defined by [9] (although it is also related to $FI_G$-modules). This ring only depends on the Grothendieck ring $\mathcal{G}(\mathcal{C})$. Given a ring $R$ that is free as a $\mathbb{Z}$-module, we construct a ring $\mathcal{G}_\infty ^{\mathbb{Z}}(R)$ that specialises to $\mathcal{G}_\infty ^{\mathbb{Z}}(\mathcal{C})$ when $R = \mathcal{G}(\mathcal{C})$. We give a description of $\mathcal{G}_\infty ^{\mathbb{Z}}(R)$ using generators very similar to the basic hooks of [5]. We also show that $\mathcal{G}_\infty ^{\mathbb{Z}}(R)$ is a $\lambda $-ring wherever $R$ is and that $\mathcal{G}_\infty ^{\mathbb{Z}}(R)$ is (unconditionally) a Hopf algebra. Finally, we show that $\mathcal{G}_\infty ^{\mathbb{Z}}(R)$ is isomorphic to the Hopf algebra of distributions on the formal neighbourhood of the identity in $(W\otimes _{\mathbb{Z}} R)^\times $, where $W$ is the ring of Big Witt Vectors.


2000 ◽  
Vol 6 (3) ◽  
pp. 311-330 ◽  
Author(s):  
Jan Krajíček ◽  
Thomas Scanlon

AbstractWe recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a subring the ring of integer polynomials in continuum many variables. We prove the existence of a universal strong Euler characteristic on a structure. We investigate the dependence of the Grothendieck ring on the theory of the structure and give a few counter-examples. Finally, we relate some open problems and independence results in bounded arithmetic to properties of particular Grothendieck rings.


Sign in / Sign up

Export Citation Format

Share Document