Toric partial density functions and stability of toric varieties

Let $(L, h)\rightarrow (X, \omega )$ denote a polarized toric Kähler manifold. Fix a toric submanifold $Y$ and denote by $\hat{\rho }_{tk}:X\rightarrow \mathbb {R}$ the partial density function corresponding to the partial Bergman kernel projecting smooth sections of $L^k$ onto holomorphic sections of $L^k$ that vanish to order at least $tk$ along $Y$ , for fixed $t>0$ such that $tk\in \mathbb {N}$ . We prove the existence of a distributional expansion of $\hat{\rho }_{tk}$ as $k\rightarrow \infty $ , including the identification of the coefficient of $k^{n-1}$ as a distribution on $X$ . This expansion is used to give a direct proof that if $\omega $ has constant scalar curvature, then $(X, L)$ must be slope semi-stable with respect to $Y$ (cf. Ross and Thomas in J Differ Geom 72(3): 429–466, 2006). Similar results are also obtained for more general partial density functions. These results have analogous applications to the study of toric K-stability of toric varieties.     

Étale cohomology of a DM curve-stack with coefficients in \mathbb G _m

We compute étale cohomology groups $H_{\acute{\mathrm{e}}\mathrm{t}}^r(X, \mathbb G _m)$ in several cases, where $X$ is a connected smooth tame Deligne–Mumford stack of dimension $1$ over an algebraically closed field. We have complete results for orbicurves (and, more generally, for twisted nodal curves) and in the case all stabilizers are cyclic; we give partial results and examples in the general case. In particular, we show that if the stabilizers are abelian then $H_{\acute{\mathrm{e}}\mathrm{t}}^2(X, \mathbb{G }_m)$ does not depend on $X$ but only on the underlying orbicurve $Y$ and on the generic stabilizer. We show with two examples that, in general, the higher cohomology groups $H_{\acute{\mathrm{e}}\mathrm{t}}^r(X, \mathbb{G }_m)$ cannot be computed knowing only the base of the gerbe $X \rightarrow Y$ and the banding group.     

Compact almost Ricci solitons with constant scalar curvature are gradient

The aim of this note is to prove that any compact non-trivial almost Ricci soliton $\big (M^n,\,g,\,X,\,\lambda \big )$ with constant scalar curvature is isometric to a Euclidean sphere $\mathbb {S}^{n}$ . As a consequence we obtain that every compact non-trivial almost Ricci soliton with constant scalar curvature is gradient. Moreover, the vector field $X$ decomposes as the sum of a Killing vector field $Y$ and the gradient of a suitable function.     

Maximal Equilateral Sets

A subset of a normed space $X$ X is called equilateral if the distance between any two points is the same. Let $m(X)$ m ( X ) be the smallest possible size of an equilateral subset of $X$ X maximal with respect to inclusion. We first observe that Petty’s construction of a $d$ d - $X$ X of any finite dimension $d\ge 4$ d ≥ 4 with $m(X)=4$ m ( X ) = 4 can be generalised to give $m(X\oplus _1\mathbb R )=4$ m ( X ⊕ 1 R ) = 4 for any $X$ X of dimension at least $2$ 2 which has a smooth point on its unit sphere. By a construction involving Hadamard matrices we then show that for any set $\Gamma $ Γ , $m(\ell _p(\Gamma ))$ m ( ? p ( Γ ) ) is finite and bounded above by a function of $p$ p , for all $1\le p<2$ 1 ≤ p < 2 . Also, for all $p\in [1,\infty )$ p ∈ [ 1 , ∞ ) and $d\in \mathbb N $ d ∈ N there exists $c=c(p,d)>1$ c = c ( p , d ) > 1 such that $m(X)\le d+1$ m ( X ) ≤ d + 1 for all $d$ d - $X$ X with Banach–Mazur distance less than $c$ c from $\ell _p^d$ ? p d . Using Brouwer’s fixed-point theorem we show that $m(X)\le d+1$ m ( X ) ≤ d + 1 for all $d$ d - $X$ X with Banach–Mazur distance less than $3/2$ 3 / 2 from $\ell _\infty ^d$ ? ∞ d . A graph-theoretical argument furthermore shows that $m(\ell _\infty ^d)=d+1$ m ( ? ∞ d ) = d + 1 . The above results lead us to conjecture that $m(X)\le 1+\dim X$ m ( X ) ≤ 1 + dim X for all finite-normed spaces $X$ X .     

Open Gromov–Witten invariants in dimension six

Let $L$ be a closed orientable Lagrangian submanifold of a closed symplectic six-manifold $(X , \omega )$ . We assume that the first homology group $H_1 (L ; A)$ with coefficients in a commutative ring $A$ injects into the group $H_1 (X ; A)$ and that $X$ contains no Maslov zero pseudo-holomorphic disc with boundary on $L$ . Then, we prove that for every generic choice of a tame almost-complex structure $J$ on $X$ , every relative homology class $d \in H_2 (X , L ; \mathbb{Z })$ and adequate number of incidence conditions in $L$ or $X$ , the weighted number of $J$ -holomorphic discs with boundary on $L$ , homologous to $d$ , and either irreducible or reducible disconnected, which satisfy the conditions, does not depend on the generic choice of $J$ , provided that at least one incidence condition lies in $L$ . These numbers thus define open Gromov–Witten invariants in dimension six, taking values in the ring $A$ .     

Generalized derivations with annihilating and centralizing Engel conditions on Lie ideals

Let $R$ be a non-commutative prime ring, with center $Z(R)$ , extended centroid $C$ and let $F$ be a non-zero generalized derivation of $R$ . Denote by $L$ a non-central Lie ideal of $R$ . If there exists $0\ne a\in R$ such that $a[F(x),x]_k\in Z(R)$ for all $x\in L$ , where $k$ is a fixed integer, then one of the followings holds: (1) either there exists $\lambda \in C$ such that $F(x)=\lambda x$ for all $x\in R$ , (2) or $R$ satisfies $s_4$ , the standard identity in $4$ variables, and $char(R)=2$ ; (3) or $R$ satisfies $s_4$ and there exist $q\in U, \gamma \in C$ such that $F(x)=qx+xq+\gamma x$ .     

Vector bundles and regulous maps

Let $X$ be a compact nonsingular affine real algebraic variety. We prove that every pre-algebraic vector bundle on $X$ becomes algebraic after finitely many blowing ups. Using this theorem, we then prove that the Stiefel-Whitney classes of any pre-algebraic $\mathbb{R }$ -vector bundle on $X$ are algebraic. We also derive that the Chern classes of any pre-algebraic $\mathbb{C }$ -vector bundles and the Pontryagin classes of any pre-algebraic $\mathbb{R }$ -vector bundle are blow- $\mathbb{C }$ -algebraic. We also provide several results on line bundles on $X$ .     

Equivariant map superalgebras

Suppose a group $\Gamma $ acts on a scheme $X$ and a Lie superalgebra $\mathfrak {g}$ . The corresponding equivariant map superalgebra is the Lie superalgebra of equivariant regular maps from $X$ to $\mathfrak {g}$ . We classify the irreducible finite dimensional modules for these superalgebras under the assumptions that the coordinate ring of $X$ is finitely generated, $\Gamma $ is finite abelian and acts freely on the rational points of $X$ , and $\mathfrak {g}$ is a basic classical Lie superalgebra (or $\mathfrak {sl}\,(n,n)$ , $n \ge 1$ , if $\Gamma $ is trivial). We show that they are all (tensor products of) generalized evaluation modules and are parameterized by a certain set of equivariant finitely supported maps defined on $X$ . Furthermore, in the case that the even part of $\mathfrak {g}$ is semisimple, we show that all such modules are in fact (tensor products of) evaluation modules. On the other hand, if the even part of $\mathfrak {g}$ is not semisimple (more generally, if $\mathfrak {g}$ is of type I), we introduce a natural generalization of Kac modules and show that all irreducible finite dimensional modules are quotients of these. As a special case, our results give the first classification of the irreducible finite dimensional modules for twisted loop superalgebras.     

Rank-two stable sheaves with odd determinant on Fano threefolds of genus nine

According to Mukai and Iliev, a smooth prime Fano threefold $X$ of genus $9$ is associated with a surface $\mathbb{P }(\mathcal{V })$ , ruled over a smooth plane quartic $\varGamma $ , and the derived category of $\varGamma $ embeds into that of $X$ by a theorem of Kuznetsov. We use this setup to study the moduli spaces of rank- $2$ stable sheaves on $X$ with odd determinant. For each $c_2 \ge 7$ , we prove that a component of their moduli space $\mathsf{M}_X(2,1,c_2)$ is birational to a Brill–Noether locus of vector bundles with fixed rank and degree on $\varGamma $ , having enough sections when twisted by $\mathcal{V }$ . For $c_2=7$ , we prove that $\mathsf{M}_X(2,1,7)$ is isomorphic to the blow-up of the Picard variety $\text{ Pic}^{2}({\varGamma })$ along the curve parametrizing lines contained in $X$ .     

Clustering and classification via cluster-weighted factor analyzers

In model-based clustering and classification, the cluster-weighted model is a convenient approach when the random vector of interest is constituted by a response variable $Y$ and by a vector ${\varvec{X}}$ of $p$ covariates. However, its applicability may be limited when $p$ is high. To overcome this problem, this paper assumes a latent factor structure for ${\varvec{X}}$ in each mixture component, under Gaussian assumptions. This leads to the cluster-weighted factor analyzers (CWFA) model. By imposing constraints on the variance of $Y$ and the covariance matrix of ${\varvec{X}}$ , a novel family of sixteen CWFA models is introduced for model-based clustering and classification. The alternating expectation-conditional maximization algorithm, for maximum likelihood estimation of the parameters of all models in the family, is described; to initialize the algorithm, a 5-step hierarchical procedure is proposed, which uses the nested structures of the models within the family and thus guarantees the natural ranking among the sixteen likelihoods. Artificial and real data show that these models have very good clustering and classification performance and that the algorithm is able to recover the parameters very well.     

2-Nilpotent real section conjecture

We show a $2$ -nilpotent section conjecture over $\mathbb{R }$ : for a geometrically connected curve $X$ over $\mathbb{R }$ such that each irreducible component of its normalization has $\mathbb{R }$ -points, $\pi _0(X(\mathbb{R }))$ is determined by the maximal $2$ -nilpotent quotient of the fundamental group with its Galois action, as the kernel of an obstruction of Jordan Ellenberg. This implies that for $X$ smooth and proper, $X(\mathbb{R })^{\pm }$ is determined by the maximal $2$ -nilpotent quotient of $\mathrm{Gal }(\mathbb{C }(X))$ with its $\mathrm{Gal }(\mathbb{R })$ action, where $X(\mathbb{R })^{\pm }$ denotes the set of real points equipped with a real tangent direction, showing a $2$ -nilpotent birational real section conjecture.     

Units of compatible nearrings,IV

This is the fourth in a sequence of papers originating in a effort to study the units of a compatible nearring $R$ satisfying the descending chain condition on right ideals using a faithful compatible module $G$ of $R$ . A key point in this endeavor involves determining $1 + Ann_R(G/H)$ where $H$ is a direct sum of isomorphic minimal $R$ -ideals where success in doing so gives us not only information about the units of $R$ , but also information about $R$ and $J_2(R)$ . In the previous papers, $1 + Ann_R(G/H)$ has been determined whenever $G/H$ does not contain a minimal factor isomorphic to the minimal summands of $H$ . In this paper we determine $1 + Ann_R(G/H)$ when $G/H$ does contain a minimal factor isomorphic to the minimal summands of $H$ . With the completion of the determination of $1 + Ann_R(G/H)$ in all cases, we illustrate how things work in practice by considering the nearrings generated by the inner automorphisms of a finite dihedral group, special linear group, and general linear group and nearrings of congruence preserving functions on an expanded group.     

On involutions with middle-dimensional fixed-point locus and holomorphic-symplectic manifolds

Let $g$ be an involution of a compact closed manifold $X$ such that the fixed-point set $X^{g}$ is middle dimensional. Under the assumption that the normal bundle of the fixed-point set is either the tangent or co-tangent bundle conditions on the equivariant invariants of $X$ arise. In particular if $X$ is a holomorphic-symplectic manifold and $g$ an anti holomorphic-symplectic involution one arrives at a generalisation of Beauville’s result that for $X$ a hyper-Kähler manifold the $\hat{A}$ genus of $X^{g}$ is one.     

On smooth extensions of vector-valued functions defined on closed subsets of Banach spaces

Let $X$ and $ Z$ be Banach spaces, $A$ a closed subset of $X$ and a mapping $f:A\rightarrow Z$ . We give necessary and sufficient conditions to obtain a $C^1$ smooth mapping $F:X \rightarrow Z$ such that $F_{\mid _A}=f$ , when either (i) $X$ and $Z$ are Hilbert spaces and $X$ is separable, or (ii) $X^*$ is separable and $Z$ is an absolute Lipschitz retract, or (iii) $X=L_2$ and $Z=L_p$ with $1<p<2$ , or (iv) $X=L_p$ and $Z=L_2$ with $2<p<\infty $ , where $L_p$ is any separable Banach space $L_p(S,\Sigma ,\mu )$ with $(S,\Sigma ,\mu )$ a $\sigma $ -finite measure space.     

Constructible \nabla -modules on curves

Let $\mathcal{V }$ be a complete discrete valuation ring of mixed characteristic with perfect residue field. Let $X$ be a geometrically connected smooth proper curve over $\mathcal{V }$ . We introduce the notion of constructible convergent $\nabla $ -module on the analytification $X_{K}^{\mathrm{an}}$ of the generic fiber of $X$ . A constructible module is an $\mathcal{O }_{X_{K}^{\mathrm{an}}}$ -module which is not necessarily coherent, but becomes coherent on a stratification by locally closed subsets of the special fiber $X_{k}$ of $X$ . The notions of connection, of (over-) convergence and of Frobenius structure carry over to this situation. We describe a specialization functor from the category of constructible convergent $\nabla $ -modules to the category of $\mathcal{D }^\dagger _{\hat{X} \mathbf{Q }}$ -modules. We show that specialization induces an equivalence between constructible $F$ - $\nabla $ -modules and perverse holonomic $F$ - $\mathcal{D }^\dagger _{\hat{X} \mathbf{Q }}$ -modules.     

\alpha -Admissibility for Ritt Operators

Let $T:X\rightarrow X$ be a power bounded operator on Banach space. An operator $C:X\rightarrow Y$ is called admissible for $T$ if it satisfies an estimate $\sum _k\Vert CT^k(x)\Vert ^2\,\le M^2\Vert x\Vert ^2$ . Following Harper and Wynn, we study the validity of a certain Weiss conjecture in this discrete setting. We show that when $X$ is reflexive and $T$ is a Ritt operator satisfying a appropriate square function estimate, $C$ is admissible for $T$ if and only if it satisfies a uniform estimate $(1-\vert \omega \vert ^2)^{\frac{1}{2}}\Vert C(I-\omega T)^{-1}\Vert \,\le K\,$ for $\omega \in \mathbb{C }$ , $\vert \omega \vert <1$ . We extend this result to the more general setting of $\alpha $ -admissibility. Then we investigate a natural variant of admissibility involving $R$ -boundedness and provide examples to which our general results apply.     

f-algebras with a \sigma -bounded approximate unit

Let $X$ be a lattice ordered algebra ( $\ell $ -algebra). A positive element $x\in $ $X$ is said to be totally bounded if $x^{2}\le x$ . The $\ell $ -algebra $X$ is said to have a $\sigma $ -bounded approximate unit if for each positive linear functional $f$ on $X$ the set $\left\{ f(x)\text{: } x \text{ totally } \text{ bounded }\right\} $ is bounded in $\mathbb R $ . In this paper we study the class of $f$ -algebras with a $\sigma $ -bounded approximate unit which contains the class of all unital $f$ -algebras. In particular It is shown that an $f$ -algebra $X$ has a $\sigma $ -bounded approximate unit if and only if the order bidual $X^{\sim \sim }$ is a unital $f$ -algebra.     

On cyclic fixed points of spectra

For a finite $p$ -group $G$ and a bounded below $G$ -spectrum $X$ of finite type mod  $p$ , the $G$ -equivariant Segal conjecture for $X$ asserts that the canonical map $X^G \rightarrow X^{hG}$ , from $G$ -fixed points to $G$ -homotopy fixed points, is a $p$ -adic equivalence. Let $C_{p^n}$ be the cyclic group of order  $p^n$ . We show that if the $C_p$ -equivariant Segal conjecture holds for a $C_{p^n}$ -spectrum $X$ , as well as for each of its geometric fixed point spectra $\varPhi ^{C_{p^e}}(X)$ for $0 < e < n$ , then the $C_{p^n}$ -equivariant Segal conjecture holds for  $X$ . Similar results also hold for weaker forms of the Segal conjecture, asking only that the canonical map induces an equivalence in sufficiently high degrees, on homotopy groups with suitable finite coefficients.     

On the bicanonical map of primitive varieties with q(X) = \mathrm{dim }X: the degree and the Euler number

Let $X$ be a variety of maximal Albanese dimension and of general type. Assume that $q(X) = \mathrm{dim }X$ , the Albanese variety $\mathrm {Alb} (X)$ is a simple abelian variety, and the bicanonical map is not birational. We prove that the Euler number $\chi (X, \omega _X)$ is equal to 1, and $|2K_X|$ separates two distinct points over the same general point on $\mathrm {Alb} (X)$ via $\mathrm {alb}_X$ (Theorem 1.1).