Weak module amenability of triangular Banach algebras

Let A and B be unital Banach algebras and let M be a unital Banach A,B-module. Forrest and Marcoux [6] have studied the weak amenability of triangular Banach algebra \(\mathcal{T} = \left[ {_B^{AM} } \right]\) and showed that T is weakly amenable if and only if the corner algebras A and B are weakly amenable. When \(\mathfrak{A}\) is a Banach algebra and A and B are Banach \(\mathfrak{A}\)-module with compatible actions, and M is a commutative left Banach \(\mathfrak{A}\)-A-module and right Banach \(\mathfrak{A}\)-B-module, we show that A and B are weakly \(\mathfrak{A}\)-module amenable if and only if triangular Banach algebra T is weakly \(\mathfrak{T}\)-module amenable, where \(\mathfrak{T}: = \{ [^\alpha _\alpha ]:\alpha \in \mathfrak{A}\} \).     

Arens regularity of projective tensor products

For completely contractive Banach algebras A and B (respectively operator algebras A and B), the necessary and sufficient conditions for the operator space projective tensor product \({A\widehat{\otimes}B}\) (respectively the Haagerup tensor product \({A\otimes^{h}B}\)) to be Arens regular are obtained. Using the non-commutative Grothendieck inequality, we show that, for C*-algebras A and B, \({A\otimes^{\gamma} B}\) is Arens regular if \({A\widehat{\otimes}B}\) and \({A\widehat{\otimes}B^{op}}\) are Arens regular whereas \({A\widehat{\otimes}B}\) is Arens regular if and only if \({A\otimes^{h}B}\) and \({B\otimes^{h}A}\) are, where \({\otimes^h}\), \({\otimes^{\gamma}}\), and \({\widehat{\otimes}}\) are the Haagerup, the Banach space projective tensor norm, and the operator space projective tensor norm, respectively.     

On weakly injective von Neumann algebras

A von Neumann algebra \({M\subset B(H)}\) is called weakly injective if there exist an ultraweakly dense unital C*-subalgebra \({A\subset M}\) and a unital completely positive map φ : B(H) → M such that φ(a) = a for all \({a\in A}\). In this note we present several properties of weakly injective von Neumann algebras and highlight the role these algebras play in relation to the QWEP conjecture.     

Fractional Differentiability for Solutions of Nonlinear Elliptic Equations

We study nonlinear elliptic equations in divergence form

$$\text {div }{\mathcal A}(x,Du)=\text {div } G.$$

When \({\mathcal A}\) has linear growth in D u, and assuming that \(x\mapsto {\mathcal A}(x,\xi )\) enjoys \(B^{\alpha }_{\frac {n}\alpha , q}\) smoothness, local well-posedness is found in \(B^{\alpha }_{p,q}\) for certain values of \(p\in [2,\frac {n}{\alpha })\) and \(q\in [1,\infty ]\). In the particular case \({\mathcal A}(x,\xi )=A(x)\xi \), G = 0 and \(A\in B^{\alpha }_{\frac {n}\alpha ,q}\), \(1\leq q\leq \infty \), we obtain \(Du\in B^{\alpha }_{p,q}\) for each \(p<\frac {n}\alpha \). Our main tool in the proof is a more general result, that holds also if \({\mathcal A}\) has growth s?1 in D u, 2 ≤ s ≤ n, and asserts local well-posedness in L ^q for each q > s, provided that \(x\mapsto {\mathcal A}(x,\xi )\) satisfies a locally uniform VMO condition.

     

Anderson Polymer in a Fractional Brownian Environment: Asymptotic Behavior of the Partition Function

We consider the Anderson polymer partition function

$$\begin{aligned} u(t):=\mathbb {E}^X\left[ e^{\int _0^t \mathrm {d}B^{X(s)}_s}\right] \,, \end{aligned}$$

where \(\{B^{x}_t\,;\, t\ge 0\}_{x\in \mathbb {Z}^d}\) is a family of independent fractional Brownian motions all with Hurst parameter \(H\in (0,1)\), and \(\{X(t)\}_{t\in \mathbb {R}^{\ge 0}}\) is a continuous-time simple symmetric random walk on \(\mathbb {Z}^d\) with jump rate \(\kappa \) and started from the origin. \(\mathbb {E}^X\) is the expectation with respect to this random walk. We prove that when \(H\le 1/2\), the function u(t) almost surely grows asymptotically like \(e^{\lambda t}\), where \(\lambda >0\) is a deterministic number. More precisely, we show that as t approaches \(+\infty \), the expression \(\{\frac{1}{t}\log u(t)\}_{t\in \mathbb {R}^{>0}}\) converges both almost surely and in the \(\hbox {L}^1\) sense to some positive deterministic number \(\lambda \). For \(H>1/2\), we first show that \(\lim _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) exists both almost surely and in the \(\hbox {L}^1\) sense and equals a strictly positive deterministic number (possibly \(+\infty \)); hence, almost surely u(t) grows asymptotically at least like \(e^{\alpha t}\) for some deterministic constant \(\alpha >0\). On the other hand, we also show that almost surely and in the \(\hbox {L}^1\) sense, \(\limsup _{t\rightarrow \infty } \frac{1}{t\sqrt{\log t}}\log u(t)\) is a deterministic finite real number (possibly zero), hence proving that almost surely u(t) grows asymptotically at most like \(e^{\beta t\sqrt{\log t}}\) for some deterministic positive constant \(\beta \). Finally, for \(H>1/2\) when \(\mathbb {Z}^d\) is replaced by a circle endowed with a Hölder continuous covariance function, we show that \(\limsup _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) is a deterministic finite positive real number, hence proving that almost surely u(t) grows asymptotically at most like \(e^{c t}\) for some deterministic positive constant c.

     

Lie Algebras of Slow Growth and Klein-Gordon PDE

We discuss the notion of characteristic Lie algebra of a hyperbolic PDE. The integrability of a hyperbolic PDE is closely related to the properties of the corresponding characteristic Lie algebra χ. We establish two explicit isomorphisms:

1. 1)
   the first one is between the characteristic Lie algebra \(\chi (\sinh {u})\) of the sinh-Gordon equation \(u_{xy}=\sinh {u}\) and the non-negative part \({\mathcal {L}}({\mathfrak {sl}}(2,{\mathbb {C}}))^{\ge 0}\) of the loop algebra of \({\mathfrak {sl}}(2,{\mathbb {C}})\) that corresponds to the Kac-Moody algebra \(A_{1}^{(1)}\)

   $$\chi(\sinh{u})\cong {\mathcal{L}}({\mathfrak{s}\mathfrak{l}}(2,{\mathbb{C}}))^{\ge 0}={\mathfrak{s}\mathfrak{l}}(2, {\mathbb{C}}) \otimes {\mathbb{C}}[t]. $$
    
2. 2)
   the second isomorphism is for the Tzitzeica equation u_xy = e^u + e^??2u

   $$\chi(e^{u}{+}e^{-2u}) \cong {\mathcal{L}}({\mathfrak{s}\mathfrak{l}}(3,{\mathbb{C}}), \mu)^{\ge0}=\bigoplus_{j = 0}^{+\infty}{\mathfrak{g}}_{j (\text{mod} \; 2)} \otimes t^{j}, $$

   where \({\mathcal {L}}({\mathfrak {sl}}(3,{\mathbb {C}}), \mu )=\bigoplus _{j \in {\mathbb {Z}}}{\mathfrak {g}}_{j (\text {mod} \; 2)} \otimes t^{j}\) is the twisted loop algebra of the simple Lie algebra \({\mathfrak {sl}}(3,{\mathbb {C}})\) that corresponds to the Kac-Moody algebra \(A_{2}^{(2)}\).
    

Hence the Lie algebras \(\chi (\sinh {u})\) and χ(e^u + e^??2u) are slowly linearly growing Lie algebras with average growth rates \(\frac {3}{2}\) and \(\frac {4}{3}\) respectively.     

Intersection properties of radial solutions and global bifurcation diagrams for supercritical quasilinear elliptic equations

We study the positive solution \({u(r,\rho)}\) of the quasilinear elliptic equation

$$\begin{cases}r^{-(\gamma-1)}(r^{\alpha}|u^{\prime}|^{\beta-1}u^{\prime})^{\prime}+|u|^{p-1}u=0, & 0 < r < \infty,\\ u(0) = \rho > 0,\ u^{\prime}(0)=0.\end{cases}$$

This class of differential operators includes the usual Laplace, m-Laplace, and k-Hessian operators in the space of radial functions. The equation has a singular positive solution u ^*(r) under certain conditions on \({\alpha}\), \({\beta}\), \({\gamma}\), and p. A generalized Joseph–Lundgren exponent, which we denote by \({p^*_{JL}}\), is obtained. We study the intersection numbers between \({u(r,\rho)}\) and u ^*(r) and between \({u(r,\rho_0)}\) and \({u(r,\rho_1)}\), and see that \({p^*_{JL}}\) plays an important role. We also determine the bifurcation diagram of the problem

$$\begin{cases}r^{-(\gamma-1)}(r^{\alpha}|u^{\prime}|^{\beta-1}u^{\prime})^{\prime} + \lambda(u+1)^p=0, & 0 < r < 1,\\ u(r) > 0, & 0 \le r < 1,\\ u^{\prime}(0)=0,\ u(1)=0.\end{cases}$$

The main technique used in the proofs is a phase plane analysis.

     

Compactness and existence results in weighted Sobolev spaces of radial functions. Part II: existence

We apply the compactness results obtained in the first part of this work, to prove existence and multiplicity results for finite energy solutions to the nonlinear elliptic equation

$$-\triangle u + V \left(\left|x\right|\right) u = g \left(\left|x\right|, u\right) \quad {\rm in} \Omega \subseteq \mathbb{R}^{N},\,N \geq 3,$$

where \({\Omega}\) is a radial domain (bounded or unbounded) and u satisfies u =  0 on \({\partial\Omega}\) if \({\Omega \neq\mathbb{R}^{N}}\) and \({u \rightarrow 0}\) as \({\left|x\right| \rightarrow \infty}\) if \({\Omega}\) is unbounded. The potential V may be vanishing or unbounded at zero or at infinity and the nonlinearity g may be superlinear or sublinear. If g is sublinear, the case with a forcing term \({g\left(\left|\cdot\right|, 0\right) \neq 0}\) is also considered. Our results allow to deal with V and g exhibiting behaviours at zero or at infinity which are new in the literature and, when \({\Omega = \mathbb{R}^{N}}\), do not need to be compatible with each other.

     

Geometry of Coadjoint Orbits and Multiplicity-one Branching Laws for Symmetric Pairs

Consider the restriction of an irreducible unitary representation π of a Lie group G to its subgroup H. Kirillov’s revolutionary idea on the orbit method suggests that the multiplicity of an irreducible H-module ν occurring in the restriction π|_H could be read from the coadjoint action of H on \(\mathcal {O}^{G} \cap \text {pr}^{-1}({\mathcal {O}}^{H})\), provided π and ν are ‘geometric quantizations’ of a G-coadjoint orbit \(\mathcal {O}^{G}\) and an H-coadjoint orbit \(\mathcal {O}^{H}\), respectively, where \(\text {pr} \colon \sqrt {-1}\mathfrak {g}^{\ast } \to \sqrt {-1}\mathfrak {h}^{\ast }\) is the projection dual to the inclusion \(\mathfrak {h} \subset \mathfrak {g}\) of Lie algebras. Such results were previously established by Kirillov, Corwin and Greenleaf for nilpotent Lie groups. In this article, we highlight specific elliptic orbits \(\mathcal {O}^{G}\) of a semisimple Lie group G corresponding to highest weight modules of scalar type. We prove that the Corwin–Greenleaf number \(\sharp (\mathcal {O}^{G} \cap \text {pr}^{-1}({\mathcal {O}}^{H}))/H\) is either zero or one for any H-coadjoint orbit \(\mathcal {O}^{H}\), whenever (G,H) is a symmetric pair of holomorphic type. Furthermore, we determine the coadjoint orbits \(\mathcal {O}^{H}\) with nonzero Corwin–Greenleaf number. Our results coincide with the prediction of the orbit philosophy, and can be seen as ‘classical limits’ of the multiplicity-free branching laws of holomorphic discrete series representations (Kobayashi [Progr. Math. 2007]).     

Modules for Yokonuma-type Hecke Algebras

This paper describes the module categories for a family of generic Hecke algebras, called Yokonuma-type Hecke algebras. Yokonuma-type Hecke algebras specialize both to the group algebras of the complex reflection groups G(r,1,n) and to the convolution algebras of (B \(^{\prime }\),B \(^{\prime }\))-double cosets in the group algebras of finite general linear groups, for certain subgroups B \(^{\prime }\) consisting of upper triangular matrices. In particular, complete sets of inequivalent, irreducible modules for semisimple specializations of Yokonuma-type Hecke algebras are constructed.     

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.

     

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).

     

Asymptotic unitary equivalence and classification of simple amenable <Emphasis Type="Italic">C</Emphasis><Superscript>∗</Superscript>-algebras

Let C and A be two unital separable amenable simple C ^?-algebras with tracial rank at most one. Suppose that C satisfies the Universal Coefficient Theorem and suppose that ? ₁,? ₂:C→A are two unital monomorphisms. We show that there is a continuous path of unitaries {u _t :t∈[0,∞)} of A such that

$\lim_{t\to\infty}u_t^*\varphi_1(c)u_t=\varphi_2(c)\quad\mbox{for all }c\in C$

if and only if [? ₁]=[? ₂] in \(KK(C,A),\varphi_{1}^{\ddag}=\varphi_{2}^{\ddag},(\varphi_{1})_{T}=(\varphi _{2})_{T}\) and a rotation related map \(\overline{R}_{\varphi_{1},\varphi_{2}}\) associated with ? ₁ and ? ₂ is zero.

Applying this result together with a result of W. Winter, we give a classification theorem for a class \({\mathcal{A}}\) of unital separable simple amenable C ^?-algebras which is strictly larger than the class of separable C ^?-algebras with tracial rank zero or one. Tensor products of two C ^?-algebras in \({\mathcal{A}}\) are again in \({\mathcal{A}}\). Moreover, this class is closed under inductive limits and contains all unital simple ASH-algebras for which the state space of K ₀ is the same as the tracial state space and also some unital simple ASH-algebras whose K ₀-group is ? and whose tracial state spaces are any metrizable Choquet simplex. One consequence of the main result is that all unital simple AH-algebras which are \({\mathcal{Z}}\)-stable are isomorphic to ones with no dimension growth.     

A spectral method for nonlinear elliptic equations

Let Ω be an open, simply connected, and bounded region in \(\mathbb {R}^{d}\), d ≥ 2, and assume its boundary ?Ω is smooth and homeomorphic to \(\mathbb {S}^{d-1}\). Consider solving an elliptic partial differential equation L u = f(?, u) over Ω with zero Dirichlet boundary value. The function f is a nonlinear function of the solution u. The problem is converted to an equivalent elliptic problem over the open unit ball \(\mathbb {B}^{d}\) in \(\mathbb {R}^{d}\), say \(\widetilde {L}\widetilde {u} =\widetilde {f}(\cdot ,\widetilde {u})\). Then a spectral Galerkin method is used to create a convergent sequence of multivariate polynomials \(\widetilde {u} _{n}\) of degree ≤ n that is convergent to \(\widetilde {u}\). The transformation from Ω to \(\mathbb {B}^{d}\) requires a special analytical calculation for its implementation. With sufficiently smooth problem parameters, the method is shown to be rapidly convergent. For \(u\in C^{\infty } \left (\overline {\Omega }\right ) \) and assuming ?Ω is a C ^∞ boundary, the convergence of \(\left \Vert \widetilde {u} -\widetilde {u}_{n}\right \Vert _{H^{1}}\) to zero is faster than any power of 1/n. The error analysis uses a reformulation of the boundary value problem as an integral equation, and then it uses tools from nonlinear integral equations to analyze the numerical method. Numerical examples illustrate experimentally an exponential rate of convergence. A generalization to ?Δu + γ u = f(u) with a zero Neumann boundary condition is also presented.     

Differentiability of Spectral Functions for Relativistic <Emphasis Type="Italic">α</Emphasis>-Stable Processes with Application to Large Deviations

We consider the relativistic α-stable process, a pure jump Markov process generated by \(\mathcal{H}^{\alpha} = (-\Delta + m^{2/\alpha})^{\alpha /2}-m\). Let ?C(λ) be the bottom of spectrum of Schrödinger type operator \(\mathcal{H}^{\lambda \mu} = \mathcal{H}^{\alpha} - \lambda \mu\), where μ is a signed Kato measure. We prove the differentiability of C(λ). As an application of it, we establish a large deviation principle for the additive functional \(A_t^{\mu}\) corresponding to the measure μ.     

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.     

Szegő kernels and Poincaré series

Let \(M = {{\widetilde M} \mathord{\left/ {\vphantom {{\widetilde M} \Gamma }} \right. \kern-\nulldelimiterspace} \Gamma }\) be a Kähler manifold, where Γ ~ π₁(M) and \(\widetilde M\) is the universal Kähler cover. Let (L, h) → M be a positive hermitian holomorphic line bundle. We first prove that the L² Szeg? projector \({\widetilde \Pi _N}\) for L²-holomorphic sections on the lifted bundle \({\widetilde L^N}\) is related to the Szeg? projector for H⁰(M, L^N) by \({\widehat \Pi _N}\left( {x,y} \right) = \sum\nolimits_{\gamma \in \Gamma } {{{\widetilde {\widehat \Pi }}_N}} \left( {\gamma \cdot x,y} \right)\). We then apply this result to give a simple proof of Napier’s theorem on the holomorphic convexity of \(\widetilde M\) with respect to \({\widetilde L^N}\) and to surjectivity of Poincaré series.     

Malcev products of unipotent monoids and varieties of bands

Let \(\mathcal{U}\) be the class of all unipotent monoids and \(\mathcal{B}\) the variety of all bands. We characterize the Malcev product \(\mathcal{U} \circ \mathcal{V}\) where \(\mathcal{V}\) is a subvariety of \(\mathcal{B}\) low in its lattice of subvarieties, \(\mathcal{B}\) itself and the subquasivariety \(\mathcal{S} \circ \mathcal{RB}\), where \(\mathcal{S}\) stands for semilattices and \(\mathcal{RB}\) for rectangular bands, in several ways including by a set of axioms. For members of some of them we describe the structure as well. This succeeds by using the relation \(\widetilde{\mathcal{H}}= \widetilde{\mathcal{L}} \cap \widetilde{\mathcal{R}}\), where \(a\;\,\widetilde{\mathcal{L}}\;\,b\) if and only if a and b have the same idempotent right identities, and \(\widetilde{\mathcal{R}}\) is its dual.We also consider \((\mathcal{U} \circ \mathcal{RB}) \circ \mathcal{S}\) which provides the motivation for this study since \((\mathcal{G} \circ \mathcal{RB}) \circ \mathcal{S}\) coincides with completely regular semigroups, where \(\mathcal{G}\) is the variety of all groups. All this amounts to a generalization of the latter: \(\mathcal{U}\) instead of \(\mathcal{G}\).