# Seminars and Colloquia

## Algebra Seminar

Friday, February 16, 2018

01:20 pm - 04:00 pm

Algebra Seminar

Wai Kiu Chan, Wesleyan Warings problem for integral quadratic forms Abstract : For every positive integer n , let g ( n ) be the smallest integer such that if an integral quadratic form in n variables can be written as a sum of squares of integral linear forms, then it can be written as a sum of g ( n ) squares of integral linear forms. As a generalization of Lagranges Four-Square Theorem, Mordell (1930) showed that g (2) = 5 and later that year Ko (1930) showed that g ( n ) = n + 3 when n 5. More than sixty years later, M.-H. Kim and B.-K. Oh (1996) showed that g (6) = 10, and later (2005) they showed that the growth of g ( n ) is at most an exponential of n . In this talk, I will discuss a recent improvement of Kim and Oh's result showing that the growth of g ( n ) is at most an exponential of $\sqrt{n}$. . This is a joint work with Constantin Beli, Maria Icaza, and Jingbo Liu.

Exley Science Center Tower ESC 618

Friday, November 03, 2017

01:20 pm - 04:00 pm

Algebra Seminar

Jonathan Huang, Wes A Macdonald formula for zeta functions of varieties over finite fields Abstract : We provide a formula for the generating series of the zeta function Z ( X , t ) of symmetric powers Sym n X of varieties over finite fields. This realizes Z ( X , t ) as an exponentiable motivic measure whose associated Kapranov motivic zeta function takes values in W ( R ) the big Witt ring of R = W ( ). We apply our formula to compute Z (Sym n X , t ) in a number of explicit cases. Moreover, we show that all -ring motivic measures have zeta functions which are exponentiable. In this setting, the formula for Z ( X , t ) takes the form of a MacDonald formula for the zeta function.

Exley Science Center Tower ESC 618

Tuesday, September 27, 2016

04:15 pm - 05:15 pm

Algebra Seminar

Bweong-Kweon Oh (Seoul National University): The number of representations of squares by integral quadratic forms Abstract: Let f be a positive definite integral ternary quadratic form and let r ( k , f ) be the number of representatives of an integer k by f . We say that the genus of f is indistinguishable by squares if for any integer n , r ( n 2 , f ) = r ( n , f ) for any quadratic form f in the genus of f . In this talk, we will give some examples of non trivial genera of ternary quadratic forms which are indistinguishable by squares. Also, we give some relations between indistinguishable genera by squares and a conjecture by Cooper and Lam, and we resolve their conjecture completely. This is a joint work with Kyoungmin Kim.

Exley Science Center Tower ESC 618

Tuesday, September 20, 2016

04:15 pm - 05:15 pm

Algebra Seminar

Christopher Rasmussen (Wes):A (Necessarily Incomplete) Introduction to Frobenioids Abstract: A man who knows a little is sometimes more dangerous than a man who knows nothing at all. In his approach to proving the ABC Conjecture, Mochizuki relies on the concept of a Frobenioid, which in his own words is a sort of a category-theoretic abstraction of the theory of divisors on [models of global fields].'' In the present talk, we will attempt to carefully introduce the notion of a Frobenioid and provide a small amount of context. Nothing will be assumed beyond a basic knowledge of category theory and some standard algebra.

Exley Science Center Tower ESC 618

Friday, February 05, 2016

01:15 pm - 02:30 pm

Algebra Seminar

Michael Wijaya, Dartmouth College: A function-field analogue of Conway's topograph Abstract: In "The Sensual (Quadratic) Form", Conway introduced a new visual method to display values of a binary quadratic form Q(x,y)=ax^2+bxy+cy^2 with integer coefficients. This topograph method, as he calls it, leads to a simple and elegant method of classifying integral binary quadratic forms and answering some basic questions about them. In this talk, I will present an analogue of Conway's topograph method for binary quadratic forms with coefficients in F_q[T], where q is an odd prime power. The constructions will take place on the Bruhat-Tits tree of SL(2), which is an analogue of the real hyperbolic plane.

Exley Science Center Tower ESC 618

Friday, December 04, 2015

01:10 pm - 02:00 pm

Algebra Seminar, Michael Kelly (University of Michigan): " Uniform Dilations in High Dimensions"

Abstract: It is a theorem of Glasner that given an infinite subset X of the torus R/Z and an epsilon greater than 0 there exists a positive integer n such that any interval of length epsilon in R/Z contains a point of the set nX (that is, nX is epsilon-dense in R/Z). The set nX is called a dilation of X by n. Alon and Peres have shown that the dilation factor n can be chosen to be a prime or n=f(m) for some integral polynomial f with degree(f)&gt;0 and integer m. We will discuss various developments on these sorts of topics and I'll present joint work with Le Thai Hoang where we consider this phenomenon in higher dimensions.

Exley Science Center (Tower)

Friday, November 06, 2015

01:10 pm - 02:00 pm

Algebra Seminar, Christelle Vincent (UVM): "Compuiting equations in hyperelliptic curves whose Jacobian has CM"

Abstract: It is known that given a totally imaginary sextic field with totally real cubic subfield (a so-called CM sextic field) there exists a non-empty finite set of abelian varieties of dimension 3 that have CM by this field. Under certain conditions on the field and the CM-type, this abelian variety can be guaranteed to be principally polarized and simple. In this talk, we begin by reviewing quickly the situation for elliptic curves with complex multiplication, which is the dimension 1 case of the work we present. We then move to the dimension 3 case, and present an algorithm that takes as input such a field and CM-type, and outputs a period matrix for such an abelian variety. We then check computationally if the abelian variety is the Jacobian of a hyperelliptic curve, and compute an equation for the curve if this is the case. This is joint work with J. Balakrishnan, S. Ionica and K. Lauter.

Exley Science Center (Tower)

Friday, October 09, 2015

01:10 pm - 02:00 pm

Algebra Seminar, Michael Chou '11 (UConn): Torsion of rational elliptic curves over quartic Galois number fields

Abstract : The classification of the torsion subgroup of elliptic curves over \mathbb{Q} was determined by Mazur. The classification over quadratic number fields was completed due to work of Kamienny, Kenku, and Momose. However, over cubic fields the classification is already incomplete. In this talk we discuss a refined version of this problem: let E be an elliptic curve defined over \mathbb{Q} and K be a number field of degree d; what groups appear as E(K)_{\text{tors}}? In particular, we will present a classification over all quartic Galois number fields K and show how the techniques used may be applied to other fields.

Exley Science Center (Tower)

Monday, September 28, 2015

04:45 pm - 06:00 pm

CT Logic Seminar, Reed Solomon (UConn): "Strong reducibilities, RT^1_3 and SRT^2_2"

Abstract : Various strong reductions between Pi^1_2 principles have been used in recent years to shed light on difficult problems in reverse mathematics. I will introduce some of these reductions and discuss their connection to reverse math. The main theorem of the talk is that RT^1_3 is not strongly computably reducible to SRT^2_2. This result is joint work with Damir Dzhafarov, Ludovic Patey and Linda Brown Westrick.

Exley Science Center (Tower)

Friday, September 25, 2015

01:10 pm - 02:00 pm

Algebra Seminar, Liang Xiao (UConn): "Zeros of zeta functions of Artin-Scheier-Witt tower of curves"

Abstract : For a projective and smooth curve over a finite field, the zeros of its zeta function determine the number of points over finite fields. In this talk, we are interested in studying the p-adic valuations of these zeros, especially its asymptotic/periodic behavior over a Z_p Artin-Scheier-Witt tower of curves ... C_n -&gt; ... -&gt; C_0. It turns out that the p-adic valuations of the zeros of the zeta functions for the first few curves determine those for the rest of the curves. This is a joint work with Chris Davis and Daqing Wan.

Exley Science Center (Tower)

Friday, May 01, 2015

01:10 pm - 02:00 pm

Algebra Seminar, Anna Haensch (Duquesne, Wes PhD '13): 'Kneser-Hecke operators for quaternary codes'

Abstract: There is a well known correspondence between lattices and codes via the classical 'construction A.' With this, the weight enumerator for codes corresponds to the theta series for lattices, where one counts the number of codewords by composition, and the other counts the number of vectors in a lattice of a certain length. In this talk, we will explore how some of the attendant machinery of theta series are born out in this correspondence. In particular, we will consider the Kneser-Hecke operator, a code theoretic analogue of the classical Hecke operator.

ESC 618

Friday, April 24, 2015

01:10 pm - 02:00 pm

Masters Thesis Defense and Algebra Seminar, John Bergan: 'The Peter-Weyl Theorem'

Abstract: For finite groups, a decomposition of the regular representation into a direct sum of irreducible subrepresentations is readily obtained with elementary representation theory. Infinite groups, however, pose a far more challenging problem. But if we restrict ourselves to compact groups and use a little functional analysis, then we can still obtain a complete decomposition of the regular representation. This is the Peter-Weyl Theorem. In this talk, I will discuss all the necessary background information and the proof the theorem.

ESC 638

Friday, April 17, 2015

01:10 pm - 02:00 pm

Algebra Seminar, Cameron Hill (Wes): 'The Lang-Weil bounds and the geometry of pseudo-finite fields.'

Abstract: The Lang-Weil bounds are a venerable fact of algebraic geometry that provide reasonably precise estimates of the cardinalities of varieties in finite fields in terms of their dimensions (as calculated in algebraic closures). One model-theoretic corollary of this theorem is the fact that every pseudo-finite field admits a very fine-grained geometry analogous to (but distinct from) the geometry of its algebraic closure, and which also accommodates a larger family of definable sets than varieties alone. In this talk, I will discuss other routes to this geometry on a pseudo-finite field that do not use the Lang-Weil bounds as a starting point. This approach also supplies a novel proof of a relaxed version the Lang-Weil bounds themselves, and I will try to point out how this proof is really different from the classical argument.

ESC 638

Friday, April 10, 2015

01:10 pm - 02:00 pm

Algebra Seminar, Andrew Schultz (Wellesley): 'Parameterizing solutions to Galois embedding problems via modules'

Abstract: The classifying space for elementary $p$-abelian extensions of a field $K$ has long been understood. If $K$ is a Galois extension of a field $F$, then the Galois group has a natural action on this classifying space, and --- at least when $\Gal(K/F)$ is a cyclic $p$-group --- one can develop a dictionary between a certain class of embedding problems and submodules of the corresponding Galois module. Combined with some surprising results concerning the module structure of the classifying space, this allows us to recover some interesting results on the structure of absolute Galois groups. If time permits, we will also discuss some generalizations of these modules and their potential for shedding further light on absolute Galois groups.

ESC 638

Friday, April 03, 2015

01:10 pm - 02:00 pm

Algebra Seminar, Jeremy Rouse (Wake Forest): 'Elliptic curves over $\mathbb{Q}$ and 2-adic images of Galois'

Abstract: Given an elliptic curve $E/\mathbb{Q}$, let $E[2^k]$ denote the set of points on $E$that have order dividing $2^k$. The coordinates of these points are algebraic numbersand using them, one can build a Galois representation $\rho : G_{\mathbb{Q}} \to \GL_{2}(\mathbb{Z}_{2})$.We give a classification of all possible images of this Galois representation. To this end, we compute the 'arithmetically maximal' tower of 2-power level modular curves, develop techniques to compute their equations, and classify the rational points on these curves.

ESC 638

Friday, February 27, 2015

01:10 pm - 02:00 pm

Algebra Seminar, Leo Goldmakher (Williams): 'Characters and their nonresidues'

Abstract: Understanding the least quadratic nonresidue (mod p) is a classical problem, with a history stretching back to Gauss. The approach which has led to the strongest results uses character sums, objects which are ubiquitous in analytic number theory. I will discuss character sums, their connection to the least nonresidue, and some recent work of myself and Jonathan Bober (University of Bristol) on a promising new approach to the problem.

ESC 638

Friday, February 20, 2015

01:10 pm - 02:00 pm

Algebra Seminar, David Pollack (Wes): 'A lifting theorem and computations towards an eigencurve for SL_3 (part II)'

Abstract: Fix a prime p. We generalize our early method of computing overconvergent lifts of ordinary p-adic homology classes for SL_3 to allow computations of lifts of non-ordinary, but numerically non-critical classes. Then we will discuss an ongoing calculation to find to any desired degree of accuracy the germ of the projection to weight space of the eigencurve Z around the point z corresponding to the system of Hecke eigenvalues of this over convergent lift. We do this under the conjecturally mild hypothesis that Z is smooth at z. This is joint work with Avner Ash.

ESC 638

Friday, February 20, 2015

01:10 pm - 02:00 pm

Algebra Seminar, David Pollack (Wes): 'A lifting theorem and computations towards an eigencurve for SL_3 (part II)'

Abstract: Fix a prime p. We generalize our early method of computing overconvergent lifts of ordinary p-adic homology classes for SL_3 to allow computations of lifts of non-ordinary, but numerically non-critical classes. Then we will discuss an ongoing calculation to find to any desired degree of accuracy the germ of the projection to weight space of the eigencurve Z around the point z corresponding to the system of Hecke eigenvalues of this over convergent lift. We do this under the conjecturally mild hypothesis that Z is smooth at z. This is joint work with Avner Ash.

ESC 638