Graduate Algebraic Geometry Seminar Fall 2022: Difference between revisions
(→Talks) |
|||
(18 intermediate revisions by 4 users not shown) | |||
Line 13: | Line 13: | ||
==Give a talk!== | ==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 [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. | ||
===Fall 2022 Topic Wish List=== | ===Fall 2022 Topic Wish List=== | ||
Line 40: | Line 40: | ||
|- | |- | ||
| bgcolor="#E0E0E0" |September 23 | | bgcolor="#E0E0E0" |September 23 | ||
| bgcolor="#C6D46E" | | | bgcolor="#C6D46E" |Yiyu Wang | ||
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#September 23| | | bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#September 23|The Cox Ring of Toric Varieties]] | ||
|- | |- | ||
| bgcolor="#E0E0E0" |September 30 | | bgcolor="#E0E0E0" |September 30 | ||
| bgcolor="#C6D46E" | | | bgcolor="#C6D46E" |Asvin G. | ||
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#September 30|The | | bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#September 30|The moduli space of curves]] | ||
|- | |- | ||
| bgcolor="#E0E0E0" |October 7 | | bgcolor="#E0E0E0" |October 7 | ||
| bgcolor="#C6D46E" |Alex Hof | | bgcolor="#C6D46E" |Alex Hof | ||
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 7| | | bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 7|Revenge of the Classical Topology]] | ||
|- | |- | ||
| bgcolor="#E0E0E0" |October 14 | | bgcolor="#E0E0E0" |October 14 | ||
| bgcolor="#C6D46E" |John Cobb | | bgcolor="#C6D46E" |John Cobb | ||
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 14|Virtual Resolutions and | | bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 14|Virtual Resolutions and Syzygies]] | ||
|- | |- | ||
| bgcolor="#E0E0E0" |October 21 | | bgcolor="#E0E0E0" |October 21 | ||
| bgcolor="#C6D46E" | | | bgcolor="#C6D46E" |Yifan | ||
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 21|TBA]] | | bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 21|TBA]] | ||
|- | |- | ||
| bgcolor="#E0E0E0" |October 28 | | bgcolor="#E0E0E0" |October 28 | ||
| bgcolor="#C6D46E" | | | bgcolor="#C6D46E" |Ivan Aidun | ||
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 28| | | bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#October 28|Gröbner Bases and Computations in Algebraic Geometry]] | ||
|- | |- | ||
| bgcolor="#E0E0E0" |November 2 | | bgcolor="#E0E0E0" |November 2 | ||
Line 69: | Line 69: | ||
| bgcolor="#E0E0E0" | November 11 | | bgcolor="#E0E0E0" | November 11 | ||
| bgcolor="#C6D46E" |Connor Simpson | | bgcolor="#C6D46E" |Connor Simpson | ||
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#November 11| | | bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#November 11|A miraculous theorem of Brion]] | ||
|- | |- | ||
| bgcolor="#E0E0E0" |November 18 | | bgcolor="#E0E0E0" |November 18 | ||
| bgcolor="#C6D46E" | | | bgcolor="#C6D46E" |Alex Mine | ||
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#November 18| | | bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#November 18|Singular curves]] | ||
|- | |- | ||
| bgcolor="#E0E0E0" |December 2 | | bgcolor="#E0E0E0" |December 2 | ||
| bgcolor="#C6D46E" |Kevin Dao | | bgcolor="#C6D46E" |Kevin Dao | ||
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#December 2| | | bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#December 2|Commentary on Local Cohomology]] | ||
|- | |- | ||
| bgcolor="#E0E0E0" | December 9 | | bgcolor="#E0E0E0" | December 9 | ||
| bgcolor="#C6D46E" | Yu | | bgcolor="#C6D46E" | Yu LUO | ||
| bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#December 9| | | bgcolor="#BCE2FE" |[[Graduate Algebraic Geometry Seminar Fall 2022#December 9|Yoneda Embedding and Moduli Problems]] | ||
|} | |} | ||
</center> | </center> | ||
Line 89: | Line 89: | ||
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | {| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | ||
|- | |- | ||
| bgcolor="#A6B658" align="center" style="font-size:125%" | | | bgcolor="#A6B658" align="center" style="font-size:125%" | Yiyu Wang | ||
|- | |- | ||
| bgcolor="#BCD2EE" align="center" |Title: | | bgcolor="#BCD2EE" align="center" |Title: The Cox Ring of Toric Varieties | ||
|- | |- | ||
| bgcolor="#BCD2EE" |Abstract: | | 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> | ||
Line 101: | Line 101: | ||
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | {| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | ||
|- | |- | ||
| bgcolor="#A6B658" align="center" style="font-size:125%" | | | bgcolor="#A6B658" align="center" style="font-size:125%" |Asvin G | ||
|- | |- | ||
| bgcolor="#BCD2EE" align="center" |Title | | bgcolor="#BCD2EE" align="center" |Title: The moduli space of curves | ||
|- | |- | ||
| bgcolor="#BCD2EE" |Abstract: | | 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> | ||
Line 115: | Line 115: | ||
| bgcolor="#A6B658" align="center" style="font-size:125%" |Alex Hof | | bgcolor="#A6B658" align="center" style="font-size:125%" |Alex Hof | ||
|- | |- | ||
| bgcolor="#BCD2EE" align="center" |Title: | | bgcolor="#BCD2EE" align="center" |Title: Revenge of the Classical Topology | ||
|- | |- | ||
| bgcolor="#BCD2EE" |Abstract: | | 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. | ||
|} | |} | ||
</center> | </center> | ||
Line 127: | Line 127: | ||
| bgcolor="#A6B658" align="center" style="font-size:125%" |John Cobb | | bgcolor="#A6B658" align="center" style="font-size:125%" |John Cobb | ||
|- | |- | ||
| bgcolor="#BCD2EE" align="center" |Title: | | bgcolor="#BCD2EE" align="center" |Title: Virtual Resolutions and Syzygies | ||
|- | |- | ||
| bgcolor="#BCD2EE" | Abstract: | | 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> | ||
Line 137: | Line 137: | ||
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | {| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | ||
|- | |- | ||
| bgcolor="#A6B658" align="center" style="font-size:125%" | | | bgcolor="#A6B658" align="center" style="font-size:125%" |Yifan | ||
|- | |- | ||
| bgcolor="#BCD2EE" align="center" |Title: | | bgcolor="#BCD2EE" align="center" |Title: | ||
Line 149: | Line 149: | ||
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | {| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | ||
|- | |- | ||
| bgcolor="#A6B658" align="center" style="font-size:125%" | | | bgcolor="#A6B658" align="center" style="font-size:125%" |Ivan Aidun | ||
|- | |- | ||
| bgcolor="#BCD2EE" align="center" |Title: | | bgcolor="#BCD2EE" align="center" |Title: Gröbner Bases and Computations in Algebraic Geometry | ||
|- | |- | ||
| bgcolor="#BCD2EE" |Abstract: | | 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> | ||
Line 175: | Line 175: | ||
| 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: | | bgcolor="#BCD2EE" align="center" |Title: A miraculous theorem of Brion | ||
|- | |- | ||
| bgcolor="#BCD2EE" |Abstract: | | 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> | ||
Line 185: | Line 185: | ||
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | {| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | ||
|- | |- | ||
| bgcolor="#A6B658" align="center" style="font-size:125%" | | | bgcolor="#A6B658" align="center" style="font-size:125%" |Alex Mine | ||
|- | |- | ||
| bgcolor="#BCD2EE" align="center" |Title: | | bgcolor="#BCD2EE" align="center" |Title: Singular curves | ||
|- | |- | ||
| bgcolor="#BCD2EE" |Abstract: | | 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> | ||
Line 200: | Line 200: | ||
| bgcolor="#A6B658" align="center" style="font-size:125%" |Kevin Dao | | bgcolor="#A6B658" align="center" style="font-size:125%" |Kevin Dao | ||
|- | |- | ||
| bgcolor="#BCD2EE" align="center" |Title: | | bgcolor="#BCD2EE" align="center" |Title: Commentary on Local Cohomology | ||
|- | |- | ||
| bgcolor="#BCD2EE" |Abstract: | | 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> | </center> | ||
Line 210: | Line 210: | ||
{| style="color:black; font-size:100%" border="2" cellpadding="10" width="700" cellspacing="20" table | {| 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) | | bgcolor="#A6B658" align="center" style="font-size:125%" |Yu (Joey) LUO | ||
|- | |- | ||
| bgcolor="#BCD2EE" align="center" |Title: | | bgcolor="#BCD2EE" align="center" |Title: Yoneda Embedding and Moduli Problems | ||
|- | |- | ||
| bgcolor="#BCD2EE" |Abstract: | | 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> |
Latest revision as of 00:00, 4 December 2022
When: 1:30-2:30 PM on Fridays
Where: Van Vleck B219
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. |