BEGIN:VCALENDAR
VERSION:2.0
PRODID:Mathematics Seminar Calendar
BEGIN:VEVENT
UID:20191211T010438-19613@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:Gröbner basis and the Ideal Membership problem
DESCRIPTION:Speaker\: Ioannis Zachos, Michigan State\r\nWe know from the Hilbert Basis Theorem that any ideal in a polynomial ring over a field is finitely generated. However, there remains question as to the best generators to choose to describe the ideal. Are there generators for a polynomial ideal $I$ that make it easy to see if a given polynomial $f$ belongs to $I$? For instance, does $2x^2z^2+2xyz^2+2xz^3+z^3-1$ belong to $I=(x+y+z, xy+xz+yz, xyz−1)$? Deciding if a polynomial is in an ideal is called the Ideal Membership Problem. In polynomial rings of one variable, we use long division of polynomials to solve this problem. There is a corresponding algorithm for $K[x_1,\ldots, x_n]$, but because there are multiple variables and multiple divisors, the remainder of the division is not unique. Hence a remainder of $0$ is a sufficient condition, but not a necessary condition, to determine ideal membership. However, if we choose the correct divisors, then the remainder is unique regardless of the order of the divisors. These divisors are called a Gröbner basis. In our talk we will define the Gröbner basis and see how it solves the Ideal Membership Problem.
LOCATION:C304 Wells Hall
DTSTART:20190909T203000Z
DTEND:20190909T213000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=19613
END:VEVENT
BEGIN:VEVENT
UID:20191211T010438-19610@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:P.D. rings with a view towards Crystals
DESCRIPTION:Speaker\: Chuangtian Guan, MSU\r\nIn this talk we will define P.D. rings, which are triples consisting a ring, an ideal of the ring and a map on an ideal mimicking $x^n/n!$. We will give some examples of P.D. rings and discuss their properties. Then we will use the P.D. structures to define the crystalline site of schemes and crystals. If time admits we will talk about some examples of crystals and explain why we care about them.
LOCATION:C304 Wells Hall
DTSTART:20190916T203000Z
DTEND:20190916T213000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=19610
END:VEVENT
BEGIN:VEVENT
UID:20191211T010438-19631@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:Splitting Criteria for Vector Bundles on $\mathbb{P}^n$
DESCRIPTION:Speaker\: Nick Rekuski, Michigan State\r\nGrothendieck's Theorem says that any vector bundle on $\mathbb{P}^1$ can be decomposed as a finite sum of line bundles. In this talk, we will discuss a generalization of this theorem: Horrocks Splitting Criterion. This criterion completely describes when a vector bundle on $\mathbb{P}^n$ splits as a sum of line bundles. We will then discuss an open conjecture of Hartshorne. If time permits, we will also consider the similar question of classifying when a vector bundle on $\mathbb{P}^n$ decompose as line bundles and twists of the tangent bundle.
LOCATION:C304 Wells Hall
DTSTART:20190923T203000Z
DTEND:20190923T213000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=19631
END:VEVENT
BEGIN:VEVENT
UID:20191211T010438-19612@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:Root systems - a powerful tool for classification
DESCRIPTION:Speaker\: Joshua Ruiter, Michigan State\r\nRoot systems arose historically as a tool for classifying semisimple Lie algebras, but they can also be understood without that context. I will describe several concrete examples of root systems, with plenty of pictures. I will describe how to associate a special graph called a Dynkin diagram to a root system, and briefly describe the classification of root systems. If time allows, I will describe some of the applications to classifying semisimple Lie algebras and reductive algebraic groups. All you need to know to understand my talk is how to compute dot products on $\mathbb{R}^n$.
LOCATION:C304 Wells Hall
DTSTART:20190930T203000Z
DTEND:20190930T213000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=19612
END:VEVENT
BEGIN:VEVENT
UID:20191211T010438-19671@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:Recent results of GCD problems on almost $S$-units and recurrences
DESCRIPTION:Speaker\: Zheng Xiao, MSU\r\nThe GCD problem is one of the major problems in Diophantine Geometry. Corvaja, Zannier and Bugeaud first gave a fundamental result on GCD of integers powers and then generalized to rational numbers and algebraic numbers by many mathematicians. In this talk I will introduce recent GCD results on $S$-units due to Levin and generalize to almost $S$-units. I will give the definition of almost units and present the main theorem of GCD on multivariable polynomials, which is lead to a result about recurrence sequences. If time allows, I will also introduce Silverman’s generalized GCD along the blow up of a closed subscheme and apply to abelian surface case and its connection to Vojta’s conjecture.
LOCATION:C517 Wells Hall
DTSTART:20191007T203000Z
DTEND:20191007T213000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=19671
END:VEVENT
BEGIN:VEVENT
UID:20191211T010438-19614@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:The Isomorphism Theorems in an Abelian Category
DESCRIPTION:Speaker\: Dan Normand, Harvard University\r\nIt is often said that abelian categories are where homology can "naturally" occur. As the notion of an isomorphism is indispensable to the study of homology---and an innate aspect of a category---, one would hope that there are analogues to the usual three isomorphism theorems of algebra in an arbitrary abelian category. In this [talk] we show that there are indeed such analogues, and we spend time developing the machinery to implement them
LOCATION:C304 Wells Hall
DTSTART:20191014T203000Z
DTEND:20191014T213000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=19614
END:VEVENT
BEGIN:VEVENT
UID:20191211T010438-19629@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:Serre Duality I
DESCRIPTION:Speaker\: Yu Shen, Michigan State\r\nSerre duality was first proved by Serre in 1950s. It is a very useful tool in algebraic and complex geometry. In this lecture, I will use Čech cohomology to prove Serre duality of projective varieties. If time permits, I would like to talk about some applications of it.
LOCATION:C304 Wells Hall
DTSTART:20191021T203000Z
DTEND:20191021T213000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=19629
END:VEVENT
BEGIN:VEVENT
UID:20191211T010438-19630@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:Serre Duality II
DESCRIPTION:Speaker\: Yu Shen, Michigan State\r\nSerre duality was first proved by Serre in 1950s. It is a very useful tool in algebraic and complex geometry. In this lecture, I will use Čech cohomology to prove Serre duality of projective varieties. If time permits, I would like to talk about some applications of it.
LOCATION:C517 Wells Hall
DTSTART:20191028T203000Z
DTEND:20191028T213000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=19630
END:VEVENT
BEGIN:VEVENT
UID:20191211T010438-19672@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:Arithmetic intersection theory and Arakelov's Hodge Index Theorem
DESCRIPTION:Speaker\: Zheng Xiao, Michigan State\r\nThe famous Mordell-Weil conjecture was first proved by Faltings in a classical way, then Vojta gave an alternative proof using arithmetic Arakelov geometry, which is one big motivation for developing Arakelov theory into a mature tool. In this talk I will introduce Neron functions and divisors, which is an arithmetic approach to define divisors rather than classical algebraic geometry. We shall also cover arithmetic chow groups and the arithmetic intersection number. In the end I will present Neron symbols and use it to give a sketch proof of Arakelov’s Hodge Index Theorem.
LOCATION:C304 Wells Hall
DTSTART:20191104T213000Z
DTEND:20191104T223000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=19672
END:VEVENT
BEGIN:VEVENT
UID:20191211T010438-20699@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:Field norm for algebraic groups, with a view towards non-split tori
DESCRIPTION:Speaker\: Joshua Ruiter, Michigan State\r\nField norm maps are useful in many areas of algebra, such as Galois theory. Using the language of (affine) algebraic groups, I will place the field norm in a larger context, as a particular instance of a certain natural transformation. This will set us up for my talk the following week, on special subgroups of algebraic groups called tori, and what it means for such tori to be split or non-split. In particular, the generalized norm will provide a (somewhat) concrete example of a non-split torus.
LOCATION:C304 Wells Hall
DTSTART:20191111T213000Z
DTEND:20191111T223000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=20699
END:VEVENT
BEGIN:VEVENT
UID:20191211T010438-20700@math.msu.edu
DTSTAMP:20191211T010438Z
SUMMARY:Split and non-split tori
DESCRIPTION:Speaker\: Joshua Ruiter, Michigan State\r\nTori are an important structural aspect of algebraic groups, and "split" vs "non-split" tori are especially important. Unfortunately, "non-split" phenomena only occur over non-algebraically closed fields, so not all the traditional tools of classical algebraic geometry apply. Using the generalized field norm map from my talk last week, I'll describe a concrete example of a non-split torus. Then we'll try to use that example to try and understand the importance of non-split tori.
LOCATION:C517 Wells Hall
DTSTART:20191118T213000Z
DTEND:20191118T223000Z
URL:https://math.msu.edu/Seminars/TalkView.aspx?talk=20700
END:VEVENT
END:VCALENDAR