(Super) module amenability, module topological centre and semigroup algebras

For a Banach algebra $\mathcal{A}For a Banach algebra A\mathcal{A} which is also an \mathfrakA\mathfrak{A}-bimodule, we study relations between module amenability of closed subalgebras of A"\mathcal{A}', which contains A\mathcal{A}, and module Arens regularity of A\mathcal{A} and the role of the module topological centre in module amenability of A"\mathcal{A}'. Then we apply these results to A=l¹(S)\mathcal{A}=l^{1}(S) and \mathfrakA=l¹(E)\mathfrak{A}=l^{1}(E) for an inverse semigroup S with subsemigroup E of idempotents. We also show that l ¹(S) is module amenable (equivalently, S is amenable) if and only if an appropriate group homomorphic image of S, the discrete group \fracS ? \frac{S}{\approx}, is amenable. Moreover, we define super module amenability and show that l ¹(S) is super module amenable if and only if \fracS ? \frac{S}{\approx} is finite.     

The first negative coefficients of symmetric square <Emphasis Type="Italic">L</Emphasis>-functions

Let n_sym²fn_{\mathrm{sym}^{2}f} be the greatest integer such that l_sym²f(n) 3 0\lambda_{\mathrm{sym}^{2}f}(n)\ge0 for all n < n_sym²fnn,N)=1, where l_sym²f(n)\lambda_{\mathrm{sym}^{2}f}(n) is the nth coefficient of the Dirichlet series representation of the symmetric square L-function L(s,sym² f) associated to a primitive form f of level N and of weight k. In this paper, we establish the subconvexity bound: n_sym²f << (k²N²)^40/113n_{\mathrm{sym}^{2}f}\ll(k^{2}N^{2})^{40/113} where the implied constant is absolute.     

Multipliers of weighted semigroups and associated Beurling Banach algebras

Given a weighted discrete abelian semigroup (S, ω), the semigroup M _ω (S) of ω-bounded multipliers as well as the Rees quotient M _ω (S)/S together with their respective weights [(w)\tilde]\tilde{\omega} and [(w)\tilde]_q\tilde{\omega}_q induced by ω are studied; for a large class of weights ω, the quotient l¹(M_w(S),[(w)\tilde])/l¹(S,w)\ell^1(M_{\omega}(S),\tilde{\omega})/\ell^1(S,{\omega}) is realized as a Beurling algebra on the quotient semigroup M _ω (S)/S; the Gel’fand spaces of these algebras are determined; and Banach algebra properties like semisimplicity, uniqueness of uniform norm and regularity of associated Beurling algebras on these semigroups are investigated. The involutive analogues of these are also considered. The results are exhibited in the context of several examples.     

On Representations of Integers in Thin Subgroups of {{\rm SL}_2({\mathbb {Z}})}

Let ${\Gamma < {\rm SL}(2, {\mathbb Z})}Let G < SL(2, \mathbb Z){\Gamma < {\rm SL}(2, {\mathbb Z})} be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive vectors v₀, w₀ ? \mathbb Z²  \  {0}{v_{0}, w_{0} \in \mathbb {Z}^{2} \, {\backslash} \, \{0\}}. We consider the set S{\mathcal {S}} of all integers occurring in áv₀g, w₀?{\langle v_{0}\gamma, w_{0}\rangle}, for g ? G{\gamma \in \Gamma} and the usual inner product on \mathbb R²{\mathbb {R}^2}. Assume that the critical exponent δ of Γ exceeds 0.99995, so that Γ is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd’s 5/6-th spectral gap in infinite-volume, we show that S{\mathcal {S}} contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set \mathfrak E(N){\mathfrak {E}(N)} of integers |n| < N which are locally admissible (n ? S   (mod  q)   for all   q 3 1){(n \in \mathcal {S} \, \, ({\rm mod} \, q) \, \, {\rm for\,all} \,\, q \geq 1)} but fail to be globally represented, n ? S{n \notin \mathcal {S}}, has a power savings, |\mathfrak E(N)| << N^1-e₀{|\mathfrak {E}(N)| \ll N^{1-\varepsilon_{0}}} for some ${\varepsilon_{0} > 0}${\varepsilon_{0} > 0}, as N → ∞.     

Generalizations of Arnold’s version of Euler’s theorem for matrices

A recent result, conjectured by Arnold and proved by Zarelua, states that for a prime number p, a positive integer k, and a square matrix A with integral entries one has ${\textrm tr}(A^{p^k}) \equiv {\textrm tr}(A^{p^{k-1}}) ({\textrm mod}{p^k})${\textrm tr}(A^{p^k}) \equiv {\textrm tr}(A^{p^{k-1}}) ({\textrm mod}{p^k}). We give a short proof of a more general result, which states that if the characteristic polynomials of two integral matrices A,  B are congruent modulo p ^k then the characteristic polynomials of A ^p and B ^p are congruent modulo p ^k+1, and then we show that Arnold’s conjecture follows from it easily. Using this result, we prove the following generalization of Euler’s theorem for any 2 × 2 integral matrix A: the characteristic polynomials of A ^Φ(n) and A ^Φ(n)-ϕ(n) are congruent modulo n. Here ϕ is the Euler function, ?_i=1^l p_i^a_i\prod_{i=1}^{l} p_i^{\alpha_i} is a prime factorization of n and $\Phi(n)=(\phi(n)+\prod_{i=1}^{l} p_i^{\alpha_i-1}(p_i+1))/2$\Phi(n)=(\phi(n)+\prod_{i=1}^{l} p_i^{\alpha_i-1}(p_i+1))/2.     

Greedy Bases for Besov Spaces

We prove that the Banach space (?_n=1^￥l_pⁿ)_lq(\bigoplus_{n=1}^{\infty}\ell_{p}^{n})_{\ell_{q}}, which is isomorphic to certain Besov spaces, has a greedy basis whenever 1≤p≤∞ and 1<q<∞. Furthermore, the Banach spaces (?_n=1^￥l_pⁿ)_l1(\bigoplus_{n=1}^{\infty}\ell _{p}^{n})_{\ell_{1}}, with 1<p≤∞, and (?_n=1^￥l_pⁿ)_c0(\bigoplus_{n=1}^{\infty}\ell_{p}^{n})_{c_{0}}, with 1≤p<∞, do not have a greedy basis. We prove as well that the space (?_n=1^￥l_pⁿ)_lq(\bigoplus_{n=1}^{\infty}\ell _{p}^{n})_{\ell_{q}} has a 1-greedy basis if and only if 1≤p=q≤∞.     

Toeplitz Operators on Generalized Bergman Spaces

We consider the weighted Bergman spaces HL²(\mathbb B^d, m_l){\mathcal {H}L^{2}(\mathbb {B}^{d}, \mu_{\lambda})}, where we set dm_l(z) = c_l(1-|z|²)^l dt(z){d\mu_{\lambda}(z) = c_{\lambda}(1-|z|^2)^{\lambda} d\tau(z)}, with τ being the hyperbolic volume measure. These spaces are nonzero if and only if λ > d. For 0 < λ ≤ d, spaces with the same formula for the reproducing kernel can be defined using a Sobolev-type norm. We define Toeplitz operators on these generalized Bergman spaces and investigate their properties. Specifically, we describe classes of symbols for which the corresponding Toeplitz operators can be defined as bounded operators or as a Hilbert–Schmidt operators on the generalized Bergman spaces.     

Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b

We study hypersurfaces in the Lorentz-Minkowski space \mathbbLⁿ⁺¹{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L _k ψ = Aψ + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR^(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLⁿ⁺¹{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSⁿ₁(r){\mathbb{S}^n_1(r)} or \mathbbHⁿ(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbS^m₁(r)×\mathbbR^n-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbH^m(-r)×\mathbbR^n-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbL^m×\mathbbS^n-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).     

Teichmüller Spaces and Negatively Curved Fiber Bundles

In the first part of the paper we introduce the theory of bundles with negatively curved fibers. For a space X there is a forgetful map F _X between bundle theories over X, which assigns to a bundle with negatively curved fibers over X its subjacent smooth bundle. Our main result states that, for certain k-spheres ${\mathbb{S}^k}In the first part of the paper we introduce the theory of bundles with negatively curved fibers. For a space X there is a forgetful map F _X between bundle theories over X, which assigns to a bundle with negatively curved fibers over X its subjacent smooth bundle. Our main result states that, for certain k-spheres \mathbbS^k{\mathbb{S}^k}, the forgetful map F_\mathbbS^k{F_{\mathbb{S}^k}} is not one-to-one. This result follows from Theorem A, which proves that the quotient map MET  ^{sec < 0} (M)?T  ^{sec < 0} (M){\mathcal{MET}^{\,\,sec <0 }(M)\rightarrow\mathcal{T}^{\,\,sec <0 }(M)} is not trivial at some homotopy levels, provided the hyperbolic manifold M satisfies certain conditions. Here MET  ^{sec < 0} (M){\mathcal{MET}^{\,\,sec <0 }(M)} is the space of negatively curved metrics on M and T  ^{sec < 0} (M) = MET  ^{sec < 0} (M)/ DIFF₀(M){\mathcal{T}^{\,\,sec <0 }(M) = \mathcal{MET}^{\,\,sec <0 }(M)/ {\rm DIFF}_0(M)} is, as defined in [FO2], the Teichmüller space of negatively curved metrics on M. In particular we conclude that T  ^{sec < 0} (M){\mathcal{T}^{\,\,sec <0 }(M)} is, in general, not connected. Two remarks: (1) the nontrivial elements in p_kMET  ^{sec < 0} (M){\pi_{k}\mathcal{MET}^{\,\,sec <0 }(M)} constructed in [FO3] have trivial image by the map induced by MET  ^{sec < 0} (M)?T  ^{sec < 0} (M){\mathcal{MET}^{\,\,sec <0 }(M)\rightarrow\mathcal{T}^{\,\,sec <0 }(M)} ; (2) the nonzero classes in p_kT  ^{sec < 0} (M){\pi_{k}\mathcal{T}^{\,\,sec <0 }(M)} constructed in [FO2] are not in the image of the map induced by MET  ^{sec < 0} (M)?T  ^{sec < 0} (M){\mathcal{MET}^{\,\,sec <0 }(M)\rightarrow\mathcal{T}^{\,\,sec <0 }(M)} ; the nontrivial classes in p_kT  ^{sec < 0} (M){\pi_{k}\mathcal{T}^{\,\,sec <0 }(M)} given here, besides coming from MET  ^{sec < 0} (M){\mathcal{MET}^{\,\,sec <0 }(M)} and being harder to construct, have a different nature and genesis: the former classes – given in [FO2] – come from the existence of exotic spheres, while the latter classes – given here – arise from the non-triviality and structure of certain homotopy groups of the space of pseudo-isotopies of the circle \mathbbS¹{\mathbb{S}^1}. The strength of the new techniques used here allowed us to prove also a homology version of Theorem A, which is given in Theorem B.     

A modified BLM approach to quantum affine {\mathfrak{gl}_n}

We introduce a spanning set of Beilinson–Lusztig–MacPherson type, {A(j, r)} _A,j , for affine quantum Schur algebras S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle}(n, r)} and construct a linearly independent set {A(j)} _A,j for an associated algebra [^(K)]_\vartriangle(n){{{\boldsymbol{\widehat{\mathcal K}}}_\vartriangle}(n)} . We then establish explicitly some multiplication formulas of simple generators E^\vartriangle_h,h+1(0){E^\vartriangle_{h,h+1}}(\mathbf{0}) by an arbitrary element A(j) in [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle(n)}} via the corresponding formulas in S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle(n, r)}} , and compare these formulas with the multiplication formulas between a simple module and an arbitrary module in the Ringel–Hall algebras \mathfrak H_\vartriangle(n){{{\boldsymbol{\mathfrak H}_\vartriangle(n)}}} associated with cyclic quivers. This allows us to use the triangular relation between monomial and PBW type bases for \mathfrak H_\vartriangle(n){{\boldsymbol{\mathfrak H}}_\vartriangle}(n) established in Deng and Du (Adv Math 191:276–304, 2005) to derive similar triangular relations for S_\vartriangle(n, r){{{\boldsymbol{\mathcal S}}_\vartriangle}(n, r)} and [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{\mathcal K}}}_\vartriangle}(n) . Using these relations, we then show that the subspace \mathfrak A_\vartriangle(n){{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)} of [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle}(n)} spanned by {A(j)} _A,j contains the quantum enveloping algebra U_\vartriangle(n){{{\mathbf U}_\vartriangle}(n)} of affine type A as a subalgebra. As an application, we prove that, when this construction is applied to quantum Schur algebras S(n,r){\boldsymbol{\mathcal S}(n,r)} , the resulting subspace \mathfrak A_\vartriangle(n){{{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)}} is in fact a subalgebra which is isomorphic to the quantum enveloping algebra of \mathfrakgl_n{\mathfrak{gl}_n} . We conjecture that \mathfrak A_\vartriangle(n){{{{{\boldsymbol{\mathfrak A}}_\vartriangle}(n)}}} is a subalgebra of [^(K)]_\vartriangle(n){{\boldsymbol{\widehat{{{\mathcal K}}}}_\vartriangle}(n)} .     

Precise Rates in the Law of Iterated Logarithm for the Moment of I.I.D. Random Variables

Let{X,Xn;n≥1} be a sequence of i,i.d, random variables, E X = 0, E X^2 = σ^2 〈 ∞.Set Sn=X1＋X2＋…＋Xn,Mn=max k≤n│Sk│,n≥1.Let an=O（1/loglogn）.In this paper,we prove that,for b〉-1,lim ε→0 →^2（b＋1）∑n=1^∞ （loglogn）^b/nlogn n^1/2 E{Mn-σ（ε＋an）√2nloglogn}＋σ2^-b/（b＋1）（2b＋3）E│N│^2b＋3∑k=0^∞ （-1）k/（2k＋1）^2b＋3 holds if and only if EX=0 and EX^2=σ^2〈∞.     

On Approximate Spectral Factorization of Matrix Functions

It is proved that if positive definite matrix functions (i.e. matrix spectral densities) S _n , n=1,2,… , are convergent in the L ₁-norm, ||S_n-S||_L1? 0\|S_{n}-S\|_{L_{1}}\to 0, and ò₀^2plogdetS_n(e^iq) dq?ò₀^2plogdetS(e^iq) dq\int_{0}^{2\pi}\log \mathop{\mathrm{det}}S_{n}(e^{i\theta})\,d\theta\to\int_{0}^{2\pi}\log \mathop{\mathrm{det}}S(e^{i\theta})\,d\theta, then the corresponding (canonical) spectral factors are convergent in L ₂, ||S⁺_n-S⁺||_L2? 0\|S^{+}_{n}-S^{+}\|_{L_{2}}\to 0. The formulated logarithmic condition is easily seen to be necessary for the latter convergence to take place.     

Precise rates in the law of the iterated logarithm under dependence assumptions

Let {X, X1, X2,...} be a strictly stationaryφ-mixing sequence which satisfies EX = 0,EX^2（log2{X}）^2〈∞and φ（n）=O（1/log n）^Tfor some T〉2.Let Sn=∑k=1^nXk and an=O（√n/（log2n）^γ for some γ〉1/2.We prove that limε→√2√ε^2-2∑n=3^∞1/nP（｜Sn｜≥ε√ESn^2log2n＋an）=√2.The results of Gut and Spataru （2000） are special cases of ours.     

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

Structure theorems of <Emphasis Type="Italic">E</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)-Azumaya algebras

Let k be a field and E(n) be the 2 ⁿ⁺¹-dimensional pointed Hopf algebra over k constructed by Beattie, Dăscălescu and Grünenfelder [J. Algebra, 2000, 225: 743–770]. E(n) is a triangular Hopf algebra with a family of triangular structures R _M parameterized by symmetric matrices M in M _n (k). In this paper, we study the Azumaya algebras in the braided monoidal category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } and obtain the structure theorems for Azumaya algebras in the category $ E_{(n)} \mathcal{M}^{R_M } $ E_{(n)} \mathcal{M}^{R_M } , where M is any symmetric n×n matrix over k.     

On the error terms for representation numbers of quadratic forms

Let f be a primitive positive integral binary quadratic form of discriminant −D, and r _f (n) the number of representations of n by f up to automorphisms of f. We first improve the error term E(x) of $ \sum\limits_{n \leqq x} {r_f (n)^\beta } $ \sum\limits_{n \leqq x} {r_f (n)^\beta } for any positive integer β. Next, we give an estimate of ∫₁ ^T |E(x)|² x ^−3/2 dx when β = 1.     

The Nevai Condition

We study Nevai’s condition that for orthogonal polynomials on the real line, $K_{n}(x,x_{0})^{2}K_{n}(x_{0},x_{0})^{-1}\,d\rho(x)\to\delta_{x_{0}}We study Nevai’s condition that for orthogonal polynomials on the real line, K_n(x,x₀)²K_n(x₀,x₀)^-1 dr(x)?d_x0K_{n}(x,x_{0})^{2}K_{n}(x_{0},x_{0})^{-1}\,d\rho(x)\to\delta_{x_{0}} , where K _n is the Christoffel–Darboux kernel. We prove that it holds for the Nevai class of a finite gap set uniformly on the spectrum, and we provide an example of a regular measure on [−2,2] where it fails on an interval.     

Inverse Scattering at Fixed Energy in de Sitter�CReissner�CNordstr?m Black Holes

In this paper, we consider massless Dirac fields propagating in the outer region of de Sitter–Reissner–Nordstr?m black holes. We show that the metric of such black holes is uniquely determined by the partial knowledge of the corresponding scattering matrix S(λ) at a fixed energy λ ≠ 0. More precisely, we consider the partial wave scattering matrices S(λ, n) (here λ ≠ 0 is the fixed energy and n ? \mathbbN^*{n \in \mathbb{N}^{*}} denotes the angular momentum) defined as the restrictions of the full scattering matrix on a well chosen basis of spin-weighted spherical harmonics. We prove that the mass M, the square of the charge Q ² and the cosmological constant Λ of a dS-RN black hole (and thus its metric) can be uniquely determined from the knowledge of either the transmission coefficients T(λ, n), or the reflexion coefficients R(λ, n) (resp. L(λ, n)), for all n ? L{n \in {\mathcal{L}}} where L{\mathcal{L}} is a subset of \mathbbN^*{\mathbb{N}^{*}} that satisfies the Müntz condition ?_{n ? L}\frac1n = +￥{\sum_{n \in{\mathcal{L}}}\frac{1}{n} = +\infty} . Our main tool consists in complexifying the angular momentum n and in studying the analytic properties of the “unphysical” scattering matrix S(λ, z) in the complex variable z. We show, in particular, that the quantities \frac1T(l,z){\frac{1}{T(\lambda,z)}}, \fracR(l,z)T(l,z){\frac{R(\lambda,z)}{T(\lambda,z)}} and \fracL(l,z)T(l,z){\frac{L(\lambda,z)}{T(\lambda,z)}} belong to the Nevanlinna class in the region ${\{z \in \mathbb{C}, Re(z) > 0 \}}${\{z \in \mathbb{C}, Re(z) > 0 \}} for which we have analytic uniqueness theorems at our disposal. Eventually, as a by-product of our method, we obtain reconstruction formulae for the surface gravities of the event and cosmological horizons of the black hole which have an important physical meaning in the Hawking effect.