NTSGrad Spring 2018/Abstracts: Difference between revisions

From UW-Math Wiki
Jump to navigation Jump to search
No edit summary
 
(16 intermediate revisions by the same user not shown)
Line 99: Line 99:


Theta series are generating functions of the number of ways integers can be represented by quadratic forms.  Using theta series, we will construct the theta lift as a way to transfer modular(ish) forms between groups.
Theta series are generating functions of the number of ways integers can be represented by quadratic forms.  Using theta series, we will construct the theta lift as a way to transfer modular(ish) forms between groups.
|}                                                                       
</center>
<br>
== Mar 20 ==
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Soumya Sankar'''
|-
| bgcolor="#BCD2EE"  align="center" | ''Finite Hypergeometric Functions: An Introduction''
|-
| bgcolor="#BCD2EE"  | Finite Hypergeometric functions are finite field analogues of classical hypergeometric functions that come up in analysis. I will define these and talk about some ways in which they are useful in studying important number theoretic questions. 
|}                                                                       
</center>
<br>
== Apr 3 ==
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Brandon Alberts'''
|-
| bgcolor="#BCD2EE"  align="center" | ''Certain Unramified Metabelian Extensions Using Lemmermeyer Factorizations''
|-
| bgcolor="#BCD2EE"  |
We use conditions on the discriminant of an abelian extension <math>K/\mathbb{Q}</math> to classify unramified extensions <math>L/K</math> normal over <math>\mathbb{Q}</math> where the (nontrivial) commutator subgroup of <math>\text{Gal}(L/\mathbb{Q})</math> is contained in its center. This generalizes a result due to Lemmermeyer stating that the quadratic field of discriminant <math>d</math>, <math>\mathbb{Q}( \sqrt{d})</math>, has an unramified extension <math>M/\mathbb{Q}( \sqrt{d})</math> normal over <math>\mathbb{Q}</math> with <math>\text{Gal}(M/\mathbb{Q}( \sqrt{d})) = H_8</math> (the quaternion group) if and only if the discriminant factors <math>d = d_1 d_2 d_3</math> into a product of three coprime discriminants, at most one of which is negative, satisfying <math>\left(\frac{d_i d_j}{p_k}\right) = 1</math> for each choice of <math>\{i, j, k\} = \{1, 2, 3\}</math> and prime <math>p_k | d_k</math>.
|}                                                                       
</center>
<br>
== Apr 10 ==
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Niudun Wang'''
|-
| bgcolor="#BCD2EE"  align="center" | ''Nodal Domains of Maass Forms ''
|-
| bgcolor="#BCD2EE"  |
Hecke-Maass cusp forms on modular surfaces produce nodal lines that divide the surface into disjoint nodal domains. I will briefly talk about this process and estimate the number of nodal domains as the eigenvalues vary.
|}                                                                       
</center>
<br>
== Apr 17 ==
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Qiao He'''
|-
| bgcolor="#BCD2EE"  align="center" | ''An Introduction to Automorphic Representations''
|-
| bgcolor="#BCD2EE"  |
Automorphic representation is a powerful tool to study L-functions. For me, Tate's marvelous thesis is the real beginning of the whole theory. So I will start with Tate's thesis, which is really the automorphic representation of <math>GL_1</math>. Then I will talk about how to generalize Tate's idea to higher dimensions and explain some ideas behind Langlands program. If there is still time left, I will also mention the trace formula and use it to prove the classical Poisson summation formula.
|}                                                                       
</center>
<br>
== Apr 23 ==
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Iván Ongay Valverde'''
|-
| bgcolor="#BCD2EE"  align="center" | ''Definability of Frobenius Orbits and a Result on Rational Distance Sets''
|-
| bgcolor="#BCD2EE"  |
In this talk I will present a paper by Héctor Pastén. We will talk about the meaning of definability in a ring and how having a formula that identifies Frobenius orbits can help you show an analogous case of Hilbert's tenth problem (the one asking for an algorithm that tells you if a diophantine equation is solvable or not).
Finally, if time permits, we will do an application that solves the existence of a dense set in the plane with rational distances, assuming some form of the ABC conjecture. This last question was proposed by Erdös and Ulam.
|}                                                                       
</center>
<br>
== Apr 24 ==
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Brandon Boggess'''
|-
| bgcolor="#BCD2EE"  align="center" | ''Moving from Local to Global''
|-
| bgcolor="#BCD2EE"  |
What do problems over local fields tell us about global problems?
|}                                                                       
</center>
<br>
== May 1 ==
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Qiao He'''
|-
| bgcolor="#BCD2EE"  align="center" | ''An Introduction to Automorphic Representations - Part II''
|-
| bgcolor="#BCD2EE"  |
Last time I talked about Tate's thesis, which is actually the theory of automorphic representation of GL_1. This time I will continue. First, I will give the definition of automorphic representation, and use Hecke characters and modular forms to motivate the definition. Then I will explain some classical results about automorphic representation, and discuss how automorphic representations are related to L-functions.
|}                                                                       
</center>
<br>
== May 8 ==
<center>
{| style="color:black; font-size:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
|-
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Sun Woo Park'''
|-
| bgcolor="#BCD2EE"  align="center" | ''Parametrization of elliptic curves by Shimura curves''
|-
| bgcolor="#BCD2EE"  |
Let f be a weight-2 newform on <math>\Gamma_0(N)</math>. Given a fixed isogeny class of semistable elliptic curves over <math>\mathbb{Q}</math>, for some <math>N</math> there exists a distinguished element <math>A</math> of the isogeny class such that <math>A</math> is the strong modular curve attached to f. In fact, <math>A</math> is a quotient of <math>J_0(N)</math> by an abelian variety, from which we can obtain a covering map <math>\pi: X_0(N) \rightarrow A </math>. Based on Ribet and Takahashi’s paper, I will discuss the properties of the covering map as well as its generalization to Shimura curves.


|}                                                                         
|}                                                                         

Latest revision as of 23:37, 6 May 2018

This page contains the titles and abstracts for talks scheduled in the Spring 2018 semester. To go back to the main NTSGrad page, click here.

Jan 23

Solly Parenti
Rankin-Selberg L-functions

What do you get when you cross an Eisenstein series with a cuspform? An L-function! Since there's no modular forms course this semester, I will try to squeeze in an entire semester's course on modular forms during the first part of this talk, and then I'll explain the Rankin-Selberg method of establishing analytic continuation of certain L-functions.


Jan 30

Wanlin Li
Intersection Theory on Modular Curves

My talk is based on the paper by François Charles with title "FROBENIUS DISTRIBUTION FOR PAIRS OF ELLIPTIC CURVES AND EXCEPTIONAL ISOGENIES". I will talk about the main theorem and give some intuition and heuristic behind it. I will also give a sketch of the proof.



Feb 6

Dongxi Ye
Modular Forms, Borcherds Lifting and Gross-Zagier Type CM Value Formulas

During the course of past decades, modular forms and Borcherds lifting have been playing an increasingly central role in number theory. In this talk, I will partially justify these by discussing some recent progress on some topics in number theory, such as representations by quadratic forms and Gross-Zagier type CM value formulas.


Feb 20

Ewan Dalby
The Cuspidal Rational Torsion Subgroup of J_0(p)

I will define the cuspidal rational torsion subgroup for the Jacobian of the modular curve J_0(N) and try to convince you that in the case of J_0(p) it is cyclic of order (p-1)/gcd(p-1,12).


Feb 27

Brandon Alberts
A Brief Introduction to Iwasawa Theory

A bare bones introduction to the subject of Iwasawa theory, its main results, and some of the tools used to prove them. This talk will serve as both a small taste of the subject and a prep talk for the upcoming Arizona Winter School.


Mar 13

Solly Parenti
Do You Even Lift?

Theta series are generating functions of the number of ways integers can be represented by quadratic forms. Using theta series, we will construct the theta lift as a way to transfer modular(ish) forms between groups.



Mar 20

Soumya Sankar
Finite Hypergeometric Functions: An Introduction
Finite Hypergeometric functions are finite field analogues of classical hypergeometric functions that come up in analysis. I will define these and talk about some ways in which they are useful in studying important number theoretic questions.


Apr 3

Brandon Alberts
Certain Unramified Metabelian Extensions Using Lemmermeyer Factorizations

We use conditions on the discriminant of an abelian extension [math]\displaystyle{ K/\mathbb{Q} }[/math] to classify unramified extensions [math]\displaystyle{ L/K }[/math] normal over [math]\displaystyle{ \mathbb{Q} }[/math] where the (nontrivial) commutator subgroup of [math]\displaystyle{ \text{Gal}(L/\mathbb{Q}) }[/math] is contained in its center. This generalizes a result due to Lemmermeyer stating that the quadratic field of discriminant [math]\displaystyle{ d }[/math], [math]\displaystyle{ \mathbb{Q}( \sqrt{d}) }[/math], has an unramified extension [math]\displaystyle{ M/\mathbb{Q}( \sqrt{d}) }[/math] normal over [math]\displaystyle{ \mathbb{Q} }[/math] with [math]\displaystyle{ \text{Gal}(M/\mathbb{Q}( \sqrt{d})) = H_8 }[/math] (the quaternion group) if and only if the discriminant factors [math]\displaystyle{ d = d_1 d_2 d_3 }[/math] into a product of three coprime discriminants, at most one of which is negative, satisfying [math]\displaystyle{ \left(\frac{d_i d_j}{p_k}\right) = 1 }[/math] for each choice of [math]\displaystyle{ \{i, j, k\} = \{1, 2, 3\} }[/math] and prime [math]\displaystyle{ p_k | d_k }[/math].


Apr 10

Niudun Wang
Nodal Domains of Maass Forms

Hecke-Maass cusp forms on modular surfaces produce nodal lines that divide the surface into disjoint nodal domains. I will briefly talk about this process and estimate the number of nodal domains as the eigenvalues vary.


Apr 17

Qiao He
An Introduction to Automorphic Representations

Automorphic representation is a powerful tool to study L-functions. For me, Tate's marvelous thesis is the real beginning of the whole theory. So I will start with Tate's thesis, which is really the automorphic representation of [math]\displaystyle{ GL_1 }[/math]. Then I will talk about how to generalize Tate's idea to higher dimensions and explain some ideas behind Langlands program. If there is still time left, I will also mention the trace formula and use it to prove the classical Poisson summation formula.



Apr 23

Iván Ongay Valverde
Definability of Frobenius Orbits and a Result on Rational Distance Sets

In this talk I will present a paper by Héctor Pastén. We will talk about the meaning of definability in a ring and how having a formula that identifies Frobenius orbits can help you show an analogous case of Hilbert's tenth problem (the one asking for an algorithm that tells you if a diophantine equation is solvable or not). Finally, if time permits, we will do an application that solves the existence of a dense set in the plane with rational distances, assuming some form of the ABC conjecture. This last question was proposed by Erdös and Ulam.



Apr 24

Brandon Boggess
Moving from Local to Global

What do problems over local fields tell us about global problems?


May 1

Qiao He
An Introduction to Automorphic Representations - Part II

Last time I talked about Tate's thesis, which is actually the theory of automorphic representation of GL_1. This time I will continue. First, I will give the definition of automorphic representation, and use Hecke characters and modular forms to motivate the definition. Then I will explain some classical results about automorphic representation, and discuss how automorphic representations are related to L-functions.


May 8

Sun Woo Park
Parametrization of elliptic curves by Shimura curves

Let f be a weight-2 newform on [math]\displaystyle{ \Gamma_0(N) }[/math]. Given a fixed isogeny class of semistable elliptic curves over [math]\displaystyle{ \mathbb{Q} }[/math], for some [math]\displaystyle{ N }[/math] there exists a distinguished element [math]\displaystyle{ A }[/math] of the isogeny class such that [math]\displaystyle{ A }[/math] is the strong modular curve attached to f. In fact, [math]\displaystyle{ A }[/math] is a quotient of [math]\displaystyle{ J_0(N) }[/math] by an abelian variety, from which we can obtain a covering map [math]\displaystyle{ \pi: X_0(N) \rightarrow A }[/math]. Based on Ribet and Takahashi’s paper, I will discuss the properties of the covering map as well as its generalization to Shimura curves.