

Line 1: 
Line 1: 
−  Return to [https://www.math.wisc.edu/wiki/index.php/NTS NTS Fall 2015]  +  Return to [https://www.math.wisc.edu/wiki/index.php/NTS NTS Spring 2016] 
   
−  == Sep 03 ==  +  == Feb 04 == 
   
 <center>   <center> 
 { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"   { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20" 
     
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Kiran Kedlaya'''  +   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Shamgar Gurevich''' 
     
−   bgcolor="#BCD2EE" align="center"  ''On the algebraicity of (generalized) power series''  +   bgcolor="#BCD2EE" align="center"  ''Low Dimensional Representations of Finite Classical Groups'' 
     
  bgcolor="#BCD2EE"     bgcolor="#BCD2EE"  
−  A remarkable theorem of Christol from 1979 gives a criterion for detecting whether a power series over a finite field of characteristic p represents an algebraic function: this happens if and only if the coefficient of the nth power of the series variable can be extracted
 +  Group theorists have established many formulas that express interesting properties of a finite group in terms of sums of characters of the group. An obstacle to applying these formulas is lack of control over the dimensions of representations of the group. In particular, the representations of small dimension tend to contribute the largest terms to these sums, so a systematic knowledge of these small representations could lead to proofs of some of these facts. This talk will discuss a new method for systematically constructing the small representations of finite classical groups. I will explain the method with concrete examples and applications. This is part from a joint project with Roger Howe (Yale). 
−  from the basep expansion of n using a finite automaton. We will describe a result that extends this result in two directions: we allow
 
−  an arbitrary field of characteristic p, and we allow "generalized power series" in the sense of HahnMal'cevNeumann. In particular, this gives
 
−  a concrete description of an algebraic closure of a rational function field in characteristic p (and corrects a mistake in my previous attempt
 
−  to give this description some 15 years ago).
 
 }   } 
 </center>   </center> 
   
 <br>   <br> 
− 
 
−  == Sep 10 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Sean Rostami'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''Fixers of Stable Functionals''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  The epipelagic representations of ReederYu, a generalization of the "simple supercuspidals" of GrossReeder, are certain lowdepth supercuspidal representations of reductive algebraic groups G. Given a "stable functional" f, which is a suitably 'generic' linear functional on a vector space coming from a MoyPrasad filtration for G, one can create such a representation. It is known that the representations created in this way are compactly induced from the fixer in G of f and it is important to identify explicitly all the elements that belong to this fixer. This work is inprogress.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Sep 17 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''David ZureickBrown'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''Tropical geometry and uniformity of rational points''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  Let X be a curve of genus g over a number field F of degree d = [F:Q]. The conjectural existence of a uniform bound N(g,d) on the number #X(F) of Frational points of X is an outstanding open problem in arithmetic geometry, known to follow from the BomberiLang conjecture. We prove a special case of this conjecture  we give an explicit uniform bound when X has MordellWeil rank r ≤ g3. This generalizes recent work of Stoll on uniform bounds on hyperelliptic curves. Using the same techniques, we give an explicit, unconditional uniform bound on the number of Frational torsion points of J lying on the image of X under an AbelJacobi map. We also give an explicit uniform bound on the number of geometric torsion points of J lying on X when the reduction type of X is highly degenerate. Our methods combine ChabautyColeman's padic integration, nonArchimedean potential theory on Berkovich curves, and the theory of linear systems and divisors on metric graphs. This is joint work with Joe Rabinoff and Eric Katz.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Sep 22 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Joseph Gunther'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''Embedding Curves in Surfaces and Stabilization of Hypersurface Singularity Counts''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  We'll present two new applications of Poonen's closed point sieve over finite fields. The first is that the obvious local obstruction to embedding a curve in a smooth surface is the only global obstruction. The second is a proof of a recent conjecture of Vakil and Wood on the asymptotic probability of hypersurface sections having a prescribed number of singularities.
 
− 
 
−  ''Note: The day of this seminar is '''Tuesday'''.''
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Sep 24 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Brandon Alberts'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''The Moments Version of CohenLenstra Heuristics for Nonabelian Groups''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  CohenLenstra heuristics posit the distribution of unramified abelian extensions of quadratic fields. A natural question to ask would be how to get an analogous heuristic for nonabelian groups. In this talk I take and extend on recent work in the area of unramified extensions of imaginary quadratic fields and bring it all together under one CohenLenstra style heuristic.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Oct 08 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Ana Caraiani'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''On vanishing of torsion in the cohomology of Shimura varieties''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  I will discuss joint work in progress with Peter Scholze showing that torsion in the cohomology of certain compact unitary Shimura varieties occurs in the middle degree, under a genericity assumption on the corresponding Galois representation.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Oct 15 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Valentin Blomer'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''Arithmetic, geometry and analysis of a senary cubic form''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  We establish an asymptotic formula (with power saving error term) for the number of rational points of bounded height for a certain cubic fourfold, thereby proving a strong form of Manin's conjecture for this algebraic variety by techniques of analytic number theory.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Oct 22 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Brian Cook'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''Configurations in dense subsets of Euclidean spaces''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  A result of Katznelson and Weiss states that given a suitably dense (measurable) subset of the Euclidean plane realizes every sufficiently large distance, that is, for every prescribed (sufficiently large) real number the set contains two elements whose distance is this number. The analogue of this statement for finding three equally spaced points on a line, i.e. for finding three term arithmetic progressions, in a given set is false, and in fact false in every dimension. In this talk we revisit the case of three term progressions when the standard Euclidean metric is replaced by other metrics.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Oct 29 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Aaron Levin'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''Integral points and orbits in the projective plane''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  We will discuss the problem of classifying the behavior of integral points on affine subsets of the projective plane. As an application, we will examine the problem of classifying endomorphisms of the projective plane with an orbit containing a Zariski dense set of integral points (with respect to some plane curve). This is joint work with Yu Yasufuku.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Nov 12 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Vlad Matei'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''A geometric perspective on Landau's theorem over function fields''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  We revisit the recent [http://arxiv.org/abs/1504.06809 result] of LiorBarySoroker. It deals with a function field analogue of Landau's classical result about the asymptotic density of numbers which are sums of two integer squares. The results obtained are just in the large characteristic and large degree regime. We obtain a characterization as q<sup>n</sup> goes to infinity, which is the desired analogue of the result over the integers. We take a geometric perspective in computing the number of polynomials of degree n which are split in the extension <b>F</b><sub>q</sub>[T<sup>1/2</sup>] / <b>F</b><sub>q</sub>[T] and we obtain a geometric explanation for the "mysterious" binomial coefficients appearing in his asymptotic.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Nov 19 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Tonghai Yang'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''A generating function of arithmetic divisors in a unitary Shimura variety: modularity and application''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  In the original GrossZagier formula and Zhang's extension to Shimura curves, the modularity of the generating function
 
− 
 
−  [[File:Tonghai1.jpg]]
 
− 
 
−  is a very important step, where [[File:Tonghai3.jpg]] are the Heeger divisors and [[File:Tonghai4.jpg]] is the rational canonical divisor of degree 1 (associated to Hodge bundle). In the proof, they actually use arithmetic version in calculation:
 
− 
 
−  [[File:Tonghai2.jpg]]
 
− 
 
−  which is also modular. In this talk, we define a generalization of this arithmetic generating function to unitary Shimura variety of type (n, 1) and prove that it is modular. It has application to Colmez conjecture and GrossZagier type formula.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Dec 03 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Daniel Hast'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''Finiteness of integral points on curves via the ChabautyColemanKim method''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  Decades before Faltings proved the Mordell conjecture, Chabauty was able to prove the conjecture for some special higher genus curves by studying how the curve embeds in the padic points of its Jacobian. This method was refined by Coleman to give explicit bounds on the number of rational points of such curves. Recently, Minhyong Kim developed a nonabelian version of the method that makes use of the whole unipotent fundamental group of the curve, not just its abelianization, leading to a new proof of Siegel's theorem. We will survey these results and some related conjectures of Kim that hint at the possibility of a padic proof of the Mordell conjecture. This talk will be expository in nature.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Dec 10 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Brandon Levin'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''The weight part of Serre's conjecture''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  Serre's modularity conjecture (now a Theorem due to KhareWintenberger and Kisin) states that every odd irreducible two dimensional mod p representation of the absolute Galois group of Q comes from a modular form. I will begin with an overview of the Serre's original conjecture on modular forms focusing on the weight part of the conjecture. Herzig gave a generalization of the conjecture for ndimensional Galois representations which predicts the modularity of socalled shadow weights. After briefly describing Herzig's conjecture, I will discuss joint work with D. Le, B. Le Hung, and S. Morra where we prove instances of this conjecture in dimension three.
 
−  }
 
−  </center>
 
− 
 
−  <br>
 
− 
 
−  == Dec 17 ==
 
− 
 
−  <center>
 
−  { style="color:black; fontsize:100%" table border="2" cellpadding="10" width="700" cellspacing="20"
 
−  
 
−   bgcolor="#F0A0A0" align="center" style="fontsize:125%"  '''Nathan Kaplan'''
 
−  
 
−   bgcolor="#BCD2EE" align="center"  ''Rational Point Counts for Varieties over a Fixed Finite Field''
 
−  
 
−   bgcolor="#BCD2EE" 
 
−  We will address several statistical questions about families of curves and surfaces over a fixed finite field. For example, what is the average number of rational points on an elliptic curve over F<sub>q</sub> containing a rational 5torsion point? How many cubic surfaces in P<sup>3</sup>(F<sub>q</sub>) have exactly q<sup>2</sup>+7q+1 F<sub>q</sub>points? One major idea will be to use techniques from coding theory, specifically the MacWilliams theorem and its generalizations, to answer questions about distributions of rational point counts. No prior familiarity with coding theory will be assumed. Part of this is joint work with Ian Petrow.
 
−  }
 
−  </center>
 