In this talk, I will give an introduction to the theory of
ramified optimal transportation. In terms of applied mathematics,
transport paths are used to model many "tree shaped" branching
structures, which are commonly found in many living and nonliving
systems. Trees, lungs, river channel networks, are just some
examples. On the other hand, optimal transport paths provide
excellent examples for studying geodesic problems in generalized
metric spaces, where the distance functions do not necessarily
satisfy the usual triangle inequality, but satisfy a relaxed
triangle inequality. In the end, we will use the theory to explain
the dynamic formation of tree leaves. We will see how tree leaves
grow beautiful shapes and vein patterns in nature.

There is currently tremendous interest in geometric PDE, due in
part to the geometric flow program used successfully to attack the
Poincare and Geometrization Conjectures. Geometric PDE also play
a primary role in general relativity, where the (constrained) Einstein
evolution equations describe the propagation of gravitational waves
generated by collisions of massive objects such as black holes.
The need to validate this geometric PDE model of gravity has led to
the recent construction of (very expensive) gravitational wave
detectors, such as the NSF-funded LIGO project. In this lecture, we
consider the non-dynamical subset of the Einstein equations called
the Einstein constraints; this coupled nonlinear elliptic system must
be solved numerically to produce initial data for gravitational wave
simulations, and to enforce the constraints during dynamical simulations,
as needed for LIGO and other gravitational wave modeling efforts.

The Einstein constraint equations have been studied intensively for
half a century; our focus in this lecture is on a thirty-year-old open
question involving existence of solutions to the constraint equations
on space-like hyper-surfaces with arbitrarily prescribed mean extrinsic
curvature. All known existence results have involved assuming either
constant (CMC) or nearly-constant (near-CMC) mean extrinsic curvature.
After giving a survey of known CMC and near-CMC results through 2007,
we outline a new topological fixed-point framework that is fundamentally
free of both CMC and near-CMC conditions, resting on the construction of
"global barriers" for the Hamiltonian constraint. We then present
such a barrier construction for case of closed manifolds with positive
Yamabe metrics, giving the first known existence results for arbitrarily
prescribed mean extrinsic curvature. Our results are developed in the
setting of a ``weak'' background metric, which requires building up a
set of preliminary results on general Sobolev classes and elliptic
operators on manifold with weak metrics. However, this allows us
to recover the recent ``rough'' CMC existence results of Choquet-Bruhat
(2004) and of Maxwell (2004-2006) as two distinct limiting cases of our
non-CMC results. Our non-CMC results also extend to other cases such
as compact manifolds with boundary.

Time permitting, we also outline some new abstract approximation theory
results using the weak solution theory framework for the constraints; an
application of which gives a convergence proof for adaptive finite
element methods applied to the Hamiltonian constraint.

This is joint work with Gabriel Nagy and Gantumur Tsogtgerel.

For every prime power q and positive integer g, we let N_q(g) denote the maximum value of #C(F_q), where C ranges over all genus-g curves over F_q. Several years ago Kristin Lauter and I used a number of techniques to improve the known upper bounds on N_q(g) for specific values of q and g. The key to many of our improvements was a numerical invariant attached to non-simple isogeny classes of abelian varieties over finite fields; when this invariant is small, any Jacobian in the given isogeny class must satisfy restrictive conditions. Now Lauter and I have come up with a better invariant, which allows us to make even stronger deductions about Jacobians in isogeny classes. In this talk, I will explain how we have been able to use this new invariant, together with arguments about short vectors in Hermitian lattices over imaginary quadratic fields, to pin down several more values of N_q(g) and to improve the best known upper bounds in a number of other cases.

We discuss modeling and numerical issues for geometric evolution laws, such as mean curvature flow and surface diffusion and relate the approach to the treatment of PDEs on surface. Results for the evolution of curves on surfaces, so called geodesic evolution laws will also be shown. The numerical treatments include parametric finite elements, level set methods as well as phase field approximations.