NTS Spring 2013/Abstracts: Difference between revisions

From UW-Math Wiki
Jump to navigation Jump to search
(add title and abstract for Hang Xue's talk)
(add abstract for enigma talk)
Line 65: Line 65:
<br>
<br>


== March 7 ==
== February 28 ==


<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%" | '''Kai-Wen Lan''' (Minnesota)
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''David Perry''' (NSA)
|-
|-
| bgcolor="#BCD2EE"  align="center" | Title: Galois representations for regular algebraic cuspidal automorphic representations over CM fields
| bgcolor="#BCD2EE"  align="center" | Title: The Cracking of Enigma
|-
|-
| bgcolor="#BCD2EE"  |   
| bgcolor="#BCD2EE"  |   
Abstract: After reviewing what the title means (!) and providing some preliminary explanations, I will report on my joint work with Michael Harris, Richard Taylor, and Jack Thorne on the construction of ''p''-adic Galois representations for regular algebraic cuspidal automorphic representations over CM (or totally real) fields, without hypothesis on self-duality or ramification. The main novelty of this work is the removal of the self-duality hypothesis; without this hypothesis, we cannot realize the desired Galois representation in the ''p''-adic étale cohomology of any of the varieties we know.  I will try to explain our main new idea without digressing into details in the various blackboxes we needI will supply conceptual (rather than technical) motivations for everything we introduce.
Abstract: Having learned in the previous talk (Wed., Feb. 27, 5pm–6pm, Van Vleck B239) how the Enigma cryptodevice worked and
was used by the Germans at the beginning of World War II, we will now learn
precisely how the Polish mathematicians were able to crack the Enigma,
setting off a series of events that changed the course of world history.
The history of cryptology was also irrevocably changed, with a growing
realization that the future of secrecy would rely on mathematicians and the
brand new discipline of computer scienceThis talk is geared towards those
with some undergraduate mathematics experience, but less is required than
you might suspect.  
 
|}                                                                         
|}                                                                         
</center>
</center>
Line 81: Line 90:
<br>
<br>


== March 14 ==
== March 7 ==


<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%" | '''Hang Xue''' (Columbia)
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Kai-Wen Lan''' (Minnesota)
|-
|-
| bgcolor="#BCD2EE"  align="center" | Title: On the Gan–Gross–Prasad conjecture for U(n)&nbsp;&times;&nbsp;U(n)
| bgcolor="#BCD2EE"  align="center" | Title: Galois representations for regular algebraic cuspidal automorphic representations over CM fields
|-
|-
| bgcolor="#BCD2EE"  |   
| bgcolor="#BCD2EE"  |   
Abstract: In this talk, we shall introduce the Gan–Gross–Prasad conjecture for ''U''(''n'')&nbsp;&times;&nbsp;''U''(''n'') and sketch a proof under certain local conditions using a relative trace formula. We shall also talk about its refinement and applications to the Gan–Gross–Prasad conjecture for ''U''(''n''&thinsp;+1)&nbsp;&times;&nbsp;''U''(''n'').  
Abstract: After reviewing what the title means (!) and providing some preliminary explanations, I will report on my joint work with Michael Harris, Richard Taylor, and Jack Thorne on the construction of ''p''-adic Galois representations for regular algebraic cuspidal automorphic representations over CM (or totally real) fields, without hypothesis on self-duality or ramification.  The main novelty of this work is the removal of the self-duality hypothesis; without this hypothesis, we cannot realize the desired Galois representation in the ''p''-adic étale cohomology of any of the varieties we know.  I will try to explain our main new idea without digressing into details in the various blackboxes we need.  I will supply conceptual (rather than technical) motivations for everything we introduce.
 
|}                                                                         
|}                                                                         
</center>
</center>


<br>
<br>
<!--
 
== October 18 ==
== March 14 ==


<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%" | '''Rachel Davis''' (Madison)
| bgcolor="#F0A0A0" align="center" style="font-size:125%" | '''Hang Xue''' (Columbia)
|-
|-
| bgcolor="#BCD2EE"  align="center" | Title: On the images of metabelian Galois representations associated to elliptic curves
| bgcolor="#BCD2EE"  align="center" | Title: On the Gan–Gross–Prasad conjecture for U(n)&nbsp;&times;&nbsp;U(n)
|-
|-
| bgcolor="#BCD2EE"  |   
| bgcolor="#BCD2EE"  |   
Abstract: For ℓ-adic Galois representations associated to elliptic curves, there are theorems
Abstract: In this talk, we shall introduce the Gan–Gross–Prasad conjecture for ''U''(''n'')&nbsp;&times;&nbsp;''U''(''n'') and sketch a proof under certain local conditions using a relative trace formula. We shall also talk about its refinement and applications to the Gan–Gross–Prasad conjecture for ''U''(''n''&thinsp;+1)&nbsp;&times;&nbsp;''U''(''n'').  
concerning when the images are surjective. For example, Serre proved that for a fixed non-CM elliptic curve ''E''/'''Q''', for all but finitely many primes ℓ, the ℓ-adic Galois representation is surjective. Grothendieck and others have developed a theory of Galois representations to an automorphism group of a free pro-ℓ group. In this case, there is less known about the size of the images.
The goal of this research is to understand Galois representations to automorphism groups of non-abelian groups more tangibly. Let ''E'' be a semistable elliptic curve over '''Q''' of negative discriminant with good supersingular reduction at 2. Associated to ''E'', there is a Galois representation to a subgroup of the automorphism group of a metabelian group. I conjecture this representation is surjective and give evidence for this conjecture. Then, I compute some conjugacy invariants for the images of the Frobenius elements. This will give rise to new arithmetic information analogous to the traces of Frobenius for the ℓ-adic representation.


|}                                                                         
|}                                                                         
Line 117: Line 123:
<br>
<br>


<!--
== October 25 ==
== October 25 ==



Revision as of 23:41, 10 February 2013

January 24

Tamar Ziegler (Technion)
Title: An inverse theorem for the Gowers norms

Abstract: Gowers norms play an important role in solving linear equations in subsets of integers - they capture random behavior with respect to the number of solutions. It was conjectured that the obstruction to this type of random behavior is associated in a natural way to flows on nilmanifolds. In recent work with Green and Tao we settle this conjecture. This was the last piece missing in the Green-Tao program for counting the asymptotic number of solutions to rather general systems of linear equations in primes.


January 31

William Stein (U. of Washington)
Title: How explicit is the explicit formula?

Abstract: Consider an elliptic curve E. The explicit formula for E relates a sum involving the numbers ap(E) to a sum of three quantities, one involving the analytic rank of the curve, another involving the zeros of the L-series of the curve, and the third, a bounded error term. Barry Mazur and I are attempting to see how numerically explicit – for particular examples – we can make each term in this formula. I'll explain this adventure in a bit more detail, show some plots, and explain what they represent.

(This is joint work with Barry Mazur).


February 7

Nigel Boston (Madison)
Title: A refined conjecture on factoring iterates of polynomials over finite fields

Abstract: In previous work Rafe Jones and I studied the factorization of iterates of a quadratic polynomial over a finite field. Their shape has consequences for the images of Frobenius elements in the corresponding Galois groups (which act on binary rooted trees). We found experimentally that the shape of the factorizations can be described by an associated Markov process, we explored the consequences to arboreal Galois representations, and conjectured that this would be the case for every quadratic polynomial. Last year I gave an undergraduate, Shixiang Xia, the task of accumulating more evidence for this conjecture and was shocked since one of his examples behaved very differently. We have now understood this example and come up with a modified model to explain it.


February 14

Tonghai Yang (Madison)
Title: A high-dimensional analogue of the Gross–Zagier formula

Abstract: In this talk, I will explain roughly how to extend the well-known Gross–Zagier formula to unitary Shimura varieties of type (n − 1, 1). This is a joint work with J. Bruinier and B. Howard.


February 28

David Perry (NSA)
Title: The Cracking of Enigma

Abstract: Having learned in the previous talk (Wed., Feb. 27, 5pm–6pm, Van Vleck B239) how the Enigma cryptodevice worked and was used by the Germans at the beginning of World War II, we will now learn precisely how the Polish mathematicians were able to crack the Enigma, setting off a series of events that changed the course of world history. The history of cryptology was also irrevocably changed, with a growing realization that the future of secrecy would rely on mathematicians and the brand new discipline of computer science. This talk is geared towards those with some undergraduate mathematics experience, but less is required than you might suspect.


March 7

Kai-Wen Lan (Minnesota)
Title: Galois representations for regular algebraic cuspidal automorphic representations over CM fields

Abstract: After reviewing what the title means (!) and providing some preliminary explanations, I will report on my joint work with Michael Harris, Richard Taylor, and Jack Thorne on the construction of p-adic Galois representations for regular algebraic cuspidal automorphic representations over CM (or totally real) fields, without hypothesis on self-duality or ramification. The main novelty of this work is the removal of the self-duality hypothesis; without this hypothesis, we cannot realize the desired Galois representation in the p-adic étale cohomology of any of the varieties we know. I will try to explain our main new idea without digressing into details in the various blackboxes we need. I will supply conceptual (rather than technical) motivations for everything we introduce.


March 14

Hang Xue (Columbia)
Title: On the Gan–Gross–Prasad conjecture for U(n) × U(n)

Abstract: In this talk, we shall introduce the Gan–Gross–Prasad conjecture for U(n) × U(n) and sketch a proof under certain local conditions using a relative trace formula. We shall also talk about its refinement and applications to the Gan–Gross–Prasad conjecture for U(n +1) × U(n).




Organizer contact information

Robert Harron

Zev Klagsbrun

Sean Rostami


Return to the Number Theory Seminar Page

Return to the Algebra Group Page