On optimal initial value conditions for local strong solutions of the Navier–Stokes equations

Consider a smooth bounded domain , and the Navier–Stokes system in with initial value and external force f =  div F, where , are so-called Serrin exponents. It is an important question what is the optimal (weakest possible) initial value condition in order to obtain a unique strong solution in some initial interval [0, T), . Up to now several sufficient conditions on u ₀ are known which need not be necessary. Our main result, see Theorem 1.1, shows that the condition , A denotes the Stokes operator, is sufficient and necessary for the existence of such a strong solution u. In particular, if , , then any weak solution u in the usual sense does not satisfy Serrin’s condition for each 0 < T ≤ ∞.      

Equivariant gluing constructions of contact stationary Legendrian submanifolds in $${\mathbb {S}^{2n+1}}$$

A contact-stationary Legendrian submanifold of is a Legendrian submanifold whose volume is stationary under contact deformations. The simplest contact-stationary Legendrian submanifold (actually minimal Legendrian) is the real, equatorial n-sphere S ₀. This paper develops a method for constructing contact-stationary (but not minimal) Legendrian submanifolds of by gluing together configurations of sufficiently many many U(n + 1)-rotated copies of S ₀. Two examples of the construction, corresponding to finite cyclic subgroups of U(n + 1) are given. The resulting submanifolds are very symmetric; are geometrically akin to a ‘necklace’ of copies of S ₀ attached to each other by narrow necks and winding a large number of times around before closing up on themselves; and are topologically equivalent to .     

Determination of simple CM abelian surfaces defined over $${\mathbb{Q}}$$

It is known that in the moduli space of elliptic curves, there exist precisely nine -rational points represented by an elliptic curve with complex multiplication by the maximal order of an imaginary quadratic field. In Murabayashi and Umegaki (J Algebra 235:267–274, 2001) and Umegaki [Determination of all -rational CM-points in the moduli spaces of polarized abelian surfaces, Analytic number theory (Beijng/Kyoto, 1999). Dev. Math., vol 6. Kluwer, Dordrecht, pp 349–357, 2002] we determined all -rational points in (the moduli space of d-polarized abelian surfaces) represented by a d-polarized abelian surface whose endomorphism ring is isomorphic to the maximal order of a quartic CM-field by using the result in Murabayashi (J Reine Angew Math 470:1–26, 1996). In this paper, we prove that polarized abelian surfaces corresponding to these -rational CM points have a -rational model by constructing certain Hecke characters.     

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.     

Pointwise estimates for relative fundamental solutions of heat equations in $${\mathbb{R} \times \mathbb{C}}$$

Let be a subharmonic, nonharmonic polynomial and a parameter. Define , a closed, densely defined operator on . If and , we solve the heat equations , u(0,z) = f(z) and , . We write the solutions via heat semigroups and show that the solutions can be written as integrals against distributional kernels. We prove that the kernels are C ^∞ off of the diagonal {(s, z, w) : s = 0 and z = w} and find pointwise bounds for the kernels and their derivatives.      

Partial regularity for polyconvex functionals depending on the Hessian determinant

We prove a C ^2,α partial regularity result for local minimizers of polyconvex variational integrals of the type , where Ω is a bounded open subset of , and is a convex function, with subquadratic growth.     

Foliations and polynomial diffeomorphisms of $${\mathbb{R}^{3}}$$

Let be a C ² map and let Spec(Y) denote the set of eigenvalues of the derivative DY _p , when p varies in . We begin proving that if, for some ϵ > 0, then the foliation with made up by the level surfaces {k = constant}, consists just of planes. As a consequence, we prove a bijectivity result related to the three-dimensional case of Jelonek’s Jacobian Conjecture for polynomial maps of The first author was supported by CNPq-Brazil Grant 306992/2003-5. The first and second author were supported by FAPESP-Brazil Grant 03/03107-9.     

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.     

Examples of scalar-flat hypersurfaces in $${\mathbb{R}^{n+1}}$$

Given a hypersurface M of null scalar curvature in the unit sphere , n ≥ 4, such that its second fundamental form has rank greater than 2, we construct a singular scalar-flat hypersurface in as a normal graph over a truncated cone generated by M. Furthermore, this graph is 1-stable if the cone is strictly 1-stable.     

Codes defined by forms of degree 2 on non-degenerate Hermitian varieties in $${\mathbb{P}^{4}(\mathbb{F}_q)}$$

We study the functional codes of second order on a non-degenerate Hermitian variety as defined by G. Lachaud. We provide the best possible bounds for the number of points of quadratic sections of . We list the first five weights, describe the corresponding codewords and compute their number. The paper ends with two conjectures. The first is about minimum distance of the functional codes of order h on a non-singular Hermitian variety . The second is about distribution of the codewords of first five weights of the functional codes of second order on a non-singular Hermitian variety .      

Shape preserving interpolation by cubic G1 splines in $${\mathbb{R}^3}$$

In this paper, G ¹ continuous cubic spline interpolation of data points in , based on a discrete approximation of the strain energy, is studied. Simple geometric conditions on data are presented that guarantee the existence of the interpolant. The interpolating spline is regular, loop-, cusp- and fold-free.      

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:

Corrigenda to “Barth type vanishing theorems”

We fix a mistake contained in a previous paper concerning vanishing theorems for low codimensional varieties in . This work is within the framework of the national research project “Geomety on Algebraic Varieties” Cofin 2008 of MIUR.     

Hopf hypersurfaces of small Hopf principal curvature in $${\mathbb{C}{\rm H}^2}$$

Using the methods of moving frames and exterior differential systems, we show that there exist Hopf hypersurfaces in complex hyperbolic space with any specified value of the Hopf principal curvature α less than or equal to the corresponding value for the horosphere. We give a construction for all such hypersurfaces in terms of Weierstrass-type data, and also obtain a classification of pseudo-Einstein hypersurfaces in .      

Cyclicity of bicyclic operators and completeness of translates

We study cyclicity of operators on a separable Banach space which admit a bicyclic vector such that the norms of its images under the iterates of the operator satisfy certain growth conditions. A simple consequence of our main result is that a bicyclic unitary operator on a Banach space with separable dual is cyclic. Our results also imply that if is the shift operator acting on the weighted space of sequences , if the weight ω satisfies some regularity conditions and ω(n) = 1 for nonnegative n, then S is cyclic if . On the other hand one can see that S is not cyclic if the series diverges. We show that the question of Herrero whether either S or S* is cyclic on admits a positive answer when the series is convergent. We also prove completeness results for translates in certain Banach spaces of functions on .     

The cylinder over the Koras–Russell cubic threefold has a trivial Makar-Limanov invariant

In 1996 Makar-Limanov established that the Koras–Russell cubic threefold

$${\mathcal{R}}$$ -boundedness,pseudodifferential operators,and maximal regularity for some classes of partial differential operators

It is shown that an elliptic scattering operator A on a compact manifold with boundary with operator valued coefficients in the morphisms of a bundle of Banach spaces of class () and Pisier’s property (α) has maximal regularity (up to a spectral shift), provided that the spectrum of the principal symbol of A on the scattering cotangent bundle avoids the right half-plane. This is accomplished by representing the resolvent in terms of pseudodifferential operators with -bounded symbols, yielding by an iteration argument the -boundedness of λ(A−λ)⁻¹ in for some . To this end, elements of a symbolic and operator calculus of pseudodifferential operators with -bounded symbols are introduced. The significance of this method for proving maximal regularity results for partial differential operators is underscored by considering also a more elementary situation of anisotropic elliptic operators on with operator valued coefficients.     

All superconformal surfaces in $${\mathbb R^4}$$ in terms of minimal surfaces

We give an explicit construction of any simply connected superconformal surface in Euclidean space in terms of a pair of conjugate minimal surfaces . That is superconformal means that its ellipse of curvature is a circle at any point. We characterize the pairs (g, h) of conjugate minimal surfaces that give rise to images of holomorphic curves by an inversion in and to images of superminimal surfaces in either a sphere or a hyperbolic space by an stereographic projection. We also determine the relation between the pairs (g, h) of conjugate minimal surfaces associated to a superconformal surface and its image by an inversion. In particular, this yields a new transformation for minimal surfaces in .