It is well known that the square root of any integer can be written as a linear combination of roots of unity. A generalization of this fact is the "Kronecker-Weber Theorem", which states that in fact any element which generates an abelian Galois extension of the field of rational numbers Q can also be written as such a linear combination. The roots of unity may by viewed as the special values of the analytic function e(x) = exp(2*pi*i*x) where x is taken to be a rational number. Broadly speaking, Hilbert's 12th problem is to find an analogous result when Q is replaced by a general algebraic number field F, and in particular to find the analytic functions which play the role of e(x) in this general setting.
Hilbert's 12th problem has been solved in the case where F is an imaginary quadratic field, with the role of e(x) being played by certain modular forms. All other cases are, generally speaking, unresolved. In this talk I will discuss the case where F is a real quadratic field, and more generally, a totally real field. I will describe relevant conjectures of Stark and Gross, as well as current work using a p-adic approach and methods of Shintani. A proof of these conjectures would arguably provide a positive resolution of Hilbert's 12th problem in these cases.
National Science Foundation Postdoctoral Fellow Patrick Shipman
Institution:
University of Maryland
Time:
Monday, December 3, 2007 - 2:00pm
Location:
MSTB 254
Tiling planforms dominated by diamonds (such as the diamond-shaped seeds on a sunflower head), hexagons, or ridges (such as those on saguaro cacti) are observed on many plants. We analyze PDE models for the formation of these patterns that incorporate the effects of growth and biophysical and biochemical mechanisms. The aim is to understand both the underlying symmetries and the information specific to the mechanisms. The patterns are compared to Voronoi tessellations, and we will start to draw a bigger picture of growth and symmetry in biological systems.
I will be talking about three different pedagogical activities at Harvard in which I'm involved:
* An undergraduate course in multivariable mathematics for social sciences
* An online placement exam web application
* The A.L.M in Mathematics for Teaching program, serving area middle- and high-school teachers
I will be discussing ideas to enrich the undergraduate program in mathematics at UCI. First, I will present ideas about standardizing the testing, and the content, of the large service courses such as Math 1A-B, 2A-B, as well as perhaps Math 7. This would involve the use of the state-of-the-art technology and the creation and administration of common exams. Second, I will discuss my thoughts about deepening the involvement of the mathematics department in community outreach programs. This would involve coordinating with programs such as CAMP and MESA. Third, I will present my ideas about enhancing our honors program and upper division courses, as well as enriching the undergraduate math club. And lastly, I will discuss ways of enticing students into doing more research. This would involve finding interested students, matching them with appropriate faculty, and working with programs such as UROP.
Often new teachers and tutors are given extensive training on general ideas and principles of good teaching. There may be little or no link between these ideas and the logistics of how to implement them within the courses they will be teaching/assisting.
In teaching a recent course for Quantitative Learning Tutors at the University of Connecticut, I sought to design a curriculum which closely ties good teaching/tutoring practices with specific science course content. I will present the learning goals for this course, specific
examples of projects and activities, and student learning assessment. This course contained a significant online component which will be outlined.Finally, I will describe how this curriculum can be applied to TA training
in mathematics.
The Langlands conjecture originated as a highly non-trivial generalization of the reciprocity laws in number theory. In my talk, I explain how after certain `geometrization', it becomes a statement about sets (`moduli spaces') of vector bundles on a Riemann surface. The result is a kind of Fourier transform relating sets of vector bundles and local systems on a Riemann surface.
This `geometric Langlands transform' can be used to motivate theorems and conjectures in such diverse areas of mathematics (and physics) as theory of Painleve equations, representation theory of loop groups, autoduality of Jacobians, and mirror symmetry. Some of the relations will be explained in the talk.
In this talk I will describe the progress that has been made so far concerning the existene of global strong solutions to the L^{2}-critical defocusing semilinear Schroedinger equation. A long standing conjecture in the area is the existence of a unique global strong L^{2} solution to the equation that in addition scatters to a free solution as time goes to infinity. I will demonstrate the proofs of partial results towards an attempt for a final resolution of this conjecture. I will concentrate on the low dimensions but give the flavor of the results in higher dimensions for general or spherically symmetric initial data in certain Sobolev spaces. Many authors have contributed to the theory of this equation. I will convey my personal involvement to the problem and the results that I have obtained recently. Part of my work is in collaboration with D. De Silva, N. Pavolovic, G. Staffilani, J. Colliander and M. Grillakis.
In this talk, we shall design and analyze additive and multiplicative multilevel methods on adapted grids obtained by newest vertex bisection. The analysis relies on a novel decomposition of newest vertex bisection which give a bridge to transfer results on multilevel methods from uniform grids to adaptive grids. Based on this space decomposition, we will present a unified approach to the multilevel methods for $H^1$, $H(\rm curl)$, and $H(\rm div)$ systems.
The modern theory of Dynamical Systems is in major part an offspring of celestial mechanics. Poincare proved non-integrability of the three body problem when he discovered the homoclinic picture. Alexeev explained the existence of the oscillatory motions (a planet approaches infinity but always returns to a bounded domain) in Sitnikov model (one of the restricted versions of the three body problem) using methods of hyperbolic dynamics.
We show that the structures related to the most recent results in the smooth dynamical systems (area preserving Henon family and homoclinic bifurcations, persistent tangencies, splitting of separatrices) also appear in the three body problem. In particular, we prove that in many cases the set of oscillatory motions has a full Hausdorff dimension.