Enlargements of categories.
In this paper we consider questions of the following type. Let be a base field and be a field extension. Given a geometric object over a field (e.g. a smooth curve of genus ), what is the least transcendence degree of a field of definition of over the base field ? In other words, how many independent parameters are needed to define ? To study these questions we introduce a notion of essential dimension for an algebraic stack. Using the resulting theory, we give a complete answer to...
Let be a ring. In two previous articles [12, 14] we studied the homotopy category of projective -modules. We produced a set of generators for this category, proved that the category is -compactly generated for any ring , and showed that it need not always be compactly generated, but is for sufficiently nice . We furthermore analyzed the inclusion and the orthogonal subcategory . And we even showed that the inclusion has a right adjoint; this forces some natural map to be an equivalence...
An algebra homomorphism of the locatized affine rings of an algebraic variety is continuous in the Krull topology of the respective local rings. It is not necessarily open or closed in the Krull topology. However, we show that the induced map on the associated analytic local rings is also open and closed in the Krull topology. To do this we prove a conjecture of Tougeron which states that if is an analytic curve on an analytic variety and is a formal power series which is convergent when restricted...