Closed geodesics on compact nilmanifolds with Chevalley rational structure

We study the distribution of closed geodesics on nilmanifolds Γ \ N arising from a 2-step nilpotent Lie algebra constructed from an irreducible representation of a compact semisimple Lie algebra on a real finite dimensional vector space U. We determine sufficient conditions on the semisimple Lie algebra for Γ \ N to have the density of closed geodesics property where Γ is a lattice arising from a Chevalley rational structure on .     

Laguerre geometry of hypersurfaces in $$\mathbb{R}^{n}$$

Laguerre geometry of surfaces in is given in the book of Blaschke [Vorlesungen über Differentialgeometrie, Springer, Berlin Heidelberg New York (1929)], and has been studied by Musso and Nicolodi [Trans. Am. Math. soc. 348, 4321–4337 (1996); Abh. Math. Sem. Univ. Hamburg 69, 123–138 (1999); Int. J. Math. 11(7), 911–924 (2000)], Palmer [Remarks on a variation problem in Laguerre geometry. Rendiconti di Mathematica, Serie VII, Roma, vol. 19, pp. 281–293 (1999)] and other authors. In this paper we study Laguerre differential geometry of hypersurfaces in . For any umbilical free hypersurface with non-zero principal curvatures we define a Laguerre invariant metric g on M and a Laguerre invariant self-adjoint operator : TM → TM, and show that is a complete Laguerre invariant system for hypersurfaces in with n≥ 4. We calculate the Euler–Lagrange equation for the Laguerre volume functional of Laguerre metric by using Laguerre invariants. Using the Euclidean space , the semi-Euclidean space and the degenerate space we define three Laguerre space forms , and and define the Laguerre embeddings and , analogously to what happens in the Moebius geometry where we have Moebius space forms S ⁿ , and (spaces of constant curvature) and conformal embeddings and [cf. Liu et al. in Tohoku Math. J. 53, 553–569 (2001) and Wang in Manuscr. Math. 96, 517–534 (1998)]. Using these Laguerre embeddings we can unify the Laguerre geometry of hypersurfaces in , and . As an example we show that minimal surfaces in or are Laguerre minimal in .C. Wang Partially supported by RFDP and Chuang-Xin-Qun-Ti of NSFC.     

Distances to spaces of Baire one functions

Given a metric space X and a Banach space (E, ||·||) we use an index of σ-fragmentability for maps to estimate the distance of f to the space B ₁(X, E) of Baire one functions from X into (E, ||·||). When X is Polish we use our estimations for these distances to give a quantitative version of the well known Rosenthal’s result stating that in the pointwise relatively countably compact sets are pointwise relatively compact. We also obtain a quantitative version of a Srivatsa’s result that states that whenever X is metric any weakly continuous function belongs to B ₁(X, E): our result here says that for an arbitrary we have

The $${\overline{\partial}}$$-equation on homogeneous varieties with an isolated singularity

Let X be a regular irreducible variety in , Y the associated homogeneous variety in , and N the restriction of the universal bundle of to X. In the present paper, we compute the obstructions to solving the -equation in the L ^p -sense on Y for 1 ≤  p ≤  ∞ in terms of cohomology groups . That allows to identify obstructions explicitly if X is specified more precisely, for example if it is equivalent to or an elliptic curve.      

Weights of twisted exponential sums

Let k be a finite field of characteristic p, l a prime number different from p, a nontrivial additive character, and a character on . Then ψ defines an Artin-Schreier sheaf on the affine line , and χ defines a Kummer sheaf on the n-dimensional torus . Let be a Laurent polynomial. It defines a k-morphism . In this paper, we calculate the weights of under some non-degeneracy conditions on f. Our results can be used to estimate sums of the form

<Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript>-estimates for Sobolev functions in terms of ∇ and Δ

Several L ^∞-estimates are obtained for in terms of and , where are determined by m. If p = 2, then the estimates are given with explicit constants. However, if p ≠ 2, it is difficult to derive explicit constants except in two simple cases. Applicability to PDE’s is illustrated.     

Intersection homology Künneth theorems

Cohen, Goresky, and Ji showed that there is a Künneth theorem relating the intersection homology groups to and , provided that the perversity satisfies rather strict conditions. We consider biperversities and prove that there is a Künneth theorem relating to and for all choices of and . Furthermore, we prove that the Künneth theorem still holds when the biperversity p, q is “loosened” a little, and using this we recover the Künneth theorem of Cohen–Goresky–Ji.     

A priori bounds and a Liouville theorem on a half-space for higher-order elliptic Dirichlet problems

We consider the 2m-th order elliptic boundary value problem Lu = f (x, u) on a bounded smooth domain with Dirichlet boundary conditions on ∂Ω. The operator L is a uniformly elliptic operator of order 2m given by . For the nonlinearity we assume that , where are positive functions and q > 1 if N ≤ 2m, if N > 2m. We prove a priori bounds, i.e, we show that for every solution u, where C > 0 is a constant. The solutions are allowed to be sign-changing. The proof is done by a blow-up argument which relies on the following new Liouville-type theorem on a half-space: if u is a classical, bounded, non-negative solution of ( − Δ) ^m u  =  u ^q in with Dirichlet boundary conditions on and q > 1 if N ≤ 2m, if N > 2m then .      

Affine restriction for radial surfaces

Suppose dμ is affine surface measure on a convex radial surface Γ(x) = (x, γ(|x|)), a ≤ |x| < b, in . Under appropriate smoothness and growth conditions on γ, we prove and Fourier restriction estimates for Γ.     

Analytic properties in the spectrum of certain Banach algebras

We show a sufficient condition for a domain in to be a H ^∞-domain of holomorphy. Furthermore if a domain has the Gleason property at a point and the projection of the n − 1th order generalized Shilov boundary does not coincide with Ω then is schlicht. We also give two examples of pseudoconvex domains in which the spectrum is non-schlicht and satisfy several other interesting properties.      

On the Structure of Solutions of the Moisil-Théodoresco System in Euclidean Space

Let be open, let be the Dirac operator in and let be the Clifford algebra constructed over the quadratic space . If for fixed, denotes the space of r-vectors in , then an -valued smooth function W = W ^r  + W ^r+2 in Ω is said to satisfy the Moisil-Théodoresco system if . In terms of differential forms, this means that the corresponding - valued smooth form w = w ^r  + w ^r+2 satisfies in Ω the system d ^* w ^r = 0, dw ^r  + d ^* w ^r+2 = 0; dw ^r+2 = 0. Based on techniques and results concerning conjugate harmonic functions in the framework of Clifford analysis, a structure theorem is proved for the solutions of the Moisil-Théodoresco system.      

Normal generation and Clifford index on algebraic curves

For a smooth curve C it is known that a very ample line bundle on C is normally generated if Cliff() < Cliff(C) and there exist extremal line bundles (:non-normally generated very ample line bundle with Cliff() = Cliff(C)) with . However it has been unknown whether there exists an extremal line bundle with . In this paper, we prove that for any positive integers (g, c) with g = 2c + 5 and (mod 2) there exists a smooth curve of genus g and Clifford index c carrying an extremal line bundle with . In fact, a smooth quadric hypersurface section C of a general projective K3 surface always has an extremal line bundle with . More generally, if C has a line bundle computing the Clifford index c of C with , then C has such an extremal line bundle . For all authors, this work was supported by Korea Research Foundation Grant funded by Korea Government (MOEHRD, Basic Reasearch Promotion Fund)(KRF-2005-070-C00005).     

Ranks of abelian varieties over infinite extensions of the rationals

Let S be an infinite set of rational primes and, for some p ∈ S, let be the compositum of all extensions unramified outside S of the form , for . If , let be the intersection of the fixed fields by , for i = 1, . . , n. We provide a wide family of elliptic curves such that the rank of is infinite for all n ≥ 0 and all , subject to the parity conjecture. Similarly, let be a polarized abelian variety, let K be a quadratic number field fixed by , let S be an infinite set of primes of and let be the maximal abelian p-elementary extension of K unramified outside primes of K lying over S and dihedral over . We show that, under certain hypotheses, the -corank of sel _p ∞(A/F) is unbounded over finite extensions F/K contained in . As a consequence, we prove a strengthened version of a conjecture of M. Larsen in a large number of cases.     

On formulas for the index of the circular distributions

A circular distribution is a Galois equivariant map ψ from the roots of unity μ _∞ to an algebraic closure of such that ψ satisfies product conditions, for ϵ ∈ μ _∞ and , and congruence conditions for each prime number l and with (l, s) = 1, modulo primes over l for all , where μ _l and μ _s denote respectively the sets of lth and sth roots of unity. For such ψ, let be the group generated over by and let be , where U _s denotes the global units of . We give formulas for the indices and of and inside the circular numbers P _s and units C _s of Sinnott over . This work was supported by the SRC Program of Korea Science and Engineering Foundation (KOSEF) grant funded by the Korea government (MOST) (No. R11-2007-035-01001-0). This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD, Basic Research Promotion Fund) (KRF-2006-312-C00455).     

Fibred multilinks and singularities $${f \overline g}$$

In this article we extend Milnor’s fibration theorem to the case of functions of the form with f, g holomorphic, defined on a complex analytic (possibly singular) germ (X, 0). We further refine this fibration theorem by looking not only at the link of , but also at its multi-link structure, which is more subtle. We mostly focus on the case when X has complex dimension two. Our main result (Theorem 4.4) gives in this case the equivalence of the following three statements:

Quasi-locally finite polynomial endomorphisms

If F is a polynomial endomorphism of , let denote the field of rational functions such that . We will say that F is quasi-locally finite if there exists a nonzero such that p(F) = 0. This terminology comes out from the fact that this definition is less restrictive than the one of locally finite endomorphisms made in Furter, Maubach (J Pure Appl Algebra 211(2):445–458, 2007). Indeed, F is called locally finite if there exists a nonzero such that p(F) = 0. In the present paper, we show that F is quasi-locally finite if and only if for each the sequence is a linear recurrent sequence. Therefore, this notion is in some sense natural. We also give a few basic results on such endomorphisms. For example: they satisfy the Jacobian conjecture.     

Pointwise convergence for semigroups in vector-valued <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> spaces

Suppose that {T _t  : t  ≥  0} is a symmetric diffusion semigroup on L ²(X) and denote by its tensor product extension to the Bochner space , where belongs to a certain broad class of UMD spaces. We prove a vector-valued version of the Hopf–Dunford–Schwartz ergodic theorem and show that this extends to a maximal theorem for analytic continuations of on . As an application, we show that such continuations exhibit pointwise convergence.     

Exact inequalities for sums of asymmetric random variables, with applications

Let be independent identically distributed random variables each having the standardized Bernoulli distribution with parameter . Let if and . Let . Let f be such a function that f and f′′ are nondecreasing and convex. Then it is proved that for all nonnegative numbers one has the inequality where . The lower bound on m is exact for each . Moreover, is Schur-concave in . A number of corollaries are obtained, including upper bounds on generalized moments and tail probabilities of (super)martingales with differences of bounded asymmetry, and also upper bounds on the maximal function of such (super)martingales. Applications to generalized self-normalized sums and t-statistics are given.      

Three-dimensional sets with small sumset

We describe the structure of three dimensional sets of lattice points, having a small doubling property. Let be a finite subset of ℤ³ such that dim = 3. If and , then lies on three parallel lines. Moreover, for every three dimensional finite set that lies on three parallel lines, if , then is contained in three arithmetic progressions with the same common difference, having together no more than terms. These best possible results confirm a recent conjecture of Freiman and cannot be sharpened by reducing the quantity υ or by increasing the upper bounds for .     

The Extremal Truncated Moment Problem

For a degree 2n real d-dimensional multisequence to have a representing measure μ, it is necessary for the associated moment matrix to be positive semidefinite and for the algebraic variety associated to β, , to satisfy rank card as well as the following consistency condition: if a polynomial vanishes on , then . We prove that for the extremal case , positivity of and consistency are sufficient for the existence of a (unique, rank -atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness of . The first-named author’s research was partially supported by NSF Research Grants DMS-0099357 and DMS-0400741. The second-named author’s research was partially supported by NSF Research Grant DMS-0201430 and DMS-0457138.