Composition Operators on Spaces of Fractional Cauchy Transforms

For ?? > 0, the Banach space ${\mathcal{F}_{\alpha}}$ is defined as the collection of functions f which can be represented as integral transforms of an appropriate kernel against a Borel measure defined on the unit circle T. Let ?? be an analytic self-map of the unit disc D. The map ?? induces a composition operator on ${\mathcal{F}_{\alpha}}$ if ${C_{\Phi}(f) = f \circ \Phi \in \mathcal{F}_{\alpha}}$ for any function ${f \in \mathcal{F}_{\alpha}}$ . Various conditions on ?? are given, sufficient to imply that C _?? is bounded on ${\mathcal{F}_{\alpha}}$ , in the case 0 < ?? < 1. Several of the conditions involve ???? and the theory of multipliers of the space ${\mathcal{F}_{\alpha}}$ . Relations are found between the behavior of C _?? and the membership of ?? in the Dirichlet spaces. Conditions given in terms of the generalized Nevanlinna counting function are shown to imply that ?? induces a bounded composition operator on ${\mathcal{F}_{\alpha}}$ , in the case 1/2 ?? ?? < 1. For such ??, examples are constructed such that ${\| \Phi \|_{\infty} = 1}$ and ${C_{\Phi}: \mathcal{F}_{\alpha} \rightarrow \mathcal{F}_{\alpha}}$ is bounded.     

Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.     

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. II: Local Spectra and Fredholmness

Let ${\mathcal{B}_{p,w}}$ be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space ${L^p(\mathbb{R},w)}$ , where ${p\in(1,\infty)}$ and w is a Muckenhoupt weight. We study the Banach subalgebra ${\mathfrak{U}_{p,w}}$ of ${\mathcal{B}_{p,w}}$ generated by all multiplication operators aI ( ${a\in PSO^\diamond}$ ) and all convolution operators W ⁰(b) ( ${b\in PSO_{p,w}^\diamond}$ ), where ${PSO^\diamond\subset L^\infty(\mathbb{R})}$ and ${PSO_{p,w}^\diamond\subset M_{p,w}}$ are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of ${\mathbb{R}\cup\{\infty\}}$ , and M _p,w is the Banach algebra of Fourier multipliers on ${L^p(\mathbb{R},w)}$ . Under some conditions on the Muckenhoupt weight w, using results of the local study of ${\mathfrak{U}_{p,w}}$ obtained in the first part of the paper and applying the theory of Mellin pseudodifferential operators and the two idempotents theorem, we now construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{U}_{p,w}}$ and establish a Fredholm criterion for the operators ${A\in\mathfrak{U}_{p,w}}$ in terms of their Fredholm symbols. In four partial cases we obtain for ${\mathfrak{U}_{p,w}}$ more effective results.     

Algebras of Convolution Type Operators with Piecewise Slowly Oscillating Data. I: Local and Structural Study

Let ${\mathcal{B}_{p,w}}$ be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space ${L^{p}(\mathbb{R}, w)}$ , where ${p \in (1, \infty)}$ and w is a Muckenhoupt weight. We study the Banach subalgebra ${\mathfrak{A}_{p,w}}$ of ${\mathcal{B}_{p,w}}$ generated by all multiplication operators aI ( ${a \in PSO^{\diamond}}$ ) and all convolution operators W ⁰(b) ( ${b \in PSO_{p,w}^{\diamond}}$ ), where ${PSO^{\diamond} \subset L^{\infty}(\mathbb{R})}$ and ${PSO_{p,w}^{\diamond} \subset M_{p,w}}$ are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of ${\mathbb{R} \cup \{\infty\}}$ , and M _p,w is the Banach algebra of Fourier multipliers on ${L^{p}(\mathbb{R}, w)}$ . Under some conditions on the Muckenhoupt weight w, we construct a Fredholm symbol calculus for the Banach algebra ${\mathfrak{A}_{p,w}}$ and establish a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ in terms of their Fredholm symbols. To study the Banach algebra ${\mathfrak{A}_{p,w}}$ we apply the theory of Mellin pseudodifferential operators, the Allan–Douglas local principle, the two idempotents theorem and the method of limit operators. The paper is divided in two parts. The first part deals with the local study of ${\mathfrak{A}_{p,w}}$ and necessary tools for studying local algebras.     

Categories of bounded \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) - and \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) -modules

Let $ \mathfrak{g} $ be a reductive Lie algebra over $ \mathbb{C} $ and $ \mathfrak{k} \subset \mathfrak{g} $ be a reductive in $ \mathfrak{g} $ subalgebra. We call a $ \mathfrak{g} $ -module M a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module whenever M is a direct sum of finite-dimensional $ \mathfrak{k} $ -modules. We call a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module M bounded if there exists $ {C_M} \in {\mathbb{Z}_{{ \geqslant 0}}} $ such that for any simple finite-dimensional $ \mathfrak{k} $ -module E the dimension of the E-isotypic component is not greater than C _M dim E. Bounded $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -modules form a subcategory of the category of $ \mathfrak{g} $ -modules. Let V be a finite-dimensional vector space. We prove that the categories of bounded $ \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ - and $ \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ -modules are isomorphic to the direct sum of countably many copies of the category of representations of some explicitly described quiver with relations under some mild assumptions on the dimension of V .     

On the pullback of an arithmetic theta function

In this paper, we describe a relationship between the simplest examples of arithmetic theta series. The first of these are the weight 1 theta series ${\widehat{\phi}_{\mathcal C}(\tau)}$ defined using arithmetic 0-cycles on the moduli space ${\mathcal C}$ of elliptic curves with CM by the ring of integers ${O_{\kappa}}$ of an imaginary quadratic field. The second such series ${\widehat{\phi}_{\mathcal M}(\tau)}$ has weight 3/2 and takes values in the arithmetic Chow group ${\widehat{{\rm CH}}^1(\mathcal{M})}$ of the arithmetic surface associated to an indefinite quaternion algebra ${B/\mathbb{Q}}$ . For an embedding ${O_\kappa \rightarrow O_B}$ , a maximal order in B, and a two sided O _B -ideal Λ, there is a morphism ${j_\Lambda:{\mathcal C} \rightarrow {\mathcal M}}$ and a pullback ${j_\Lambda^*: \widehat{{\rm CH}}^1(\mathcal{M}) \rightarrow \widehat{{\rm CH}}^1(\mathcal C)}$ . Our main result is an expression for the pullback ${j^*_\Lambda \widehat{\phi}_{\mathcal M}(\tau)}$ as a linear combination of products of ${\widehat{\phi}_{\mathcal C}(\tau)}$ ’s and classical weight ${\frac{1}{2}}$ theta series.     

Height of a Superposition

We observe that, given a poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ and a finite covering ${\user1{\mathcal{R}}} = {\user1{\mathcal{R}}}_{1} \cup \cdots \cup {\user1{\mathcal{R}}}_{n} $ of its ordering, the height of the poset does not exceed the natural product of the heights of the corresponding sub-relations: $$\mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}} \right)} \leqslant \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{1} } \right)} \otimes \cdots \otimes \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{n} } \right)}.$$ Conversely for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, every poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ of height at most $\xi_1\otimes\cdots\otimes\xi_n$ admits a partition ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ such that each ${\left( {E,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at most $\xi_k$ . In particular for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, the ordinal $$\xi _{1} \underline{ \otimes } \cdots \underline{ \otimes } \xi _{n} : = \sup {\left\{ {{\left( {\xi ^{\prime }_{1} \otimes \cdots \otimes \xi ^{\prime }_{n} } \right)} + 1:\xi ^{\prime }_{1} < \xi _{1} , \cdots ,\xi ^{\prime }_{n} < \xi _{n} } \right\}}$$ is the least $\xi$ for which the following partition relation holds $$\mathfrak{H}_{\xi } \to {\left( {\mathfrak{H}_{{\xi _{1} }} , \cdots ,\mathfrak{H}_{{\xi _{n} }} } \right)}^{2} $$ meaning: for every poset ${\left( {A,{\user1{\mathcal{R}}}} \right)}$ of height at least $\xi$ and every finite covering ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ , there is a $k$ for which the relation ${\left( {A,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at least $\xi_k$ . The proof will rely on analogue properties of vertex coverings w.r.t. the natural sum.     

Boundedness of Generalized Riesz Transforms on Orlicz–Hardy Spaces Associated to Operators

Let ${\Phi}$ be a continuous, strictly increasing and concave function on (0, ∞) of critical lower type index ${p_\Phi^- \in(0,\,1]}$ . Let L be an injective operator of type ω having a bounded H _∞ functional calculus and satisfying the k-Davies–Gaffney estimates with ${k \in {\mathbb Z}_+}$ . In this paper, the authors first introduce an Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ in terms of the non-tangential L-adapted square function and then establish its molecular characterization. As applications, the authors prove that the generalized Riesz transform ${D_{\gamma}L^{-\delta/(2k)}}$ is bounded from the Orlicz–Hardy space ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz space ${L^{\widetilde{\Phi}}(\mathbb{R}^n)}$ when ${p_\Phi^- \in (0, \frac{n}{n+ \delta - \gamma}]}$ , ${0 < \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the Orlicz–Hardy space ${H^{\widetilde \Phi}(\mathbb{R}^n)}$ when ${p_\Phi^-\in (\frac{n}{n + \delta+ \lfloor \gamma \rfloor- \gamma},\,\frac{n}{n+ \delta- \gamma}]}$ , ${1\le \gamma \le \delta < \infty}$ and ${\delta- \gamma < n (\frac{1}{p_-(L)}-\frac{1}{p_+(L)})}$ , or from ${H^{\Phi}_{L}(\mathbb{R}^n)}$ to the weak Orlicz–Hardy space ${WH^\Phi(\mathbb{R}^n)}$ when ${\gamma = \delta}$ and ${p_\Phi=n/(n + \lfloor \gamma \rfloor)}$ or ${p_\Phi^-=n/(n + \lfloor \gamma \rfloor)}$ with ${p_\Phi^-}$ attainable, where ${\widetilde{\Phi}}$ is an Orlicz function whose inverse function ${\widetilde{\Phi}^{-1}}$ is defined by ${\widetilde{\Phi}^{-1}(t):=\Phi^{-1}(t)t^{\frac{1}{n}(\gamma- \delta)}}$ for all ${t \in (0,\,\infty)}$ , ${p_\Phi}$ denotes the strictly critical lower type index of ${\Phi}$ , ${\lfloor \gamma \rfloor}$ the maximal integer not more than ${\gamma}$ and ${(p_-(L),\,p_+(L))}$ the range of exponents ${p \in[1,\, \infty]}$ for which the semigroup ${\{e^{-tL}\}_{t >0 }}$ is bounded on ${L^p(\mathbb{R}^n)}$ .     

Immunity properties and strong positive reducibilities

We use certain strong Q-reducibilities, and their corresponding strong positive reducibilities, to characterize the hyperimmune sets and the hyperhyperimmune sets: if A is any infinite set then A is hyperimmune (respectively, hyperhyperimmune) if and only if for every infinite subset B of A, one has ${\overline{K}\not\le_{\rm ss} B}$ (respectively, ${\overline{K}\not\le_{\overline{\rm s}} B}$ ): here ${\le_{\overline{\rm s}}}$ is the finite-branch version of s-reducibility, ??_ss is the computably bounded version of ${\le_{\overline{\rm s}}}$ , and ${\overline{K}}$ is the complement of the halting set. Restriction to ${\Sigma^0_2}$ sets provides a similar characterization of the ${\Sigma^0_2}$ hyperhyperimmune sets in terms of s-reducibility. We also show that no ${A \geq_{\overline{\rm s}}\overline{K}}$ is hyperhyperimmune. As a consequence, ${\deg_{\rm s}(\overline{K})}$ is hyperhyperimmune-free, showing that the hyperhyperimmune s-degrees are not upwards closed.     

Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

Characterization of (generalized) Lie derivations on {\mathcal{J}}-subspace lattice algebras by local action

Let ${\mathcal{L}}$ be a ${\mathcal{J}}$ -subspace lattice on a Banach space X over the real or complex field ${\mathbb{F}}$ with dim X ≥ 2 and Alg ${\mathcal{L}}$ be the associated ${\mathcal{J}}$ -subspace lattice algebra. For any scalar ${\xi \in \mathbb{F}}$ , there is a characterization of any linear map L : Alg ${\mathcal{L} \rightarrow {\rm Alg} {\mathcal{L}}}$ satisfying ${L([A,B]_\xi) = [L(A),B]_\xi + [A,L(B)]_\xi}$ for any ${A, B \in{\rm Alg} {\mathcal{L}}}$ with AB = 0 (rep. ${[A,B]_ \xi = AB - \xi BA = 0}$ ) given. Based on these results, a complete characterization of (generalized) ξ-Lie derivations for all possible ξ on Alg ${\mathcal{L}}$ is obtained.     

Stability of contact discontinuity for steady Euler system in infinite duct

In this paper, we prove stability of contact discontinuities for full Euler system. We fix a flat duct ${\mathcal{N}_0}$ of infinite length in ${\mathbb{R}^2}$ with width W ₀ and consider two uniform subsonic flow ${{U_l}^{\pm}=(u_l^{\pm}, 0, pl,\rho_l^{\pm})}$ with different horizontal velocity in ${\mathcal{N}_0}$ divided by a flat contact discontinuity ${\Gamma_{cd}}$ . And, we slightly perturb the boundary of ${\mathcal{N}_0}$ so that the width of the perturbed duct converges to ${W_0+\omega}$ for ${|\omega| < \delta}$ at ${x=\infty}$ for some ${\delta >0 }$ . Then, we prove that if the asymptotic state at left far field is given by ${{U_l}^{\pm}}$ , and if the perturbation of boundary of ${\mathcal{N}_0}$ and ${\delta}$ is sufficiently small, then there exists unique asymptotic state ${{U_r}^{\pm}}$ with a flat contact discontinuity ${\Gamma_{cd}^*}$ at right far field( ${x=\infty}$ ) and unique weak solution ${U}$ of the Euler system so that U consists of two subsonic flow with a contact discontinuity in between, and that U converges to ${{U_l}^{\pm}}$ and ${{U_r}^{\pm}}$ at ${x=-\infty}$ and ${x=\infty}$ respectively. For that purpose, we establish piecewise C ¹ estimate across a contact discontinuity of a weak solution to Euler system depending on the perturbation of ${\partial\mathcal{N}_0}$ and ${\delta}$ .     

Uniqueness properties of degenerate elliptic operators

Let ?? be an open subset of R ^d and ${ K=-\sum^d_{i,j=1}\partial_i\,c_{ij}\,\partial_j+\sum^d_{i=1}c_i\partial_i+c_0}$ a second-order partial differential operator with real-valued coefficients ${c_{ij}=c_{ji}\in W^{1,\infty}_{\rm loc}(\Omega),c_i,c_0\in L_{\infty,{\rm loc}}(\Omega)}$ satisfying the strict ellipticity condition ${C=(c_{ij}) >0 }$ . Further let ${H=-\sum^d_{i,j=1} \partial_i\,c_{ij}\,\partial_j}$ denote the principal part of K. Assuming an accretivity condition ${C\geq \kappa (c\otimes c^{\,T})}$ with ${\kappa >0 }$ , an invariance condition ${(1\!\!1_\Omega, K\varphi)=0}$ and a growth condition which allows ${\|C(x)\|\sim |x|^2\log |x|}$ as |x| ?? ?? we prove that K is L ₁-unique if and only if H is L ₁-unique or Markov unique.     

Full regularity of a free boundary problem with two phases

Let ?? be a bounded domain in ${\mathbb{R}^{n}, n\geq2}$ . We use ${\mathcal{M}_{\Omega}}$ to denote the collection of all pairs of (A, u) such that ${A\subset\Omega}$ is a set of finite perimeter and ${u\in H^{1}\left( \Omega\right)}$ satisfies $$u\left( x\right) =0\quad\text{a.e.}x\in A.$$ We consider the energy functional $$E_{\Omega}\left( A,u\right) =\int\limits_{\Omega}\left\vert\triangledown u\right\vert ^{2}+P_{\Omega}\left( A\right)$$ defined on ${\mathcal{M}_{\Omega}}$ , where P _??(A) denotes the perimeter of A inside ??. Let ${\left( A,u\right)\in\mathcal{M}_{\Omega}}$ be a minimizer with volume constraint. Our main result is that when n????7, u is locally Lipschitz and the free boundary ?A is analytic in ??.     

Some new classes of Kadison-Singer lattices in Hilbert spaces

Let N be a maximal and discrete nest on a separable Hilbert space H,E the projection from H onto the subspace[C]spanned by a particular separating vector for N′and Q the projection from K=H⊕H onto the closed subspace{(,):∈H}.Let L be the closed lattice in the strong operator topology generated by the projections(E 00 0),{(E 00 0):E∈N}and Q.We show that L is a Kadison-Singer lattice with trivial commutant,i.e.,L′=CI.Furthermore,we similarly construct some Kadison-Singer lattices in the matrix algebras M2n(C)and M2n.1(C).     

Restrictions of generalized Verma modules to symmetric pairs

We initiate a new line of investigation on branching problems for generalized Verma modules with respect to reductive symmetric pairs $ \left( {\mathfrak{g},\mathfrak{g}'} \right) $ . In general, Verma modules may not contain any simple module when restricted to a reductive subalgebra. In this article we give a necessary and sufficient condition on the triple $ \left( {\mathfrak{g},\mathfrak{g}',\mathfrak{p}} \right) $ such that the restriction $ {\left. X \right|_{\mathfrak{g}'}} $ always contains simple $ \mathfrak{g}' $ -modules for any $ \mathfrak{g} $ -module X lying in the parabolic BGG category $ {\mathcal{O}^\mathfrak{p}} $ attached to a parabolic subalgebra $ \mathfrak{p} $ of $ \mathfrak{g} $ . Formulas are derived for the Gelfand?CKirillov dimension of any simple module occurring in a simple generalized Verma module. We then prove that the restriction $ {\left. X \right|_{\mathfrak{g}'}} $ is generically multiplicity-free for any $ \mathfrak{p} $ and any $ X \in {\mathcal{O}^\mathfrak{p}} $ if and only if $ \left( {\mathfrak{g},\mathfrak{g}'} \right) $ is isomorphic to (A _n , A _n-1), (B _n , D _n ), or (D _n+1, B _n ). Explicit branching laws are also presented.     

Donsker-type theorems for nonparametric maximum likelihood estimators

Let ${\mathcal{P}}$ be a nonparametric probability model consisting of smooth probability densities and let ${\hat{p}_{n}}$ be the corresponding maximum likelihood estimator based on n independent observations each distributed according to the law ${\mathbb{P}}$ . With $\hat{\mathbb{P}}_{n}$ denoting the measure induced by the density ${\hat{p}_{n}}$ , define the stochastic process ${\hat{\nu}}_{n}: f\longmapsto \sqrt{n} \int fd({\hat{\mathbb{P}}}_{n} -\mathbb{P})$ where f ranges over some function class ${\mathcal{F}}$ . We give a general condition for Donsker classes ${\mathcal{F}}$ implying that the stochastic process $\hat{\nu}_{n}$ is asymptotically equivalent to the empirical process in the space ${\ell ^{\infty }(\mathcal{F})}$ of bounded functions on ${ \mathcal{F}}$ . This implies in particular that $\hat{\nu}_{n}$ converges in law in ${\ell ^{\infty }(\mathcal{F})}$ to a mean zero Gaussian process. We verify the general condition for a large family of Donsker classes ${\mathcal{ F}}$ . We give a number of applications: convergence of the probability measure ${\hat{\mathbb{P}}_{n}}$ to ${\mathbb{P}}$ at rate ${\sqrt{n}}$ in certain metrics metrizing the topology of weak(-star) convergence; a unified treatment of convergence rates of the MLE in a continuous scale of Sobolev-norms; ${\sqrt{n}}$ -efficient estimation of nonlinear functionals defined on ${\mathcal{P}}$ ; limit theorems at rate ${\sqrt{n}}$ for the maximum likelihood estimator of the convolution product ${\mathbb{P\ast P}}$ .     

A Construction of Generalized Harish-Chandra Modules for Locally Reductive Lie Algebras

We study cohomological induction for a pair $ {\left( {\mathfrak{g},\mathfrak{k}} \right)} $ , $ \mathfrak{g} $ being an infinitedimensional locally reductive Lie algebra and $ \mathfrak{k} \subset \mathfrak{g} $ being of the form $ \mathfrak{k}_{0} \subset C_{\mathfrak{g}} {\left( {\mathfrak{k}_{0} } \right)} $ , where $ \mathfrak{k}_{0} \subset \mathfrak{g} $ is a finite-dimensional reductive in $ \mathfrak{g} $ subalgebra and $ C_{\mathfrak{g}} {\left( {\mathfrak{k}_{0} } \right)} $ is the centralizer of $ \mathfrak{k}_{0} $ in $ \mathfrak{g} $ . We prove a general nonvanishing and $ \mathfrak{k} $ -finiteness theorem for the output. This yields, in particular, simple $ {\left( {\mathfrak{g},\mathfrak{k}} \right)} $ -modules of finite type over k which are analogs of the fundamental series of generalized Harish-Chandra modules constructed in [PZ1] and [PZ2]. We study explicit versions of the construction when $ \mathfrak{g} $ is a root-reductive or diagonal locally simple Lie algebra.