arXiv subjects
Publications and source records attributed to Lars Bruenjes.
In this article we use our constructions from "Enlargements of Categories" (Theory and Applications of Categories, 14:357-398) to lay down some foundations for the application of A. Robinson's nonstandard methods to modern Algebraic Geometry. The main motivation is the search for another tool to transfer results from characteristic zero to positive characteristic and vice versa. We give applications to the resolution of singularities and weak factorization.
In order to apply nonstandard methods to modern algebraic geometry, as a first step in this paper we study the applications of nonstandard constructions to category theory. It turns out that many categorial properties are well behaved under enlargements.
We study ``forms of the Fermat equation'' over an arbitrary field $k$, i.e. homogenous equations of degree $m$ in $n$ unknowns that can be transformed into the Fermat equation $X_1^m+...+X_n^m$ by a suitable linear change of variables over an algebraic closure of $k$. Using the method of Galois descent, we classify all such forms. In the case that $k$ is a finite field of characteristic greater than $m$ that contains the $m$-th roots of unity, we compute the Galois representation on $l$-adic cohomology (and so in particular the zeta function) of the hypersurface associated to an arbitrary form of the Fermat equation.