Kolmogorov and linear widths of weighted Besov classes

We study the Kolmogorov m-widths and the linear m-widths of the weighted Besov classes on [−1,1], where Lq,μ, 1?q?∞, denotes the Lq space on [−1,1] with respect to the measure , μ>0. Optimal asymptotic orders of and as m→∞ are obtained for all 1?p,τ?∞. It turns out that in many cases, the orders of are significantly smaller than the corresponding orders of the best m-term approximation by ultraspherical polynomials, which is somewhat surprising.     

Quadratic addition rules for quantum integers

For every positive integer n, the quantum integer [n]_q is the polynomial [n]_q=1+q+q²+?+q^n-1. A quadratic addition rule for quantum integers consists of sequences of polynomials , , and such that for all m and n. This paper gives a complete classification of quadratic addition rules, and also considers sequences of polynomials that satisfy the associated functional equation .     

Abelian subgroups of any order in class groups of global function fields

Let be a finite field with q elements, and T a transcendental element over . In this paper, we construct infinitely many real function fields of any fixed degree over with ideal class numbers divisible by any given positive integer greater than 1. For imaginary function fields, we obtain a stronger result which shows that for any relatively prime integers m and n with m,n>1 and relatively prime to the characteristic of , there are infinitely many imaginary fields of fixed degree m such that the class group contains a subgroup isomorphic to .     

Carleson measures, multipliers and integration operators for spaces of Dirichlet type

For 0<p<∞ and α>−1, we let denote the space of those functions f which are analytic in the unit disc and satisfy . In this paper we characterize the positive Borel measures μ in D such that , 0<p<q<∞. We also characterize the pointwise multipliers from to (0<p<q<∞) if p−2<α<p. In particular, we prove that if the only pointwise multiplier from to (0<p<q<∞) is the trivial one. This is not longer true for and we give a number of explicit examples of functions which are multipliers from to for this range of values.     

Estimate of the L-Fourier transform norm on nilpotent Lie groups

Let 1<p?2 and q be such that . It is well known that the norm of the L^p-Fourier transform of the additive group is , where . For a nilpotent Lie group G, we obtain the estimate , where m is the maximal dimension of the coadjoint orbits. Such a result was known only for some particular cases.     

q-Analog of the Möbius function and the cyclotomic identity associated to a profinite group

Let G be a profinite group and q an indeterminate. In this paper, we introduce and study a q-analog of the Möbius function and the cyclotomic identity arising from the lattice of open subgroups of G. When q is any integer, we show that they have close connections with the functors , , and introduced in [Y.-T. Oh, q-Deformation of Witt-Burnside rings, Math. Z. 257 (2007) 151-191]. In particular, we interpret the multiplicative property of the inverse of the table of marks and the Möbius function of G as a composition property of certain functors. Classification of , , and up to strict natural isomorphism as q varies over the set of integers and its application will be dealt with, too.     

On the Clark Ocone formula for the abstract Wiener space

Fix an abstract Wiener space where is a separable Hilbert space densely embedded into a Banach space . A pathwise construction of the Itô integral as a continuous square integrable martingale is given, where the integrands are -valued processes and the integrator is a -valued Brownian motion. We use this approach to the vector integral to prove that each Malliavin differentiable functional ? defined on the space of continuous -valued functions on [0,1], endowed with the Wiener measure, can be decomposed into the sum of the expected value of ? and the Itô integral of the conditional expectation of the Malliavin derivative of ? with respect to the Brownian filtration. The Malliavin derivative of ? is an -valued stochastic process. In a second application, it is shown that the iterated Itô integral, defined as a process on , is a continuous square integrable martingale.     

Quartic residues and binary quadratic forms

Let be a prime, m∈Z and . In this paper we obtain a general criterion for m to be a quartic residue in terms of appropriate binary quadratic forms. Let d>1 be a squarefree integer such that , where is the Legendre symbol, and let ε_d be the fundamental unit of the quadratic field . Since 1942 many mathematicians tried to characterize those primes p so that ε_d is a quadratic or quartic residue . In this paper we will completely solve these open problems by determining the value of , where p is an odd prime, and . As an application we also obtain a general criterion for , where {u_n(a,b)} is the Lucas sequence defined by and .     

A new majorization between functions, polynomials, and operator inequalities

Let P₊ be the set of all non-negative operator monotone functions defined on [0,∞), and put . Then and . For a function and a strictly increasing function h we write if is operator monotone. If and and if and , then . We will apply this result to polynomials and operator inequalities. Let and be non-increasing sequences, and put for t≧a₁ and for t≧b₁. Then v₊?u₊ if m≦n and : in particular, for a sequence of orthonormal polynomials, (p_n-1)₊?(p_n)₊. Suppose 0<r,p and s=0 or 1≦s≦1+p/r. Then 0≦A≦B implies for 0<α≦r/(p+r).     

Bounded Kähler class rigidity of actions on Hermitian symmetric spaces

We prove that the conjugacy class of a Zariski dense representation , q>p?1, of a finitely generated group Γ is completely determined by the pull-back via π of a bounded cohomology class in defined in terms of the Kähler form on the associated symmetric space. Under the assumption that is finite dimensional, we show that, up to equivalence, there is only a finite number of such representations for fixed q>p?1; moreover, under the hypothesis that injects into , we estimate the total number of such representations (for all q>p?1) to be bounded above by .     

Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

Générateurs de l'anneau des entiers d'une extension cyclotomique

Let p be an odd prime and q=pm, where m is a positive integer. Let ζq be a qth primitive root of 1 and Oq be the ring of integers in Q(ζq). In [I. Gaál, L. Robertson, Power integral bases in prime-power cyclotomic fields, J. Number Theory 120 (2006) 372-384] I. Gaál and L. Robertson show that if , where is the class number of , then if α∈Oq is a generator of Oq (in other words Z[α]=Oq) either α is equals to a conjugate of an integer translate of ζq or is an odd integer. In this paper we show that we can remove the hypothesis over . In other words we show that if α∈Oq is a generator of Oq then either α is a conjugate of an integer translate of ζq or is an odd integer.     

Equivariant chain complexes, twisted homology and relative minimality of arrangements

We show that the π-equivariant chain complex (), , associated to a Morse-theoretic minimal CW-structure X on the complement of an arrangement , is independent of X. The same holds for all scalar extensions, , a field, where X is an arbitrary minimal CW-structure on a space M. When is a section of another arrangement , we show that the divisibility properties of the first Betti number of the Milnor fiber of  obstruct the homotopy realization of  as a subcomplex of a minimal structure on .If is aspherical and is a sufficiently generic section of , then may be described in terms of π, L and , for an arbitrary local system L; explicit computations may be done, when is fiber-type. In this case, explicit -presentations of arbitrary abelian scalar extensions of the first non-trivial higher homotopy group of , π_p(M), may also be obtained. For nonresonant abelian scalar extensions, the -rank of is combinatorially determined.     

On a theorem of Chowla

Let be a finite field with q=p^felements, where p is a prime number and f is a positive integer. For a nonprincipal multiplicative character χ and a nontrivial additive character ψ on , it is well known that Gauss sum has absolute value . In this paper, we investigate when is a root of unity.