Balanced Metrics and Chow Stability of Projective Bundles over Kähler Manifolds II

In the previous article (Seyyedali, Duke Math. J. 153(3):573–605, 2010), we proved that slope stability of a holomorphic vector bundle E over a polarized manifold (X,L) implies Chow stability of $(\mathbb{P}E^{*},\mathcal{O}_{\mathbb{P}E^{*}}(1)\otimes\pi^{*} L^{k})$ for k?0 if the base manifold has no nontrivial holomorphic vector field and admits a constant scalar curvature metric in the class of 2πc ₁(L). In this article, using asymptotic expansions of the Bergman kernel on Sym ^d E, we generalize the main theorem of Seyyedali (Duke Math. J. 153(3):573–605, 2010) to polarizations $(\mathbb{P}E^{*},\mathcal {O}_{\mathbb{P}E^{*}}(d)\otimes\pi^{*} L^{k})$ for k?0, where d is a positive integer.     

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.     

Injectivity of the Petri map for twisted Brill–Noether loci

Let C be a generic curve, E a generic vector bundle on C. Then, for every line bundle on C the twisted Petri map $$P_{E}:H^0(C,L\otimes E)\otimes H^0(C, K\otimes L^*\otimes E^{*})\rightarrow H^0(C, K)$$ is injective.     

The complete continuity properties for the positive projective tensor product of atomic Banach lattices

Let E be an atomic Banach lattice and X be a separable Banach lattice. In this paper we show that ${E \hat{\otimes}_{|\pi|} X,}$ the positive projective tensor product of E and X, has the complete continuity property (respectively, the analytic complete continuity property) if and only if both E and X have the same property. We also discuss the inheritance of type I- and type II-complete continuity properties by ${E \hat{\otimes}_{|\pi|} X}$ from E and X.     

Canonical key formula for projective abelian schemes

In this paper we prove a refined version of the canonical key formula for projective abelian schemes in the sense of Moret-Bailly (cf. Astérisque 129, 1985), we also extend this discussion to the context of Arakelov geometry. Precisely, let \({\pi: A \to S}\) be a projective abelian scheme over a locally noetherian scheme S with unit section \({e: S \to A}\) and let L be a symmetric, rigidified, relatively ample line bundle on A. Denote by ω _A the determinant of the sheaf of differentials of π and by d the rank of the locally free sheaf π_* L. In this paper, we shall prove the following results: (i). there is an isomorphism $${\rm det}(\pi_*L)^{\otimes 24} \cong (e^*\omega_A^\vee)^{\otimes 12d}$$ which is canonical in the sense that it can be chosen to be functorial, namely it is compatible with arbitrary base-change; (ii). if the generic fibre of S is separated and smooth, then there exist a positive integer m and canonical metrics on L and on ω _A such that there exists an isometry $${\rm det}(\pi_*\overline{L})^{\otimes 2m} \cong (e^*\overline{\omega}_A^\vee)^{\otimes md}$$ which is canonical in the sense of (i). Here the constant m only depends on g, d and is independent of L.     

Symmetry and quasi-centrality of the operator space projective tensor product

For C*-algebras A and B, the operator space projective tensor product ${A\widehat{\otimes}B}$ and the Banach space projective tensor product ${A\otimes_{\gamma}B}$ are shown to be symmetric. We also show that ${A\widehat{\otimes}B}$ is a weakly Wiener algebra. Finally, quasi-centrality and the unitary group of ${A\widehat{\otimes}B}$ are discussed.     

Nef line bundles on flag bundles on a curve over {\overline{{\mathbb F}}_p}

Let E be a vector bundle of rank r over an irreducible smooth projective curve X defined over the field ${\overline{{\mathbb F}}_p}$ F ¯ p . For fixed integers ${r_1\, , \ldots\, , r_\nu}$ r 1 , ... , r ν with ${1\, \leq\, r_1\, <\, \cdots\, <\, r_\nu\, <\, r}$ 1 ≤ r 1 < ? < r ν < r , let ${\text{Fl}(E)}$ Fl ( E ) be the corresponding flag bundle over X associated to E. Let ${\xi\, \longrightarrow \, {\rm Fl}(E)}$ ξ ? Fl ( E ) be a line bundle such that for every pair of the form ${(C\, ,\phi)}$ ( C , ? ) , where C is an irreducible smooth projective curve defined over ${\overline{\mathbb F}_p}$ F ¯ p and ${\phi\, :\, C\, \longrightarrow\, {\rm Fl}(E)}$ ? : C ? Fl ( E ) is a nonconstant morphism, the inequality ${{\rm degree}(\phi^* \xi)\, > \, 0}$ degree ( ? ? ξ ) > 0 holds. We prove that the line bundle ${\xi}$ ξ is ample.     

Diagonals of injective tensor products of Banach lattices with bases

Let E be a Banach lattice with a 1-unconditional basis \(\{e_i: i \in \mathbb {N}\}\). Denote by \(\Delta (\check{\otimes }_{n,\epsilon }E)\) (resp. \(\Delta (\check{\otimes }_{n,s,\epsilon }E)\)) the main diagonal space of the n-fold full (resp. symmetric) injective Banach space tensor product, and denote by \(\Delta (\check{\otimes }_{n,|\epsilon |}E)\) (resp. \(\Delta (\check{\otimes }_{n,s,|\epsilon |}E)\)) the main diagonal space of the n-fold full (resp. symmetric) injective Banach lattice tensor product. We show that these four main diagonal spaces are pairwise isometrically isomorphic. We also show that the tensor diagonal \(\{e_i\otimes \cdots \otimes e_i: i \in \mathbb {N}\}\) is a 1-unconditional basic sequence in both \(\check{\otimes }_{n,\epsilon }E\) and \(\check{\otimes }_{n,s,\epsilon }E\).     

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.     

On ℤ<Subscript>2</Subscript>-graded identities of the super tensor product of <Emphasis Type="Italic">UT</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">F</Emphasis>) by the Grassmann algebra

Let F be a field of characteristic zero and E be the unitary Grassmann algebra generated over an infinite-dimensional F-vector space L. Denote by \(\mathcal{E} = \mathcal{E}^{(0)} \oplus \mathcal{E}^{(1)}\) an arbitrary ?₂-grading of E such that the subspace L is homogeneous. Given a superalgebra A = A ⁽⁰⁾ ⊕ A ⁽¹⁾, define the superalgebra \(A\hat \otimes \mathcal{E}\) by \(A\hat \otimes \mathcal{E} = (A^{(0)} \otimes \mathcal{E}^{(0)} ) \oplus (A^{(1)} \otimes \mathcal{E}^{(1)} )\). Note that when E is the canonical grading of E then \(A\hat \otimes \mathcal{E}\) is the Grassmann envelope of A. In this work we find bases of ?₂-graded identities and we describe the ?₂-graded codimension and cocharacter sequences for the superalgebras \(UT_2 (F)\hat \otimes \mathcal{E}\), when the algebra UT ₂(F) of 2 ×2 upper triangular matrices over F is endowed with its canonical grading.     

Unitary SK1 of semiramified graded and valued division algebras

We prove formulas for SK₁(E, τ), which is the unitary SK₁ for a graded division algebra E finite-dimensional and semiramified over its center T with respect to a unitary involution τ on E. Every such formula yields a corresponding formula for SK₁(D, ρ) where D is a division algebra tame and semiramified over a Henselian valued field and ρ is a unitary involution on D. For example, it is shown that if ${\sf{E} \sim \sf{I}_0 \otimes_{\sf{T}_0}\sf{N}}$ where I ₀ is a central simple T ₀-algebra split by N ₀ and N is decomposably semiramified with ${\sf{N}_0 \cong L_1\otimes_{\sf{T}_0} L_2}$ with L ₁, L ₂ fields each cyclic Galois over T ₀, then $${\rm SK}_1(\sf{E}, \tau) \,\cong\ {\rm Br}(({L_1}\otimes_{\sf{T}_0} {L_2})/\sf{T}_0;\sf{T}_0^\tau)\big/ \left[{\rm Br}({L_1}/\sf{T}_0;\sf{T}_0^\tau)\cdot {\rm Br}({L_2}/\sf{T}_0;\sf{T}_0^\tau) \cdot \langle[\sf{I}_0]\rangle\right].$$      

Generalization of Peternell, Le Potier and Schneider vanishing theorem

In this article we give a vanishing result for Dolbeault cohomology groups ${H^{p,q}(X, S^{\nu}E\otimes L)}$ , where ?? is a positive integer, E is a vector bundle generated by sections and L is an ample line bundle on a smooth projective variety X. We also give a condition for H ^p,q (X, S ^?? E) to vanish when E is s-ample and generated by sections. We also give an application related to a result of Barth-Lefschetz type. A general nonvanishing result under the same hypothesis is given to prove the optimality of the vanishing result for some parameter values.     

A Representation of a Point Symmetric 2-Structure by a Quasi-Domain

In a symmetric 2-structure ${\Sigma =(P,\mathfrak{G}_1,\mathfrak{G}_2,\mathfrak{K})}$ we fix a chain ${E \in \mathfrak{K}}$ and define on E two binary operations “+” and “·”. Then (E,+) is a K-loop and for ${E^* := E {\setminus}\{o\}}$ , (E ^*,·) is a Bol loop. If ${\Sigma}$ is even point symmetric then (E,+ ,·) is a quasidomain and one has the set ${Aff(E,+,\cdot) := \{a^+\circ b^\bullet | a \in E, b \in E^*\}}$ of affine permutations. From Aff(E, +, ·) one can reproduce via a “chain derivation” the point symmetric 2-structure ${\Sigma}$ .     

Оценки отклонений оп тимальных сеток вL p -норме и теория квад ратурных формул

Let E^s=[0, 1]^s be then-dimensional unit cube, 1<p<∞, anda=(a ₁, ...,a _s ) some set of natural numbers. Denote byL _p ^(a) , (E ^s ) the class of functionsf: E ^s → C for which $$\left\| {\frac{{\partial ^{b_1 + \cdots + b_s } f}}{{\partial x_1^{b_1 } \cdots \partial x_s^{b_s } }}} \right\|_p \leqslant 1,$$ where $$0< b_1< a_1 , ..., 0< b_s< a_s .$$ Set $$R_p^{\left( a \right)} \left( N \right) = \mathop {\inf }\limits_{card \mathfrak{S} = N} R_\mathfrak{S} \left( {L_p^{\left( a \right)} \left( {E^s } \right)} \right),$$ where $R_\mathfrak{S} \left( {L_p^{\left( a \right)} \left( {E^s } \right)} \right)$ is the error of the quadrature formulas on the mesh $\mathfrak{S}$ (for the classL _p ^(a) (E ^s )), consisting of N nodes and weights, and the infimum is taken with respect to all possibleN nodes and weights. In this paper, the two-sided estimate $$\frac{{\left( {\log N} \right)^{{{\left( {l - 1} \right)} \mathord{\left/ {\vphantom {{\left( {l - 1} \right)} 2}} \right. \kern-\nulldelimiterspace} 2}} }}{{N^d }} \ll _{p, a} R^{\left( a \right)} \left( N \right) \ll _{p, a} \frac{{\left( {\log N} \right)^{{{\left( {l - 1} \right)} \mathord{\left/ {\vphantom {{\left( {l - 1} \right)} 2}} \right. \kern-\nulldelimiterspace} 2}} }}{{N^d }}$$ is proved for every natural numberN > 1, whered=min{a ₁, ...,a _s }, whilel is the number of those components of a which coincide withd. An analogous result is proved for theL _p -norm of the deviation of meshes.     

Bundle Convergence of Cesàro Means of Orthogonal Sequences in Noncommutative L 2-Spaces

The notion of bundle convergence for sequences in von Neumann algebras and their L ²-spaces was introduced by Hensz, Jajte and Paszkiewicz in 1996. Bundle convergence is stronger than almost sure convergence. We prove that the sequence $\left({\sigma _n^\alpha:n = 0,1,...}\right)$ of the Cesàro means of order α > 0 of an orthogonal sequence $\left( {\xi _k } \right)$ in L ₂ is bundle convergent to the zero vector o of L ₂ as n → ∞, provided that $$\sum\limits_k^\infty{{{\left\|{\xi _k } \right\|^2 }\mathord{\left/{\vphantom {{\left\| {\xi _k } \right\|^2 } {\left( {k + 1} \right)^{2\min \left\{ {\alpha ,1} \right\}} < \infty ,\quad \alpha \ne 1.}}} \right.\kern-\nulldelimiterspace} {\left( {k + 1} \right)^{2\min \left\{ {\alpha ,1} \right\}} < \infty ,\quad \alpha \ne 1.}}}$$ The corresponding result in the commutative case was proved by Gaposhkin (for 0 < α < 1) and by the present author (for α > 1). Our basic tools are the Gelfand-Naimark-Segal representation theorem and an identity of Sunouchi and Yano which expresses ${\sigma _n^\alpha }$ in terms of ${\sigma_k^{\gamma }}$ , where α > γ > -1.     

The Lower Weyl Spectrum of a Positive Operator

For the lower Weyl spectrum $$\sigma_{\rm w}^-(T) = \bigcap_{0 \le K \in \mathcal{K}(E) \le T} \sigma(T - K),$$ where T is a positive operator on a Banach lattice E, the conditions for which the equality ${\sigma_{\rm w}^-(T) = \sigma_{\rm w}^-(T^*)}$ holds, are established. In particular, it is true if E has order continuous norm. An example of a weakly compact positive operator T on ? _∞ such that the spectral radius ${r(T) \in \sigma_{\rm w}^-(T) {\setminus} (\sigma_{\rm f}(T) \cup \sigma_{\rm w}^-(T^*))}$ , where σ _f(T) is the Fredholm spectrum, is given. The conditions which guarantee the order continuity of the residue T _?1 of the resolvent R(., T) of an order continuous operator T ≥ 0 at ${r(T) \notin \sigma_{\rm f}(T)}$ , are discussed. For example, it is true if T is o-weakly compact. It follows from the proven results that a Banach lattice E admitting an order continuous operator T ≥ 0, ${r(T) \notin \sigma_{\rm f}(T)}$ , can not have the trivial band ${E_n^\sim}$ of order continuous functionals in general. It is obtained that a non-zero order continuous operator T : E → F can not be approximated in the r-norm by the operators from ${E_\sigma^\sim \otimes F}$ , where F is a Banach lattice, ${E_\sigma^\sim}$ is a disjoint complement of the band ${E_n^\sim}$ of E*.     

On the representation theory of Möbius groups inR n*

We will solve several fundamental problems of Möbius groupsM(R ⁿ) which have been matters of interest such as the conjugate classification, the establishment of a standard form without finding the fixed points and a simple discrimination method. Let \(g = \left[ {\begin{array}{*{20}c} a &; b \\ c &; d \\ \end{array} } \right]\) be a Clifford matrix of dimensionn, c ≠ 0. We give a complete conjugate classification and prove the following necessary and sufficient conditions:g is f.p.f. (fixed points free) iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; 0 \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α|<1 and |E?AE ¹| ≠ 0;g is elliptic iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; \beta \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α| <1 and |E?AE ¹|=0;g is parabolic iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; 0 \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α|=1; andg is loxodromic iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; \beta \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α| >1 or rank (E?AE ¹) ≠ rank (E?AE ¹,ac ^?1+c ^?1 d), where α is represented by the solutions of certain linear algebraic equations and satisfies $\left| {c^{ - 1} \alpha '} \right| = \left| {\left( {E - AE^1 } \right)^{ - 1} \left( {\alpha c^{ - 1} + c^{ - 1} \alpha '} \right)} \right|.$      

The Duality Property of Positive R-Compact Operators

We study the duality of r-compact operator. We establish if an operator ${T:E\rightarrow F}$ is r-compact, then its adjoint ${T^{\prime}: F^{\prime }\rightarrow E^{\prime }}$ is also r-compact. We also provide some sufficient condition on the pair of Banach lattices E and F which guarantees that a regular operator ${T:E\rightarrow F}$ such that ${T^{\prime }:F^{\prime }\rightarrow E^{\prime }}$ is r-compact, must itself be r-compact.