Difference between revisions of "Graduate Algebraic Geometry Seminar Fall 2017"

From UW-Math Wiki
Jump to: navigation, search
(April 27)
 
(140 intermediate revisions by 9 users not shown)
Line 1: Line 1:
 
'''
 
'''
'''When:''' Wednesdays 4:00pm
+
'''When:''' Wednesdays 3:30pm
  
'''Where:'''Van Vleck B139
+
'''Where:'''Van Vleck B321 (Fall 2017)
 
[[Image:cat.jpg|thumb|220px| | Lizzie the OFFICIAL mascot of GAGS!!]]
 
[[Image:cat.jpg|thumb|220px| | Lizzie the OFFICIAL mascot of GAGS!!]]
  
'''Who:''' YOU!!
+
'''Who:''' All undergraduate and graduate students interested in algebraic geometry, commutative algebra, and related fields are welcome to attend.
  
'''Why:''' The purpose of this seminar is to learn algebraic geometry by giving and listening to talks in a informal setting. Talks are typically accessible to beginning graduate students and take many different forms. Sometimes people present an interesting paper they find. Other times people give a prep talk for the Friday Algebraic Geometry Seminar. Other times people give a series of talks on a topic they have been studying in-depth.
+
'''Why:''' The purpose of this seminar is to learn algebraic geometry and commutative algebra by giving and listening to talks in a informal setting. Talks are typically accessible to beginning graduate students and take many different forms. Sometimes people present an interesting paper they find. Other times people give a prep talk for the Friday Algebraic Geometry Seminar. Other times people give a series of talks on a topic they have been studying in-depth. Regardless the goal of GAGS is to provide a supportive and inclusive place for all to learn more about algebraic geometry and commutative algebra.
  
 
'''How:'''If you want to get emails regarding time, place, and talk topics ('''which are often assigned quite last minute''') add yourself to the gags mailing list: gags@lists.wisc.edu. The list registration page is [https://admin.lists.wisc.edu/index.php?p=11&l=gags here].
 
'''How:'''If you want to get emails regarding time, place, and talk topics ('''which are often assigned quite last minute''') add yourself to the gags mailing list: gags@lists.wisc.edu. The list registration page is [https://admin.lists.wisc.edu/index.php?p=11&l=gags here].
 
'''
 
'''
  
 +
== Give a talk! ==
 +
We need volunteers to give talks this semester. If you're interested contact [mailto:juliette.bruce@math.wisc.edu Juliette], or just add yourself to the list (though in that case we might move your talk later without your permission). Beginning graduate students are particularly encouraged to give a talk, since it's a great way to get your feet wet with the material.
 +
 +
== Being an audience member ==
 +
The goal of GAGS is to create a safe and comfortable space inclusive of all who wish to expand their knowledge of algebraic geometry and commutative algebra. In order to promote such an environment in addition to the standard expectations of respect/kindness all participants are asked to following the following guidelines:
 +
* Do Not Speak For/Over the Speaker:
 +
* Ask Questions Appropriately:
 +
 +
 +
== Wish List ==
 +
Here are the topics we're '''DYING''' to learn about!  Please consider looking into one of these topics and giving one or two GAGS talks.
 +
 +
===Specifically Vague Topics===
 +
* D-modules 101: basics of D-modules, equivalence between left and right D-modules, pullbacks, pushforwards, maybe the Gauss-Manin Connection. Claude Sabbah's introduction to the subject could be a good place to start.
 +
 +
* Sheaf operations on D-modules (the point is that then you can get a Fourier-Mukai transform between certain O-modules and certain D-modules, which is more or less how geometric Langlands is supposed to work)
  
 +
===Famous Theorems===
  
 +
===Interesting Papers & Books===
 +
* ''Symplectic structure of the moduli space of sheaves on an abelian or K3 surface'' - Shigeru Mukai.
  
 +
* ''Residues and Duality'' - Robin Hatshorne.
 +
** Have you heard of Serre Duality? Would you like to really understand the nuts and bolts of it and its generalizations? If so this book is for you. (You wouldn't need to read the whole book to give a talk ;).)
  
== Give a talk! ==
+
* ''Coherent sheaves on P^n and problems in linear algebra'' - A. A. Beilinson.
We need volunteers to give talks this semester. If you're interested contact [mailto:djbruce@math.wisc.edu DJ], or just add yourself to the list (though in that case we might move your talk later without your permission). Beginning graduate students are particularly encouraged to give a talk, since it's a great way to get your feet wet with the material.
+
** In this two page paper constructs the semi-orthogonal decomposition of the derived category of coherent sheaves on projective space. (This topic is very important, and there are a ton of other resources for this result and the general theory of derived categories.)
  
 +
* ''Frobenius splitting and cohomology vanishing for Schubert varieties'' - V.B. Mehta and A. Ramanathan.
 +
** In characteristic p the fact that (x+y)^p=x^p+y^p means that one has the Frobenius morphism, which sends f to f^p. In this paper the authors introduce the notion of what it means for a variety to be Frobenius split, and use this to prove certain cohomologcal vanishing results for Schubert varieties. Since then Frobenius splitting -- and its related cousins (F-regularity, strong F-regularity, F-purity, etc.) have played large roles in geometry and algebra in characteristic p. This is a good place to get a sense for what kicked all this stuff off!
  
== Wish List ==
+
* ''Schubert Calculus'' - S. L. Kleiman and Dan Laksov.
If there is a subject or a paper which you'd like to see someone give a talk on, add it to this list. If you want to give a talk and can't find a topic, try one from this list.
+
** An introduction to Schubert calculus suitable for those of all ages. I am told the paper essentially only uses linear algebra!
  
* Sheaf operations on D-modules (the point is that then you can get a Fourier-Mukai transform between certain O-modules and certain D-modules, which is more or less how geometric Langlands is supposed to work)
+
* ''Rational Isogenies of Prime Degree'' - Barry Mazur.
 +
** In this paper Mazur classifies all isogenies of rational elliptic curves of prime order. As a result of this he deduces his famous result that the torsion subgroup of an elliptic curve (over Q) is one of 15 abelian groups. This definitely stares into the land of number theory, but certainly would still be of interest to many.
  
* A careful explanation of the correspondence between graded modules and sheaves on projective varieties.
+
* ''Esquisse d’une programme'' - Alexander Grothendieck.
 +
** Originating from a grant proposal in the mid 1980's this famous paper outlines a tantalizing research program, which seeks to tie numerous different areas of math (algebraic geometry, Teichmuller theory, Galois theory, etc.) together. This is where Grothendieck introduced his famous Lego game and dessin d'enfant. While just a research proposal this paper has seemingly inspired a ton of cool math, and will allow you to "blow peoples’ minds". (The original paper is in French, but there are English translations out there.)
  
* Braverman and Bezrukavnikov: geometric Langlands correspondence for D-modules in prime characteristic: the GL(n) case (Note: this title sounds tough but prime characteristic makes things ''easier'')
+
* ''Géométrie algébraique et géométrie analytique'' - J.P. Serre.
 +
** A projective variety X over the complex numbers has two lives, an algebraic and an analytic, depending on which topology one wishes to work with. That is one can think about X as a complex manifold and work with holomorphic functions or as an algebraic variety and work with regular functions. Hence to any complex projective variety we have two sheaf theories and as a result two cohomology theories. In this famous paper Serre compares these two and shows they are in fact the same. (''Note: This is a super fundamental result that is used all the time; normally in the following way: Uhh... What do you mean by cohomology? Well by GAGA or something it doesn't really mater.) (The original paper is in French, but there are English translations out there.)
  
* Homological projective duality
+
* ''Limit linear series: Basic theory''- David Eisenbud and Joe Harris.
 +
** One of the more profitable tools -- especially when studying moduli spaces -- in a geometers tool box is the theory of degenerations. However, sometimes we care about more than just the variety we are degenerating and want to keep track of things like vector/line bundles. In this paper Eisenbud and Harris develop the theory of degenerating a curve together with a linear series. From this they prove a ton of cool results: M_g is of general type for g>24, Brill-Noether theory, etc.
  
* The orbit method (for classifying representations of a Lie group)
+
* ''Picard Groups of Moduli Problems'' - David Mumford.
 +
** This paper is essentially the origin of algebraic stacks.
  
* Kaledin: geometry and topology of symplectic resolutions
+
* ''The Structure of Algebraic Threefolds: An Introduction to Mori's Program'' - Janos Kollar
 +
** This paper is an introduction to Mori's famous ``minimal model'' program, which is a far reaching program seeking to understand the birational geometry of higher dimensional varieties.
  
* Kashiwara: D-modules and representation theory of Lie groups (Note: Check out that diagram on page 2!)
+
* ''Cayley-Bacharach Formulas'' - Qingchun Ren, Jürgen Richter-Gebert, Bernd Sturmfels.
 +
** A classical result we all learn in a first semester of algebraic geometry is that 5 points in the plane (in general position) determine a unique plane conic. One can similarly show that 9 (general) points in the plane determine a unique plane cubic curve. This paper tries to answer the question: ``What is equation for this cubic curve?''.
  
* Geometric complexity theory, maybe something like arXiv:1508.05788.
+
* ''On Varieties of Minimal Degree (A Centennial Approach)'' - David Eisenbud and Joe Harris.
 +
** Suppose X is a projective variety embedded in projective space so that X is not contained in any hyperplane. By projecting from general points one can see that the degree of X is at least codim(X)+1. This paper discusses the classification of varieties that achieve this lower degree bound i.e. varieties of minimal degree. This topic is quite classical and the paper seems to contain a nice mixture of classical and modern geometry.
  
 +
* ''The Gromov-Witten potential associated to a TCFT'' - Kevin J. Costello.
 +
** This seems incredibly interesting, but fairing warning this paper has been described as ''highly technical'', which considering it uses A-infinity algebras and the derived category of a  Calabi-Yau seems like a reasonable description. (This paper may be covered in Caldararu's Spring 2017 topics course.)
 
__NOTOC__
 
__NOTOC__
  
== Spring 2016 ==
+
== Fall 2017 ==
  
 
<center>
 
<center>
Line 50: Line 83:
 
| bgcolor="#BCD2EE" width="300" align="center"|'''Title (click to see abstract)'''
 
| bgcolor="#BCD2EE" width="300" align="center"|'''Title (click to see abstract)'''
 
|-
 
|-
| bgcolor="#E0E0E0"| January 20
+
| bgcolor="#E0E0E0"| September 13
| bgcolor="#C6D46E"| Jay Yang
+
| bgcolor="#C6D46E"| Moisés Herradón Cueto
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#January 20| Tropical Geometry II]]
+
| bgcolor="#BCE2FE"|[[#September 13| Vector bundles over the projective line]]
 
|-
 
|-
| bgcolor="#E0E0E0"| January 27
+
| bgcolor="#E0E0E0"| September 20
| bgcolor="#C6D46E"| Jay Yang
+
| bgcolor="#C6D46E"| No Talk
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#January 27| Tropical Geometry III ]]
+
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar Fall 2017#September 20 | Reflecting on signing up for a talk]]
 
|-
 
|-
| bgcolor="#E0E0E0"| February 3
+
| bgcolor="#E0E0E0"| September 27
| bgcolor="#C6D46E"| Ed Dewey
+
| bgcolor="#C6D46E"| Moisés Herradón Cueto
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#February 3| Derived Category of Projective Space ]]
+
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar Fall 2017#September 27 | Vector bundles over an elliptic curve]]
 
|-
 
|-
| bgcolor="#E0E0E0"| February 10 
+
| bgcolor="#E0E0E0"| October 4
| bgcolor="#C6D46E"| Ed Dewey
+
| bgcolor="#C6D46E"| TBD
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#February 10| More Derived Category of Projective Space ]]  
+
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar Fall 2017#October 4 | TBD]]  
 
|-
 
|-
| bgcolor="#E0E0E0"| February 17
+
| bgcolor="#E0E0E0"| October 11
 
| bgcolor="#C6D46E"| TBD
 
| bgcolor="#C6D46E"| TBD
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#February 17| TBD ]]  
+
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar Fall 2017#October 11 | TBD]]  
 
|-
 
|-
| bgcolor="#E0E0E0"| February 24
+
| bgcolor="#E0E0E0"| October 18
| bgcolor="#C6D46E"| DJ Bruce
+
| bgcolor="#C6D46E"| TBD
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#February 24| Divisors and Stuff I]]
+
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar Fall 2017#October 18 | TBD]]  
|-
 
| bgcolor="#E0E0E0"| March 2
 
| bgcolor="#C6D46E"| DJ Bruce
 
| bgcolor="#BCE2FE"| [[Graduate Algebraic Geometry Seminar#March 2| Divisors and Stuff II]]
 
|-
 
| bgcolor="#E0E0E0"| March 9
 
| bgcolor="#C6D46E"| DJ Bruce
 
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#March 9| Divisors and Stuff III]]  
 
 
|-
 
|-
| bgcolor="#E0E0E0"| March 16
+
| bgcolor="#E0E0E0"| October 25
 
| bgcolor="#C6D46E"| TBD
 
| bgcolor="#C6D46E"| TBD
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#March 16| TBD]]  
+
| bgcolor="#BCE2FE"| [[Graduate Algebraic Geometry Seminar Fall 2017#October 25 | TBD]]  
 
|-
 
|-
| bgcolor="#E0E0E0"| March 23
+
| bgcolor="#E0E0E0"| November 1
| bgcolor="#C6D46E"| N/A
+
| bgcolor="#C6D46E"| Michael Brown
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#March 23| No GAGS This Week ]]  
+
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar Fall 2017#November 1 | A Theorem of Orlov]]  
 
|-
 
|-
| bgcolor="#E0E0E0"| March 30
+
| bgcolor="#E0E0E0"| November 8
| bgcolor="#C6D46E"| Daniel Hast
+
| bgcolor="#C6D46E"| Michael Brown
| bgcolor="#BCE2FE"| [[Graduate Algebraic Geometry Seminar#March 30| Jacobians, path integrals, and fundamental groups of curves I]]
+
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar Fall 2017#November 8 | A Theorem or Orlov]]  
 
|-
 
|-
| bgcolor="#E0E0E0"| April 6
+
| bgcolor="#E0E0E0"| November 15
| bgcolor="#C6D46E"| Daniel Hast
+
| bgcolor="#C6D46E"| TBD
| bgcolor="#BCE2FE"| [[Graduate Algebraic Geometry Seminar#April 6| Jacobians, path integrals, and fundamental groups of curves II]]
+
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar Fall 2017#November 15 | TBD]]  
 
|-
 
|-
| bgcolor="#E0E0E0"| April 13
+
| bgcolor="#E0E0E0"| November 22
| bgcolor="#C6D46E"| Jason Steinberg
+
| bgcolor="#C6D46E"| n/a
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#April 13|Something Something Shimura Varieties ]]  
+
| bgcolor="#BCE2FE"| [[Graduate Algebraic Geometry Seminar Fall 2017#November 22 | No Seminar]]
 
|-
 
|-
| bgcolor="#E0E0E0"| April 20
+
| bgcolor="#E0E0E0"| November 29
| bgcolor="#C6D46E"| Quinton Westrich
+
| bgcolor="#C6D46E"| TBD
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#April 20| Projective Duality ]]  
+
| bgcolor="#BCE2FE"| [[Graduate Algebraic Geometry Seminar Fall 2017#November 29 | TBD]]
 
|-
 
|-
| bgcolor="#E0E0E0"| April 27
+
| bgcolor="#E0E0E0"| December 6
| bgcolor="#C6D46E"| Zachary Charles
+
| bgcolor="#C6D46E"| TBD
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#April 27| Polynomial systems, toric geometry, and Newton polytopes]]  
+
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar Fall 2017#December 6 | What about stacks? ]]  
 
|-
 
|-
| bgcolor="#E0E0E0"| May 4
+
| bgcolor="#E0E0E0"| December 13
| bgcolor="#C6D46E"| Wendy Cheng
 
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#May 4| Cohomology of Sheaves, Affine Scheme and Projective Space (Cancelled due to time conflict with Peter Sarnak's talk)]]
 
|-
 
| bgcolor="#E0E0E0"| May 11
 
 
| bgcolor="#C6D46E"| TBD
 
| bgcolor="#C6D46E"| TBD
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar#May 11| TBD ]]  
+
| bgcolor="#BCE2FE"|[[Graduate Algebraic Geometry Seminar Fall 2017#December 14 | What about stacks? II ]]  
 
|}
 
|}
 
</center>
 
</center>
  
== January 20 ==
+
== September 13 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Jay Yang'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Moisés Herradón Cueto'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: Tropical Geometry II
+
| bgcolor="#BCD2EE"  align="center" | Title: Vector Bundles over the projective line
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: Previously we discussed the basic definitions of tropical geometry, and
+
Abstract:  
the connection to algebraic geometry. Now we use this to count curves
+
 
through points on P^2. This is a well known result initially proven
+
Next week I will do an overview of Atiyah's classification of bundles on an elliptic curve. Today, I will talk about the tools needed to do this: cohomology of vector bundles. My goal is to keep a loose, islander, Ibizan pace where I will not define anything very rigorously, yet we will get our hands dirty with some computations, not all of which you have sat down and done before (if you have, what is your life? Why am I the one giving this talk?). Our aimless drift will hopefully get us to the much easier classification of vector bundles on the projective line, and we will have achieved the feat of using cohomology to prove a statement that doesn't contain the word cohomology! Flowery crowns are optional.
without the use of tropical tools. But using tropical tools we can give
 
a proof that relies on the combinatorics of lattice paths. I will begin
 
with a review of some facts from tropical geometry that we need for this
 
proof.
 
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
  
== January 27 ==
+
== September 20 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''TBD'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''No talk'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: TBD
+
| bgcolor="#BCD2EE"  align="center" | Title: You should sign up to give a talk
 
|-
 
|-
| bgcolor="#BCD2EE"  |
+
| bgcolor="#BCD2EE"  |  
Abstract: TBD
+
Abstract:  
 +
 
 +
TBD
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
== February 3 ==
+
 
 +
== September 27 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Ed Dewey'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Moisés Herradón Cueto'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: Derived Category of Projective Space
+
| bgcolor="#BCD2EE"  align="center" | Title: Vector bundles over an elliptic curve
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: I will talk about the derived category of projective space, covering mostly the same material that Andrei did at the end of his homological algebra course, but at a more leisurely pace.  My main reference is the ''Skimming.'' 
+
Abstract:  
|}
+
 
</center>
+
We will regain our continental composture and discuss Atiyah's classification of bundles on an elliptic curve. There will be a ton of preliminary stuff, some lemmas, some theorems and some sketchy proofs. The sun will rise on the east and set on the west, and in the mean time we will learn all the isomorphism classes of vector bundles on an elliptic curve over any field.
  
== February 10 ==
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Ed Dewey'''
 
|-
 
| bgcolor="#BCD2EE"  align="center" | Title: More Derived Category of Projective Space
 
|-
 
| bgcolor="#BCD2EE"  | 
 
Abstract: I will explain in what sense we now "know" the derived category of projective space from Beilinson's result.  There is a very nice answer in terms of quivers but I got distracted by another, much less efficient but maybe more flexible approach using dg categories, so that is what we will do.  If my understanding permits, we will also talk about the derived category of a projective space bundle.
 
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
  
== February 17 ==
+
== October 4 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
Line 186: Line 196:
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: TBD  
+
Abstract:  
 +
 
 +
TBD
 +
 
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
== February 24 ==
+
 
 +
== October 11 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''DJ Bruce'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''TBD'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: Divisors and Stuff I
+
| bgcolor="#BCD2EE"  align="center" | Title: TBD
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: TBD
+
Abstract:  
 +
 
 +
TBD
  
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
  
== March 2 ==
+
== October 18 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''DJ Bruce'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''TBD'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: Divisors and Stuff II
+
| bgcolor="#BCD2EE"  align="center" | Title: TBD
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: TBD
+
Abstract:  
|}                                                                       
+
 
</center>
+
TBD
  
== March 9 ==
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''DJ Bruce'''
 
|-
 
| bgcolor="#BCD2EE"  align="center" | Title: Divisors and Stuff III
 
|-
 
| bgcolor="#BCD2EE"  | 
 
Abstract:  TBD
 
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
  
== March 16 ==
+
== October 25 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
Line 238: Line 244:
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: TBD
+
Abstract:  
 +
 
 +
TBD
  
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
  
== March 23 ==
+
== November 1 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''No Seminar This Week'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Michael Brown'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: N/A
+
| bgcolor="#BCD2EE"  align="center" | Title: A theorem of Orlov
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: Enjoy your break!
+
Abstract: I will discuss the main theorem of Orlov's "Derived Categories of Coherent Sheaves and Triangulated Categories of Singularities". This very powerful theorem provides a comparison between the derived category of coherent sheaves on certain schemes and a related gadget called the "singularity category". Orlov's theorem recovers Beilinson's semiorthogonal decomposition of the bounded derived category of projective space as a special case.
 +
 
 +
 
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
  
== March 30 ==
+
== November 8 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Daniel Hast'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Michael Brown'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: Jacobians, path integrals, and fundamental groups of curves I
+
| bgcolor="#BCD2EE"  align="center" | Title: A Theorem of Orlov
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: TBD
+
Abstract: This will be a continuation of the previous talk.
|}                                                                       
 
</center>
 
  
== April 6 ==
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Daniel Hast'''
 
|-
 
| bgcolor="#BCD2EE"  align="center" | Title: Jacobians, path integrals, and fundamental groups of curves II
 
|-
 
| bgcolor="#BCD2EE"  | 
 
Abstract: TBD
 
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
  
== April 13 ==
+
== November 15 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Jason Steinberg '''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''TBD'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: Something Something Shimura Varieties
+
| bgcolor="#BCD2EE"  align="center" | Title: TBD
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
 
Abstract:  
 
Abstract:  
 +
 +
TBD
 +
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
  
== April 20 ==
+
== November 22 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Quinton Westrich'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''No Seminar This Week'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: Projective Duality
+
| bgcolor="#BCD2EE"  align="center" | Title: Enjoy Thanksgiving!
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: Intro to discriminants and duals of projective varieties. My field will be C.
+
Abstract: n/a
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
  
== April 27 ==
+
== November 29 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Zachary Charles'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''TBD'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: Polynomial systems, toric geometry, and Newton polytopes
+
| bgcolor="#BCD2EE"  align="center" | Title: TBD
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: While the Bezout bound generically gives us the number of roots of a polynomial system in projective space, often much more can be said about specific systems in affine space. Kushnirenko's Theorem (and later Bernstein's theorem) gives better bounds for "sparse" systems of polynomials. These bounds are based on the volume of Newton polytopes. I will prove Kushnirenko's theorem using ideas from toric geometry, commutative algebra, and the geometry of polytopes. If time permits we will give applications of this theorem to power systems.
+
Abstract:  
 +
 
 +
TBD
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
  
== May 4 ==
+
== December 6 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Wendy Cheng'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Nathan Clement'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: Cohomology of Sheaves, Affine Scheme and Projective Space
+
| bgcolor="#BCD2EE"  align="center" | Title: What about stacks?
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: TBD
+
Abstract:
 +
 
 +
TBD
 +
 
 
|}                                                                         
 
|}                                                                         
 
</center>
 
</center>
== May 11 ==
+
 
 +
== December 13 ==
 
<center>
 
<center>
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
|-
 
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''TBD'''
+
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Nathan Clement'''
 
|-
 
|-
| bgcolor="#BCD2EE"  align="center" | Title: TBD
+
| bgcolor="#BCD2EE"  align="center" | Title: What about stacks? II
 
|-
 
|-
 
| bgcolor="#BCD2EE"  |   
 
| bgcolor="#BCD2EE"  |   
Abstract: TBD
+
Abstract:  
|}                                                                      
+
 
 +
TBD
 +
|}                    
 
</center>
 
</center>
  
 
== Organizers' Contact Info ==
 
== Organizers' Contact Info ==
[http://www.math.wisc.edu/~djbruce DJ Bruce]
+
[http://www.math.wisc.edu/~juliettebruce Juliette Bruce]
  
 
[http://www.math.wisc.edu/~clement Nathan Clement]
 
[http://www.math.wisc.edu/~clement Nathan Clement]
  
[http://www.math.wisc.edu/~dewey/ Ed Dewey]
+
[https://www.math.wisc.edu/~moises Moisés Herradón Cueto]
  
 
== Past Semesters ==
 
== Past Semesters ==
 +
[https://www.math.wisc.edu/wiki/index.php/Graduate_Algebraic_Geometry_Seminar_Spring_2017 Spring 2017]
 +
 +
[https://www.math.wisc.edu/wiki/index.php/Graduate_Algebraic_Geometry_Seminar_Fall_2016 Fall 2016]
 +
 +
[https://www.math.wisc.edu/wiki/index.php/Graduate_Algebraic_Geometry_Seminar_Spring_2016 Spring 2016]
  
 
[https://www.math.wisc.edu/wiki/index.php/Graduate_Algebraic_Geometry_Seminar_(Fall_2015) Fall 2015]
 
[https://www.math.wisc.edu/wiki/index.php/Graduate_Algebraic_Geometry_Seminar_(Fall_2015) Fall 2015]

Latest revision as of 19:25, 27 February 2019

When: Wednesdays 3:30pm

Where:Van Vleck B321 (Fall 2017)

Lizzie the OFFICIAL mascot of GAGS!!

Who: All undergraduate and graduate students interested in algebraic geometry, commutative algebra, and related fields are welcome to attend.

Why: The purpose of this seminar is to learn algebraic geometry and commutative algebra by giving and listening to talks in a informal setting. Talks are typically accessible to beginning graduate students and take many different forms. Sometimes people present an interesting paper they find. Other times people give a prep talk for the Friday Algebraic Geometry Seminar. Other times people give a series of talks on a topic they have been studying in-depth. Regardless the goal of GAGS is to provide a supportive and inclusive place for all to learn more about algebraic geometry and commutative algebra.

How:If you want to get emails regarding time, place, and talk topics (which are often assigned quite last minute) add yourself to the gags mailing list: gags@lists.wisc.edu. The list registration page is here.

Give a talk!

We need volunteers to give talks this semester. If you're interested contact Juliette, or just add yourself to the list (though in that case we might move your talk later without your permission). Beginning graduate students are particularly encouraged to give a talk, since it's a great way to get your feet wet with the material.

Being an audience member

The goal of GAGS is to create a safe and comfortable space inclusive of all who wish to expand their knowledge of algebraic geometry and commutative algebra. In order to promote such an environment in addition to the standard expectations of respect/kindness all participants are asked to following the following guidelines:

  • Do Not Speak For/Over the Speaker:
  • Ask Questions Appropriately:


Wish List

Here are the topics we're DYING to learn about! Please consider looking into one of these topics and giving one or two GAGS talks.

Specifically Vague Topics

  • D-modules 101: basics of D-modules, equivalence between left and right D-modules, pullbacks, pushforwards, maybe the Gauss-Manin Connection. Claude Sabbah's introduction to the subject could be a good place to start.
  • Sheaf operations on D-modules (the point is that then you can get a Fourier-Mukai transform between certain O-modules and certain D-modules, which is more or less how geometric Langlands is supposed to work)

Famous Theorems

Interesting Papers & Books

  • Symplectic structure of the moduli space of sheaves on an abelian or K3 surface - Shigeru Mukai.
  • Residues and Duality - Robin Hatshorne.
    • Have you heard of Serre Duality? Would you like to really understand the nuts and bolts of it and its generalizations? If so this book is for you. (You wouldn't need to read the whole book to give a talk ;).)
  • Coherent sheaves on P^n and problems in linear algebra - A. A. Beilinson.
    • In this two page paper constructs the semi-orthogonal decomposition of the derived category of coherent sheaves on projective space. (This topic is very important, and there are a ton of other resources for this result and the general theory of derived categories.)
  • Frobenius splitting and cohomology vanishing for Schubert varieties - V.B. Mehta and A. Ramanathan.
    • In characteristic p the fact that (x+y)^p=x^p+y^p means that one has the Frobenius morphism, which sends f to f^p. In this paper the authors introduce the notion of what it means for a variety to be Frobenius split, and use this to prove certain cohomologcal vanishing results for Schubert varieties. Since then Frobenius splitting -- and its related cousins (F-regularity, strong F-regularity, F-purity, etc.) have played large roles in geometry and algebra in characteristic p. This is a good place to get a sense for what kicked all this stuff off!
  • Schubert Calculus - S. L. Kleiman and Dan Laksov.
    • An introduction to Schubert calculus suitable for those of all ages. I am told the paper essentially only uses linear algebra!
  • Rational Isogenies of Prime Degree - Barry Mazur.
    • In this paper Mazur classifies all isogenies of rational elliptic curves of prime order. As a result of this he deduces his famous result that the torsion subgroup of an elliptic curve (over Q) is one of 15 abelian groups. This definitely stares into the land of number theory, but certainly would still be of interest to many.
  • Esquisse d’une programme - Alexander Grothendieck.
    • Originating from a grant proposal in the mid 1980's this famous paper outlines a tantalizing research program, which seeks to tie numerous different areas of math (algebraic geometry, Teichmuller theory, Galois theory, etc.) together. This is where Grothendieck introduced his famous Lego game and dessin d'enfant. While just a research proposal this paper has seemingly inspired a ton of cool math, and will allow you to "blow peoples’ minds". (The original paper is in French, but there are English translations out there.)
  • Géométrie algébraique et géométrie analytique - J.P. Serre.
    • A projective variety X over the complex numbers has two lives, an algebraic and an analytic, depending on which topology one wishes to work with. That is one can think about X as a complex manifold and work with holomorphic functions or as an algebraic variety and work with regular functions. Hence to any complex projective variety we have two sheaf theories and as a result two cohomology theories. In this famous paper Serre compares these two and shows they are in fact the same. (Note: This is a super fundamental result that is used all the time; normally in the following way: Uhh... What do you mean by cohomology? Well by GAGA or something it doesn't really mater.) (The original paper is in French, but there are English translations out there.)
  • Limit linear series: Basic theory- David Eisenbud and Joe Harris.
    • One of the more profitable tools -- especially when studying moduli spaces -- in a geometers tool box is the theory of degenerations. However, sometimes we care about more than just the variety we are degenerating and want to keep track of things like vector/line bundles. In this paper Eisenbud and Harris develop the theory of degenerating a curve together with a linear series. From this they prove a ton of cool results: M_g is of general type for g>24, Brill-Noether theory, etc.
  • Picard Groups of Moduli Problems - David Mumford.
    • This paper is essentially the origin of algebraic stacks.
  • The Structure of Algebraic Threefolds: An Introduction to Mori's Program - Janos Kollar
    • This paper is an introduction to Mori's famous ``minimal model program, which is a far reaching program seeking to understand the birational geometry of higher dimensional varieties.
  • Cayley-Bacharach Formulas - Qingchun Ren, Jürgen Richter-Gebert, Bernd Sturmfels.
    • A classical result we all learn in a first semester of algebraic geometry is that 5 points in the plane (in general position) determine a unique plane conic. One can similarly show that 9 (general) points in the plane determine a unique plane cubic curve. This paper tries to answer the question: ``What is equation for this cubic curve?.
  • On Varieties of Minimal Degree (A Centennial Approach) - David Eisenbud and Joe Harris.
    • Suppose X is a projective variety embedded in projective space so that X is not contained in any hyperplane. By projecting from general points one can see that the degree of X is at least codim(X)+1. This paper discusses the classification of varieties that achieve this lower degree bound i.e. varieties of minimal degree. This topic is quite classical and the paper seems to contain a nice mixture of classical and modern geometry.
  • The Gromov-Witten potential associated to a TCFT - Kevin J. Costello.
    • This seems incredibly interesting, but fairing warning this paper has been described as highly technical, which considering it uses A-infinity algebras and the derived category of a Calabi-Yau seems like a reasonable description. (This paper may be covered in Caldararu's Spring 2017 topics course.)


Fall 2017

Date Speaker Title (click to see abstract)
September 13 Moisés Herradón Cueto Vector bundles over the projective line
September 20 No Talk Reflecting on signing up for a talk
September 27 Moisés Herradón Cueto Vector bundles over an elliptic curve
October 4 TBD TBD
October 11 TBD TBD
October 18 TBD TBD
October 25 TBD TBD
November 1 Michael Brown A Theorem of Orlov
November 8 Michael Brown A Theorem or Orlov
November 15 TBD TBD
November 22 n/a No Seminar
November 29 TBD TBD
December 6 TBD What about stacks?
December 13 TBD What about stacks? II

September 13

Moisés Herradón Cueto
Title: Vector Bundles over the projective line

Abstract:

Next week I will do an overview of Atiyah's classification of bundles on an elliptic curve. Today, I will talk about the tools needed to do this: cohomology of vector bundles. My goal is to keep a loose, islander, Ibizan pace where I will not define anything very rigorously, yet we will get our hands dirty with some computations, not all of which you have sat down and done before (if you have, what is your life? Why am I the one giving this talk?). Our aimless drift will hopefully get us to the much easier classification of vector bundles on the projective line, and we will have achieved the feat of using cohomology to prove a statement that doesn't contain the word cohomology! Flowery crowns are optional.

September 20

No talk
Title: You should sign up to give a talk

Abstract:

TBD

September 27

Moisés Herradón Cueto
Title: Vector bundles over an elliptic curve

Abstract:

We will regain our continental composture and discuss Atiyah's classification of bundles on an elliptic curve. There will be a ton of preliminary stuff, some lemmas, some theorems and some sketchy proofs. The sun will rise on the east and set on the west, and in the mean time we will learn all the isomorphism classes of vector bundles on an elliptic curve over any field.

October 4

TBD
Title: TBD

Abstract:

TBD

October 11

TBD
Title: TBD

Abstract:

TBD

October 18

TBD
Title: TBD

Abstract:

TBD

October 25

TBD
Title: TBD

Abstract:

TBD

November 1

Michael Brown
Title: A theorem of Orlov

Abstract: I will discuss the main theorem of Orlov's "Derived Categories of Coherent Sheaves and Triangulated Categories of Singularities". This very powerful theorem provides a comparison between the derived category of coherent sheaves on certain schemes and a related gadget called the "singularity category". Orlov's theorem recovers Beilinson's semiorthogonal decomposition of the bounded derived category of projective space as a special case.


November 8

Michael Brown
Title: A Theorem of Orlov

Abstract: This will be a continuation of the previous talk.

November 15

TBD
Title: TBD

Abstract:

TBD

November 22

No Seminar This Week
Title: Enjoy Thanksgiving!

Abstract: n/a

November 29

TBD
Title: TBD

Abstract:

TBD

December 6

Nathan Clement
Title: What about stacks?

Abstract:

TBD

December 13

Nathan Clement
Title: What about stacks? II

Abstract:

TBD

Organizers' Contact Info

Juliette Bruce

Nathan Clement

Moisés Herradón Cueto

Past Semesters

Spring 2017

Fall 2016

Spring 2016

Fall 2015