On the geometry of Sasakian-Einstein 5-manifolds

On simply connected five manifolds Sasakian-Einstein metrics coincide with Riemannian metrics admitting real Killing spinors which are of great interest as models of near horizon geometry for three-brane solutions in superstring theory [24]. We expand on the recent work of Demailly and Kollár [14] and Johnson and Kollár [20] who give methods for constructing Kähler-Einstein metrics on log del Pezzo surfaces. By a previous result of the first two authors [9], circle V-bundles over log del Pezzo surfaces with Kähler-Einstein metrics have Sasakian-Einstein metrics on the total space of the bundle. Here these simply connected 5-manifolds arise as links of isolated hypersurface singularities which by the well known work of Smale [36] together with [11] must be diffeomorphic to S ⁵ #l(S ² ×S ³ ). More precisely, using methods from Mori theory in algebraic geometry we prove the existence of 14 inequivalent Sasakian-Einstein structures on S ² ×S ³ and infinite families of such structures on #l(S ² ×S ³ ) with 2≤l≤7. We also discuss the moduli problem for these Sasakian-Einstein structures.     

DIMENSION DEFECTS AND THE HOPF INVARIANT

Abstract

The concept of dimension defect of a mapping was introduced by H. Hopf in [5]. We generalize and answer questions about mappings S³ → S² which he raised at the end of that paper. Our main result is that a mapping S^2n-1 → Sⁿ with non-vanishing Hopf invariant does not have dimension defect.     

Left mean-ergodicity,fixed points,and invariant means

Recently Lau [15] generalized a result of Yeadon [25]. In the present paper we generalize Yeadon's result in another direction recasting it as a theorem of ergodic type. We call the notion of ergodicity required left mean-ergodicity and show how it relates to the mean-ergodicity of Nagel [21]. Connections with the existence of invariant means on spaces of continuous functions on semitopological semigroups S are made, connections concerning, among other things, a fixed point theorem of Mitchell [20] and Schwartz's property P of W¹-algebras [22]. For example, if $\text{M}$(S) is a certain subspace of C(S) (which was considered by Mitchell and is of almost periodic type, i.e., the right translates of a member of $\text{M}$(S) satisfy a compactness condition), then the assumption that $\text{M}$(S) has a left invariant mean is equivalent to the assumption that every representation of S of a certain kind by operators on a linear topological space X is left mean-ergodic. An analog involving the existence of a (left and right) invariant mean on $\text{M}$(S) is given, and we show our methods restrict in the Banach space setting to give short direct proofs of some results in [4], results involving the existence of an invariant mean on the weakly almost periodic functions on S or on the almost periodic functions on S. An ergodic theorem of Lloyd [16] is generalized, and a number of examples are presented.     

Koszul duality in deformation quantization and Tamarkin's approach to Kontsevich formality

Let α be a quadratic Poisson bivector on a vector space V. Then one can also consider α as a quadratic Poisson bivector on the vector space V^∗[1]. Fixed a universal deformation quantization (prediction of some complex weights to all Kontsevich graphs [12]), we have deformation quantization of the both algebras S(V^∗) and Λ(V). These are graded quadratic algebras, and therefore Koszul algebras. We prove that for some universal deformation quantization, independent on α, these two algebras are Koszul dual. We characterize some deformation quantizations for which this theorem is true in the framework of the Tamarkin's theory [19].     

Topological tools for the prescribed scalar curvature problem on S n

In this paper, we consider the problem of the existence of conformal metrics with prescribed scalar curvature on the standard sphere S ⁿ , n ≥ 3. We give new existence and multiplicity results based on a new Euler-Hopf formula type. Our argument also has the advantage of extending well known results due to Y. Li [16].     

The number of excellent discrete Morse functions on graphs

In Nicolaescu (2008) [7] the number of non-homologically equivalent excellent Morse functions defined on S² was obtained in the differentiable setting. We carried out an analogous study in the discrete setting for some kinds of graphs, including S¹, in Ayala et al. (2009) [1]. This paper completes this study, counting excellent discrete Morse functions defined on any infinite locally finite graph.     

Saturated boolean algebras and their stone spaces

For an infinite cardinal κ, we call a compact zero-dimensional space a κ-Parovicenko space if its boolean algebra of clopen sets is κ-saturated and has cardinality κ^<κ. We answer some questions about these spaces which were posed in [14]. For instance, it is shown that a κ⁺-Parovicenko spacé can be a Stone-Cech remainder in a natural way. We show that some of the results in [14] which used the assumption κ^<κ=κ, do indeed require this assumption. We also show that if 2^κ=κ⁺ then each compact F_κ⁺-space with weight κ⁺ can be embedded into a κ⁺-Parovicenko space (and so into an extremally disconnected space).     

The sectional curvature remains positive when taking quotients by certain nonfree actions

We study some cases in which the sectional curvature remains positive under the taking of quotients by certain nonfree isometric actions of Lie groups. We consider the actions of the groups S ¹ and S ³ for which the quotient space can be endowed with a smooth structure by means of the fibrations S ³/S ¹}~S ² and S ⁷/S ³}?S ⁴. We prove that the quotient space possesses a metric of positive sectional curvature provided that the original metric has positive sectional curvature on all 2-planes orthogonal to the orbits of the action.     

Weighted norm inequalities for polynomial expansions associated to some measures with mass points

Fourier series in orthogonal polynomials with respect to a measurev on [?1, 1] are studied whenv is a linear combination of a generalized Jacobi weight and finitely many Dirac deltas in [?1, 1]. We prove some weighted norm inequalities for the partial sum operatorsS _n, their maximal operatorS ^*, and the commutator [M _b, S_n], whereM _b denotes the operator of pointwise multiplication byb ∈BMO. We also prove some norm inequalites forS _n whenv is a sum of a Laguerre weitht onR ⁺ and a positive mass on 0.     

Smooth actions of finite Oliver groups on spheres

In this article, we deal with the following two questions. For smooth actions of a given finite group G on spheres S, which smooth manifolds F occur as the fixed point sets in S, and which real G-vector bundles ν over F occur as the equivariant normal bundles of F in S? We focus on the case G is an Oliver group and answer both questions under some conditions imposed on G, F, and ν. We construct smooth actions of G on spheres by making use of equivariant surgery, equivariant thickening, and Oliver's equivariant bundle extension method modified by an equivariant wegde sum construction and an equivariant bundle subtraction procedure.     

Constructions in Sasakian geometry

We first generalize the join construction described previously by the first two authors [4] for quasi-regular Sasakian-Einstein orbifolds to the general quasi-regular Sasakian case. This allows for the further construction of specific types of Sasakian structures that are preserved under the join operation, such as positive, negative, or null Sasakian structures, as well as Sasakian-Einstein structures. In particular, we show that there are families of Sasakian-Einstein structures on certain 7-manifolds homeomorphic to S ² × S ⁵. We next show how the join construction emerges as a special case of Lerman’s contact fibre bundle construction [32]. In particular, when both the base and the fiber of the contact fiber bundle are toric we show that the construction yields a new toric Sasakian manifold. Finally, we study toric Sasakian manifolds in dimension 5 and show that any simply-connected compact oriented 5-manifold with vanishing torsion admits regular toric Sasakian structures. This is accomplished by explicitly constructing circle bundles over the equivariant blow-ups of Hirzebruch surfaces. During the preparation of this work the first two authors were partially supported by NSF grants DMS-0203219 and DMS-0504367.     

Laminations and groups of homeomorphisms of the circle

If M is an atoroidal 3-manifold with a taut foliation, Thurston showed that π₁(M) acts on a circle. Here, we show that some other classes of essential laminations also give rise to actions on circles. In particular, we show this for tight essential laminations with solid torus guts. We also show that pseudo-Anosov flows induce actions on circles. In all cases, these actions can be made into faithful ones, so π₁(M) is isomorphic to a subgroup of Homeo(S ¹). In addition, we show that the fundamental group of the Weeks manifold has no faithful action on S ¹. As a corollary, the Weeks manifold does not admit a tight essential lamination with solid torus guts, a pseudo-Anosov flow, or a taut foliation. Finally, we give a proof of Thurston’s universal circle theorem for taut foliations based on a new, purely topological, proof of the Leaf Pocket Theorem. Oblatum 20-III-2002 & 30-IX-2002?Published online: 18 December 2002 RID="*" ID="*"Both authors partially supported by the U.S. National Science Foundation.     

Examples of discontinuous maximal monotone linear operators and the solution to a recent problem posed by B.F. Svaiter

In this paper, we give two explicit examples of unbounded linear maximal monotone operators. The first unbounded linear maximal monotone operator S on ?² is skew. We show its domain is a proper subset of the domain of its adjoint S^∗, and −S^∗ is not maximal monotone. This gives a negative answer to a recent question posed by Svaiter. The second unbounded linear maximal monotone operator is the inverse Volterra operator T on L²[0,1]. We compare the domain of T with the domain of its adjoint T^∗ and show that the skew part of T admits two distinct linear maximal monotone skew extensions. These unbounded linear maximal monotone operators show that the constraint qualification for the maximality of the sum of maximal monotone operators cannot be significantly weakened, and they are simpler than the example given by Phelps-Simons. Interesting consequences on Fitzpatrick functions for sums of two maximal monotone operators are also given.     

Approximations and Mittag-Leffler conditions the tools

Mittag-Leffler modules occur naturally in algebra, algebraic geometry, and model theory, [20], [14], [19]. If R is a non-right perfect ring, then it is known that in contrast with the classes of all projective and flat modules, the class of all flat Mittag-Leffler modules is not deconstructible [16], and it does not provide for approximations when R has cardinality ≤ ?₀, [8]. We remove the cardinality restriction on R in the latter result. We also prove an extension of the Countable Telescope Conjecture [23]: a cotorsion pair (A, B) is of countable type whenever the class B is closed under direct limits.In order to prove these results, we develop new general tools combining relative Mittag-Leffler conditions with set-theoretic homological algebra. They make it possible to trace the above facts to their ultimate, countable, origins in the properties of Bass modules. These tools have already found a number of applications: e.g., they yield a positive answer to Enochs’ problem on module approximations for classes of modules associated with tilting [4], and enable investigation of new classes of flat modules occurring in algebraic geometry [26]. Finally, the ideas from Section 3 have led to the solution of a long-standing problem due to Auslander on the existence of right almost split maps [22].     

On a topological characterization of the real line

M.C. Zdun [17] asked whether a subset S of R² such that R × S is homeomorphic to R² must be homeomorphic to R, all these sets being endowed with the usual topologies. We show that the answer is affirmative.     

Super module amenability of inverse semigroup algebras

In this paper we compare the notions of super amenability and super module amenability of Banach algebras, which are Banach modules over another Banach algebra with compatible actions. We find conditions for the two notions to be equivalent. In particular, we study arbitrary module actions of l ¹(E _S ) on l ¹(S) for an inverse semigroup S with the set of idempotents E _S and show that under certain conditions, l ¹(S) is super module amenable if and only if S is finite. We also study the super module amenability of l ¹(S)^?? and module biprojectivity of l ¹(S), for arbitrary actions.     

A variational problem with lack of compactness for H(S;S) maps of prescribed degree

We consider, for maps in H^1/2(S¹;S¹), a family of (semi)norms equivalent to the standard one. We ask whether, for such a norm, there is some map in H^1/2(S¹;S¹) of prescribed topological degree equal to 1 and minimal norm. In general, the answer is no, due to concentration phenomena. The existence of a minimal map is sensitive to small perturbations of the norm. We derive a sufficient condition for the existence of minimal maps. In particular, we prove that, for every given norm, there are arbitrarily small perturbations of it for which the minimum is attained. In case there is no minimizer, we determine the asymptotic behavior of minimizing sequences. We prove that, for such minimizing sequences, the energy concentrates near a point of S¹. We describe this concentration in terms of bubbling-off of circles.     

Calabi-Yau cones from contact reduction

We consider a generalization of Einstein–Sasaki manifolds, which we characterize in terms both of spinors and differential forms, that in the real analytic case corresponds to contact manifolds whose symplectic cone is Calabi-Yau. We construct solvable examples in seven dimensions. Then, we consider circle actions that preserve the structure and determine conditions for the contact reduction to carry an induced structure of the same type. We apply this construction to obtain a new hypo-contact structure on S ² × T ³.     

On powers of certain lines

In this paper we answer questions of van Douwen and Pfeffer by showing that the spaces S, S², S³, and T, T², T³,... are topologically distinct, where S is the Sorgenfrey line and T is the set of irrational points in S. We obtain analogous results for the Michael line M and present related examples.     

Remarks on countability and star covering properties

In this paper, we construct an example of a T₄ feebly Lindelöf space X which is not star Lindelöf under ℵ₀²=ℵ₁², which gives a partial answer to Alas, Junqueira and Wilson (2011) [1, Question 4].