Complete asymptotic expansions associated with Epstein zeta-functions

Let Q(u,v)=|u+vz|² be a positive-definite quadratic form with a complex parameter z=x+iy in the upper-half plane. The Epstein zeta-function attached to Q is initially defined by for Re s>1, where the term with m=n=0 is to be omitted. We deduce complete asymptotic expansions of as y→+∞ (Theorem 1 in Sect. 2), and of its weighted mean value (with respect to y) in the form of a Laplace-Mellin transform of (Theorem 2 in Sect. 2). Prior to the proofs of these asymptotic expansions, the meromorphic continuation of over the whole s-plane is prepared by means of Mellin-Barnes integral transformations (Proposition 1 in Sect. 3). This procedure, differs slightly from other previously known methods of the analytic continuation, gives a new alternative proof of the Fourier expansion of (Proposition 2 in Sect. 3). The use of Mellin-Barnes type of integral formulae is crucial in all aspects of the proofs; several transformation properties of hypergeometric functions are especially applied with manipulation of these integrals. Research supported in part by Grant-in-Aid for Scientific Research (No. 13640041), the Ministry of Education, Culture, Sports, Science and Technology of Japan.     

Wavelet Bases for Confinements of the Infrared Divergence

We propose the construction of wavelet bases with pseudo-polynomials adapted to the homogeneous Sobolev spaces , s−n/2∈ℕ. They provide a confinement of the infrared divergence by decomposing as a direct sum X ⊕ Y where X is a “small” space which carries the divergence and Y can be embedded in . In the case of we also construct such an orthonormal basis, which provides a confinement of the Mumford process.     

Quadratic fields with noncyclic 5- or 7-class groups

We shall show that the number of quadratic fields with absolute discriminant ≤x and noncyclic 5- or 7-class group is ≫x ^1/4 improving the existing known bound for g=5 and for g=7 in Byeon (Ramanujan J. 11:159–163, 2006). This work was supported by KRF-2005-070-C00004.     

Slices of Essentially Algebraic Categories

This paper is a contribution to the theory of functor slices of J. Sichler and V. Trnková. For every ordinal α we introduce a basket , prove that every essentially algebraic category of height α is a slice of , characterize small slices of and give a common generalization of known results about slices of the algebraic basket .      

On the Number of Topological Types Occurring in a Parameterized Family of Arrangements

Let be an o-minimal structure over ℝ, a closed definable set, and

Restriction De La Cohomologie D’une Variété De Shimura à Ses Sous-variétés

Let G be a connected semisimple group over . Given a maximal compact subgroup K ⊂ G() such that X = G()/K is a Hermitian symmetric domain, and a convenient arithmetic subgroup Γ ⊂ G(), one constructs a (connected) Shimura variety S = S(Γ) = Γ\X. If H ⊂ G is a connected semisimple subgroup such that H() / K is maximal compact, then Y = H()/K is a Hermitian symmetric subdomain of X. For each g ∈ G() one can construct a connected Shimura variety S(H, g) = (H() ∩ g ⁻¹Γg)\Y and a natural holomorphic map j _g : S(H, g) → S induced by the map H() → G(), h → gh. Let us assume that G is anisotropic, which implies that S and S(H, g) are compact. Then, for each positive integer k, the map j _g induces a restriction map

Exotic smooth structures on small 4-manifolds

Let M be either or . We construct the first example of a simply-connected irreducible symplectic 4-manifold that is homeomorphic but not diffeomorphic to M. Dedicated to Ronald J. Stern on the occasion of his sixtieth birthday Mathematics Subject Classification (2000)  Primary 57R55; Secondary 57R17, 57M05     

Relations between different types of spectra and spectral characterizations

In the study of the asymptotic behaviour of solutions of differential-difference equations the -spectrum has been useful, where and implies Fourier transform , with given , φ∈L ^∞(ℝ,X), X a Banach space, (half)line. Here we study and related concepts, give relations between them, especially weak Laplace half-line spectrum of φ, and thus ⊂ classical Beurling spectrum = Carleman spectrum =  ; also  = Beurling spectrum of “φ modulo ” (Chill-Fasangova). If satisfies a Loomis type condition (L _U ), then countable and uniformly continuous ∈U are shown to imply ; here (L _U ) usually means , indefinite integral Pf of f in U imply Pf in (the Bohl-Bohr theorem for = almost periodic functions, U=bounded functions). This spectral characterization and other results are extended to unbounded functions via mean classes , ℳ ^m U ((2.1) below) and even to distributions, generalizing various recent results for uniformly continuous bounded φ. Furthermore for solutions of convolution systems S*φ=b with in some we show . With these above results, one gets generalizations of earlier results on the asymptotic behaviour of solutions of neutral integro-differential-difference systems. Also many examples and special cases are discussed.     

On the Homological Dimension of Lattices

Let L be a finite lattice and let . It is shown that if the order complex satisfies then |L| ≥ 2 ^k . Equality |L| = 2 ^k holds iff L is isomorphic to the Boolean lattice {0,1} ^k . Research supported by the Israel Science Foundation.     

Dual Wavelet Frames and Riesz Bases in Sobolev Spaces

This paper generalizes the mixed extension principle in L ₂(ℝ ^d ) of (Ron and Shen in J. Fourier Anal. Appl. 3:617–637, 1997) to a pair of dual Sobolev spaces H ^s (ℝ ^d ) and H ^−s (ℝ ^d ). In terms of masks for φ,ψ ¹,…,ψ ^L ∈H ^s (ℝ ^d ) and , simple sufficient conditions are given to ensure that (X ^s (φ;ψ ¹,…,ψ ^L ), forms a pair of dual wavelet frames in (H ^s (ℝ ^d ),H ^−s (ℝ ^d )), where

On the relation of Voevodsky’s algebraic cobordism to Quillen’s <Emphasis Type="Italic">K</Emphasis>-theory

Quillen’s algebraic K-theory is reconstructed via Voevodsky’s algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P¹-spectrum MGL of Voevodsky is considered as a commutative P¹-ring spectrum. Setting we regard the bigraded theory MGL ^p,q as just a graded theory. There is a unique ring morphism which sends the class [X]_MGL of a smooth projective k-variety X to the Euler characteristic of the structure sheaf . Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories

Riemannian geometry on the diffeomorphism group of the circle

The topological group of diffeomorphisms of the unit circle of Sobolev class H ^k , for k large enough, is a Banach manifold modeled on the Hilbert space . In this paper we show that the H ¹ right-invariant metric obtained by right-translation of the H ¹ inner product on defines a smooth Riemannian metric on , and we explicitly construct a compatible smooth affine connection. Once this framework has been established results from the general theory of affine connections on Banach manifolds can be applied to study the exponential map, geodesic flow, parallel translation, curvature etc. The diffeomorphism group of the circle provides the natural geometric setting for the Camassa–Holm equation – a nonlinear wave equation that has attracted much attention in recent years – and in this context it has been remarked in various papers how to construct a smooth Riemannian structure compatible with the H ¹ right-invariant metric. We give a self-contained presentation that can serve as a detailed mathematical foundation for the future study of geometric aspects of the Camassa–Holm equation.     

On Convergence and Convolutions of Random Signed Measures

Let μ _n be a sequence of random finite signed measures on the locally compact group G equal to either or ℝ ^d . We give weak conditions on the sequence μ _n and on functions K such that the convolution product μ _n *K, and its derivatives, converge in law, in probability, or almost surely in the Banach spaces or L ^p (G). Examples for sequences μ _n covered are the empirical process (possibly arising from dependent data) and also random signed measures where is some (nonparametric) estimator for the measure ℙ, including the usual kernel and wavelet based density estimators with MISE-optimal bandwidths. As a statistical application, we apply the results to study convolutions of density estimators.      

Plurisubharmonic Functions on the Octonionic Plane and <Emphasis Type="Italic">Spin</Emphasis>(9)-Invariant Valuations on Convex Sets

A new class of plurisubharmonic functions on the octonionic plane is introduced. An octonionic version of theorems of A.D. Aleksandrov (Vestnik Leningrad. Univ. Ser. Mat. Meh. Astr. 13(1):5–24, 1958) and Chern-Levine-Nirenberg (Global Analysis, pp. 119–139, 1969), and Błocki (Proc. Am. Math. Soc. 128(12):3595–3599, 2000) are proved. These results are used to construct new examples of continuous translation invariant valuations on convex subsets of . In particular, a new example of Spin(9)-invariant valuation on ℝ¹⁶ is given. Partially supported by ISF grant 1369/04.     

Further properties of a function of Ogg and Ligozat

Certain identities of Ramanujan may be succinctly expressed in terms of the rational function on the modular curve X ₀(N), where and f _χ is a certain modular unit on the Nebentypus cover X _χ (N) introduced by Ogg and Ligozat for prime and w _N is the Fricke involution. These correspond to levels N=5,13, where the genus g _N of X ₀(N) is zero. In this paper we study slightly more general kind of relations for each such that X ₀(N) has genus g _N =1,2, and also for each such that the Atkin–Lehner quotient X ₀⁺(N) has genus g _N ⁺=1,2. Finally we study the normal closure of the field of definition of the zeros of the latter.      

A D’Alembert Formula for Flat Surfaces in the 3-Sphere

We find all the flat surfaces in the unit 3-sphere $\mathbb{S}^{3}We find all the flat surfaces in the unit 3-sphere that pass through a given regular curve of with a prescribed tangent plane distribution along this curve. The formula that solves this problem may be seen as a geometric analogue of the classical D’Alembert formula that solves the Cauchy problem for the homogeneous wave equation. We also provide several applications of this geometric D’Alembert formula, including a classification of the flat M?bius strips of  .      

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).     

The hardy and bellman operators in spaces connected with H( \mathbb{T} ) and BMO( \mathbb{T} )

Assume that 1 ≤ p < ∞ and a function f ∈ L ^p [0, π] has the Fourier series $ \sum\limits_{n = 1}^\infty {a_n } Assume that 1 ≤ p < ∞ and a function f ∈ L ^p [0, π] has the Fourier series cos nx. According to one result of G.H. Hardy, the series cos nx is the Fourier series for a certain function (f) ∈ L ^p [0, π]. But if 1 < p ≤ ∞ and f ∈ L ^p [0, π], then the series cos nx is the Fourier series for a certain function (f) ∈ L ^p [0, π]. Similar assertions are true for sine series. This allows one to define the Hardy operator on L ^p (), 1 ≤ p < ∞, and to define the Bellman operator on L ^p (), 1 < p ≤ ∞. In this paper we prove that the Bellman operator boundedly acts in VMO(), and the Hardy operator also maps a certain subspace C() onto VMO(). We also prove the invariance of certain classes of functions with given majorants of modules of continuity or best approximations in the spaces H(), L(), VMO() with respect to the Hardy and Bellman operators. Original Russian Text ? S.S. Volosivets and B.I. Golubov, 2008, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2008, No. 5, pp. 4–13.     

Quelques Résultats sur les Algèbres Flexibles Préhilbertiennes sans Diviseurs de Zéro Vérifiant ∥a 2∥ = ∥a∥2

Résumé. Soit A une algèbre réelle. On suppose que l’espace vectoriel A est muni d’une norme ∥.∥ préhilbertienne vérifiant ∥a ²∥ = ∥a∥² pour tout . Si A est flexible, sans diviseurs de zéro et de dimension ≤ 4, alors A est isomorphe à ou , ce qui généralise un théorème d’El-Mallah [1]. Si A est flexible, sans diviseurs de zéro, contenant un idempotent central et vérifiant la propriété d’Osborn, alors A est de dimension finie et isomorphe à , ou . Enfin nous montrons qu’une algèbre normée préhilbertienne unitaire d’unité e telle que ∥e∥ = 1 est flexible et vérifie ∥a ²∥ = ∥ a∥².

---

Let A be a real algebra. Assuming that a vector space A is endowed with a pre-Hilbert norm ∥.∥ satisfying ∥a ²∥ = ∥a∥² for all . If A is flexible, without divisor of zero and of a dimension ≤ 4, then A is isomorphic to or , which generalize El-Mallah’s theorem [1]. If A is flexible, without divisor of zero, containing a central idempotent and satisfying Osborn’s properties, then A is finite dimensional and isomorphic to , or . Finally we prove that a normed pre-Hilbert algebra with unit e such that ∥e∥ = 1 is flexible and satisfies ∥a ²∥ = ∥a∥².

     

Quantization for a fourth order equation with critical exponential growth

For concentrating solutions weakly in H ²(Ω) to the equation on a domain with Navier boundary conditions the concentration energy is shown to be strictly quantized in multiples of the number .