Stability of volume comparison for complex convex bodies

We prove the stability of the affirmative part of the solution to the complex Busemann–Petty problem. Namely, if K and L are origin-symmetric convex bodies in \({{\mathbb C}^n}\), n = 2 or n = 3, \({\varepsilon >0 }\) and \({{\rm Vol}_{2n-2}(K\cap H) \le {\rm Vol}_{2n-2}(L \cap H) + \varepsilon}\) for any complex hyperplane H in \({{\mathbb C}^n}\) , then \({({\rm Vol}_{2n}(K))^{\frac{n-1}n}\le({\rm Vol}_{2n}(L))^{\frac{n-1}n} + \varepsilon}\) , where Vol_2n is the volume in \({{\mathbb C}^n}\) , which is identified with \({{\mathbb R}^{2n}}\) in the natural way.     

Representing some families of monotone maps by principal lattice congruences

For a lattice L with 0 and 1, let Princ(L) denote the set of principal congruences of L. Ordered by set inclusion, it is a bounded ordered set. In 2013, G. Grätzer proved that every bounded ordered set is representable as Princ(L); in fact, he constructed L as a lattice of length 5. For {0, 1}-sublattices \({A \subseteq B}\) of L, congruence generation defines a natural map Princ(A) \({\longrightarrow}\) Princ(B). In this way, every family of {0, 1}-sublattices of L yields a small category of bounded ordered sets as objects and certain 0-separating {0, 1}-preserving monotone maps as morphisms such that every hom-set consists of at most one morphism. We prove the converse: every small category of bounded ordered sets with these properties is representable by principal congruences of selfdual lattices of length 5 in the above sense. As a corollary, we can construct a selfdual lattice L in G. Grätzer's above-mentioned result.     

Eichler’s commutation relation and some other invariant subspaces of Hecke operators

Let k be an odd positive integer, L a lattice on a regular positive definite k-dimensional quadratic space over \(\mathbb {Q}\), \(N_L\) the level of L, and \(\mathscr {M}(L)\)  be the linear space of \(\theta \)-series attached to the distinct classes in the genus of L. We prove that, for an odd prime \(p|N_L\), if \(L_p=L_{p,1}\,\bot \, L_{p,2}\), where \(L_{p,1}\) is unimodular, \(L_{p,2}\) is (p)-modular, and \(\mathbb {Q}_pL_{p,2}\) is anisotropic, then \(\mathscr {M}(L;p):=\) \(\mathscr {M}(L)\) \(+T_{p^2}.\) \(\mathscr {M}(L)\)  is stable under the Hecke operator \(T_{p^2}\). If \(L_2\) is isometric to \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle 2\varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}1\\ 1&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) with \(\varepsilon \in \mathbb {Z}_2^{\times }\) and \(\kappa :=\frac{k-1}{2}\), then \(\mathscr {M}(L;2):=T_{2^2}.\mathscr {M}(L)+T_{2^2}^2.\,\mathscr {M}(L)\) is stable under the Hecke operator \(T_{2^2}\). Furthermore, we determine some invariant subspaces of the cusp forms for the Hecke operators.     

Depth,Stanley depth,and regularity of ideals associated to graphs

Let \({\mathbb{K}}\) be a field and \({S=\mathbb{K}[x_1,\dots,x_n]}\) be the polynomial ring in n variables over \({\mathbb{K}}\). Let G be a graph with n vertices. Assume that \({I=I(G)}\) is the edge ideal of G and \({J=J(G)}\) is its cover ideal. We prove that \({{\rm sdepth}(J)\geq n-\nu_{o}(G)}\) and \({{\rm sdepth}(S/J)\geq n-\nu_{o}(G)-1}\), where \({\nu_{o}(G)}\) is the ordered matching number of G. We also prove the inequalities \({{\rmsdepth}(J^k)\geq {\rm depth}(J^k)}\) and \({{\rm sdepth}(S/J^k)\geq {\rmdepth}(S/J^k)}\), for every integer \({k\gg 0}\), when G is a bipartite graph. Moreover, we provide an elementary proof for the known inequality reg\({(S/I)\leq \nu_{o}(G)}\).     

Hecke algebras for {{\rm GL}_n} over local fields

We study the local Hecke algebra \({\mathcal{H}_{G}(K)}\) for \({G = {\rm GL}_{n}}\) and K a non-archimedean local field of characteristic zero. We show that for \({G = {\rm GL}_{2}}\) and any two such fields K and L, there is a Morita equivalence \({\mathcal{H}_{G}(K) \sim_{M} \mathcal{H}_{G}(L)}\), by using the Bernstein decomposition of the Hecke algebra and determining the intertwining algebras that yield the Bernstein blocks up to Morita equivalence. By contrast, we prove that for \({G = {\rm GL}_{n}}\), there is an algebra isomorphism \({\mathcal{H}_{G}(K) \cong \mathcal{H}_{G}(L)}\) which is an isometry for the induced \({L^1}\)-norm if and only if there is a field isomorphism \({K \cong L}\).     

Riesz Transform Characterizations of Hardy Spaces Associated to Degenerate Elliptic Operators

Let \({L_{w}}{:=-w^{-1}{\rm div}(A\nabla)}\) be the degenerate elliptic operator on the Euclidean space \({{\mathbb{R}^{n}}}\), where w is a Muckenhoupt \({A_{2}({\mathbb{R}^{n}})}\) weight. In this article, the authors establish the Riesz transform characterization of the Hardy space \({H^{p}_{L_{w}}({\mathbb{R}}^{n})}\) associated with L_w, for \({w \in A_{q}({\mathbb{R}}^{n}) \cap RH_{\frac{n}{n-2}}({\mathbb{R}^{n}})}\) with \({n \geq 3}\), \({q \in [1,2]}\) and \({p \in (q(\frac{1}{r}+\frac{q-1}{2}+\frac{1}{n})^{-1},1]}\) if, for some \({r \in (1,\,2]}\), \({{\{tL_w e^{-tL_w}\}}_{t\geq 0}}\) satisfies the weighted \({L^{r}-L^{2}}\) full off-diagonal estimates.     

Construction of hyperbolic Riemann surfaces with large systoles

Let S be a compact hyperbolic Riemann surface of genus \({g \geq 2}\). We call a systole a shortest simple closed geodesic in S and denote by \({{\rm sys}(S)}\) its length. Let \({{\rm msys}(g)}\) be the maximal value that \({{\rm sys}(\cdot)}\) can attain among the compact Riemann surfaces of genus g. We call a (globally) maximal surface S_max a compact Riemann surface of genus g whose systole has length \({{\rm msys}(g)}\). In Section 2 we use cutting and pasting techniques to construct compact hyperbolic Riemann surfaces with large systoles from maximal surfaces. This enables us to prove several inequalities relating \({{\rm msys}(\cdot)}\) of different genera. In Section 3 we derive similar intersystolic inequalities for non-compact hyperbolic Riemann surfaces with cusps.     

Infinite dimensional multiplicity free spaces III: matrix coefficients and regular functions

In earlier papers we studied direct limits \({(G,\,K) = \varinjlim\, (G_n,K_n)}\) of two types of Gelfand pairs. The first type was that in which the G _n /K _n are compact Riemannian symmetric spaces. The second type was that in which \({G_n = N_n\rtimes K_n}\) with N _n nilpotent, in other words pairs (G _n , K _n ) for which G _n /K _n is a commutative nilmanifold. In each we worked out a method inspired by the Frobenius–Schur Orthogonality Relations to define isometric injections \({\zeta_{m,n}: L^2(G_n/K_n) \hookrightarrow L^2(G_m/K_m)}\) for m ≧ n and prove that the left regular representation of G on the Hilbert space direct limit \({L^2(G/K) := \varinjlim L^2(G_n/K_n)}\) is multiplicity-free. This left open questions concerning the nature of the elements of L ²(G/K). Here we define spaces \({\mathcal{A}(G_n/K_n)}\) of regular functions on G _n /K _n and injections \({\nu_{m,n} : \mathcal{A}(G_n/K_n) \to \mathcal{A}(G_m/K_m)}\) for m ≧ n related to restriction by \({\nu_{m,n}(f)|_{G_n/K_n} = f}\). Thus the direct limit \({\mathcal{A}(G/K) := \varinjlim \{\mathcal{A}(G_n/K_n), \nu_{m,n}\}}\) sits as a particular G-submodule of the much larger inverse limit \({\varprojlim \{\mathcal{A}(G_n/K_n), {\rm restriction}\}}\). Further, we define a pre Hilbert space structure on \({\mathcal{A}(G/K)}\) derived from that of L ²(G/K). This allows an interpretation of L ²(G/K) as the Hilbert space completion of the concretely defined function space \({\mathcal{A}(G/K)}\), and also defines a G-invariant inner product on \({\mathcal{A}(G/K)}\) for which the left regular representation of G is multiplicity-free.     

Gradient Estimates for Commutators of Square Roots of Elliptic Operators with Complex Bounded Measurable Coefficients

Let \(L=-\mathrm{div}(A\nabla )\) be a second order divergence form elliptic operator and A an accretive \(n\times n\) matrix with bounded measurable complex coefficients in \({\mathbb R}^n\). Let \(\nabla b\in L^n({\mathbb R}^n)\,(n>2)\). In this paper, we prove that the commutator generated by b and the square root of L, which is defined by \([b,\sqrt{L}]f(x)=b(x)\sqrt{L}f(x)-\sqrt{L}(bf)(x)\), is bounded from the homogenous Sobolev space \({\dot{L}}_1^2({\mathbb R}^n)\) to \(L^2({\mathbb R}^n)\).     

Cardinal interpolation with general multiquadrics

This paper studies the cardinal interpolation operators associated with the general multiquadrics, ? _{α, c} (x)=(∥x∥² + c ²) ^α , \(x\in \mathbb {R}^{d}\). These operators take the form

$$\mathcal{I}_{\alpha,c}\mathbf{y}(x) = \sum\limits_{j\in\mathbb{Z}^{d}}y_{j}L_{\alpha,c}(x-j),\quad\mathbf{y}=(y_{j})_{j\in\mathbb{Z}^{d}},\quad x\in\mathbb{R}^{d}, $$

where L _{α, c} is a fundamental function formed by integer translates of ? _{α, c} which satisfies the interpolatory condition \(L_{\alpha ,c}(k) = \delta _{0,k},\; k\in \mathbb {Z}^{d}\). We consider recovery results for interpolation of bandlimited functions in higher dimensions by limiting the parameter \(c\to \infty \). In the univariate case, we consider the norm of the operator \(\mathcal {I}_{\alpha ,c}\) acting on ? _p spaces as well as prove decay rates for L _{α, c} using a detailed analysis of the derivatives of its Fourier transform, \(\widehat {L_{\alpha ,c}}\).

     

Some estimates for commutators of Riesz transform associated with Schrödinger type operators

Let L₁ = ?Δ + V be a Schr:dinger operator and let L² = (?Δ)² + V² be a Schrödinger type operator on ?ⁿ (n ? 5), where V≠ 0 is a nonnegative potential belonging to certain reverse Hölder class B_s for s ? n/2. The Hardy type space \(H_{{L_2}}^1\) is defined in terms of the maximal function with respect to the semigroup \(\left\{ {{e^{ - t{L_2}}}} \right\}\) and it is identical to the Hardy space \(H_{{L_1}}^1\) established by Dziubański and Zienkiewicz. In this article, we prove the L^p-boundedness of the commutator R_b = bRf - R(bf) generated by the Riesz transform \(R = {\nabla ^2}L_2^{ - 1/2}\), where \(b \in BM{O_\theta }(\varrho )\), which is larger than the space BMO(?ⁿ). Moreover, we prove that R_b is bounded from the Hardy space \(H_{\mathcal{L}_1 }^1 \) into weak \(L_{weak}^1 (\mathbb{R}^n )\).     

Supercyclicity in Spaces of Operators

A sufficient criterion for the map \({C_{A, B}(S) = ASB}\) to be supercyclic on certain algebras of operators on Banach spaces is given. If T is an operator satisfying the Supercyclicity Criterion on a Hilbert space H, then the linear map \({C_{T}(V) = TVT^*}\) is shown to be norm-supercyclic on the algebra \({\mathcal{K}(H)}\) of all compact operators, COT-supercyclic on the real subspace \({\mathcal{S}(H)}\) of all self-adjoint operators and weak*-supercyclic on \({\mathcal{L}(H)}\) of all bounded operators on H. Examples including operators of the form \({C_{B_w, F_\mu}}\) are provided, where B_w and \({F_\mu}\) are respectively backward and forward shifts on Banach sequence spaces.     

An inverse spectral theorem for Kreĭn strings with a negative eigenvalue

A string is a pair \({(L, \mathfrak{m})}\) where \({L \in[0, \infty]}\) and \({\mathfrak{m}}\) is a positive, possibly unbounded, Borel measure supported on [0, L]; we think of L as the length of the string and of \({\mathfrak{m}}\) as its mass density. To each string a differential operator acting in the space \({L^2(\mathfrak{m})}\) is associated. Namely, the Kre?n–Feller differential operator \({-D_{\mathfrak{m}}D_x}\) ; its eigenvalue equation can be written, e.g., as

$$f^{\prime}(x) + z \int_0^L f(y)\,d\mathfrak{m}(y) = 0,\quad x \in\mathbb R,\ f^{\prime}(0-) = 0.$$

A positive Borel measure τ on \({\mathbb R}\) is called a (canonical) spectral measure of the string \({\textsc S[L, \mathfrak{m}]}\) , if there exists an appropriately normalized Fourier transform of \({L^2(\mathfrak{m})}\) onto L ²(τ). In order that a given positive Borel measure τ is a spectral measure of some string, it is necessary that: (1) \({\int_{\mathbb R} \frac{d\tau(\lambda)}{1+|\lambda|} < \infty}\) . (2) Either \({{\rm supp} \tau \subseteq [0, \infty)}\) , or τ is discrete and has exactly one point mass in (?∞, 0). It is a deep result, going back to Kre?n in the 1950’s, that each measure with \({\int_{\mathbb R}\frac{d\tau(\lambda)}{1+|\lambda|} < \infty}\) and \({{\rm supp} \tau \subseteq [0, \infty)}\) is a spectral measure of some string, and that this string is uniquely determined by τ. The question remained open, which conditions characterize whether a measure τ with \({{\rm supp} \tau \not\subseteq [0, \infty)}\) is a spectral measure of some string. In the present paper, we answer this question. Interestingly, the solution is much more involved than the first guess might suggest.

     

Homoclinic Solutions for <Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)-Laplacian–Hamiltonian Systems Without Coercive Conditions

In this paper, we study the existence and multiplicity of homoclinic solutions for the following second-order p(t)-Laplacian–Hamiltonian systems

$$\frac{{\rm d}}{{\rm d}t}(|\dot{u}(t)|^{p(t)-2}\dot{u}(t))-a(t)|u(t)|^{p(t)-2}u(t)+\nabla W(t,u(t))=0,$$

where \({t \in \mathbb{R}}\), \({u \in \mathbb{R}^n}\), \({p \in C(\mathbb{R},\mathbb{R})}\) with p(t) > 1, \({a \in C(\mathbb{R},\mathbb{R})}\), \({W\in C^1(\mathbb{R}\times\mathbb{R}^n,\mathbb{R})}\) and \({\nabla W(t,u)}\) is the gradient of W(t, u) in u. The point is that, assuming that a(t) is bounded in the sense that there are constants \({0<\tau_1<\tau_2<\infty}\) such that \({\tau_1\leq a(t)\leq \tau_2 }\) for all \({t \in \mathbb{R}}\) and W(t, u) is of super-p(t) growth or sub-p(t) growth as \({|u|\rightarrow \infty}\), we provide two new criteria to ensure the existence and multiplicity of homoclinic solutions, respectively. Recent results in the literature are extended and significantly improved.

     

Aspects of the Segre variety $${\mathcal{S}_{1,1,1}(2)}$$

We consider various aspects of the Segre variety \({\mathcal{S}:=\mathcal{S} _{1,1,1}(2)}\) in PG(7, 2), whose stabilizer group \({\mathcal{G}_{\mathcal{S}}<{\rm GL}(8,2)}\) has the structure \({\mathcal{N}\rtimes{\rm Sym}(3),}\) where \({\mathcal{N} :={\rm GL}(2,2)\times{\rm GL}(2,2)\times{\rm GL} (2,2).}\) In particular we prove that \({\mathcal{S}}\) determines a distinguished Z ₃-subgroup \({\mathcal{Z}<{\rm GL}(8,2)}\) such that \({A\mathcal{Z}A^{-1}=\mathcal{Z},}\) for all \({A\in\mathcal{G}_{\mathcal{S}},}\) and in consequence \({\mathcal{S}}\) determines a \({\mathcal{G}_{\mathcal{S}}}\)-invariant spread of 85 lines in PG(7, 2). Furthermore we see that Segre varieties \({\mathcal{S}_{1,1,1}(2)}\) in PG(7, 2) come along in triplets \({\{\mathcal{S},\mathcal{S}^{\prime},\mathcal{S}^{\prime\prime}\}}\) which share the same distinguished Z ₃-subgroup \({\mathcal{Z}<{\rm GL}(8,2).}\) We conclude by determining all fifteen \({\mathcal{G}_{\mathcal{S}}}\)-invariant polynomial functions on PG(7, 2) which have degree < 8, and their relation to the five \({\mathcal{G}_{\mathcal{S}}}\)-orbits of points in PG(7, 2).     

The conservation relation for cuspidal representations

Let \({\pi \in Cusp ({\rm U}(V_n))}\) be a smooth cuspidal irreducible representation of a unitary group U(V _n ) of dimension n over a non-Archimedean locally compact field. Let \({W^\pm_m}\) be the two isomorphism classes of Hermitian spaces of dimension m, and the denote by \({\tau^+ \in Cusp ({\rm U}(W_{m^+}^+))}\) and \({\tau^- \in Cusp ({\rm U}(W_{m^-}^-))}\) the first non-zero theta lifts of π. In this article we prove that m ⁺ + m ^? = 2n + 2, which was conjectured in Harris et al. (J AMS 9:941–1004, 1996, Speculations 7.5 and 7.6). We prove similar equalities for the other dual pairs of type I: the symplectic-orthogonal dual pairs and the quaternionic dual pairs.     

Partial Gaussian Bounds for Degenerate Differential Operators

Let S be the semigroup on \(L_2({{\bf R}}^d)\) generated by a degenerate elliptic operator, formally equal to \(- \sum \partial_k \, c_{kl} \, \partial_l\), where the coefficients c _kl are real bounded measurable and the matrix C(x)?=?(c _kl (x)) is symmetric and positive semi-definite for all x?∈?R ^d . Let Ω???R ^d be a bounded Lipschitz domain and μ?>?0. Suppose that C(x)?≥?μ I for all x?∈?Ω. We show that the operator P _Ω S _t P _Ω has a kernel satisfying Gaussian bounds and Gaussian Hölder bounds, where P _Ω is the projection of \(L_2({{\bf R}}^d)\) onto L ₂(Ω). Similar results are for the operators u ? χ S _t (χ u), where \(\chi \in C_{\rm b}^\infty({{\bf R}}^d)\) and C(x)?≥?μI for all \(x \in {\mathop{\rm supp}} \chi\).     

The range of approximate unitary equivalence classes of homomorphisms from AH-algebras

Let C be a unital AH-algebra and A be a unital simple C*-algebras with tracial rank zero. It has been shown that two unital monomorphisms \({\phi, \psi: C\to A}\) are approximately unitarily equivalent if and only if

$ [\phi]=[\psi]\quad {\rm in}\quad KL(C,A)\quad {\rm and}\quad \tau\circ \phi=\tau\circ \psi \quad{\rm for\, all}\tau\in T(A),$

where T(A) is the tracial state space of A. In this paper we prove the following: Given \({\kappa\in KL(C,A)}\) with \({\kappa(K_0(C)_+\setminus\{0\})\subset K_0(A)_+\setminus\{0\}}\) and with κ([1 _C ]) = [1 _A ] and a continuous affine map \({\lambda: T(A)\to T_{\mathfrak f}(C)}\) which is compatible with κ, where \({T_{\mathfrak f}(C)}\) is the convex set of all faithful tracial states, there exists a unital monomorphism \({\phi: C\to A}\) such that

$[\phi]=\kappa\quad{\rm and}\quad \tau\circ \phi(c)=\lambda(\tau)(c)$

for all \({c\in C_{s.a.}}\) and \({\tau\in T(A).}\) Denote by \({{\rm Mon}_{au}^e(C,A)}\) the set of approximate unitary equivalence classes of unital monomorphisms. We provide a bijective map

$\Lambda: {\rm Mon}_{au}^e (C,A)\to KLT(C,A)^{++},$

where KLT(C, A)⁺⁺ is the set of compatible pairs of elements in KL(C, A)⁺⁺ and continuous affine maps from T(A) to \({T_{\mathfrak f}(C).}\) Moreover, we found that there are compact metric spaces X, unital simple AF-algebras A and \({\kappa\in KL(C(X), A)}\) with \({\kappa(K_0(C(X))_+\setminus\{0\})\subset K_0(A)_+\setminus\{0\}}\) for which there is no homomorphism h: C(X) → A so that [h] = κ.

     

The “strange term” in the periodic homogenization for multivalued Leray–Lions operators in perforated domains

Using the periodic unfolding method of Cioranescu, Damlamian and Griso, we study the homogenization for equations of the form

$-{\rm div}\,\,d_\varepsilon=f,\,\,{\rm with}\,\,\left(\nabla u_{\varepsilon , \delta }(x),d_{\varepsilon , \delta }(x)\right) \in A_\varepsilon(x)$

in a perforated domain with holes of size \({\varepsilon \delta }\) periodically distributed in the domain, where \({A_\varepsilon }\) is a function whose values are maximal monotone graphs (on R ^N ). Two different unfolding operators are involved in such a geometric situation. Under appropriate growth and coercivity assumptions, if the corresponding two sequences of unfolded maximal monotone graphs converge in the graph sense to the maximal monotone graphs A(x, y) and A ₀(x, z) for almost every \({(x,y,z)\in \Omega \times Y \times {\rm {\bf R}}^N}\), as \({\varepsilon \to 0}\), then every cluster point (u ₀, d ₀) of the sequence \({(u_{\varepsilon , \delta }, d_{\varepsilon , \delta } )}\) for the weak topology in the naturally associated Sobolev space is a solution of the homogenized problem which is expressed in terms of u ₀ alone. This result applies to the case where \({A_{\varepsilon}(x)}\) is of the form \({B(x/\varepsilon)}\) where B(y) is periodic and continuous at y = 0, and, in particular, to the oscillating p-Laplacian.