Symplectic harmonic theory was initiated by Ehresmann and Libermann in 1940's, and was rediscoverd by Brylinski in late 1980's. More recently, Bahramgiri showed in his MIT thesis that symplectic harmonic representatives of Thom classes exhibited some interesting global feature of symplectic geometry. In this talk, we discuss a new approach to symplectic Harmonic theory via geometric measure theory. The new method allows us to establish a fundamental property on symplectic harmonic forms, which is a non-trivial generalization of Bahramgiri's result, and enables us to provide a complete solution to an open question asked by V. Guillemin concerning symplectic harmonic representatives of Thom classes. This talk is based on a very recent work of the speaker.
We investigate properties of reducible J-holomorphic subvarieties in 4-manifolds. We offer an upper bound of the total genus of a subvariety when the class of the subvariety is J-nef.
For a spherical class, it has particularly strong consequences: for any tamed J, each irreducible component is a smooth rational curve. We also completely classify configurations of maximal dimension. To prove these results we treat subvarieties as weighted graphs and introduce several combinatorial moves. This is a joint work with Weiyi Zhang.
We will discuss recent results obtained for the one-dimensional discrete Schrodinger operator with potential given by a primitive invertible substitution sequence. This talk focuses on the methods used to obtain these results, similarities and differences from previous methods, and obstructions to further generalization.
A substitution rule is an algorithm for replacing a symbol with a finite string of symbols (for example, replace 0 by 01 and replace 1 by 0) and a substitution sequence is a sequence obtained from repeated applications of the substitution rule. A Sturmian sequence is a non-periodic sequence of minimal complexity. Both of these objects that are central to the study of mathematical models of quasicrystals. We will discuss interesting dynamical, algebraic, and combinatorial properties of these two families of sequences, as well as their relation to each other.
We study the spectrum of discrete Schrodinger operators with potential given by a primitive invertible substitution sequence (and in fact our results hold for a larger class of potentials). We show this family of operators has a spectrum which is a dynamically defined Cantor set of zero Lebesgue measure. We also show that the Hausdorff dimension of this set depends analytically on the coping constant lambda and tends to 1 as lambda tends to 0. Finally, we show that at small coupling constant, all gaps allowed by the gap labeling theorem are open and furthermore open linearly.
In this talk I will present the idea that by providing a "natural representation" of the solution (e.g. is the solution is C^k, or does the solution have known jumps, does it have a characteristic structure...), one may devise discretizations that are in principle of arbitrary order, and optimally compact. In many cases, the structure required may be hidden, and thus requires a closer look at the geometrical properties of the underlying operator. I will illustrate these concepts by examining 3 popular PDEs: the linear advection, Poisson's equations with jump discontinuities, and the heat equation.
Many materials problems require the accuracy of atomistic modeling in small regions, such as the neighborhood of a crack tip. However, these localized defects typically interact through long ranged elastic fields with a much larger region that cannot be computed atomistically. Many methods have recently been proposed to compute solutions to these multiscale problems by coupling atomistic models near a localized defect with continuum models where the deformation is nearly uniform. During the past several years, we have given a theoretical structure to the description and formulation of atomistic-to-continuum coupling that has clarified the relation between the various methods and the sources of error. Our theoretical analysis and benchmark simulations have guided the development of optimally accurate and efficient coupling methods.
The endomorphism rings of ordinary jacobians of genus two curves defined over finite
fields are orders in quartic CM fields. The conductor gap between two endomorphism rings is
defined as the largest prime number that divides the conductor of one endomorphism ring but not
the other. We call a genus two curve isolated, if its endomorphism ring has large conductor gap
(>=80 bits) with any other possible endomorphism rings. There is no known algorithm to explicitly
construct isogenies from an isolated curve to curves in other endomorphism classes. I will
explain results on criteria for a curve to be isolated, as well as the heuristic asymptotic
distribution of isolated genus two curves.
To a Hilbert modular form one may attach a p-adic analytic
L-function interpolating certain special values of the usual L-function.
Conjectures in the style of Mazur, Tate and Teitelbaum prescribe the order
of vanishing and first Taylor coefficient of such p-adic L-functions, the
first coefficient being controlled by an L-invariant which has conjectural
(arithmetic) value defined by Greenberg and Benois. I will explain how to
compute arithmetic L-invariants for (critical, exceptional) symmetric
powers of non-CM Iwahori level Hilbert modular forms via triangulations on
eigenvarieties. This is based on joint work with Robert Harron.