### Abstract

Original language | English |
---|---|

Pages (from-to) | 919-955 |

Number of pages | 37 |

Journal | Journal of Noncommutative Geometry |

Volume | 11 |

Issue number | 3 |

Early online date | 26 Sep 2017 |

DOIs | |

Publication status | Published - Sep 2017 |

### Fingerprint

### Keywords

- fusion categories
- semisimple Hopf algebras
- Hopf orders
- group schemes
- cyclotomic integers

### Cite this

*Journal of Noncommutative Geometry*,

*11*(3), 919-955. https://doi.org/10.4171/JNCG/11-3-5

**Orders of Nikshych's Hopf algebra.** / Cuadra, Juan; Meir, Ehud.

Research output: Contribution to journal › Article

*Journal of Noncommutative Geometry*, vol. 11, no. 3, pp. 919-955. https://doi.org/10.4171/JNCG/11-3-5

}

TY - JOUR

T1 - Orders of Nikshych's Hopf algebra

AU - Cuadra, Juan

AU - Meir, Ehud

N1 - The first author was supported by grant MTM2014-54439-P from MICINN and FEDER and by the research group FQM0211 from Junta de Andalucía. The second author was supported by the Danish National Research Foundation (DNRF) through the Centre for Symmetry and Deformation. The authors are grateful to Dror Speiser for doing the previous computer calculation and to Bjorn Poonen for a conversation about the number theoretical condition in Theorem 7.1. The authors are finally indebted to the referee for his/her comments and suggestions, which helped to improve substantially the presentation of the results.

PY - 2017/9

Y1 - 2017/9

N2 - Let p be an odd prime number and K a number field having a primitive pth root of unity ζp. We prove that Nikshych's non group-theoretical Hopf algebra Hp, which is defined over Q(ζp), admits a Hopf order over the ring of integers OK if and only if there is an ideal I of OK such that I2(p−1)=(p). This condition does not hold in a cyclotomic field. Hence this gives an example of a semisimple Hopf algebra over a number field not admitting a Hopf order over any cyclotomic ring of integers. Moreover, we show that, when a Hopf order over OK exists, it is unique and we describe it explicitly.

AB - Let p be an odd prime number and K a number field having a primitive pth root of unity ζp. We prove that Nikshych's non group-theoretical Hopf algebra Hp, which is defined over Q(ζp), admits a Hopf order over the ring of integers OK if and only if there is an ideal I of OK such that I2(p−1)=(p). This condition does not hold in a cyclotomic field. Hence this gives an example of a semisimple Hopf algebra over a number field not admitting a Hopf order over any cyclotomic ring of integers. Moreover, we show that, when a Hopf order over OK exists, it is unique and we describe it explicitly.

KW - fusion categories

KW - semisimple Hopf algebras

KW - Hopf orders

KW - group schemes

KW - cyclotomic integers

U2 - 10.4171/JNCG/11-3-5

DO - 10.4171/JNCG/11-3-5

M3 - Article

VL - 11

SP - 919

EP - 955

JO - Journal of Noncommutative Geometry

JF - Journal of Noncommutative Geometry

SN - 1661-6952

IS - 3

ER -