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.0021 seconds