Blog Archives

Topic Archive: algebraic geometry

Friday, November 20, 20151:00 pmGC 5382Symbolic-Numeric Computing Seminar

Saugata Basu

Complexity of constructible sheaves

Purdue University

Constructible sheaves play an important role in several areas of mathematics, most notably in the theory of D-modules. It was proved by Kashiwara and Schapira that the category of constructible sheaves is closed under the standard six operations of Grothendieck. This result can be viewed as a far reaching generalization of the Tarski-Seidenberg principle in real algebraic geometry. In this talk I will describe some quantitative/effectivity results related to the Kashiwara-Schapira theorem – mirroring similar results for ordinary semi-algebraic sets which are now well known. For this purpose, I will introduce a measure of complexity of constructible sheaves, and bound the complexity of some of the standard sheaf operations in terms of this measure of complexity. I will also discuss quantitative bounds on the dimensions of cohomology groups of constructible sheaves in terms of their complexity, again extending similar results on bounding the the ordinary Betti numbers of semi-algebraic sets.

Monday, July 28, 20141:00 pmGC 4214.03Math thesis room

State of affairs in local uniformization and valuation theory in positive characteristic

University of Katowice

This will be an informal talk summarizing roughly where we stand concerning the problem of local uniformization in positive characteristic. I will discuss the structure of valued algebraic function fields and the main open problems that are of particular interest for local uniformization. These include the dehenselization problem (an analogue of Temkin’s “decompletion”) as well as the question when the existence of a rational place implies that the ground field is existentially closed in the function field.

If time permits I will also discuss a stunning result about the badness of valuations in positive characteristic (due to Anna Blaszczok), and state a result (by Anna and myself) and an open question that are of interest for recent work by Koen Struyve et al. on “Euclidean buildings.”

Kolchin seminar in Differential AlgebraFriday, October 18, 201310:15 amGC 5382

Tom Scanlon

D-Fields as a Common Formalism for Difference and Differential Algebra

University of California - Berkeley

In a series of papers with Rahim Moosa, I have developed a theory of D-rings unifying and generalizing difference and differential algebra. Here we are given a ring functor D whose underlying additive group scheme is isomorphic to some power of the additive group. A D-ring is a ring R given together with a homomorphism f : R → D(R). A first motivating example is when D(R) = R[ε]/(ε2), so that the data of D-ring is that of an endomorphism σ:R → R and a σ-derivation ∂:R → R (that is, ∂(rs) = ∂(r)σ(s)+σ(r)∂(s)). Another example is when D(R) = R, where a D-ring structure is given by an endomorphism of R.

We develop a theory of prolongation spaces, jet spaces, and of D-algebraic geometry. With our most recent paper, we draw out the model theoretic consequences of this work showing that in characteristic zero, the theory of D-fields has a model companion, which we call the theory of D-closed fields, and that many of the refined model theoretic theorems (eg the Zilber trichotomy) hold at this level of generality. As a complement, we show that no such model companion exists in characteristic p under a mild hypothesis on D.

CUNY Logic WorkshopFriday, October 4, 20132:00 pmGC 6417

Hans Schoutens

Why model-theorists shouldn’t think that ACF is easy

The City University of New York

We all learned that stability theory derived many of its ideas from what happens in ACF, where everything is nice and easy. After all ACF has quantifier elimination and is strongly minimal, decidable, superstable, uncountably categorical, etc. However, my own struggles with ACF have humbled my opinion about it: it is an awfully rich theory that encodes way more than our current knowledge. I will discuss some examples showing how “difficult” ACF is: Grothendieck ring, isomorphism problem, set-theoretic intersection problem. Oddly enough, RCF seems to not have any of these problems. It is perhaps my ignorance, but I have come to think of RCF as much easier. Well, all, of course, is a matter of taste.

David Marker
University of Illinois at Chicago
Professor Marker holds the position of LAS Distinguished Professor in the Department of Mathematics, Statistics, and Computer Science at the University of Illinois at Chicago. He conducts research in model theory and it applications, particularly in applications to real algebraic geometry and real analytic geometry, exponentiation and differential algebra. His excellent textbook Model Theory: an Introduction is widely studied.
Alf Dolich
The City University of New York
Professor Dolich (Ph.D. 2002 University of Maryland, M.A. Columbia University, B.A. University of Pennsylvania) held a VIGRE Van Vleck Assistant Professorship at the University of Wisconsin, Madison, before coming to the New York area, where he now holds an Assistant Professor position at Kingsborough CC of CUNY. Professor Dolich conducts research in model theory, simple theories, and o-minimal theories with secondary interests in algebraic geometry and set theory.