Artículos con la etiqueta ‘Algebraic Geometry (math.AG)’

Scheme representation for first-order logic

Por • 13 feb, 2014 • Category: Educacion

Although contemporary model theory has been called “algebraic geometry minus fields”, the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes, geometric entities which relate to first-order logical theories in much the same way that algebraic schemes relate to commutative rings. The construction relies on a Grothendieck-style representation theorem which associates every coherent or classical first-order theory with an affine scheme: a topological groupoid (the spectrum of the theory) together with a sheaf of (local) syntactic categories.

Triangulated categories of motives in positive characteristic

Por • 29 may, 2013 • Category: matemática

This thesis presents a way to apply this theorem of Gabber to a large portion of Voevodsky’s work in order to lift the assumption that resolution of singularities holds. This gives unconditional versions of many of his and others’ theorems provided we work Z[1/p] linearly, where p is the exponential characteristic of the base field. One example of the many applications we give is a partial answer to a 1980 conjecture of Weibel. Another is the removal of the hypothesis of resolution of singularities from a result of Suslin that compares Bloch’s higher Chow groups and etale cohomology. Voevodsky’s main tool in applying resolution of singularities is the cdh topology. We enlarge it slightly in order to apply this theorem of Gabber, presenting in this thesis a topology that we name the ldh topology, where l is a prime. We compare the cdh and ldh topologies using the concept of a “presheaf with traces”, providing conditions under which the cdh and ldh sheafifications of a presheaf agree, as well as its cdh and ldh cohomologies.

Self-Similarity in Geometry, Algebra and Arithmetic

Por • 27 nov, 2012 • Category: Crítica

We define the concept of self-similarity of an object by considering endomorphisms of the object as `similarity’ maps. A variety of interesting examples of self-similar objects in geometry, algebra and arithmetic are introduced. Self-similar objects provide a framework in which, one can unite some results and conjectures in different mathematical frameworks. In some general situations, one can define a well-behaved notion of dimension for self-similar objects. Morphisms between self-similar objects are also defined and a categorical treatment of this concept is provided. We conclude by some philosophical remarks.