Number Theory Seminar
Spring 2012 Archive:
Tathagata Basak: Lattices from finite projective geometry.
I shall describe a construction of a family
of complex Hermitian Lorentzian lattices using the
geometry of finite projective planes.
The reflection group of the "smallest" such example
seems to be related to the monster simple group.
Using combinatorics of the finite projective plane, we
can prove that infinitely many of these lattices are
In some cases, our construction leads to positive
definite self-dual lattices having the symmetries of
the finite projective plane.
In the "smallest" example, the positive definite lattice
we get is known to provide the densest way to pack
spheres in 24-dimensional space.
Jie Ling (University of Wisconsin - Madison): Arithmetic intersection on toric schemes and resultants.
Let K be a number field and OK its ring of integers. In this talk, I will present an
arithmetic analog of Bernstein's theorem. Fix a finite
set A in Zn.
Let (f0,..., fn) be n + 1 Laurent polynomials in n variables,
and with integral coefficients. We assume that fi is supported in
A. Let Fi be the homogenization of fi.
When the associated toric scheme
XA (over OK ) is
smooth and projective at a generic fiber, the
arithmetic intersection number of (F0,..., Fn) in the toric scheme is given by the norm of the resultants, i.e.
(F0, . . . , Fn)XA =
log |NK/Q(ResA(F0, . . . , Fn) )|.
Holly Swisher (Oregon State University): Mock theta functions and shadows.
Mock theta functions were first introduced in Ramanujan's
last letter to Hardy. They are now known to be the holomorphic parts
of harmonic weak Maass forms, thanks to recent work by Zwegers. A
mock theta function has an associated shadow function, which is a cusp
form, and there are some interesting examples in partition theory
showing an arithmetic relationship between a mock theta function and
its shadow. We discuss some of these examples, and further
constructions of shadows.
March 26, April 2
Jonas Kibelbek: Congruences arising from weight 2 cusp forms.
To every finite-index subgroup of SL2(Z), we associate a space of cusp forms and a modular curve. The Fourier coefficients of the cusp forms encode arithmetic information about the curve: the number of points modulo p and the eigenvalues of Frobenius. In the congruence subgroup case, this is the Atkin-Lehner-Li theory of newforms; in the noncongruence case, it is the theory of Atkin-Swinnerton-Dyer congruences. We discuss this structure in terms of formal group laws, and we use formal group isomorphisms to prove some new results and study some interesting examples.
The first week, I will give background on cusp forms and modular curves, and introduce the connection to formal groups. The second week, I will give additional background on formal groups and what they reveal about cusp forms.
Tathagata Basak: Lattices from finite geometries (preview).
Spring break: no seminar
Eli Stines: Strange Division or: How I Learned to Stop Worrying and Love the Zero.
This discussion is a description of a recent attempt to define division by zero axiomatically, in terms of an extension of implication from the Boolean algebra Z/2 . We investigate the associated ring structure derived from subtraction and implication as binary operations. We will discuss the axiomatic construction of the variety in question, and some results on what kinds of rings are included within it.
February 20, 27
Candidate talks: no seminar
Deepak Naidu (Northern Illinois University): Deformation theory and quantum Drinfeld Hecke algebras.
A deformation of an algebra is a 1-parameter family of algebras possessing some basic properties of the original algebra. In my talk, I will begin by giving a brief introduction to the deformation theory of associative algebras. In particular, I will explain how deformations of an associative algebra are governed by its Hochschild cohomology.
I will then discuss quantum Drinfeld Hecke algebras, which are generalizations of Drinfeld Hecke algebras in which polynomial rings are replaced by quantum polynomial rings. I will explain how these algebras can be identified as deformations of certain skew group algebras.
This is joint work with Sarah Witherspoon (Texas A&M).
Anna Romanowska (ISU/Warsaw University of Technology): Isomorphism problems for generalized convex sets.
I will first recall some necessary definitions and facts concerning affine spaces, generalized
convex sets, and barycentric algebras. Then I will
concentrate on the following problem:
When are two different generalized convex sets of similar type isomorphic (as barycentric algebras)?
I will discuss several instances of this problem, and formulate
some results providing answers to the question in the case of certain
(generalized) convex sets. These results will then be illustrated by some
examples and counterexamples.
January 23, 30
Jonathan Smith: Engel groups and Bruck loops.
Abstract: On the real line, the reflection in the point a of a point b is given as 2a - b. More generally, in a group, Moufang loop, or diassociative loop M, one may define the core operation as ab-1a. In a Moufang loop on which squaring is bijective, Bruck showed that the core is a quasigroup, isotopic to a Bol loop with the automorphic inverse property, or what is nowadays known as a Bruck loop. Glauberman used this Bruck loop structure to obtain many results about finite Moufang loops of odd order, including their solvability and the validity of Sylow's and Hall's Theorems. Since then, Bruck loops have gained additional importance through their natural occurrence in many areas, such as geometry, matrix decompositions, and special relativity theory.
The talk investigates the extension of Bruck's construction to loops, not necessarily Moufang, in which the squaring map is not necessarily bijective. Surjectivity is required, so a loop is said to be quadratically closed if the squaring map is surjective. For a quadratically closed loop, we consider the history space, a space of doubly-infinite sequences of loop elements such that each element in the sequence is succeeded by its square. When the loop is diassociative, and satisfies the 2-Engel condition under which elements commute with their conjugates, it is shown that the history space carries a loop structure with the right inverse and automorphic inverse properties, and forms a Bruck loop if the original loop is Moufang. With a quadratically closed field K as ground field, matrix groups A(K), B(K), C(K) of respective degrees 1, 2, and 3 are shown to satisfy the properties needed for the Bruck loop construction to work. Over the ground field C of complex numbers, the construction with A(C) offers a new setting for complex reflections and midpoints on the unit circle, and the Riemann surface of the square root function.
King Holiday: no seminar.
Archive of previous semesters
Back to the Mathematics Institute
Back to Main Street