Frobenioid

In arithmetic geometry, a Frobenioid is a category with some extra structure that generalizes the theory of line bundles on models of finite extensions of global fields. Frobenioids were introduced by Shinichi Mochizuki (2008). The word "Frobenioid" is a portmanteau of Frobenius and monoid, as certain Frobenius morphisms between Frobenioids are analogues of the usual Frobenius morphism, and some of the simplest examples of Frobenioids are essentially monoids.

The Frobenioid of a monoid

If M is a commutative monoid, it is acted on naturally by the monoid N of positive integers under multiplication, with an element n of N multiplying an element of M by n. The Frobenioid of M is the semidirect product of M and N. The underlying category of this Frobenioid is category of the monoid, with one object and a morphism for each element of the monoid. The standard Frobenioid is the special case of this construction when M is the additive monoid of non-negative integers.

Elementary Frobenioids

An elementary Frobenioid is a generalization of the Frobenioid of a commutative monoid, given by a sort of semidirect product of the monoid of positive integers by a family Φ of commutative monoids over a base category D. In applications the category D is sometimes the category of models of finite separable extensions of a global field, and Φ corresponds to the line bundles on these models, and the action of a positive integers n in N is given by taking the nth power of a line bundle.

Frobenioids

A Frobenioid consists of a category C together with a functor to an elementary Frobenioid, satisfying some complicated conditions related to the behavior of line bundles and divisors on models of global fields. One of Mochizuki's fundamental theorems states that under various conditions a Frobenioid can be reconstructed from the category C.

gollark: Hopefully they will eventually use RISC-V or something less æ.
gollark: I remember reading about it being incredibly eldritch to write code for because it has tiny amounts of memory organized in stupid ways.
gollark: Isn't it horrific and accursed?
gollark: GTech™ actually has a thing where you send your code to the future, where compilers are better.
gollark: I thought Macron was magically self-compiling.

References
  • Mochizuki, Shinichi (2008), "The geometry of Frobenioids. I. The general theory", Kyushu Journal of Mathematics, 62 (2): 293–400, doi:10.2206/kyushujm.62.293, ISSN 1340-6116, MR 2464528
  • Mochizuki, Shinichi (2008), "The geometry of Frobenioids. II. Poly-Frobenioids", Kyushu Journal of Mathematics, 62 (2): 401–460, doi:10.2206/kyushujm.62.401, ISSN 1340-6116, MR 2464529
  • Mochizuki, Shinichi (2009), "The étale theta function and its Frobenioid-theoretic manifestations", Kyoto University. Research Institute for Mathematical Sciences. Publications, 45 (1): 227–349, doi:10.2977/prims/1234361159, ISSN 0034-5318, MR 2512782 Mochizuki, Shinichi (2011), Comments (PDF)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.