Graduate Algebraic Geometry Seminar Fall 2022: Difference between revisions

From UW-Math Wiki
Jump to navigation Jump to search
(Initial Copy)
 
 
(28 intermediate revisions by 4 users not shown)
Line 1: Line 1:
'''
'''When:''' 1:30-2:30 PM on Fridays
'''When:''' 4:30-5:30 PM Thursdays


'''Where:''' VV B231
'''Where:''' Van Vleck B219
[[Image:cat.jpg|thumb|220px| | Lizzie the OFFICIAL mascot of GAGS!!]]
[[Image:newcat.jpg|thumb|220px| Toby the OFFICIAL mascot of GAGS!!]]


'''Who:''' All undergraduate and graduate students interested in algebraic geometry, commutative algebra, and related fields are welcome to attend.
'''Who:''' All undergraduate and graduate students interested in algebraic geometry, commutative algebra, and related fields are welcome to attend.
Line 13: Line 12:
''' Organizers: ''' [https://johndcobb.github.io John Cobb], Yu (Joey) Luo
''' Organizers: ''' [https://johndcobb.github.io John Cobb], Yu (Joey) Luo


== Give a talk! ==
==Give a talk!==
We need volunteers to give talks this semester. If you're interested, please fill out [https://forms.gle/iwvCQPKp3mDD3HZd9 this form]. Beginning graduate students are particularly encouraged to give a talk, since it's a great way to get your feet wet with the material. If you would like some talk ideas, see the list on the [https://hilbert.math.wisc.edu/wiki/index.php?title=Graduate_Algebraic_Geometry_Seminar main page].
We need volunteers to give talks this semester. Beginning graduate students are particularly encouraged to give a talk, since it's a great way to get your feet wet with the material. If you would like some talk ideas, see the list on the [https://hilbert.math.wisc.edu/wiki/index.php?title=Graduate_Algebraic_Geometry_Seminar main page]. Sign up here: https://forms.gle/XUAq1VFFqqErKDEh6.


=== Spring 2022 Topic Wish List ===
===Fall 2022 Topic Wish List===
This was assembled using input from an interest form at the beginning of the semester. Choose one and you will have the rare guarantee of having one interested audience member. Feel free to add your own.
This was assembled using input from an interest form at the beginning of the semester. Choose one and you will have the rare guarantee of having one interested audience member. Feel free to add your own.
* Hilbert Schemes
* Hilbert Schemes
* Reductive groups and flag varieties
*Geothendieck '66, "On the de Rham Cohomology of Algebraic Varieties"
* Geothendieck '66, "On the de Rham Cohomology of Algebraic Varieties"
*Going from line bundles and divisors to vector bundles and chern classes
* Going from line bundles and divisors to vector bundles and chern classes  
*A History of the Weil Conjectures
* A History of the Weil Conjectures
*Mumford & Bayer, "What can be computed in Algebraic Geometry?"
* Mumford & Bayer, "What can be computed in Algebraic Geometry?"  
*A pre talk for any other upcoming talk
* A pre talk for any other upcoming talk
*Weil Conjectures, GAGA theorems, surfaces of general type, moduli spaces, moduli of curves, mixed characteristics (stuff), elliptic curves, abelian varieties, hyperelliptic curves, resolution of singularities, minimal model program (stuff).


== Being an audience member ==
==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:
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
*Do Not Speak For/Over the Speaker
* Ask Questions Appropriately
*Ask Questions Appropriately


== Talks ==
==Talks==


<center>
<center>
{| style="color:black; font-size:120%" border="0" cellpadding="14" cellspacing="5"
{| style="color:black; font-size:120%" border="0" cellpadding="14" cellspacing="5"
|-
|-
| bgcolor="#D0D0D0" width="300" align="center"|'''Date'''
| bgcolor="#D0D0D0" width="300" align="center" |'''Date'''
| bgcolor="#A6B658" width="300" align="center"|'''Speaker'''
| bgcolor="#A6B658" width="300" align="center" |'''Speaker'''
| bgcolor="#BCD2EE" width="300" align="center"|'''Title'''
| bgcolor="#BCD2EE" width="300" align="center" |'''Title'''
|-
|-
| bgcolor="#E0E0E0"| February 10
| bgcolor="#E0E0E0" |September 23
| bgcolor="#C6D46E"| Everyone
| bgcolor="#C6D46E" |Yiyu Wang
| bgcolor="#BCE2FE"|[[#February 10| Informal chat session ]]
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#September 23|The Cox Ring of Toric Varieties]]
|-
|-
| bgcolor="#E0E0E0"| February 17
| bgcolor="#E0E0E0" |September 30
| bgcolor="#C6D46E"| Asvin G
| bgcolor="#C6D46E" |Asvin G.
| bgcolor="#BCE2FE"|[[#February 17| Motives ]]
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#September 30|The moduli space of curves]]  
|-
|-
| bgcolor="#E0E0E0"| February 24
| bgcolor="#E0E0E0" |October 7
| bgcolor="#C6D46E"| Yu Luo
| bgcolor="#C6D46E" |Alex Hof
| bgcolor="#BCE2FE"|[[#February 24| Riemann-Hilbert Correspondence ]]
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 7|Revenge of the Classical Topology]]
|-
|-
| bgcolor="#E0E0E0"| March 10
| bgcolor="#E0E0E0" |October 14
| bgcolor="#C6D46E"| Colin Crowley
| bgcolor="#C6D46E" |John Cobb
| bgcolor="#BCE2FE"|[[#March 10| An introduction to Tropicalization ]]
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 14|Virtual Resolutions and Syzygies]]
|-
|-
| bgcolor="#E0E0E0"| March 31
| bgcolor="#E0E0E0" |October 21
| bgcolor="#C6D46E"| Ruofan
| bgcolor="#C6D46E" |Yifan
| bgcolor="#BCE2FE"|[[#March 31| Motivic class of stack of finite modules over a cusp ]]
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 21|TBA]]
|-
|-
| bgcolor="#E0E0E0"| April 7
| bgcolor="#E0E0E0" |October 28
| bgcolor="#C6D46E"| Alex Hof
| bgcolor="#C6D46E" |Ivan Aidun
| bgcolor="#BCE2FE"|[[#April 7| Geometric Intuitions for Flatness]]
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 28|Gröbner Bases and Computations in Algebraic Geometry]]
|-
|-
| bgcolor="#E0E0E0"| April 14
| bgcolor="#E0E0E0" |November 2
| bgcolor="#C6D46E"| Caitlyn Booms
| bgcolor="#C6D46E" |Some Matroid Person
| bgcolor="#BCE2FE"|[[#April 14| Virtual criterion for generalized Eagon-Northcott complexes ]]
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#November 2|TBA]]
|-
|-
| bgcolor="#E0E0E0"| April 21
| bgcolor="#E0E0E0" | November 11
| bgcolor="#C6D46E"| Connor Simpson
| bgcolor="#C6D46E" |Connor Simpson
| bgcolor="#BCE2FE"|[[#April 21| Symplectic geometry and invariant theory ]]
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#November 11|A miraculous theorem of Brion]]
|-
|-
| bgcolor="#E0E0E0"| April 28
| bgcolor="#E0E0E0" |November 18
| bgcolor="#C6D46E"| Karan
| bgcolor="#C6D46E" |Alex Mine
| bgcolor="#BCE2FE"|[[#April 28| Using varieties to study polynomial neural networks ]]
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#November 18|Singular curves]]
|-
|-
| bgcolor="#E0E0E0"| May 5
| bgcolor="#E0E0E0" |December 2
| bgcolor="#C6D46E"| Ellie Thieu
| bgcolor="#C6D46E" |Kevin Dao
| bgcolor="#BCE2FE"|[[#May 5| Visualizing Cohomology ]]
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#December 2|Commentary on Local Cohomology]]
|-
| bgcolor="#E0E0E0" | December 9
| bgcolor="#C6D46E" | Yu LUO
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#December 9|Yoneda Embedding and Moduli Problems]]
|}
|}
</center>
</center>


=== February 10 ===
===September 23===
<center>
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Everyone '''
| bgcolor="#A6B658" align="center" style="font-size:125%" | Yiyu Wang
|-
|-
| bgcolor="#BCD2EE" align="center" | Title: Informal chat session
| bgcolor="#BCD2EE" align="center" |Title: The Cox Ring of Toric Varieties
|-
|-
| bgcolor="#BCD2EE" | Abstract: Bring your questions!
| bgcolor="#BCD2EE" |Abstract: This talk will include two parts. In the first part, I will briefly introduce toric varieties, and give some examples. I will also explain how they are related to the combinatorial objects called fans. Only some basic algebraic geometry will be used in this part. In the second part, I will talk about Cox's construction of representing any toric variety as a quotient space, and his famous Cox ring. As a corollary, we can prove that the automorphism group of a complete simplicial toric variety is a linear algebraic group. I will use some basic knowledge of toric varieties in this part.
|}                                                                         
|}                                                                         
</center>
</center>


=== February 17 ===
===September 30===
<center>
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | '''Asvin G '''
| bgcolor="#A6B658" align="center" style="font-size:125%" |Asvin G
|-
|-
| bgcolor="#BCD2EE" align="center" | Title: Motives
| bgcolor="#BCD2EE" align="center" |Title: The moduli space of curves
|-
|-
| bgcolor="#BCD2EE" | Abstract: Some motivation behind motives
| bgcolor="#BCD2EE" |Abstract: I'll give a brief introduction to moduli spaces and focus mostly on the moduli spaces of genus 0 curves with marked points. These spaces are at the same time quite explicit and easy to describe while also having connections with many interesting parts of mathematics. I'll try to keep the topic fairly elementary.
|}                                                                         
|}                                                                         
</center>
</center>


=== February 24 ===
===October 7===
<center>
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | ''' Yu LUO (Joey) '''
| bgcolor="#A6B658" align="center" style="font-size:125%" |Alex Hof
|-
|-
| bgcolor="#BCD2EE" align="center" | Title: Riemann-Hilbert Correspondence
| bgcolor="#BCD2EE" align="center" |Title: Revenge of the Classical Topology
|-
|-
| bgcolor="#BCD2EE" | Abstract: During the talk, I will start with "nonsingular" version of Riemann-Hilbert correspondence between flat vector bundles and local systems. Then I will introduce the regular singularity, then sketch the Riemann-Hilbert correspondence with regular singularity. If time permit, I will brief mention some applications.
| bgcolor="#BCD2EE" |Abstract: The Zariski topology is pretty cool, but, if we're working over the complex numbers, we can also think about the classical topology we're used to from other areas of math. In this talk, we'll discuss analytification, the process of passing from an algebraic variety (or scheme) to the corresponding classical object (or complex-analytic space), and touch on various facts about the relationship between the two, such as Serre's GAGA principle. If time permits, we'll also talk a little about tools we can use to gain insight about varieties once we've analytified them, such as the theory of stratifications.
\end{abstract}
|}                                                                         
|}                                                                         
</center>
</center>


=== March 10 ===
=== October 14===
<center>
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | ''' Colin Crowley '''
| bgcolor="#A6B658" align="center" style="font-size:125%" |John Cobb
|-
|-
| bgcolor="#BCD2EE" align="center" | Title: An introduction to Tropicalization
| bgcolor="#BCD2EE" align="center" |Title: Virtual Resolutions and Syzygies
|-
|-
| bgcolor="#BCD2EE" | Abstract: Tropicalization is a logarithmic process (functor) that takes embedded algebraic varieties to polyhedral complexes. The complexes that are in the image have some additional structure which leads to the definition of a tropical variety, the main object of study in tropical geometry. I'll talk about the first paper to use these ideas, and the problem that they were used to solve.
| bgcolor="#BCD2EE" | Abstract: Starting from polynomials and proceeding with specific examples, the first part of this talk is dedicated to motivating the idea of syzygies and the geometric information they encode about projective varieties. This will lead us to a current focus of research: How can we use these important tools when our variety is not projective? At least in the situation of toric varieties, we can use a generalization called ''virtual'' syzygies. The second part of the talk will focus on answering a few basic questions about these analogues, such as: How can we construct examples? How complicated do they get (at least in the case of curves)?
|}                                                                         
|}                                                                         
</center>
</center>


=== March 31 ===
===October 21===
<center>
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | ''' Ruofan '''
| bgcolor="#A6B658" align="center" style="font-size:125%" |Yifan
|-
|-
| bgcolor="#BCD2EE" align="center" | Title: Motivic class of stack of finite modules over a cusp
| bgcolor="#BCD2EE" align="center" |Title:
|-
|-
| bgcolor="#BCD2EE" | Abstract: We find the explicit motivic class of stack of finite modules over some complete local rings. This is some recent work originated from a project with Asvin and Yifan.
| bgcolor="#BCD2EE" |Abstract:
|}                                                                         
|}                                                                         
</center>
</center>


=== April 7 ===
=== October 28===
<center>
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | ''' Alex Hof '''
| bgcolor="#A6B658" align="center" style="font-size:125%" |Ivan Aidun
|-
|-
| bgcolor="#BCD2EE" align="center" | Title: Geometric Intuitions for Flatness
| bgcolor="#BCD2EE" align="center" |Title: Gröbner Bases and Computations in Algebraic Geometry
|-
|-
| bgcolor="#BCD2EE" | Abstract: Flatness is often described as the correct characterization of what it means to have "a nicely varying family of things" in the setting of algebraic geometry. In this talk, which is intended to be pretty low-key, I'll dig a little bit more into what that means, and discuss some theorems and examples that refine and clarify this intuition in various ways.
| bgcolor="#BCD2EE" |Abstract: Gröbner bases are the most important computational tools in algebraic geometry and commutative algebra. They can be computed by an algorithm which simultaneously generalizes row reduction for matrices and the Eucliden algorithm for polynomial division.  This algorithm has two peculiar properties: its worst-case time complexity is doubly exponential in the number of variables, but it also runs quickly on most examples of practical interest.  What could account for the difference between the expected and actual runtime of this algorithm?
|}                                                                         
|}                                                                         
</center>
</center>


=== April 14 ===
===November 2===
<center>
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | ''' Caitlyn Booms '''
| bgcolor="#A6B658" align="center" style="font-size:125%" |Some Matroid Person
|-
|-
| bgcolor="#BCD2EE" align="center" | Title: Virtual criterion for generalized Eagon-Northcott complexes
| bgcolor="#BCD2EE" align="center" |Title:
|-
|-
| bgcolor="#BCD2EE" | Abstract: The Eagon-Northcott complex of a map of finitely generated free modules has been an interest of study since 1962, as it generically resolves the ideal of maximal minors of the matrix that defines the map. In 1975, Buchsbaum and Eisenbud described a family of generalized Eagon-Northcott complexes associated to a map of free modules, which are also generically minimal free resolutions. As introduced by Berkesch, Erman, and Smith in 2020, when working over a smooth projective toric variety, virtual resolutions, rather than minimal free resolutions, are a better tool for understanding the geometry of a space. I will describe sufficient criteria for the family of generalized Eagon-Northcott complexes of a map to be virtual resolutions, thus adding to the known examples of virtual resolutions, particularly those not coming from minimal free resolutions.
| bgcolor="#BCD2EE" |Abstract:
|}                                                                         
|}                                                                         
</center>
</center>


=== April 21 ===
===November 11===
<center>
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | ''' Connor Simpson '''
| bgcolor="#A6B658" align="center" style="font-size:125%" |Connor Simpson
|-
|-
| bgcolor="#BCD2EE" align="center" | Title: Symplectic geometry and invariant theory
| bgcolor="#BCD2EE" align="center" |Title: A miraculous theorem of Brion
|-
|-
| bgcolor="#BCD2EE" | Abstract: We discuss connections between symplectic geometry and invariant theory.
| bgcolor="#BCD2EE" |Abstract: Schubert varieties give a basis for the cohomology ring of the grassmannian. We'll discuss a heorem of Brion, which says that subvarieties of the grassmannian whose expression in the schubert basis uses only 0 and 1 coefficients have numerous nice properties.
|}                                                                         
|}                                                                         
</center>
</center>


=== April 28 ===
===November 18===
<center>
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | ''' Karan '''
| bgcolor="#A6B658" align="center" style="font-size:125%" |Alex Mine
|-
|-
| bgcolor="#BCD2EE" align="center" | Title: Using varieties to study polynomial neural networks
| bgcolor="#BCD2EE" align="center" |Title: Singular curves


|-
|-
| bgcolor="#BCD2EE" | Abstract: In this talk, I will exposit the work of Kileel, Trager, and Bruna in their 2019 paper "On the Expressive power of Polynomial Neural Networks". We will look at 1) what a polynomial neural network is and how we can interpret the output such networks as varieties, 2) why the dimension of this variety and the expressive power of this network are related, and 3) how the study of these varieties might tell us something about the architecture of the network.  
| bgcolor="#BCD2EE" |Abstract: I’ll say a few things that I know about singular curves and their compactified Jacobians, and maybe even a few things that I don’t.  
|}                                                                         
|}                                                                         
</center>
</center>


=== May 5 ===
===December 2===
<center>
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" | ''' Ellie Thieu '''
| bgcolor="#A6B658" align="center" style="font-size:125%" |Kevin Dao
|-
|-
| bgcolor="#BCD2EE" align="center" | Title: Visualizing Cohomology
| bgcolor="#BCD2EE" align="center" |Title: Commentary on Local Cohomology
|-
|-
| bgcolor="#BCD2EE" | Abstract: We will go through Ravi’s picture book together. While thinking about how to present it, I was faced with the choice of either redrawing the whole picture book, or just be honest about my cheating and use the author’s very own beautiful illustrations. This way of looking at cohomology is not perfect, but it offers a very simple understanding of taking cohomology and spectral sequences. I will deliver how to visualize cohomology, and declare it an early victory. Then we will go as far as time allow to understand spectral sequences.
| bgcolor="#BCD2EE" |Abstract: Local cohomology is sheaf cohomology with supports which provides local information. Applications include the proof of Hard Lefschetz Theorems, bounds on the generators of a radical ideals, and results regarding connectedness of varieties like the Fulton-Hansen Theorem. For this talk, I will define the local cohomology functors, describe different ways to define it, properties of local cohomology, the punctured spectrum, and some applications. If time permits, will sketch the proof of the Fulton-Hansen Theorem.
|}                                                                       
</center>


Please bring your laptop, or anything you can use to follow the illustrations. Because, alas, I will not redraw them on the board.
===December 9===
<center>
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table
|-
| bgcolor="#A6B658" align="center" style="font-size:125%" |Yu (Joey) LUO
|-
| bgcolor="#BCD2EE" align="center" |Title: Yoneda Embedding and Moduli Problems
|-
| bgcolor="#BCD2EE" |Abstract: This will be a talk intended for the first year algebraic geometers. I'll start with Yoneda embedding and "functor of points", and briefly discuss what we can do under this setting. Then I will talk about the moduli problems. For each part I will give some examples, which example I will give is depends on how many scheme theory I'm allowed to use.
If time permits, I can talk about some generalization, depends on how many fancy language I'm allowed to use.
|}                                                                         
|}                                                                         
</center>
</center>


== Past Semesters ==
==Past Semesters==
[https://wiki.math.wisc.edu/index.php/Graduate_Algebraic_Geometry_Seminar_Spring_2022 Spring 2022]
 
[https://hilbert.math.wisc.edu/wiki/index.php/Graduate_Algebraic_Geometry_Seminar_Fall_2021 Fall 2021]
[https://hilbert.math.wisc.edu/wiki/index.php/Graduate_Algebraic_Geometry_Seminar_Fall_2021 Fall 2021]



Latest revision as of 00:00, 4 December 2022

When: 1:30-2:30 PM on Fridays

Where: Van Vleck B219

Toby 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. Sometimes people present an interesting paper they find. Other times people give a prep talk for the 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@g-groups.wisc.edu by sending an email to gags+subscribe@g-groups.wisc.edu. If you prefer (and are logged in under your wisc google account) the list registration page is here.

Organizers: John Cobb, Yu (Joey) Luo

Give a talk!

We need volunteers to give talks this semester. Beginning graduate students are particularly encouraged to give a talk, since it's a great way to get your feet wet with the material. If you would like some talk ideas, see the list on the main page. Sign up here: https://forms.gle/XUAq1VFFqqErKDEh6.

Fall 2022 Topic Wish List

This was assembled using input from an interest form at the beginning of the semester. Choose one and you will have the rare guarantee of having one interested audience member. Feel free to add your own.

  • Hilbert Schemes
  • Geothendieck '66, "On the de Rham Cohomology of Algebraic Varieties"
  • Going from line bundles and divisors to vector bundles and chern classes
  • A History of the Weil Conjectures
  • Mumford & Bayer, "What can be computed in Algebraic Geometry?"
  • A pre talk for any other upcoming talk
  • Weil Conjectures, GAGA theorems, surfaces of general type, moduli spaces, moduli of curves, mixed characteristics (stuff), elliptic curves, abelian varieties, hyperelliptic curves, resolution of singularities, minimal model program (stuff).

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

Talks

Date Speaker Title
September 23 Yiyu Wang The Cox Ring of Toric Varieties
September 30 Asvin G. The moduli space of curves
October 7 Alex Hof Revenge of the Classical Topology
October 14 John Cobb Virtual Resolutions and Syzygies
October 21 Yifan TBA
October 28 Ivan Aidun Gröbner Bases and Computations in Algebraic Geometry
November 2 Some Matroid Person TBA
November 11 Connor Simpson A miraculous theorem of Brion
November 18 Alex Mine Singular curves
December 2 Kevin Dao Commentary on Local Cohomology
December 9 Yu LUO Yoneda Embedding and Moduli Problems

September 23

Yiyu Wang
Title: The Cox Ring of Toric Varieties
Abstract: This talk will include two parts. In the first part, I will briefly introduce toric varieties, and give some examples. I will also explain how they are related to the combinatorial objects called fans. Only some basic algebraic geometry will be used in this part. In the second part, I will talk about Cox's construction of representing any toric variety as a quotient space, and his famous Cox ring. As a corollary, we can prove that the automorphism group of a complete simplicial toric variety is a linear algebraic group. I will use some basic knowledge of toric varieties in this part.

September 30

Asvin G
Title: The moduli space of curves
Abstract: I'll give a brief introduction to moduli spaces and focus mostly on the moduli spaces of genus 0 curves with marked points. These spaces are at the same time quite explicit and easy to describe while also having connections with many interesting parts of mathematics. I'll try to keep the topic fairly elementary.

October 7

Alex Hof
Title: Revenge of the Classical Topology
Abstract: The Zariski topology is pretty cool, but, if we're working over the complex numbers, we can also think about the classical topology we're used to from other areas of math. In this talk, we'll discuss analytification, the process of passing from an algebraic variety (or scheme) to the corresponding classical object (or complex-analytic space), and touch on various facts about the relationship between the two, such as Serre's GAGA principle. If time permits, we'll also talk a little about tools we can use to gain insight about varieties once we've analytified them, such as the theory of stratifications.

October 14

John Cobb
Title: Virtual Resolutions and Syzygies
Abstract: Starting from polynomials and proceeding with specific examples, the first part of this talk is dedicated to motivating the idea of syzygies and the geometric information they encode about projective varieties. This will lead us to a current focus of research: How can we use these important tools when our variety is not projective? At least in the situation of toric varieties, we can use a generalization called virtual syzygies. The second part of the talk will focus on answering a few basic questions about these analogues, such as: How can we construct examples? How complicated do they get (at least in the case of curves)?

October 21

Yifan
Title:
Abstract:

October 28

Ivan Aidun
Title: Gröbner Bases and Computations in Algebraic Geometry
Abstract: Gröbner bases are the most important computational tools in algebraic geometry and commutative algebra. They can be computed by an algorithm which simultaneously generalizes row reduction for matrices and the Eucliden algorithm for polynomial division. This algorithm has two peculiar properties: its worst-case time complexity is doubly exponential in the number of variables, but it also runs quickly on most examples of practical interest. What could account for the difference between the expected and actual runtime of this algorithm?

November 2

Some Matroid Person
Title:
Abstract:

November 11

Connor Simpson
Title: A miraculous theorem of Brion
Abstract: Schubert varieties give a basis for the cohomology ring of the grassmannian. We'll discuss a heorem of Brion, which says that subvarieties of the grassmannian whose expression in the schubert basis uses only 0 and 1 coefficients have numerous nice properties.

November 18

Alex Mine
Title: Singular curves
Abstract: I’ll say a few things that I know about singular curves and their compactified Jacobians, and maybe even a few things that I don’t.

December 2

Kevin Dao
Title: Commentary on Local Cohomology
Abstract: Local cohomology is sheaf cohomology with supports which provides local information. Applications include the proof of Hard Lefschetz Theorems, bounds on the generators of a radical ideals, and results regarding connectedness of varieties like the Fulton-Hansen Theorem. For this talk, I will define the local cohomology functors, describe different ways to define it, properties of local cohomology, the punctured spectrum, and some applications. If time permits, will sketch the proof of the Fulton-Hansen Theorem.

December 9

Yu (Joey) LUO
Title: Yoneda Embedding and Moduli Problems
Abstract: This will be a talk intended for the first year algebraic geometers. I'll start with Yoneda embedding and "functor of points", and briefly discuss what we can do under this setting. Then I will talk about the moduli problems. For each part I will give some examples, which example I will give is depends on how many scheme theory I'm allowed to use.

If time permits, I can talk about some generalization, depends on how many fancy language I'm allowed to use.

Past Semesters

Spring 2022

Fall 2021

Spring 2021

Fall 2020

Spring 2020

Fall 2019

Spring 2019

Fall 2018

Spring 2018

Fall 2017

Spring 2017

Fall 2016

Spring 2016

Fall 2015