Affine threefolds whose log canonical bundles are not numerically effective

Let X?(T,D) be a compactification of an affine 3-fold X into a smooth projective 3-fold T such that the (reduced) boundary divisor D is SNC. In this paper, as an affine counterpart to the work due to S. Mori (cf. [S. Mori, Threefolds whose canonical bundles are not numerically effective, Ann. of Math. 116 (1982) 133-176]), we shall classify (K+D)-negative extremal rays on T. In particular, if such an extremal ray R=R₊[C] intersects K non-negatively, we shall describe the log flips and divisorial contractions appearing explicitly.     

Holomorphic Cartan geometry on manifolds with numerically effective tangent bundle

Let X be a compact connected Kähler manifold such that the holomorphic tangent bundle TX is numerically effective. A theorem of Demailly et al. (1994) [11] says that there is a finite unramified Galois covering M→X, a complex torus T, and a holomorphic surjective submersion f:M→T, such that the fibers of f are Fano manifolds with numerically effective tangent bundle. A conjecture of Campana and Peternell says that the fibers of f are rational and homogeneous. Assume that X admits a holomorphic Cartan geometry. We prove that the fibers of f are rational homogeneous varieties. We also prove that the holomorphic principal G-bundle over T given by f, where G is the group of all holomorphic automorphisms of a fiber, admits a flat holomorphic connection.     

Regularity, partial elimination ideals and the canonical bundle

We present partial elimination ideals, which set-theoretically cut out the multiple point loci of a generic projection of a projective variety, as a way to bound the regularity of a variety in projective space. To do this, we utilize a combination of initial ideal methods and geometric methods. We first define partial elimination ideals and establish through initial ideal methods the way in which, for a given ideal, the regularity of the partial elimination ideals bounds the regularity of the given ideal. Then we explore the partial elimination ideals as a way to compute the canonical bundle of the generic projection of a variety and the canonical bundles of the multiple point loci of the projection, and we use Kodaira Vanishing to bound the regularity of the partial elimination ideals.

     

Semistable and numerically effective principal (Higgs) bundles

We study Miyaoka-type semistability criteria for principal Higgs G-bundles E on complex projective manifolds of any dimension. We prove that E has the property of being semistable after pullback to any projective curve if and only if certain line bundles, obtained from some characters of the parabolic subgroups of G, are numerically effective. One also proves that these conditions are met for semistable principal Higgs bundles whose adjoint bundle has vanishing second Chern class.In a second part of the paper, we introduce notions of numerical effectiveness and numerical flatness for principal (Higgs) bundles, discussing their main properties. For (non-Higgs) principal bundles, we show that a numerically flat principal bundle admits a reduction to a Levi factor which has a flat Hermitian–Yang–Mills connection, and, as a consequence, that the cohomology ring of a numerically flat principal bundle with coefficients in R is trivial. To our knowledge this notion of numerical effectiveness is new even in the case of (non-Higgs) principal bundles.     

A trivial algorithm whose analysis is not: A continuation

This work analyzes insertion/deletion cycles in binary search trees with three and four elements, extending previous results of Jonassen and Knuth. We compare the symmetric and asymmetric deletion algorithms, and the results show that the symmetric algorithm works better, for trees with four elements, in accordance with many empirical measures.     

A continuum whose hyperspace of subcontinua is not -contractible

A topological space is said to be -contractible provided that there exists a continuous onto function such that is homotopic to a constant function. Answering a question by Sam B. Nadler, Jr., in this paper we construct a metric continuum such that its hyperspace of subcontinua is not -contractible.

     

A continuum whose hyperspace of subcontinua is not its continuous image

We construct a metric continuum such that the hyperspace of subcontinua, , of is not a continuous image of . This answers a question by I. Krzeminska and J. R. Prajs.

     

An equation whose Fujita critical exponent is not given by scaling

In this paper, we prove sharp blow up and global existence results for a heat equation with nonlinear memory. It turns out that the Fujita critical exponent is not the one which would be predicted from the scaling properties of the equation.     

Asymptotic stability for quasi-linear systems whose linear approximation is not assumed to be uniformly attractive

Sufficient conditions are obtained for uniform stability and asymptotic stability of the zero solution of two-dimensional quasi-linear systems under the assumption that the zero solution of linear approximation is not always uniformly attractive. A class of quasi-linear systems considered in this paper includes a planar system equivalent to the damped pendulum x′??+ h(t)x??+ sin x = 0, where h(t) is permitted to change sign. Some suitable examples are included to illustrate the main results.     

A weak Asplund space whose dual is not in Stegall's class

We show that, under some additional set-theoretical assumptions which are equiconsistent with the existence of a measurable cardinal, there is a weak Asplund space whose dual, equipped with the weak* topology, is not in Stegall's class. This completes a result by Kenderov, Moors and Sciffer.

     

A weak Asplund space whose dual is not weak fragmentable

Under the assumption that there exists in the unit interval an uncountable set with the property that every continuous mapping from a Baire metric space into is constant on some non-empty open subset of , we construct a Banach space such that belongs to Stegall's class but is not fragmentable.

     

A projective profinite group whose smallest embedding cover is not projective

We constract a finitely generated projective group whose embedding cover is not projective. This solves Problem 23.16 of [FJ]. The author visited the research group on the Arithmetic of Fields at the Institute for Advanced Studies. She would like to thank the Institute for its warm hospitality.     

A refinement monoid whose maximal antisymmetric quotient is not a refinement monoid

We construct a (commutative) refinement monoid M such that the maximal antisymmetric quotient of M is not a refinement monoid. This answers a question by G. Brookfield.