Symmetric square L-values and dihedral congruences for cusp forms

Let be a prime, and k=(p+1)/2. In this paper we prove that two things happen if and only if the class number . One is the non-integrality at p of a certain trace of normalised critical values of symmetric square L-functions, of cuspidal Hecke eigenforms of level one and weight k. The other is the existence of such a form g whose Hecke eigenvalues satisfy “dihedral” congruences modulo a divisor of p (e.g. p=23, k=12, g=Δ). We use the Bloch-Kato conjecture to link these two phenomena, using the Galois interpretation of the congruences to produce global torsion elements which contribute to the denominator of the conjectural formula for an L-value. When , the trace turns out always to be a p-adic unit.     

Multiplicative structures in additively large sets

Previous research extending over a few decades has established that multiplicatively large sets (in any of several interpretations) must have substantial additive structure. We investigate here the question of how much multiplicative structure can be found in additively large sets. For example, we show that any translate of a set of finite sums from an infinite sequence must contain all of the initial products from another infinite sequence. And, as a corollary of a result of Renling Jin, we show that if A and B have positive upper Banach density, then A+B contains all of the initial products from an infinite sequence. We also show that if a set has a complement which is not additively piecewise syndetic, then any translate of that set is both additively and multiplicatively large in several senses.We investigate whether a subset of N with bounded gaps—a syndetic set—must contain arbitrarily long geometric progressions. We believe that we establish that this is a significant open question.     

Students’ understanding of mathematical objects in the context of transformational geometry: Implications for constructing and understanding proofs

This research explored students’ views of geometric objects through the implementation of a curriculum module that allowed them to explore the relationships between transformational geometry and linear algebra. The majority of the students were middle and secondary mathematics education majors enrolled in a one-semester geometry course that is aimed at prospective teachers. A preponderance of the evidence suggests that the participating students, for the most part, viewed isometries operationally and viewed geometric objects (triangle, etc.) as “perceived.” Results also suggest that these two views influenced the students’ abilities to understand and to construct geometric proofs in transformational geometry.     

Isothermic Submanifolds

We propose an answer to a question raised by F. Burstall: Is there any interesting theory of isothermic submanifolds of ? ⁿ of dimension greater than two? We call an n-immersion f(x) in ? ^m isothermic _k if the normal bundle of f is flat and x is a line of curvature coordinate system such that its induced metric is of the form $\sum_{i=1}^{n} g_{ii}\,\mathrm{d} x_{i}^{2}$ with $\sum_{i=1}^{n} \epsilon_{i} g_{ii}=0$ , where ?? _i =1 for 1??i??n?k and ?? _i =?1 for n?k<i??n. A smooth map (f ₁,??,f _n ) from an open subset ${\mathcal{O}}$ of ? ⁿ to the space of m×n matrices is called an n-tuple of isothermic _k n-submanifolds in ? ^m if each f _i is an isothermic _k immersion, $(f_{i})_{x_{j}}$ is parallel to $(f_{1})_{x_{j}}$ for all 1??i,j??n, and there exists an orthonormal frame (e ₁,??,e _n ) and a GL(n)-valued map (a _ij ) such that $\mathrm{d}f_{i}= \sum_{j=1}^{n} a_{ij} e_{j}\,\mathrm {d} x_{j}$ for 1??i??n. Isothermic₁ surfaces in ?³ are the classical isothermic surfaces in ?³. Isothermic _k submanifolds in ? ^m are invariant under conformal transformations. We show that the equation for n-tuples of isothermic _k n-submanifolds in ? ^m is the $\frac{O(m+n-k,k)}{O(m)\times O(n-k,k)}$ -system, which is an integrable system. Methods from soliton theory can therefore be used to construct Christoffel, Ribaucour, and Lie transforms, and to describe the moduli spaces of these geometric objects and their loop group symmetries.     

Body-and-cad geometric constraint systems

Motivated by constraint-based CAD software, we develop the foundation for the rigidity theory of a very general model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise coincidence, angular and distance constraints. We identify 21 relevant geometric constraints and develop the corresponding infinitesimal rigidity theory for these structures. The classical body-and-bar rigidity model can be viewed as a body-and-cad structure that uses only one constraint from this new class.As a consequence, we identify a new, necessary, but not sufficient, counting condition for minimal rigidity of body-and-cad structures: nested sparsity. This is a slight generalization of the well-known sparsity condition of Maxwell.     

Substituted cyclopentadienyl ligands—10. Intramolecular steric interactions in [(η-C5H3(SiMe3)2)Mo(CO)2(L)I]

Reaction of C₅H₄(SiMe₃)₂ with Mo(CO)₆ yielded [(η⁵-C₅H₃(SiMe₃)₂)Mo(CO)₃]₂, which on addition of iodine gave [(η⁵-C₅H₃(SiMe₃)₂Mo(CO)₃I]. Carbonyl displacement by a range of ligands: [L = P(OMe)₃, P(OPrⁱ)₃,P(O-o-tol)₃, PMe₃, PMe₂Ph, PMePh₂, PPh₃, P(m-tol)₃] gave the new complexes [(η⁵-C₅H₃(SiMe₃)₂ MO(CO)₂(L)I]. For all the trans isomer was the dominant, if not exclusive, isomer formed in the reaction. An NOE spectral analysis of [(η⁵-C₅H₃(SiMe₃)₂)Mo(CO)₂(L)I] L = PMe₂Ph, P(OMe)₃] revealed that the L group resided on the sterically uncongested side of the cyclopentadienyl ligand and that the ligand did not access the congested side of the molecule. Quantification of this phenomenon [L = P(OMe)₃] was achieved by means of the vertex angle of overlap methodology. This methodology revealed a steric preference with the trans isomer (less congestion of CO than I with an SiMe₃ group) being the more stable isomer for L = P(OMe)₃.