A suitable subcategory of affine Azumaya algebras is defined and a functor from this category to the category of Zariski structures is constructed. The rudiments of a theory of presheaves of topological structures is developed and applied to construct examples of structures at a generic parameter. The category of equivariant algebras is defined and a first-order theory is associated to each object. For those theories satisfying a certain technical condition, uncountable categoricity and quantifier elimination results are established. Models are shown to be Zariski structures and a functor from the category of equivariant algebras to Zariski structures is constructed. The two functors obtained in the thesis are shown to agree on a nontrivial class of algebras.
Identifer | oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:572659 |
Date | January 2011 |
Creators | Solanki, Vinesh |
Contributors | Zilber, Boris |
Publisher | University of Oxford |
Source Sets | Ethos UK |
Detected Language | English |
Type | Electronic Thesis or Dissertation |
Source | http://ora.ox.ac.uk/objects/uuid:3fa23b75-9b85-4dc2-9ad6-bdb20d61fe45 |
Page generated in 0.0014 seconds