NTSGrad Fall 2015/Abstracts: Difference between revisions

From UW-Math Wiki
Jump to navigation Jump to search
No edit summary
m (Blalberts moved page NTSGrad/Abstracts to NTSGrad Fall 2015/Abstracts: Old)
 
(18 intermediate revisions by 3 users not shown)
Line 30: Line 30:


PS: The number of references to Elijah Wood will be bounded — just like the number of rational points on our curves.
PS: The number of references to Elijah Wood will be bounded — just like the number of rational points on our curves.
|}                                                                       
</center>
<br>
== Sep 22 ==
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" |
|-
| bgcolor="#BCD2EE"  align="center" |
|-
| bgcolor="#BCD2EE"  | 
|}                                                                         
|}                                                                         
</center>
</center>
Line 55: Line 40:
{| 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="#F0A0A0" align="center" style="font-size:125%" | '''David Bruce'''
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Eric Ramos'''
|-
|-
| bgcolor="#BCD2EE"  align="center" |  
| bgcolor="#BCD2EE"  align="center" | ''Generalized Representation Stability and FI_d-modules.''
|-
|-
| bgcolor="#BCD2EE"  |   
| bgcolor="#BCD2EE"  |  Let FI denote the category of finite sets and injections.
|}                                                                       
Representations of this category, known as FI-modules, have been shown
</center>
to have incredible applications to topology and arithmetic statistics.
More recently, Sam and Snowden have begun looking at a more general
category, FI_d, whose objects are finite sets, and whose morphisms are
pairs (f,g) of an injection f with a d-coloring of the compliment of
the image of f. These authors discovered that while this category is
very nearly FI, its representations are considerably more complicated.
One way to simplify the theory is to use the combinatorics of FI_d and
the symmetric groups to our advantage.


<br>
In this talk we will approach the representation theory of FI_d using
 
mostly combinatorial methods. As a result, we will be about to prove
== Oct 06 ==
theorems which restrict the growth of these representations in terms
 
of certain combinatorial criterion. The talk will be as self contained
<center>
as possible. It should be of interest to anyone studying
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
representation theory or algebraic combinatorics.
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Daniel Ross'''
|-
| bgcolor="#BCD2EE"  align="center" |
|-
| bgcolor="#BCD2EE"  | 
ABSTRACT
|}                                                                       
</center>
 
<br>
 
== Oct 13 ==
 
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Eric Ramos'''
|-
| bgcolor="#BCD2EE"  align="center" |
|-
| bgcolor="#BCD2EE"  | 
|}                                                                         
|}                                                                         
</center>
</center>
Line 101: Line 71:
{| 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="#F0A0A0" align="center" style="font-size:125%" | '''Zachary Charles'''
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Wanlin Li'''
|-
|-
| bgcolor="#BCD2EE"  align="center" |  
| bgcolor="#BCD2EE"  align="center" |  
Line 117: Line 87:
{| 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="#F0A0A0" align="center" style="font-size:125%" |  
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Megan Maguire'''
|-
|-
| bgcolor="#BCD2EE"  align="center" |  
| bgcolor="#BCD2EE"  align="center" | ''How I accidentally became a topologist: a cautionary tale''
|-
|-
| bgcolor="#BCD2EE"  |   
| bgcolor="#BCD2EE"  |  The Grothendieck Ring of Varieties is super cool (that's a technical term) and can be used to predict things about the complex topology of complex varieties (like what their Betti numbers should be). However, you can't prove these topological things just using the Grothendieck ring. You have to get down and dirty with topology. It's still pretty cool.
|}                                                                         
|}                                                                         
</center>
</center>
Line 134: Line 104:
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Solly Parenti'''
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Solly Parenti'''
|-
|-
| bgcolor="#BCD2EE"  align="center" |  
| bgcolor="#BCD2EE"  align="center" | ''Golod-Shafarevich or: How I learned to Stop Worrying and Love Cohomology''
|-
|-
| bgcolor="#BCD2EE"  |   
| bgcolor="#BCD2EE"  |  Start with a number field K.  Let K_1 be the Hilbert class field of K. Let K_2 be the Hilbert class field of K_1.  If we keep defining K_n
like this, does it eventually stabilize?  In 1964, Golod and
Shafarevich proved that this tower of fields can be infinite.  The
proof of this fact comes down to some facts about group theory and
more specifically group cohomology.  This talk will be an introduction
to group cohomology and we'll even try to prove Golod and
Shafarevich's result if we have time.
|}                                                                         
|}                                                                         
</center>
</center>
Line 142: Line 118:
<br>
<br>


== Nov 04 ==
== Nov 24 ==


<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="#F0A0A0" align="center" style="font-size:125%" | '''Vlad Matei'''
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Peng Yu'''
|-
|-
| bgcolor="#BCD2EE"  align="center" | ''Modular forms for definite quaternion algebras''
| bgcolor="#BCD2EE"  align="center" | ''Introduction to Singular Moduli''
|-
|-
| bgcolor="#BCD2EE"  |   
| bgcolor="#BCD2EE"  |   
The Jacquet-Langlands theorem states that given two quaternion algebras, then certain automorphic forms for one of them are in canonical bijection with certain automorphic forms for the other. This seems far too general and also a bit vague.So if one translates the statement of the JL theorem down a bit, we should have that  certain classical modular forms should be related to certain "modular forms" on other quaternion algebras. We will define modular forms for quaternion algebras, and we will see that for definite quaternion algebras they are very concrete algebraic objects.
The values of j-function at imaginary quadratic argument are called singular moduli as they correspond to the j-invariants of singular elliptic curves. These singular moduli turn out to be highly divisible as predicted by a remarkable theorem of Gross and Zagier. I will give a brief introduction of singular moduli and some interesting results about them.
|}                                                                         
|}                                                                         
</center>
</center>
Line 158: Line 134:
<br>
<br>


== Nov 11 ==
== Dec 01 ==


<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="#F0A0A0" align="center" style="font-size:125%" | '''Ryan Julian'''
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Daniel Ross'''
|-
|-
| bgcolor="#BCD2EE"  align="center" | ''What is a K3 surface, and why are K1 and K2 surfaces only studied by mountain climbers?''
| bgcolor="#BCD2EE"  align="center" | Number theory and modern cryptography
|-
|-
| bgcolor="#BCD2EE"  |   
| bgcolor="#BCD2EE"  |   
In preparation for Thursday's talk on the Shafarevich conjecture for K3 surfaces, I will attempt to build up enough of the definitions and background theory of differential geometry to define what a K3 surface is.  In particular, I hope to explain how K3 surfaces fit into a larger classification of algebraic surfaces, allowing us to prove theorems in a more restricted setting before tackling surfaces of general type.  Time permitting, I might even give a couple examples of K3 surfaces.  If we're really lucky, I might even have time to explain the hilarious semi-joke in the title above.
This will be a survey-level talk.  We'll start with the state of practical RSA and then discuss some cryptosystems that address security-related questions for which there isn't a known answer in the case of RSA.  Time permitting, we'll also discuss applications of class field theory to one promising class of such systems.
|}                                                                         
|}                                                                         
</center>
</center>
Line 174: Line 150:
<br>
<br>


== Nov 18 ==
== Dec 08 ==


<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="#F0A0A0" align="center" style="font-size:125%" | '''SPEAKER'''
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Zachary Charles'''
|-
|-
| bgcolor="#BCD2EE"  align="center" | TITLE
| bgcolor="#BCD2EE"  align="center" | ''Generating random factored numbers and ideals, easily''
|-
|-
| bgcolor="#BCD2EE"  |   
| bgcolor="#BCD2EE"  |  Say we want to generate a number, up to some bound N, uniformly at random, but we also want to know its factorization. We could generate a number and then factor it, but factoring isn't known to be polynomial time. In his dissertation, Eric Bach gave a polynomial time way to do this. We will present an alternative polynomial time algorithm for generating a number and its factorization uniformly at random. We will then extend this to the problem of generating ideals in number fields and their factorization uniformly at random, in polynomial time. If time permits, we will discuss how to extend this to arbitrary number fields.
ABSTRACT
|}                                                                       
</center>
 
<br>
 
== Nov 25 ==
 
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''SPEAKER'''
|-
| bgcolor="#BCD2EE"  align="center" | TITLE
|-
| bgcolor="#BCD2EE"  | 
ABSTRACT
|}                                                                       
</center>
 
<br>
 
== Dec 02 ==
 
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''SPEAKER'''
|-
| bgcolor="#BCD2EE"  align="center" | TITLE
|-
| bgcolor="#BCD2EE"  | 
ABSTRACT
|}                                                                         
|}                                                                         
</center>
</center>
Line 222: Line 165:
<br>
<br>


== Dec 09 ==
== Dec 15 ==


<center>
<center>
Line 229: Line 172:
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Jiuya Wang'''
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Jiuya Wang'''
|-
|-
| bgcolor="#BCD2EE"  align="center" | Parametrization of Cubic Field
| bgcolor="#BCD2EE"  align="center" | ''Introduction to linear code and algebraic geometry code''
|-
|-
| bgcolor="#BCD2EE"  |   
| bgcolor="#BCD2EE"  |   
The discriminant parametrizes quadratic number fields well, but it will not
Linear code is an important kind of error correcting code. I will introduce some basic knowledge of linear code and then focus on those linear codes arising from algebraic curves. We will see how the study of algebraic curve over finite field sheds light on coding theory.
work for cubic number fields. In order to develop a parametrization of
cubic number fields, we will introduce the correspondence between a cubic
ring with basis and a binary cubic form. The fact that there is a nice
correspondence between orbits under <math>GL_2(\mathbb{Z})</math>-action will give the
parametrization of cubic fields.
|}                                                                         
|}                                                                         
</center>
</center>
Line 249: Line 187:
Ryan Julian (mrjulian@math.wisc.edu)
Ryan Julian (mrjulian@math.wisc.edu)


Sean Rostami (srostami@math.wisc.edu)
[http://www.math.wisc.edu/~srostami/ Sean Rostami]


<br>
<br>

Latest revision as of 22:09, 4 September 2016

Sep 08

Vladimir Sotirov
Untitled

This is a prep talk for Sean Rostami's talk on September 10.


Sep 15

David Bruce
The Important Questions

Did the Universe come from nothing? Why are we moral? Where did we come from? According to some signs on Bascom Hill these are the important questions in life. Sadly the poor person who made these signs does not know what the really important questions are: What is David Zureick-Brown going to saying in his NTS talk? How many rational points are on the projective curve given (in affine coordinates) by: $$y^2 = x^6 + 8x^5 + 22x^4 + 22x^3 + 5x^2 + 6x + 1?$$ If you would like to be enlightened by the answers to these truly important questions come to my talk where everything will be illuminated… Or at least some of the background for Coleman and Chabauty’s method for finding rational points on curves will be discussed

PS: The number of references to Elijah Wood will be bounded — just like the number of rational points on our curves.


Sep 29

Eric Ramos
Generalized Representation Stability and FI_d-modules.
Let FI denote the category of finite sets and injections.

Representations of this category, known as FI-modules, have been shown to have incredible applications to topology and arithmetic statistics. More recently, Sam and Snowden have begun looking at a more general category, FI_d, whose objects are finite sets, and whose morphisms are pairs (f,g) of an injection f with a d-coloring of the compliment of the image of f. These authors discovered that while this category is very nearly FI, its representations are considerably more complicated. One way to simplify the theory is to use the combinatorics of FI_d and the symmetric groups to our advantage.

In this talk we will approach the representation theory of FI_d using mostly combinatorial methods. As a result, we will be about to prove theorems which restrict the growth of these representations in terms of certain combinatorial criterion. The talk will be as self contained as possible. It should be of interest to anyone studying representation theory or algebraic combinatorics.


Oct 20

Wanlin Li

ABSTRACT


Oct 27

Megan Maguire
How I accidentally became a topologist: a cautionary tale
The Grothendieck Ring of Varieties is super cool (that's a technical term) and can be used to predict things about the complex topology of complex varieties (like what their Betti numbers should be). However, you can't prove these topological things just using the Grothendieck ring. You have to get down and dirty with topology. It's still pretty cool.


Nov 3

Solly Parenti
Golod-Shafarevich or: How I learned to Stop Worrying and Love Cohomology
Start with a number field K. Let K_1 be the Hilbert class field of K. Let K_2 be the Hilbert class field of K_1. If we keep defining K_n

like this, does it eventually stabilize? In 1964, Golod and Shafarevich proved that this tower of fields can be infinite. The proof of this fact comes down to some facts about group theory and more specifically group cohomology. This talk will be an introduction to group cohomology and we'll even try to prove Golod and Shafarevich's result if we have time.


Nov 24

Peng Yu
Introduction to Singular Moduli

The values of j-function at imaginary quadratic argument are called singular moduli as they correspond to the j-invariants of singular elliptic curves. These singular moduli turn out to be highly divisible as predicted by a remarkable theorem of Gross and Zagier. I will give a brief introduction of singular moduli and some interesting results about them.


Dec 01

Daniel Ross
Number theory and modern cryptography

This will be a survey-level talk. We'll start with the state of practical RSA and then discuss some cryptosystems that address security-related questions for which there isn't a known answer in the case of RSA. Time permitting, we'll also discuss applications of class field theory to one promising class of such systems.


Dec 08

Zachary Charles
Generating random factored numbers and ideals, easily
Say we want to generate a number, up to some bound N, uniformly at random, but we also want to know its factorization. We could generate a number and then factor it, but factoring isn't known to be polynomial time. In his dissertation, Eric Bach gave a polynomial time way to do this. We will present an alternative polynomial time algorithm for generating a number and its factorization uniformly at random. We will then extend this to the problem of generating ideals in number fields and their factorization uniformly at random, in polynomial time. If time permits, we will discuss how to extend this to arbitrary number fields.


Dec 15

Jiuya Wang
Introduction to linear code and algebraic geometry code

Linear code is an important kind of error correcting code. I will introduce some basic knowledge of linear code and then focus on those linear codes arising from algebraic curves. We will see how the study of algebraic curve over finite field sheds light on coding theory.


Organizer contact information

Megan Maguire (mmaguire2@math.wisc.edu)

Ryan Julian (mrjulian@math.wisc.edu)

Sean Rostami



Return to the Number Theory Graduate Student Seminar Page

Return to the Number Theory Seminar Page

Return to the Algebra Group Page