On Deformations of Lie Algebroids

For any Lie algebroid A, its 1-jet bundle ${\mathfrak{J} A}$ is a Lie algebroid naturally and there is a representation ${\pi:\mathfrak{J} A\longrightarrow\mathfrak{D} A}$ . Denote by ${{\rm d}_{\mathfrak{J}}}$ the corresponding coboundary operator. In this paper, we realize the deformation cohomology of a Lie algebroid A introduced by M. Crainic and I. Moerdijk as the cohomology of a subcomplex ${(\Gamma({\rm Hom}(\wedge^\bullet\mathfrak{J} A,A)_{{\mathfrak{D}} A}),{\rm d}_{\mathfrak{J}})}$ of the cochain complex ${(\Gamma({\rm Hom}(\wedge^\bullet\mathfrak{J} A, A)),{\rm d}_\mathfrak{J})}$ .     

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

On the generalization of Faltings’ Annihilator Theorem

Let R be a commutative Noetherian ring, and let n be a non-negative integer. In this article, by using the theory of Gorenstein dimensions, it is shown that whenever R is a homomorphic image of a Noetherian Gorenstein ring, then the invariants ${\inf\{i \in \mathbb{N}_0|\, \rm{dim\, Supp}(\mathfrak{b}^t H_{\mathfrak{a}}^i(M)) \geq n\, \rm{for\, all}\, t \in \mathbb{N}_0\}}$ and ${\inf\{\lambda_{\mathfrak{a} R_{\mathfrak{p}}}^{\mathfrak{b} R_{\mathfrak{p}}}(M_{\mathfrak{p}})|\, \mathfrak{p} \in {\rm Spec} \, R\, \rm{and\, dim}\, R/ \mathfrak{p} \geq n\}}$ are equal, for every finitely generated R-module M and for all ideals ${\mathfrak{a}, \mathfrak{b}}$ of R with ${\mathfrak{b}\subseteq \mathfrak{a}}$ . This generalizes Faltings’ Annihilator Theorem (see [6]).     

Permutohedral spaces and the Cox ring of the moduli space of stable pointed rational curves

We study the Cox ring of the moduli space of stable pointed rational curves, ${\overline{M}_{0,n}}$ , via the closely related permutohedral (or Losev-Manin) spaces ${\overline{L}_{n-2}}$ . Our main result establishes $\left(\begin{array}{ll} n \\ 2 \end{array}\right)$ polynomial subrings of ${{\rm Cox}(\overline{M}_{0,n})}$ , thus giving collections of boundary variables that intersect the ideal of relations of ${{\rm Cox}(\overline{M}_{0,n})}$ trivially. As applications, we give a combinatorial way to partially solve the Riemann-Roch problem for ${\overline{M}_{0,n}}$ , and we show that all relations in degrees of ${{\rm Cox}(\overline{M}_{0,6})}$ arising from certain pull-backs from projective spaces are generated by the Plücker relations.     

Induced and reduced unbounded operator algebras

The induction and reduction precesses of an O*-vector space ${{\mathfrak M}}$ obtained by means of a projection taken, respectively, in ${{\mathfrak M}}$ itself or in its weak bounded commutant ${{\mathfrak M}^\prime_{\rm w}}$ are studied. In the case where ${{\mathfrak M}}$ is a partial GW*-algebra, sufficient conditions are given for the induced and the reduced spaces to be partial GW*-algebras again.     

A criterion for I-adic completeness

Let I denote an ideal in a commutative Noetherian ring R. Let M be an R-module. The I-adic completion is defined by ${\hat{M}^I = \varprojlim{}_{\alpha} M/I^{\alpha}M}$ . Then M is called I-adic complete whenever the natural homomorphism ${M \to \hat{M}^I}$ is an isomorphism. Let M be I-separated, i.e. ${\cap_{\alpha} I^{\alpha}M = 0}$ . In the main result of the paper, it is shown that M is I-adic complete if and only if ${{\rm Ext}_R^1(F,M) = 0}$ for the flat test module ${F = \oplus_{i = 1}^r R_{x_i}}$ , where ${\{x_1,\ldots,x_r\}}$ is a system of elements such that ${{\rm Rad} I = {\rm Rad}\, \underline{{\it x}} R}$ . This result extends several known statements starting with Jensen’s result [9, Proposition 3] that a finitely generated R-module M over a local ring R is complete if and only if ${{\rm Ext}^1_R(F,M) = 0}$ for any flat R-module F.     

Conditional Reducibility of Certain Unbounded Nonnegative Hamiltonian Operator Functions

Let J and ${{\mathfrak{J}}}$ be operators on a Hilbert space ${{\mathcal{H}}}$ which are both self-adjoint and unitary and satisfy ${J{\mathfrak{J}}=-{\mathfrak{J}}J}$ . We consider an operator function ${{\mathfrak{A}}}$ on [0, 1] of the form ${{\mathfrak{A}}(t)={\mathfrak{S}}+{\mathfrak{B}}(t)}$ , ${t \in [0, 1]}$ , where ${\mathfrak{S}}$ is a closed densely defined Hamiltonian ( ${={\mathfrak{J}}}$ -skew-self-adjoint) operator on ${{\mathcal{H}}}$ with ${i {\mathbb{R}} \subset \rho ({\mathfrak{S}})}$ and ${{\mathfrak{B}}}$ is a function on [0, 1] whose values are bounded operators on ${{\mathcal{H}}}$ and which is continuous in the uniform operator topology. We assume that for each ${t \in [0,1] \,{\mathfrak{A}}(t)}$ is a closed densely defined nonnegative (=J-accretive) Hamiltonian operator with ${i {\mathbb{R}} \subset \rho({\mathfrak{A}}(t))}$ . In this paper we give sufficient conditions on ${{\mathfrak{S}}}$ under which ${{\mathfrak{A}}}$ is conditionally reducible, which means that, with respect to a natural decomposition of ${{\mathcal{H}}}$ , ${{\mathfrak{A}}}$ is diagonalizable in a 2×2 block operator matrix function such that the spectra of the two operator functions on the diagonal are contained in the right and left open half planes of the complex plane. The sufficient conditions involve bounds on the resolvent of ${{\mathfrak{S}}}$ and interpolation of Hilbert spaces.     

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.     

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.     

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.     

Eta Cocycles, Relative Pairings and the Godbillon–Vey Index Theorem

We prove a Godbillon?CVey index formula for longitudinal Dirac operators on a foliated bundle with boundary ${(X,\mathcal{F})}$ ; in particular, we define a Godbillon?CVey eta invariant on ${(\partial X,\mathcal{F}_{\partial}),}$ that is, a secondary invariant for longitudinal Dirac operators on type III foliations. Moreover, employing the Godbillon?CVey index as a pivotal example, we explain a new approach to higher index theory on geometric structures with boundary. This is heavily based on the interplay between the absolute and relative pairings of K-theory and cyclic cohomology for an exact sequence of Banach algebras, which in the present context takes the form ${0 \to \mathbf{\mathfrak{J}} \to \mathbf{\mathfrak{A}} \to \mathbf{\mathfrak{B}} \to 0}$ with ${ \mathbf{\mathfrak{J}}}$ dense and holomorphically closed in ${C^* (X,\mathcal{F})}$ and ${ \mathbf{\mathfrak{B}}}$ depending only on boundary data. Of particular importance is the definition of a relative cyclic cocycle ${(\tau_{GV}^r,\sigma_{GV})}$ for the pair ${\mathbf{\mathfrak{A}} \to \mathbf{\mathfrak{B}}}$ ; ${\tau_{GV}^r}$ is a cyclic cochain on ${\mathbf{\mathfrak{A}}}$ defined through a regularization à la Melrose of the usual Godbillon?CVey cyclic cocycle ?? _GV ; ?? _GV is a cyclic cocycle on ${\mathbf{\mathfrak{B}}}$ , obtained through a suspension procedure involving ?? _GV and a specific 1-cyclic cocycle (Roe??s 1-cocycle). We call ?? _GV the eta cocycle associated to ?? _GV . The Atiyah?CPatodi?CSinger formula is obtained by defining a relative index class ${{\rm Ind} (D,D^\partial) \in K_* (\mathbf{\mathfrak{A}}, \mathbf{\mathfrak{B}})}$ and establishing the equality ${\langle {\rm Ind} (D), [\tau_{GV}] \rangle\,=\,\langle {\rm Ind} (D,D^\partial), [(\tau^r_{GV}, \sigma_{GV})] \rangle}$ . The Godbillon?CVey eta invariant ?? _GV is obtained through the eta cocycle ?? _GV .     

Nonlinear lie-type derivations on full matrix algebras

Let ${\mathcal{R}}$ be a 2-torsion free commutative ring with identity and ${{\rm M}_n(\mathcal{R}) (n\geq 2)}$ be the full matrix algebra over ${\mathcal{R}}$ . In this note, we prove that every nonlinear Lie triple derivation on ${{\rm M}_n(\mathcal{R})}$ is of the standard form, i.e. it can be expressed as a sum of an inner derivation, an additive induced derivation and a functional annihilating all second commutators of ${{\rm M}_n(\mathcal{R})}$ . A open conjecture about Lie n-derivations is posed at the end of this note.     

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

SIP: critical value functions have finite modulus of non-convexity

We consider semi-infinite programming problems ${{\rm SIP}(z)}$ depending on a finite dimensional parameter ${z \in \mathbb{R}^p}$ . Provided that ${\bar{x}}$ is a strongly stable stationary point of ${{\rm SIP}(\bar{z})}$ , there exists a locally unique and continuous stationary point mapping ${z \mapsto x(z)}$ . This defines the local critical value function ${\varphi(z) := f(x(z); z)}$ , where ${x \mapsto f(x; z)}$ denotes the objective function of ${{\rm SIP}(z)}$ for a given parameter vector ${z\in \mathbb{R}^p}$ . We show that ${\varphi}$ is the sum of a convex function and a smooth function. In particular, this excludes the appearance of negative kinks in the graph of ${\varphi}$ .     

About the maximal rank of 3-tensors over the real and the complex number field

Tensor data are becoming important recently in various application fields. In this paper, we consider the maximal rank problem of 3-tensors and extend Atkinson and Stephens’ and Atkinson and Lloyd’s results over the real number field. We also prove the assertion of Atkinson and Stephens: ${{\rm max.rank}_{\mathbb{R}}(m,n,p) \leq m+\lfloor p/2\rfloor n}$ , ${{\rm max.rank}_{\mathbb{R}}(n,n,p) \leq (p+1)n/2}$ if p is even, ${{\rm max.rank}_{\mathbb{F}}(n,n,3)\leq 2n-1}$ if ${\mathbb{F}=\mathbb{C}}$ or n is odd, and ${{\rm max.rank}_{\mathbb{F}}(m,n,3)\leq m+n-1}$ if m < n where ${\mathbb{F}}$ stands for ${\mathbb{R}}$ or ${\mathbb{C}}$ .     

Notes on Schneider’s stability estimates for convex sets

In 2009 Schneider obtained stability estimates in terms of the Banach–Mazur distance for several geometric inequalities for convex bodies in an n-dimensional normed space ${\mathbb{E}^n}$ . A unique feature of his approach is to express fundamental geometric quantities in terms of a single function ${\rho:\mathfrak{B} \times \mathfrak{B} \to \mathbb{R}}$ defined on the family of all convex bodies ${\mathfrak{B}}$ in ${\mathbb{E}^n}$ . In this paper we show that (the logarithm of) the symmetrized ρ gives rise to a pseudo-metric d _D on ${\mathfrak{B}}$ inducing, from our point of view, a finer topology than Banach–Mazur’s d _BM . Further, d _D induces a metric on the quotient ${\mathfrak{B}/{\rm Dil}^+}$ of ${\mathfrak{B}}$ by the relation of positive dilatation (homothety). Unlike its compact Banach–Mazur counterpart, d _D is only “boundedly compact,” in particular, complete and locally compact. The general linear group ${{\rm GL}(\mathbb{E}^n)}$ acts on ${\mathfrak{B}/{\rm Dil}^+}$ by isometries with respect to d _D , and the orbit space is naturally identified with the Banach–Mazur compactum ${\mathfrak{B}/{\rm Aff}}$ via the natural projection ${\pi:\mathfrak{B}/{\rm Dil}^+\to\mathfrak{B}/{\rm Aff}}$ , where Aff is the affine group of ${\mathbb{E}^n}$ . The metric d _D has the advantage that many geometric quantities are explicitly computable. We show that d _D provides a simpler and more fitting environment for the study of stability; in particular, all the estimates of Schneider turn out to be valid with d _BM replaced by d _D .