Spectral theorem for multipliers on {L_{\omega}^{2}(\mathbb{R})}

We study the spectrum σ(M) of the multipliers M which commute with the translations on weighted spaces ${L_{\omega}^{2}(\mathbb{R})}We study the spectrum σ(M) of the multipliers M which commute with the translations on weighted spaces L_w²(\mathbbR){L_{\omega}^{2}(\mathbb{R})} For operators M in the algebra generated by the convolutions with f ? C_c(\mathbb R){\phi \in {C_c(\mathbb {R})}} we show that [`(m(W))] = s(M){\overline{\mu(\Omega)} = \sigma(M)}, where the set Ω is determined by the spectrum of the shift S and μ is the symbol of M. For the general multipliers M we establish that [`(m(W))]{\overline{\mu(\Omega)}} is included in σ(M). A generalization of these results is given for the weighted spaces L²_w(\mathbb R^k){L^2_{\omega}(\mathbb {R}^{k})} where the weight ω has a special form.     

New Besov-type spaces and Triebel–Lizorkin-type spaces including Q spaces

Let ${s,\,\tau\in\mathbb{R}}Let s, t ? \mathbbR{s,\,\tau\in\mathbb{R}} and q ? (0,￥]{q\in(0,\infty]} . We introduce Besov-type spaces [(B)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} for p ? (0, ￥]{p\in(0,\,\infty]} and Triebel–Lizorkin-type spaces [(F)\dot]^s, t_p, q(\mathbbRⁿ) for p ? (0, ￥){{{{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}\,{\rm for}\, p\in(0,\,\infty)} , which unify and generalize the Besov spaces, Triebel–Lizorkin spaces and Q spaces. We then establish the j{\varphi} -transform characterization of these new spaces in the sense of Frazier and Jawerth. Using the j{\varphi} -transform characterization of [(B)\dot]^s, t_p, q(\mathbbRⁿ) and [(F)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\, {\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} , we obtain their embedding and lifting properties; moreover, for appropriate τ, we also establish the smooth atomic and molecular decomposition characterizations of [(B)\dot]^s, t_p, q(\mathbbRⁿ) and [(F)\dot]^s, t_p, q(\mathbbRⁿ){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\,{\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} . For s ? \mathbbR{s\in\mathbb{R}} , p ? (1, ￥), q ? [1, ￥){p\in(1,\,\infty), q\in[1,\,\infty)} and t ? [0, \frac1(max{p, q})￠]{\tau\in[0,\,\frac{1}{(\max\{p,\,q\})'}]} , via the Hausdorff capacity, we introduce certain Hardy–Hausdorff spaces B[(H)\dot]^s, t_p, q(\mathbbRⁿ){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} and prove that the dual space of B[(H)\dot]^s, t_p, q(\mathbbRⁿ){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} is just [(B)\dot]^-s, t_p￠, q￠(\mathbbRⁿ){\dot{B}^{-s,\,\tau}_{p',\,q'}(\mathbb{R}^{n})} , where t′ denotes the conjugate index of t ? (1,￥){t\in (1,\infty)} .     

Optimal Embeddings of Spaces of Generalized Smoothness in the Critical Case

We study necessary and sufficient conditions for embeddings of Besov and Triebel-Lizorkin spaces of generalized smoothness B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), respectively, into generalized H?lder spaces L_￥,r^m(·)( \mathbb Rⁿ)\Lambda_{\infty,r}^{\mu(\cdot)}(\ensuremath {\ensuremath {\mathbb {R}}^{n}}). In particular, we are able to characterize optimal embeddings for this class of spaces provided q>1. These results improve the embedding assertions given by the continuity envelopes of B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), which were obtained recently solving an open problem of D.D. Haroske in the classical setting.     

Equidistribution of expanding measures with local maximal dimension and diophantine approximation

We consider improvements of Dirichlet’s Theorem on the space of matrices ${M_{m,n}(\mathbb R)}$ . It is shown that for a certain class of fractals ${K\subset [0,1]^{mn}\subset M_{m,n}(\mathbb R)}$ of local maximal dimension Dirichlet’s Theorem cannot be improved almost everywhere. This is shown using entropy and dynamics on homogeneous spaces of Lie groups.     

Maximal Chains in Positive Subfamilies of P(ω)

A family P ì [w]^w{\mathcal P} \subset [\omega]^\omega is called positive iff it is the union of some infinite upper set in the Boolean algebra P(ω)/Fin. For example, if I ì P(w){\mathcal I} \subset P(\omega) is an ideal containing the ideal Fin of finite subsets of ω, then P(w) \IP(\omega) \setminus {\mathcal I} is a positive family and the set Dense(\mathbb Q)\mbox{Dense}({\mathbb Q}) of dense subsets of the rational line is a positive family which is not the complement of some ideal on P(\mathbb Q)P({\mathbb Q}). We prove that, for a positive family P{\mathcal P}, the order types of maximal chains in the complete lattice áP è{?}, ì ?\langle {\mathcal P} \cup \{\emptyset\}, \subset \rangle are exactly the order types of compact nowhere dense subsets of the real line having the minimum non-isolated. Also we compare this result with the corresponding results concerning maximal chains in the Boolean algebras P(ω) and Intalg[0,1)_{\mathbb R}\mbox{Intalg}[0,1)_{{\mathbb R}} and the poset E(\mathbb Q)E({\mathbb Q}), where E(\mathbb Q)E({\mathbb Q}) is the set of elementary submodels of the rational line.     

Essential Normality of Homogeneous Submodules

Let M ì H(\mathbbB){M \subset H(\mathbb{B})} be a homogeneous submodule of the n-shift Hilbert module on the unit ball in \mathbbCⁿ{\mathbb{C}^{n}}. We show that a modification of an operator inequality used by Guo and Wang in the case of principal submodules is equivalent to the existence of factorizations of the form [M_zj^*,P_M] = (N+1)^-1A_j{[M_{z_j}^*,P_M] = (N+1)^{-1}A_j}, where N is the number operator on H(\mathbbB){H(\mathbb{B})}. Thus a proof of the inequality would yield positive answers to conjectures of Arveson and Douglas concerning the essential normality of homogeneous submodules of H(\mathbbB){H(\mathbb{B})}. We show that in all cases in which the conjectures have been established the inequality holds and leads to a unified proof of stronger results.     

Weakly Singular and Microscopically Hypersingular Load Perturbation for a Nonlinear Traction Boundary Value Problem: a Functional Analytic Approach

Let Ω ⁱ and Ω ^o be two bounded open subsets of \mathbbRⁿ{{\mathbb{R}}^{n}} containing 0. Let G ⁱ be a (nonlinear) map from ?Wⁱ×\mathbbRⁿ{\partial\Omega^{i}\times {\mathbb{R}}^{n}} to \mathbbRⁿ{{\mathbb{R}}^{n}} . Let a ^o be a map from ∂Ω ^o to the set M_n(\mathbbR){M_{n}({\mathbb{R}})} of n × n matrices with real entries. Let g be a function from ∂Ω ^o to \mathbbRⁿ{{\mathbb{R}}^{n}} . Let γ be a positive valued function defined on a right neighborhood of 0 in the real line. Let T be a map from ]1-(2/n),+￥[×M_n(\mathbbR){]1-(2/n),+\infty[\times M_{n}({\mathbb{R}})} to M_n(\mathbbR){M_{n}({\mathbb{R}})} . Then we consider the problem

Generalized Vanishing Mean Oscillation Spaces Associated with Divergence Form Elliptic Operators

Let L be a divergence form elliptic operator with complex bounded measurable coefficients, ω a positive concave function on (0, ∞) of strictly critical lower type p ω ∈(0, 1] and ρ(t) = t ?1/ω ?1(t ?1) for ${t\in (0,\infty).}Let L be a divergence form elliptic operator with complex bounded measurable coefficients, ω a positive concave function on (0, ∞) of strictly critical lower type p ω ∈(0, 1] and ρ(t) = t −1/ω −1(t −1) for t ? (0,￥).{t\in (0,\infty).} In this paper, the authors introduce the generalized VMO spaces VMOr, L(\mathbb Rn){{\mathop{\rm VMO}_ {\rho, L}({\mathbb R}^n)}} associated with L, and characterize them via tent spaces. As applications, the authors show that (VMOr,L (\mathbb Rn))*=Bw,L*(\mathbb Rn){({\rm VMO}_{\rho,L} ({\mathbb R}^n))^\ast=B_{\omega,L^\ast}({\mathbb R}^n)}, where L * denotes the adjoint operator of L in L2(\mathbb Rn){L^2({\mathbb R}^n)} and Bw,L*(\mathbb Rn){B_{\omega,L^\ast}({\mathbb R}^n)} the Banach completion of the Orlicz–Hardy space Hw,L*(\mathbb Rn){H_{\omega,L^\ast}({\mathbb R}^n)}. Notice that ω(t) = t p for all t ? (0,￥){t\in (0,\infty)} and p ? (0,1]{p\in (0,1]} is a typical example of positive concave functions satisfying the assumptions. In particular, when p = 1, then ρ(t) ≡ 1 and (VMO1, L(\mathbb Rn))*=HL*1(\mathbb Rn){({\mathop{\rm VMO}_{1, L}({\mathbb R}^n)})^\ast=H_{L^\ast}^1({\mathbb R}^n)}, where HL*1(\mathbb Rn){H_{L^\ast}^1({\mathbb R}^n)} was the Hardy space introduced by Hofmann and Mayboroda.     

On Singular Integral Operators with Rough Kernel Along Surface

In this note we give a simple method to transfer the effect of the surface to the radial function in the kernel of singular integral along surface. Using this idea, we give some continuity of the singular integrals along surface with Hardy space function kernels on some function spaces, such as L^p(\mathbb Rⁿ),L^p(\mathbb Rⁿ,w){L^p({\mathbb R}^n),L^p({\mathbb R}^n,\omega)}, Triebel–Lizorkin spaces [(F)\dot]_p^s,q(\mathbb Rⁿ){{\dot F}_{p}^{s,q}({\mathbb R}^n)}, Besov spaces [(B)\dot]_p^s,q(\mathbb Rⁿ){{\dot B}_{p}^{s,q}({\mathbb R}^n)}, generalized Morrey spaces L^p,f(\mathbb Rⁿ){L^{p,\phi}({\mathbb R}^n)} and Herz spaces [(K)\dot]_p^{a, q}(\mathbb Rⁿ){\dot K_p^{\alpha, q}({\mathbb R}^n)}. Our results improve and extend substantially some known results on the singular integral operators along surface.     

Dimension Free Estimates for Riesz Transforms Associated to the Harmonic Oscillator on \mathbb{R}^{n}

Let L=?Δ+|ξ|² be the harmonic oscillator on $\mathbb{R}^{n}Let L=−Δ+|ξ|² be the harmonic oscillator on \mathbbRⁿ\mathbb{R}^{n} , with the associated Riesz transforms R_2j−1=(∂/∂ξ_j)L^−1/2,R_2j=ξ_jL^−1/2. We give a shorter proof of a recent result of Harboure, de Rosa, Segovia, Torrea: For 1<p<∞ and a dimension free constant C_p,

||(?k=12n|Rk(f)|2)1/2||Lp(\mathbbRn,dx)\leqslant Cp||f||Lp(\mathbbRn,dx).\bigg\Vert \bigg(\sum_{k=1}^{2n}\vert R_{k}(f)\vert ^{2}\bigg)^{{1}/{2}}\bigg\Vert _{L^{p}(\mathbb{R}^{n},\mathrm{d}\xi )}\leqslant C_{p}\Vert f\Vert _{L^{p}(\mathbb{R}^{n},\mathrm{d}\xi )}.      11. An explicit growth condition for middle-degree cuspidal cohomology of arithmetically defined quaternionic hyperbolic n-manifolds      Harald Grobner 《Monatshefte für Mathematik》2010,139(1):335-340 Let G/\mathbb Q{G/\mathbb Q} be the simple algebraic group Sp(n, 1) and G = G(N){\Gamma=\Gamma(N)} a principal congruence subgroup of level N ≥ 3. Denote by K a maximal compact subgroup of the real Lie group G(\mathbb R){G(\mathbb R)} . Then a double quotient G\G(\mathbb R)/K{\Gamma\backslash G(\mathbb R)/K} is called an arithmetically defined, quaternionic hyperbolic n-manifold. In this paper we give an explicit growth condition for the dimension of cuspidal cohomology H2ncusp(G\G(\mathbb R)/K,E){H^{2n}_{cusp}(\Gamma\backslash G(\mathbb R)/K,E)} in terms of the underlying arithmetic structure of G and certain values of zeta-functions. These results rely on the work of Arakawa (Automorphic Forms of Several Variables: Taniguchi Symposium, Katata, 1983, eds. I. Satake and Y. Morita (Birkh?user, Boston), pp. 1–48, 1984).      12. A categorification of Morelli’s theorem      Bohan Fang  Chiu-Chu Melissa Liu  David Treumann  Eric Zaslow 《Inventiones Mathematicae》2011,186(1):79-114       13. Symmetric Operators and Reproducing Kernel Hilbert Spaces      R. T. W. Martin 《Complex Analysis and Operator Theory》2010,4(4):845-880 We establish the following sufficient operator-theoretic condition for a subspace S ì L2 (\mathbbR, dn){S \subset L^2 (\mathbb{R}, d\nu)} to be a reproducing kernel Hilbert space with the Kramer sampling property. If the compression of the unitary group U(t) := e itM generated by the self-adjoint operator M, of multiplication by the independent variable, to S is a semigroup for t ≥ 0, if M has a densely defined, symmetric, simple and regular restriction to S, with deficiency indices (1, 1), and if ν belongs to a suitable large class of Borel measures, then S must be a reproducing kernel Hilbert space with the Kramer sampling property. Furthermore, there is an isometry which acts as multiplication by a measurable function which takes S onto a reproducing kernel Hilbert space of functions which are analytic in a region containing \mathbbR{\mathbb{R}} , and are meromorphic in \mathbbC{\mathbb{C}} . In the process of establishing this result, several new results on the spectra and spectral representations of symmetric operators are proven. It is further observed that there is a large class of de Branges functions E, for which the de Branges spaces H(E) ì L2(\mathbbR, |E(x)|-2dx){\mathcal{H}(E) \subset L^{2}(\mathbb{R}, |E(x)|^{-2}dx)} are examples of subspaces satisfying the conditions of this result.      14. Über die Bedingung Going up für {R \subset \hat{R}}      Helmut Zöschinger 《Archiv der Mathematik》2010,95(3):225-231 Let (R,\mathfrak m){(R,\mathfrak m)} be a noetherian, local ring with completion [^(R)]{\hat{R}} . We show that R ì [^(R)]{R \subset \hat{R}} satisfies the condition Going up if and only if there exists to every artinian R-module M with AnnR(M) ì \mathfrakp{{\rm Ann}_R(M) \subset \mathfrak{p}} a submodule U ì M{U \subset M} with AnnR(U)=\mathfrakp.{{\rm {Ann}}_R(U)=\mathfrak{p}.} This is further equivalent to R being formal catenary, to α(R) = 0 and to Hd\mathfrakq/\mathfrakp(R/\mathfrakp)=0{H^d_{\mathfrak{q}/\mathfrak{p}}(R/\mathfrak{p})=0} for all prime ideals \mathfrakp ì \mathfrakq \subsetneq \mathfrakm{\mathfrak{p} \subset \mathfrak{q} \subsetneq \mathfrak{m}} where d = dim(R/\mathfrakp){d = {\rm {dim}}(R/\mathfrak{p})}.      15. Triple Hilbert Transforms Along Polynomial Surfaces      Yong-Kum Cho  Sunggeum Hong  Joonil Kim  Chan Woo Yang 《Integral Equations and Operator Theory》2009,65(4):485-528 Given W ì \mathbbZ+3\Omega \subset {\mathbb{Z}}_{+}^{3}, we discuss a necessary and sufficient condition that the triple Hilbert transform associated with any polynomial of the form ($t_1, t_2, t_3,\sum_{m \in \Omega} a_{m} t^m$t_1, t_2, t_3,\sum_{m \in \Omega} a_{m} t^m) is bounded in Lp(\mathbbR4)L^p({\mathbb{R}}^4).      16. On the sets of branch points of mappings more general than quasiregular      E. A. Sevost’yanov 《Ukrainian Mathematical Journal》2010,62(2):241-258 It is shown that if a point x 0 ∊ ℝ n , n ≥ 3, is an essential isolated singularity of an open discrete Q-mapping f : D → [`(\mathbb Rn)] \overline {\mathbb {R}^n} , B f is the set of branch points of f in D; and a point z 0 ∊ [`(\mathbb Rn)] \overline {\mathbb {R}^n} is an asymptotic limit of f at the point x 0; then, for any neighborhood U containing the point x 0; the point z 0 ∊ [`(f( Bf ?U ))] \overline {f\left( {B_f \cap U} \right)} provided that the function Q has either a finite mean oscillation at the point x 0 or a logarithmic singularity whose order does not exceed n − 1: Moreover, for n ≥ 2; under the indicated conditions imposed on the function Q; every point of the set [`(\mathbb Rn)] \overline {\mathbb {R}^n} \ f(D) is an asymptotic limit of f at the point x 0. For n ≥ 3, the following relation is true: [`(\mathbbRn )] \f( D ) ì [`(f Bf )] \overline {\mathbb{R}^n } \backslash f\left( D \right) \subset \overline {f\,B_f } . In addition, if ￥ ? f( D ) \infty \notin f\left( D \right) , then the set f B f is infinite and x0 ? [`(Bf )] x_0 \in \overline {B_f } .      17. Fourier Series with the Continuous Primitive Integral      Erik Talvila 《Journal of Fourier Analysis and Applications》2012,18(1):27-44 Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted Ac(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}) and is a Banach space under the Alexiewicz norm, ||f||\mathbbT=sup|I| ￡ 2p|òI f|\|f\|_{\mathbb{T}}=\sup_{|I|\leq2\pi}|\int_{I} f|, the supremum being taken over intervals of length not exceeding 2π. It contains the periodic functions integrable in the sense of Lebesgue and Henstock–Kurzweil. Many of the properties of L 1 Fourier series continue to hold for this larger space, with the L 1 norm replaced by the Alexiewicz norm. The Riemann–Lebesgue lemma takes the form [^(f)](n)=o(n)\hat{f}(n)=o(n) as |n|→∞. The convolution is defined for f ? Ac(\mathbbT)f\in{\mathcal{A}}_{c}(\mathbb{T}) and g a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate ||f*g||￥ ￡ ||f||\mathbbT ||g||BV\|f\ast g\|_{\infty}\leq\|f\|_{\mathbb{T}} \|g\|_{\mathcal{BV}}. For g ? L1(\mathbbT)g\in L^{1}(\mathbb{T}), ||f*g||\mathbbT ￡ ||f||\mathbb T ||g||1\|f\ast g\|_{\mathbb{T}}\leq\|f\|_{\mathbb {T}} \|g\|_{1}. As well, [^(f*g)](n)=[^(f)](n) [^(g)](n)\widehat{f\ast g}(n)=\hat{f}(n) \hat{g}(n). There are versions of the Salem–Zygmund–Rudin–Cohen factorization theorem, Fejér’s lemma and the Parseval equality. The trigonometric polynomials are dense in Ac(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}). The convolution of f with a sequence of summability kernels converges to f in the Alexiewicz norm. Let D n be the Dirichlet kernel and let f ? L1(\mathbbT)f\in L^{1}(\mathbb{T}). Then ||Dn*f-f||\mathbbT?0\|D_{n}\ast f-f\|_{\mathbb{T}}\to0 as n→∞. Fourier coefficients of functions of bounded variation are characterized. The Appendix contains a type of Fubini theorem.      18. On the openness and discreteness of mappings with unbounded characteristic of quasiconformality      E. A. Sevost’yanov 《Ukrainian Mathematical Journal》2012,63(8):1298-1305 The paper is devoted to the investigation of topological properties of space mappings. It is shown that orientation-preserving mappings f:D ?[`(\mathbbRn)] f:D \to \overline {{\mathbb{R}^n}} in a domain D ì \mathbbRn D \subset {\mathbb{R}^n} , n ≥ 2; which are more general than mappings with bounded distortion, are open and discrete if a function Q corresponding to the control of the distortion of families of curves under these mappings has slow growth in the domain f (D), e.g., if Q has finite mean oscillation at an arbitrary point y 0 ∈ f (D).      19. Riesz Transforms on Groups of Heisenberg Type      Helena Barbas 《Journal of Geometric Analysis》2010,20(1):1-38 The aim of this article is to prove the following theorem. Theorem Let p be in (1,∞), ℍ n,m a group of Heisenberg type, ℛ the vector of the Riesz transforms on ℍ n,m . There exists a constant C p independent of n and m such that for every f∈L p (ℍ n,m ) Cp-1e-0.45m||f||Lp(\mathbbHn,m) ￡ |||Rf|||Lp(\mathbbHn,m) ￡ Cpe0.45m||f||Lp(\mathbbHn,m).C_p^{-1}e^{-0.45m}\|f\|_{L^p(\mathbb{H}_{n,m})}\leq\||\mathcal{R}f|\|_{L^p(\mathbb{H}_{n,m})}\leq C_pe^{0.45m}\|f\|_{L^p(\mathbb{H}_{n,m})}.      20. On the 3-Torsion Part of the Homology of the Chessboard Complex      Jakob Jonsson 《Annals of Combinatorics》2010,14(4):487-505 Let 1 ≤ m ≤ n. We prove various results about the chessboard complex M m,n , which is the simplicial complex of matchings in the complete bipartite graph K m,n . First, we demonstrate that there is nonvanishing 3-torsion in [(H)\tilde]d(\sf Mm,n; \mathbb Z){{\tilde{H}_d({\sf M}_{m,n}; {\mathbb Z})}} whenever \fracm+n-43 ￡ d ￡ m-4{{\frac{m+n-4}{3}\leq d \leq m-4}} and whenever 6 ≤ m < n and d = m − 3. Combining this result with theorems due to Friedman and Hanlon and to Shareshian and Wachs, we characterize all triples (m, n, d ) satisfying [(H)\tilde]d (\sf Mm,n; \mathbb Z) 1 0{{\tilde{H}_d \left({\sf M}_{m,n}; {\mathbb Z}\right) \neq 0}}. Second, for each k ≥ 0, we show that there is a polynomial f k (a, b) of degree 3k such that the dimension of [(H)\tilde]k+a+2b-2 (\sf Mk+a+3b-1,k+2a+3b-1; \mathbb Z3){{\tilde{H}_{k+a+2b-2}}\,\left({{\sf M}_{k+a+3b-1,k+2a+3b-1}}; \mathbb Z_{3}\right)}, viewed as a vector space over \mathbbZ3{\mathbb{Z}_3}, is at most f k (a, b) for all a ≥ 0 and b ≥ k + 2. Third, we give a computer-free proof that [(H)\tilde]2 (\sf M5,5; \mathbb Z) @ \mathbb Z3{{\tilde{H}_2 ({\sf M}_{5,5}; \mathbb {Z})\cong \mathbb Z_{3}}}. Several proofs are based on a new long exact sequence relating the homology of a certain subcomplex of M m,n to the homology of M m-2,n-1 and M m-2,n-3.

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号

An explicit growth condition for middle-degree cuspidal cohomology of arithmetically defined quaternionic hyperbolic n-manifolds

Let G/\mathbb Q{G/\mathbb Q} be the simple algebraic group Sp(n, 1) and G = G(N){\Gamma=\Gamma(N)} a principal congruence subgroup of level N ≥ 3. Denote by K a maximal compact subgroup of the real Lie group G(\mathbb R){G(\mathbb R)} . Then a double quotient G\G(\mathbb R)/K{\Gamma\backslash G(\mathbb R)/K} is called an arithmetically defined, quaternionic hyperbolic n-manifold. In this paper we give an explicit growth condition for the dimension of cuspidal cohomology H²ⁿ_cusp(G\G(\mathbb R)/K,E){H^{2n}_{cusp}(\Gamma\backslash G(\mathbb R)/K,E)} in terms of the underlying arithmetic structure of G and certain values of zeta-functions. These results rely on the work of Arakawa (Automorphic Forms of Several Variables: Taniguchi Symposium, Katata, 1983, eds. I. Satake and Y. Morita (Birkh?user, Boston), pp. 1–48, 1984).     

Symmetric Operators and Reproducing Kernel Hilbert Spaces

We establish the following sufficient operator-theoretic condition for a subspace S ì L² (\mathbbR, dn){S \subset L^2 (\mathbb{R}, d\nu)} to be a reproducing kernel Hilbert space with the Kramer sampling property. If the compression of the unitary group U(t) := e ^itM generated by the self-adjoint operator M, of multiplication by the independent variable, to S is a semigroup for t ≥ 0, if M has a densely defined, symmetric, simple and regular restriction to S, with deficiency indices (1, 1), and if ν belongs to a suitable large class of Borel measures, then S must be a reproducing kernel Hilbert space with the Kramer sampling property. Furthermore, there is an isometry which acts as multiplication by a measurable function which takes S onto a reproducing kernel Hilbert space of functions which are analytic in a region containing \mathbbR{\mathbb{R}} , and are meromorphic in \mathbbC{\mathbb{C}} . In the process of establishing this result, several new results on the spectra and spectral representations of symmetric operators are proven. It is further observed that there is a large class of de Branges functions E, for which the de Branges spaces H(E) ì L²(\mathbbR, |E(x)|^-2dx){\mathcal{H}(E) \subset L^{2}(\mathbb{R}, |E(x)|^{-2}dx)} are examples of subspaces satisfying the conditions of this result.     

Über die Bedingung Going up für {R \subset \hat{R}}

Let (R,\mathfrak m){(R,\mathfrak m)} be a noetherian, local ring with completion [^(R)]{\hat{R}} . We show that R ì [^(R)]{R \subset \hat{R}} satisfies the condition Going up if and only if there exists to every artinian R-module M with Ann_R(M) ì \mathfrakp{{\rm Ann}_R(M) \subset \mathfrak{p}} a submodule U ì M{U \subset M} with Ann_R(U)=\mathfrakp.{{\rm {Ann}}_R(U)=\mathfrak{p}.} This is further equivalent to R being formal catenary, to α(R) = 0 and to H^d_{\mathfrakq/\mathfrakp}(R/\mathfrakp)=0{H^d_{\mathfrak{q}/\mathfrak{p}}(R/\mathfrak{p})=0} for all prime ideals \mathfrakp ì \mathfrakq \subsetneq \mathfrakm{\mathfrak{p} \subset \mathfrak{q} \subsetneq \mathfrak{m}} where d = dim(R/\mathfrakp){d = {\rm {dim}}(R/\mathfrak{p})}.     

Triple Hilbert Transforms Along Polynomial Surfaces

Given W ì \mathbbZ₊³\Omega \subset {\mathbb{Z}}_{+}^{3}, we discuss a necessary and sufficient condition that the triple Hilbert transform associated with any polynomial of the form ($t_1, t_2, t_3,\sum_{m \in \Omega} a_{m} t^m$t_1, t_2, t_3,\sum_{m \in \Omega} a_{m} t^m) is bounded in L^p(\mathbbR⁴)L^p({\mathbb{R}}^4).     

On the sets of branch points of mappings more general than quasiregular

It is shown that if a point x ₀ ∊ ℝ ⁿ , n ≥ 3, is an essential isolated singularity of an open discrete Q-mapping f : D → [`(\mathbb R<sup>n</sup>)] \overline {\mathbb {R}^n} , B <sub>f</sub> is the set of branch points of f in D; and a point z <sub>0</sub> ∊ [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} is an asymptotic limit of f at the point x ₀; then, for any neighborhood U containing the point x ₀; the point z ₀ ∊ [`(f( B<sub>f</sub> ?U ))] \overline {f\left( {B_f \cap U} \right)} provided that the function Q has either a finite mean oscillation at the point x <sub>0</sub> or a logarithmic singularity whose order does not exceed n − 1: Moreover, for n ≥ 2; under the indicated conditions imposed on the function Q; every point of the set [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} \ f(D) is an asymptotic limit of f at the point x ₀. For n ≥ 3, the following relation is true: [`(\mathbbR<sup>n</sup> )] \f( D ) ì [`(f B_f )] \overline {\mathbb{R}^n } \backslash f\left( D \right) \subset \overline {f\,B_f } . In addition, if ￥ ? f( D ) \infty \notin f\left( D \right) , then the set f B _f is infinite and x₀ ? [`(B_f )] x_0 \in \overline {B_f } .     

Fourier Series with the Continuous Primitive Integral

Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}) and is a Banach space under the Alexiewicz norm, ||f||_\mathbbT=sup_{|I| ￡ 2p}|ò_I f|\|f\|_{\mathbb{T}}=\sup_{|I|\leq2\pi}|\int_{I} f|, the supremum being taken over intervals of length not exceeding 2π. It contains the periodic functions integrable in the sense of Lebesgue and Henstock–Kurzweil. Many of the properties of L ¹ Fourier series continue to hold for this larger space, with the L ¹ norm replaced by the Alexiewicz norm. The Riemann–Lebesgue lemma takes the form [^(f)](n)=o(n)\hat{f}(n)=o(n) as |n|→∞. The convolution is defined for f ? A_c(\mathbbT)f\in{\mathcal{A}}_{c}(\mathbb{T}) and g a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate ||f*g||_￥ ￡ ||f||_\mathbbT ||g||_BV\|f\ast g\|_{\infty}\leq\|f\|_{\mathbb{T}} \|g\|_{\mathcal{BV}}. For g ? L¹(\mathbbT)g\in L^{1}(\mathbb{T}), ||f*g||_\mathbbT ￡ ||f||_{\mathbb T} ||g||₁\|f\ast g\|_{\mathbb{T}}\leq\|f\|_{\mathbb {T}} \|g\|_{1}. As well, [^(f*g)](n)=[^(f)](n) [^(g)](n)\widehat{f\ast g}(n)=\hat{f}(n) \hat{g}(n). There are versions of the Salem–Zygmund–Rudin–Cohen factorization theorem, Fejér’s lemma and the Parseval equality. The trigonometric polynomials are dense in A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}). The convolution of f with a sequence of summability kernels converges to f in the Alexiewicz norm. Let D _n be the Dirichlet kernel and let f ? L¹(\mathbbT)f\in L^{1}(\mathbb{T}). Then ||D_n*f-f||_\mathbbT?0\|D_{n}\ast f-f\|_{\mathbb{T}}\to0 as n→∞. Fourier coefficients of functions of bounded variation are characterized. The Appendix contains a type of Fubini theorem.     

On the openness and discreteness of mappings with unbounded characteristic of quasiconformality

The paper is devoted to the investigation of topological properties of space mappings. It is shown that orientation-preserving mappings f:D ?[`(\mathbbRⁿ)] f:D \to \overline {{\mathbb{R}^n}} in a domain D ì \mathbbRⁿ D \subset {\mathbb{R}^n} , n ≥ 2; which are more general than mappings with bounded distortion, are open and discrete if a function Q corresponding to the control of the distortion of families of curves under these mappings has slow growth in the domain f (D), e.g., if Q has finite mean oscillation at an arbitrary point y ₀ ∈ f (D).     

Riesz Transforms on Groups of Heisenberg Type

The aim of this article is to prove the following theorem. Theorem Let p be in (1,∞), ℍ _n,m a group of Heisenberg type, ℛ the vector of the Riesz transforms on ℍ _n,m . There exists a constant C _p independent of n and m such that for every f∈L ^p (ℍ _n,m )

On the 3-Torsion Part of the Homology of the Chessboard Complex

Let 1 ≤ m ≤ n. We prove various results about the chessboard complex M _m,n , which is the simplicial complex of matchings in the complete bipartite graph K _m,n . First, we demonstrate that there is nonvanishing 3-torsion in [(H)\tilde]_d(\sf M_m,n; \mathbb Z){{\tilde{H}_d({\sf M}_{m,n}; {\mathbb Z})}} whenever \fracm+n-43 ￡ d ￡ m-4{{\frac{m+n-4}{3}\leq d \leq m-4}} and whenever 6 ≤ m < n and d = m − 3. Combining this result with theorems due to Friedman and Hanlon and to Shareshian and Wachs, we characterize all triples (m, n, d ) satisfying [(H)\tilde]_d (\sf M_m,n; \mathbb Z) 1 0{{\tilde{H}_d \left({\sf M}_{m,n}; {\mathbb Z}\right) \neq 0}}. Second, for each k ≥ 0, we show that there is a polynomial f _k (a, b) of degree 3k such that the dimension of [(H)\tilde]_k+a+2b-2 (\sf M_{k+a+3b-1,k+2a+3b-1}; \mathbb Z₃){{\tilde{H}_{k+a+2b-2}}\,\left({{\sf M}_{k+a+3b-1,k+2a+3b-1}}; \mathbb Z_{3}\right)}, viewed as a vector space over \mathbbZ₃{\mathbb{Z}_3}, is at most f _k (a, b) for all a ≥ 0 and b ≥ k + 2. Third, we give a computer-free proof that [(H)\tilde]₂ (\sf M_5,5; \mathbb Z) @ \mathbb Z₃{{\tilde{H}_2 ({\sf M}_{5,5}; \mathbb {Z})\cong \mathbb Z_{3}}}. Several proofs are based on a new long exact sequence relating the homology of a certain subcomplex of M _m,n to the homology of M _m-2,n-1 and M _m-2,n-3.