Calendar

Apr
15
Mon
Colloquium: Yash Lodha (Ecole Polytechnique Federale de Lausanne) @ Keller 414
Apr 15 @ 3:30 pm – 4:30 pm

Speaker: Yash Lodha (Ecole Polytechnique Federale de Lausanne)
Title: Group actions on 1-manifolds: A plethora of treasures.

Abstract: The study of group actions on 1-manifolds has seen some striking developments in recent years. In this talk I will describe some concrete examples that illustrate the richness of the theory. These groups are relatives of the famous groups F and T discovered by Richard Thompson in the 1970s.

Apr
18
Thu
Colloquium: Yago Antolin (U. Autonoma de Madrid) @ Keller 401
Apr 18 @ 4:00 pm – 5:00 pm

Speaker: Yago Antolin (U. Autonoma de Madrid)

Title: Growth in graphs with symmetry

Abstract: In the early 1980′s Jim Cannon showed that the Cayley graph of a
group acting properly co-compactly and by isometries on a hyperbolic
space had a growth function (i.e. counting how many vertices at distance
n from a base point) satisfied a linear recursion. This property is now
known as rational growth of the graph. Cannon’s ideas were fundamental
for the development of the theory of automatic groups. In this talk I
will review Cannon’s ideas and I will explain how they can be used to
show the rationality of other growth functions. Part of the talk will
be based on joint works with L. Ciobanu.

Apr
22
Mon
Jack Yoon specialty exam
Apr 22 @ 2:00 pm – 3:00 pm
Apr
23
Tue
Master presentation: Jake Fennick @ Keller 403
Apr 23 @ 10:30 am – 12:00 pm


Formalization of a Deontic Logic Theorem in the Isabelle Proof Assistant
<a href=”https://math.hawaii.edu/home/depart/theses/MA_2019_Fennick.pdf”>Draft project report</a>

Apr
26
Fri
Colloquium: Anne Carter (UHM) @ Keller 401
Apr 26 @ 3:30 pm – 4:30 pm

Title: Single- and Multivariable (φ, Γ)-Modules and Galois Representations

Abstract: I will introduce the notion of a (single-variable) (φ, Γ)-module and explain the relationship of (φ, Γ)-modules to representations of Gal(Q̅_p | Q_p), the absolute Galois group of the p-adic numbers. I will then describe joint work with Kiran Kedlaya and Gergely Zábrádi which extends this relationship to multivariate (φ, Γ)-modules.

Jul
12
Fri
Doctoral Defense: Isabella Tobin @ Keller 401
Jul 12 @ 12:30 pm – Jul 12 @ 2:30 pm

Let $K$ be a number field. We will show that any bicritical polynomial $f(z) in K[z]$ is conjugate to a polynomial of the form $amathcal{B}_{d,k}(z) +c in K[z]$ where $mathcal{B}_{d,k}(z)$ is a normalized single-cycle Belyi map with combinatorial type $(d; d-k, k+1, d)$. We use results of Ingram to determine height bounds on pairs $(a,c)$ such that $amathcal{B}_{d,k}(z) +c$ is post-critically finite. Using these height bounds, we completely describe the set of post-critically finite cubic polynomials over $Q$, up to conjugacy over $Q$. We give partial results for post-critically finite polynomials over $Q$ of arbitrary degree $d>3$.

Aug
6
Tue
Number Theory Seminar @ Keller 401 (probably)
Aug 6 @ 1:00 pm – Aug 6 @ 2:00 pm

Alina Bucur of the University of California, San Diego

Title: Effective Sato-Tate under GRH

Abstract: Based on the Lagarias-Odlyzko effectivization of the Chebotarev density theorem, Kumar Murty gave an effective version of the Sato-Tate conjecture for an elliptic curve conditional on the analytic continuation and the Riemann hypothesis for all the symmetric power L-functions. Using similar techniques, Kedlaya and I obtained a similar conditional effectivization of the generalized Sato-Tate conjecture for an arbitrary motive. As an application, we obtained a conditional upper bound of the form O((logN)^2(loglogN)^2) for the smallest prime at which two given rational elliptic curves with conductor at most N have Frobenius traces of opposite sign. In this talk, I will discuss how to improve this bound to the best possible in terms of N and under slightly weaker assumptions. Our new approach extends to abelian varieties. This is joint work with Kiran Kedlaya and Francesc Fite.

Number Theory Seminar @ Keller 401 (probably)
Aug 6 @ 2:00 pm – 3:00 pm

Kiran Kedlaya of the University of California, San Diego

Title: Frobenius structures on hypergeometric equations

Abstract: Hypergeometric equations are a class of ordinary differential equations with strong ties to geometry and arithmetic. In particular, each hypergeometric equation parametrizes a family of motives with associated L-functions; the minimal example of this is the Gaussian hypergeometric equation corresponding to the Legendre family of elliptic curves. We sketch an algorithm, based on work of Dwork, to compute these L-functions using the existence of p-adic analytic “Frobenius structures” on the equation. This is expected to be useful for building tables of hypergeometric L functions for the LMFDB.