<Emphasis Type="Italic">k</Emphasis>-Extreme Points in Symmetric Spaces of Measurable Operators

Let \({\mathcal{M}}\) be a semifinite von Neumann algebra with a faithful, normal, semifinite trace \({\tau}\) and E be a strongly symmetric Banach function space on \({[0,\tau({\bf 1}))}\) . We show that an operator x in the unit sphere of \({E(\mathcal{M}, \tau)}\) is k-extreme, \({k \in {\mathbb{N}}}\) , whenever its singular value function \({\mu(x)}\) is k-extreme and one of the following conditions hold (i) \({\mu(\infty, x) = \lim_{t\to\infty}\mu(t, x) = 0}\) or (ii) \({n(x)\mathcal{M}n(x^*) = 0}\) and \({|x| \geq \mu(\infty, x)s(x)}\) , where n(x) and s(x) are null and support projections of x, respectively. The converse is true whenever \({\mathcal{M}}\) is non-atomic. The global k-rotundity property follows, that is if \({\mathcal{M}}\) is non-atomic then E is k-rotund if and only if \(E(\mathcal{M}, \tau)\) is k-rotund. As a consequence of the noncommutative results we obtain that f is a k-extreme point of the unit ball of the strongly symmetric function space E if and only if its decreasing rearrangement \({\mu(f)}\) is k-extreme and \({|f| \geq \mu(\infty,f)}\) . We conclude with the corollary on orbits Ω(g) and Ω′(g). We get that f is a k-extreme point of the orbit \({\Omega(g),\,g \in L_1 + L_{\infty}}\) , or \({\Omega'(g),\,g \in L_1[0, \alpha),\,\alpha < \infty}\) , if and only if \({\mu(f) = \mu(g)}\) and \({|f| \geq \mu(\infty, f)}\) . From this we obtain a characterization of k-extreme points in Marcinkiewicz spaces.     

Symbol <Emphasis Type="Italic">p</Emphasis>-algebras of prime degree and their <Emphasis Type="Italic">p</Emphasis>-central subspaces

We prove that the maximal dimension of a p-central subspace of the generic symbol p-algebra of prime degree p is \({p+1}\). We do it by proving the following number theoretic fact: let \({\{s_1,\dots,s_{p+1}\}}\) be \({p+1}\) distinct nonzero elements in the additive group \({G=(\mathbb{Z}/p \mathbb{Z}) \times (\mathbb{Z}/p \mathbb{Z})}\), then every nonzero element \({g \in G}\) can be expressed as \({d_1 s_1+\dots+d_{p+1} s_{p+1}}\) for some non-negative integers \({d_1,\dots,d_{p+1}}\) with \({d_1+\dots+d_{p+1}\leq p-1}\).     

Interpolation of sum and intersection spaces of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-type and applications to the Stokes problem in general unbounded domains

In a general unbounded uniform C ²-domain \({\Omega \subset \mathbb{R}^n, n \geq 3}\) , and \({1\leq q\leq \infty}\) consider the spaces \({\tilde{L}^q(\Omega)}\) defined by \({\tilde{L^q}(\Omega) := \left\{\begin{array}{ll}L^q(\Omega)+L^2(\Omega),\quad q < 2, \\ L^q(\Omega)\cap L^2(\Omega),\quad q\geq 2, \end{array}\right.}\) and corresponding subspaces of solenoidal vector fields, \({\tilde{L}^q_\sigma(\Omega)}\) . By studying the complex and real interpolation spaces of these we derive embedding properties for fractional order spaces related to the Stokes problem and L ^p ? L ^q -type estimates for the corresponding semigroup.     

Invariant <Emphasis Type="Italic">K</Emphasis>-minimal Sets in the Discrete and Continuous Settings

A sufficient condition for a set \(\Omega \subset L^{1}\left( \left[ 0,1\right] ^{m}\right) \) to be invariant K-minimal with respect to the couple \(\left( L^{1}\left( \left[ 0,1\right] ^{m}\right) ,L^{\infty }\left( \left[ 0,1\right] ^{m}\right) \right) \) is established. Through this condition, different examples of invariant K-minimal sets are constructed. In particular, it is shown that the \(L^{1}\)-closure of the image of the \(L^{\infty }\)-ball of smooth vector fields with support in \(\left( 0,1\right) ^{m}\) under the divergence operator is an invariant K-minimal set. The constructed examples have finite-dimensional analogues in terms of invariant K-minimal sets with respect to the couple \(\left( \ell ^{1},\ell ^{\infty }\right) \) on \(\mathbb {R}^{n}\). These finite-dimensional analogues are interesting in themselves and connected to applications where the element with minimal K-functional is important. We provide a convergent algorithm for computing the element with minimal K-functional in these and other finite-dimensional invariant K-minimal sets.     

The fractional Neumann and Robin type boundary conditions for the regional fractional <Emphasis Type="Italic">p</Emphasis>-Laplacian

Let \({p \in (1,\infty)}\), \({s \in (0,1)}\) and \({\Omega \subset {\mathbb{R}^{N}}}\) a bounded open set with boundary \({\partial\Omega}\) of class C ^1,1. In the first part of the article we prove an integration by parts formula for the fractional p-Laplace operator \({(-\Delta)_{p}^{s}}\) defined on \({\Omega \subset {\mathbb{R}^{N}}}\) and acting on functions that do not necessarily vanish at the boundary \({\partial\Omega}\). In the second part of the article we use the above mentioned integration by parts formula to clarify the fractional Neumann and Robin boundary conditions associated with the fractional p-Laplacian on open sets.     

On a two-phase free boundary condition for <Emphasis Type="Italic">p</Emphasis>-harmonic measures

Let \({\Omega^i\subset {\bf R}^n, i\in\{1,2\}}\) , be two (δ, r ₀)-Reifenberg flat domains, for some \({0 < \delta < \hat \delta}\) and r ₀ > 0, assume \({\Omega^1\cap\Omega^2=\emptyset}\) and that, for some \({w\in {\bf R}^n}\) and some 0 < r, \({w\in\partial\Omega^1\cap\partial\Omega^2, \partial\Omega^1\cap B(w,2r)=\partial\Omega^2\cap B(w,2r)}\) . Let p, 1 < p < ∞, be given and let u ⁱ , \({i\in\{1,2\}}\) , denote a non-negative p-harmonic function in Ω ⁱ , assume that u ⁱ , \({i\in\{1,2\}}\), is continuous in \({\bar\Omega^i\cap B(w,2r) }\) and that u ⁱ  = 0 on \({\partial\Omega^i\cap B(w,2r)}\) . Extend u ⁱ to B(w, 2r) by defining \({u^i\equiv 0}\) on \({B(w,2r) {\setminus} \Omega^i}\). Then there exists a unique finite positive Borel measure μ ⁱ , \({i\in\{1,2\}}\) , on R ⁿ , with support in \({\partial\Omega^i\cap B(w,2r)}\) , such that if \({\phi \in C_0^\infty (B(w,2r))}\) , then

$\int\limits_{\mathbf R^n} \,|\nabla u^i|^{ p-2} \,\langle \nabla u^i, \,\nabla \phi \rangle \,dx =- \int\limits_{\mathbf R^n} \,\phi \,d \mu^i.$

Let \({\Delta(w,2r)=\partial\Omega^1\cap B(w,2r)=\partial\Omega^2\cap B(w,2r)}\) . The main result proved in this paper is the following. Assume that μ ² is absolutely continuous with respect to μ ¹ on Δ(w, 2r), d μ ² = kd μ ¹ for μ ¹-almost every point in Δ(w, 2r) and that \({\log k\in VMO(\Delta(w,r),\mu^1)}\) . Then there exists \({\tilde \delta = \tilde \delta(p,n) > 0}\) , \({\tilde \delta < \hat \delta}\) , such that if \({\delta\leq\tilde\delta}\) , then Δ(w, r/2) is Reifenberg flat with vanishing constant. Moreover, the special case p = 2, i.e., the linear case and the corresponding problem for harmonic measures, has previously been studied in Kenig and Toro (J Reine Angew Math 596:1–44, 2006).

     

Sharp <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Bound for Holomorphic Functions on the Unit Disc

For any 1 < p < ∞ and any \({X, Y\in \mathbb{R}}\) satisfying \({|X|\leq Y}\) , we determine the optimal constant C _p (X,Y) such that the following holds. If F is a holomorphic function on the unit disc satisfying ReF(0) = X and \({||{\rm Re}F||_{L^{p}(\mathbb{T})}=Y}\) , then

$$||F||_{L^p(\mathbb{T})}\geq C_p(X,Y).$$

This can be regarded as a reverse version of the classical estimates of Riesz and Essén. The proof rests on the exploitation of certain families of special subharmonic functions on the plane.

     

Spectral multiplier theorems and averaged <Emphasis Type="Italic">R</Emphasis>-boundedness

Let A be a 0-sectorial operator with a bounded \(H^\infty (\Sigma _\sigma )\)-calculus for some \(\sigma \in (0,\pi ),\) e.g. a Laplace type operator on \(L^p(\Omega ),\, 1< p < \infty ,\) where \(\Omega \) is a manifold or a graph. We show that A has a \(\mathcal {H}^\alpha _2(\mathbb {R}_+)\) Hörmander functional calculus if and only if certain operator families derived from the resolvent \((\lambda - A)^{-1},\) the semigroup \(e^{-zA},\) the wave operators \(e^{itA}\) or the imaginary powers \(A^{it}\) of A are R-bounded in an \(L^2\)-averaged sense. If X is an \(L^p(\Omega )\) space with \(1 \le p < \infty \), R-boundedness reduces to well-known estimates of square sums.     

On a class of finite capable <Emphasis Type="Italic">p</Emphasis>-groups

A group G is called capable if there is a group H such that \({G \cong H/Z(H)}\) is isomorphic to the group of inner automorphisms of H. We consider the situation that G is a finite capable p-group for some prime p. Suppose G has rank \({d(G) \ge 2}\) and Frattini class \({c \ge 1}\), which by definition is the length of a shortest central series of G with all factors being elementary abelian. There is up to isomorphism a unique largest p-group \({G_d^c}\) with rank d and Frattini class c, and G is an epimorphic image of \({G_d^c}\). We prove that this \({G_d^c}\) is capable; more precisely, we have \({G_d^c \cong G_d^{c+1}/Z(G_d^{c+1})}\).     

Ordinal indices of Small Subspaces of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We calculate the ordinal L _p index defined in [3] for Rosenthal’s space X _p , \({\ell_p}\) and \({\ell_2}\). We show that an infinite-dimensional subspace of L _p \({(2 < p < \infty)}\) non-isomorphic to \({\ell_2}\) embeds in \({\ell_p}\) if and only if its ordinal index is the minimal possible. We also give a sufficient condition for a \({\mathcal{L}_p}\) subspace of \({\ell_p \oplus \ell_2}\) to be isomorphic to X _p .     

On von Neumann regular elements in <Emphasis Type="Italic">f</Emphasis>-rings

Let B be an Archimedean reduced f-ring. A positive element \({\omega}\) in B is said to satisfy the property \({(\ast)}\) if for every f-ring A with identity e and every \({\ell}\)-group homomorphism \({\gamma : A \rightarrow B}\) with \({\gamma(e) = \omega}\), there exists a unique \({\ell}\)-ring homomorphism \({\rho: B \rightarrow B}\) such that \({\gamma = \omega \rho}\) and \({\rho(e)^{\perp \perp} = \omega^{\perp \perp}}\). Boulabiar and Hager proved that any (positive) von Neumann regular element in B satisfies the property \({(\ast)}\) and proved that the converse holds in the C(X)-case. In this regard, they asked about this converse in the general case. Our main purpose in this note is to prove, via a counter-example, that the converse in question fails in general. In addition, we shall take the opportunity to extend the direct result obtained by Boulabiar and Hager, and to get the C(X)-case we were talking about in an easier way.     

Representation of real Riesz maps on a strong <Emphasis Type="Italic">f</Emphasis>-ring by prime elements of a frame

In classical topology, it is proved that for a topological space X, every bounded Riesz map \(\varphi :C (X) \rightarrow {\mathbb {R}}\) is of the from \({\hat{x}}\) for a point \(x\in X\). In this paper, our main purpose is to prove a version of this result by lattice-valued maps. A ring representation of the from \(A\rightarrow {\mathbb {R}}\) is constructed. This representation is denoted by \(\widetilde{p_c}\) that is an onto f-ring homomorphism for every \(p\in \Sigma L\), where its index c, denotes a cozero lattice-valued map. Also, it is shown that for every Riesz map \(\phi :A\rightarrow {\mathbb {R}} \) and \(c\in F(A, L)\) with specific properties, there exists \(p\in \Sigma L\) such that \(\phi =\phi (1)\widetilde{p_c}\).     

Tempered representations of <Emphasis Type="Italic">p</Emphasis>-adic groups: special idempotents and topology

Let \(G=G(k)\) be a connected reductive group over a p-adic field k. The smooth (and tempered) complex representations of G can be considered as the nondegenerate modules over the Hecke algebra \({\mathcal {H}}={\mathcal {H}}(G)\) and the Schwartz algebra \({\mathcal {S}}={\mathcal {S}}(G)\) forming abelian categories \({\mathcal {M}}(G)\) and \({\mathcal {M}}^t(G)\), respectively. Idempotents \(e\in {\mathcal {H}}\) or \({\mathcal {S}}\) define full subcategories \({\mathcal {M}}_e(G)= \{V : {\mathcal {H}}eV=V\}\) and \({\mathcal {M}}_e^t(G)= \{V : {\mathcal {S}}eV=V\}\). Such an e is said to be special (in \({\mathcal {H}}\) or \({\mathcal {S}}\)) if the corresponding subcategory is abelian. Parallel to Bernstein’s result for \(e\in {\mathcal {H}}\) we will prove that, for special \(e \in {\mathcal {S}}\), \({\mathcal {M}}_e^t(G) = \prod _{\Theta \in \theta _e} {\mathcal {M}}^t(\Theta )\) is a finite direct product of component categories \({\mathcal {M}}^t(\Theta )\), now referring to connected components of the center of \({\mathcal {S}}\). A special \(e\in {\mathcal {H}}\) will be also special in \({\mathcal {S}}\), but idempotents \(e\in {\mathcal {H}}\) not being special can become special in \({\mathcal {S}}\). To obtain conditions we consider the sets \(\mathrm{Irr}^t(G) \subset \mathrm{Irr}(G)\) of (tempered) smooth irreducible representations of G, and we view \(\mathrm{Irr}(G)\) as a topological space for the Jacobson topology defined by the algebra \({\mathcal {H}}\). We use this topology to introduce a preorder on the connected components of \(\mathrm{Irr}^t(G)\). Then we prove that, for an idempotent \(e \in {\mathcal {H}}\) which becomes special in \({\mathcal {S}}\), its support \(\theta _e\) must be saturated with respect to that preorder. We further analyze the above decomposition of \({\mathcal {M}}_e^t(G)\) in the case where G is k-split with connected center and where \(e = e_J \in {\mathcal {H}}\) is the Iwahori idempotent. Here we can use work of Kazhdan and Lusztig to relate our preorder on the support \(\theta _{e_J}\) to the reverse of the natural partial order on the unipotent classes in G. We finish by explicitly computing the case \(G=GL_n\), where \(\theta _{e_J}\) identifies with the set of partitions of n. Surprisingly our preorder (which is a partial order now) is strictly coarser than the reverse of the dominance order on partitions.     

The one dimensional parabolic <Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">x</Emphasis>)-Laplace equation

The Dirichlet problem for the degenerate and singular parabolic p(x)-Laplace equation with one spatial variable is considered. We prove the existence of the unique weak solution such that the derivatives u _t and u _x of a solution u belong to \({L_{\infty}}\). Moreover for the singular case we prove the existence of the strong solution i.e. such that u _t , u _x and u _xx belong to \({L_{\infty}}\).     

Facets of the <Emphasis Type="Italic">r</Emphasis>-Stable (<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">k</Emphasis>)-Hypersimplex

Let k, n, and r be positive integers with k < n and \({r \leq \lfloor \frac{n}{k} \rfloor}\). We determine the facets of the r-stable n, k-hypersimplex. As a result, it turns out that the r-stable n, k-hypersimplex has exactly 2n facets for every \({r < \lfloor \frac{n}{k} \rfloor}\). We then utilize the equations of the facets to study when the r-stable hypersimplex is Gorenstein. For every k > 0 we identify an infinite collection of Gorenstein r-stable hypersimplices, consequently expanding the collection of r-stable hypersimplices known to have unimodal Ehrhart \({\delta}\)-vectors.     

EKR Sets for Large <Emphasis Type="Italic">n</Emphasis> and <Emphasis Type="Italic">r</Emphasis>

Let \(\mathcal {A}\subset \left( {\begin{array}{c}[n]\\ r\end{array}}\right) \) be a compressed, intersecting family and let \(X\subset [n]\). Let \(\mathcal {A}(X)=\{A\in \mathcal {A}:A\cap X\ne \emptyset \}\) and \(\mathcal {S}_{n,r}=\left( {\begin{array}{c}[n]\\ r\end{array}}\right) (\{1\})\). Motivated by the Erd?s–Ko–Rado theorem, Borg asked for which \(X\subset [2,n]\) do we have \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\) for all compressed, intersecting families \(\mathcal {A}\)? We call X that satisfy this property EKR. Borg classified EKR sets X such that \(|X|\ge r\). Barber classified X, with \(|X|\le r\), such that X is EKR for sufficiently large n, and asked how large n must be. We prove n is sufficiently large when n grows quadratically in r. In the case where \(\mathcal {A}\) has a maximal element, we sharpen this bound to \(n>\varphi ^{2}r\) implies \(|\mathcal {A}(X)|\le |\mathcal {S}_{n,r}(X)|\). We conclude by giving a generating function that speeds up computation of \(|\mathcal {A}(X)|\) in comparison with the naïve methods.     

Lower Bounds on the Graver Complexity of <Emphasis Type="Italic">M</Emphasis>-Fold Matrices

In this paper, we present a construction that turns certain relations on Graver basis elements of an M-fold matrix \({{A^{(M)}}}\) into relations on Graver basis elements of an \({(M+1)}\)-fold matrix \({{A^{(M+1)}}}\). In doing so, we strengthen the bound on the Graver complexity of the M-fold matrix \({{A_{3\times{M}}}}\) from \({{g(A_{3\times{M}}) \geq 17\cdot2^{M-3}-7}}\) (Berstein and Onn) to \({{g(A_{3\times{M}}) \geq 24\cdot2^{M-3}-21}}\), for \({M \geq 4}\). Moreover, we give a lower bound on the Graver complexity \({{g(A^{(M)})}}\) of general \({M}\)-fold matrices \({{A^{(M)}}}\) and we prove that the bound for \({g(A_{3\times{M}})}\) is not tight.     

A Note on Derivations on the Algebra of Operators in Hilbert <Emphasis Type="Italic">C</Emphasis>*-Modules

Let \({\mathfrak{M}}\) be a Hilbert C*-module on a C*-algebra \({\mathfrak{A}}\) and let \({End_\mathfrak{A}(\mathfrak{M})}\) be the algebra of all operators on \({\mathfrak{M}}\). In this paper, first the continuity of \({\mathfrak{A}}\)-module homomorphism derivations on \({End_\mathfrak{A}(\mathfrak{M})}\) is investigated. We give some sufficient conditions on which every derivation on \({End_\mathfrak{A}(\mathfrak{M})}\) is inner. Next, we study approximately innerness of derivations on \({End_\mathfrak{A}(\mathfrak{M})}\) for a σ-unital C*-algebra \({\mathfrak{A}}\) and full Hilbert \({\mathfrak{A}}\)-module \({\mathfrak{M}}\). Finally, we show that every bounded linear mapping on \({End_\mathfrak{A}(\mathfrak{M})}\) which behave like a derivation when acting on pairs of elements with unit product, is a Jordan derivation.     

Estimates for coefficients of certain <Emphasis Type="Italic">L</Emphasis>-functions

Let \(\pi _{\varphi }\) (or \(\pi _{\psi }\)) be an automorphic cuspidal representation of \(\text {GL}_{2} (\mathbb {A}_{\mathbb {Q}})\) associated to a primitive Maass cusp form \(\varphi \) (or \(\psi \)), and \(\mathrm{sym}^j \pi _{\varphi }\) be the jth symmetric power lift of \(\pi _{\varphi }\). Let \(a_{\mathrm{sym}^j \pi _{\varphi }}(n)\) denote the nth Dirichlet series coefficient of the principal L-function associated to \(\mathrm{sym}^j \pi _{\varphi }\). In this paper, we study first moments of Dirichlet series coefficients of automorphic representations \(\mathrm{sym}^3 \pi _{\varphi }\) of \(\text {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\), and \(\pi _{\psi }\otimes \mathrm{sym}^2 \pi _{\varphi }\) of \(\text {GL}_{6}(\mathbb {A}_{\mathbb {Q}})\). For \(3 \le j \le 8\), estimates for \(|a_{\mathrm{sym}^j \pi _{\varphi }}(n)|\) on average over a short interval have also been established.