Tannakian Categories With Semigroup Actions

DOI10.4153/CJM-2016-011-0zbMATH Open1378.18009arXiv1403.3850MaRDI QIDQ5272510FDOQ5272510

Michael Wibmer, Alexey Ovchinnikov

Publication date: 29 June 2017

Published in: Canadian Journal of Mathematics (Search for Journal in Brave)

Abstract: Ostrowski's theorem implies that $log(x),log(x+1),ldots$ are algebraically independent over $mathbbC(x)$. More generally, for a linear differential or difference equation, it is an important problem to find all algebraic dependencies among a non-zero solution $y$ and particular transformations of $y$, such as derivatives of $y$ with respect to parameters, shifts of the arguments, rescaling, etc. In the present paper, we develop a theory of Tannakian categories with semigroup actions, which will be used to attack such questions in full generality. Deligne studied actions of braid groups on categories and obtained a finite collection of axioms that characterizes such actions to apply it to various geometric constructions. In this paper, we find a finite set of axioms that characterizes actions of semigroups that are finite free products of semigroups of the form $mathbb{N}^{n}imesmathbbZ/n_{1}mathbbZimesldotsimesmathbbZ/n_{r}mathbbZ$ on Tannakian categories. This is the class of semigroups that appear in many applications.

Full work available at URL: https://arxiv.org/abs/1403.3850

zbMATH Keywords

Tannakian categoriesdifference algebraic groupsdifferential and difference equations with parameterssemigroup actions on categories

Mathematics Subject Classification ID

Classical hypergeometric functions, ({}_2F_1) (33C05) Linear functional-differential equations (34K06) Difference algebra (12H10) Representation theory for linear algebraic groups (20G05) Connections of hypergeometric functions with groups and algebras, and related topics (33C80)

Cited In (1)

• Compatible actions in semi-abelian categories

This page was built for publication: Tannakian Categories With Semigroup Actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5272510)