Almost Lagrangian obstruction

The aim of this paper is to describe the obstruction for an almost Lagrangian fibration to be Lagrangian, a problem which is central to the classification of Lagrangian fibrations and, more generally, to understanding the obstructions to carry out surgery of integrable systems, an idea introduced in Zung (2003) [16]. It is shown that this obstruction (namely, the homomorphism D of Dazord and Delzant (1987) [4] and Zung (2003) [16]) is related to the cup product in cohomology with local coefficients on the base space B of the fibration. The map is described explicitly and some explicit examples are calculated, thus providing the first examples of non-trivial Lagrangian obstructions.     

Restrictions on symplectic fibrations

Moduli spaces of stable pseudoholomorphic curves can be defined parametrically, i.e., over total spaces of symplectic fibrations. This imposes several restrictions on the spectral sequence of a symplectic fibration. We prove, among others, that under certain assumptions the spectral sequence collapses at E₂. In the appendix, we prove nontriviality of certain Gromov-Witten invariant for blow-ups. As an application we obtain that any Hamiltonian fibration with the blow-up of  along four dimensional submanifold as a fibre c-splits. That is its spectral sequence collapses.     

Multiplicative <Emphasis Type="Italic">A</Emphasis><Subscript>∞</Subscript>-structure in terms of spectral sequences of fibrations

In the present paper, the technique of spectral sequences with A _∞ -structures in their terms is developed for differential algebras with filtrations. Applications of this technique to the multiplicative spectral sequences of fibrations are given. We show that if the base of fibration is connected and simply connected, then the structure graded A _∞ -algebra in the second term of the spectral sequence of a fibration is the tensor product of the cohomology A _∞ -algebra of the base and the cohomology A _∞ -algebra of the fibre of this fibration.     

A model for embedding finite coverings defined by principal bundles into bundles of manifolds

For any finite group G we construct a canonical model for embedding a principal G-bundle fibrewise into a given locally trivial fibration with a connected manifold M of dimension n⩾2 as fibre. The construction uses configuration spaces. We apply the construction to obtain a canonical model for the class of principal G-bundles which are polynomial when considered as covering maps. Finally, we give an algebraic characterization of the polynomial principal G-bundles in terms of homomorphisms into braid groups.     

False Hyperelliptic Surfaces with Section

Let X be a nonsingular relatively minimal projective surface over an algebraically closed field of characteristic p > 0. We call X a false hyperelliptic surface if X satisfies the following conditions: (1) c₂(X) = 0, c₁(X)² = 0, dim Alb (X) = 1, and (2) All fibres of the Albanese mapping of X are rational curves with only one cusp of type xp^v + yⁿ = 0. In this article, we consider a false hyperelliptic surface whose Albanese mapping has a cross-section. We prove that every false hyperellyptic surface with section arises from an elliptic ruled surface and that every false hyperelliptic surface has an elliptic fibration with multiple fibre. Moreover, we construct an example of false hyperelliptic surface with section, whose elliptic fibration has a multiple fibre of supersingular elliptic curve of multiplicity p^v (v > 1).     

On exotic characteristic classes for spherical fibrations

We define for every so-called admissible relation r in the Steenrod algebra $\text{A}$ and for every oriented spherical fibration ξ over a CW-space an exotic characteristic class (mod 2) ε(r)(ξ), which is primitive and vanishes for sphere bundles. The set of exotic classes associated with the universal spherical fibration and the admissible Adem relations are compared with the algebra generators of H¹(BSG;$\text{Z}$₂) due to Milgram. Moreover, their behaviour under the action of $\text{A}$ is computed. Finally, we give a secondary Wu formula for exotic classes of special Poincaré duality spaces.     

CONCRETE CATEGORIES FOR WHICH FIBRE COMPLETIONS INDUCE TOPOLOGICAL COMPLETIONS

Abstract

Every topological category over an arbitrary base category X may be considered as a category of T-models with respect to some theory (i.e., functor) T from X into a category of complete lattices. Using this model-theoretic correspondence as our basic tool, we study initial and final completions of (co)fibration complete categories. For an arbitrary concrete category (A, U) over X, the process of order-theoretically completing each fibre does not usually yield an initial/final completion of (A, U). It is shown in this paper that for concrete categories which are assumed to be fibration and/or cofibration complete, initial and final completions can be constructed by completing the fibres. These completions are further shown to exhibit some interesting external properties.     

The evaluation subgroup of a fibre inclusion

Let be a fibration of simply connected CW complexes of finite type with classifying map . We study the evaluation subgroup Gn(E,X;j) of the fibre inclusion as an invariant of the fibre-homotopy type of ξ. For spherical fibrations, we show the evaluation subgroup may be expressed as an extension of the Gottlieb group of the fibre sphere provided the classifying map h induces the trivial map on homotopy groups. We extend this result after rationalization: We show that the decomposition G_∗(E,X;j)⊗Q=(G_∗(X)⊗Q)⊕(π_∗(B)⊗Q) is equivalent to the condition Q(h_?)=0.     

Chern numbers for two families of noncommutative Hopf fibrations

We consider noncommutative line bundles associated with the Hopf fibrations of SU_q(2) over all Podle? spheres and with a locally trivial Hopf fibration of S³_pq. These bundles are given as finitely generated projective modules associated via 1-dimensional representations of U(1) with Galois-type extensions encoding the principal fibrations of SU_q(2) and S³_pq. We show that the Chern numbers of these modules coincide with the winding numbers of representations defining them. To cite this article: P.M. Hajac et al., C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Semipositivity of generic ordinary fibration over a curve

Let f : X → B be a generic ordinary proper fibration over a complete curve in positive characteristics, we prove that the dual of higher direct image sheaf R~1 f_*O_X is nef. As a corollary, we show that f_*ω_(S/B) is nef, if f : S → B is a fibration from a surface to a curve with generic ordinary fibres.     

Higher-order polynomial invariants of 3-manifolds giving lower bounds for the Thurston norm

We define an infinite sequence of new invariants, δ_n, of a group G that measure the size of the successive quotients of the derived series of G. In the case that G is the fundamental group of a 3-manifold, we obtain new 3-manifold invariants. These invariants are closely related to the topology of the 3-manifold. They give lower bounds for the Thurston norm which provide better estimates than the bound established by McMullen using the Alexander norm. We also show that the δ_n give obstructions to a 3-manifold fibering over S¹ and to a 3-manifold being Seifert fibered. Moreover, we show that the δ_n give computable algebraic obstructions to a 4-manifold of the form X×S¹ admitting a symplectic structure even when the obstructions given by the Seiberg-Witten invariants fail. There are also applications to the minimal ropelength and genera of knots and links in S³.     

Families of Structures on Spherical Fibrations

Let SF(n) be the usual monoid of orientation- and base point-preserving self-equivalences of the n-sphere ${\mathbb{S}^n}$ n. If Y is a (right) SF(n)-space, one can construct a classifying space B(Y, SF(n), *)=B _n for ${\mathbb{S}^n}$ n-fibrations with Y-structure, by making use of the two-sided bar construction. Let k: B _n →BSF(n) be the forgetful map. A Y-structure on a spherical fibration corresponds to a lifting of the classifying map into B _n . Let K _i =K $\left( {{\mathbb{Z}_2 }} \right)$ , i) be the Eilenberg–Mac Lane space of type $\left( {{\mathbb{Z}_2 }} \right)$ , i). In this paper we study families of structures on a given spherical fibration. In particular, we construct a universal family of Y-structures, where Y=W _n is a space homotopy equivalent to ∏ _i≥1 K _i . Applying results due to Booth, Heath, Morgan and Piccinini, we prove that the universal family is a spherical fibration over the space map{B _n , B _n }×B _n . Furthermore, we point out the significance of this space for secondary characteristic classes. Finally, we calculate the cohomology of B _n .     

New open-book decompositions in singularity theory

In this article, we study the topology of real analytic germs ${F \colon (\mathbb{C}^3,0) \to (\mathbb{C},0)}$ given by ${F(x,y,z)=\overline{xy}(x^p+y^q)+z^r}$ with ${p,q,r \in \mathbb{N}, p,q,r \geq 2}$ and (p, q)?=?1. Such a germ gives rise to a Milnor fibration ${\frac{F}{\mid F \mid}\colon \mathbb{S}^5\setminus L_F \to \mathbb{S}^1}$ . We describe the link L _F as a Seifert manifold and we show that in many cases the open-book decomposition of ${\mathbb{S}^5}$ given by the Milnor fibration of F cannot come from the Milnor fibration of a complex singularity in ${\mathbb{C}^3}$ .     

Milnor fibration at infinity for mixed polynomials

We study the existence of Milnor fibration on a big enough sphere at infinity for a mixed polynomial f: ?²ⁿ → ?². By using strongly non-degenerate condition, we prove a counterpart of Némethi and Zaharia’s fibration theorem. In particular, we obtain a global version of Oka’s fibration theorem for strongly non-degenerate and convenient mixed polynomials.     

The jumping phenomenon of the dimensions of cohomology groups of tangent sheaf

Let X be a compact complex manifold. Consider a small deformation π: X → B of X, the dimensions of the cohomology groups of tangent sheaf H^q(X_t, TX_t) may vary under this deformation. This article studies such phenomena by studying the obstructions to deform a class in H^q(X, TX) with parameter t and gets a formula for the obstructions.     

On the zeros ofζ (1)(s) — a (on the zeros of a class of a generalized Dirichlet series — XVII)

Some very precise results (see Theorems 4 and 5) are proved about thea-values of thelth derivative of a class of generalized Dirichlet series, forl≥l _o =l _o(a) (l _o being a large constant). In particular for the precise results on the zeros ofζ ⁽¹⁾ (s) —a (a any complex constant andl≥l _o) see Theorems 1 and 2 of the introduction.     

Fibred 2-categories and bicategories

We generalise the usual notion of fibred category; first to fibred 2-categories and then to fibred bicategories. Fibred 2-categories correspond to 2-functors from a 2-category into 2Cat. Fibred bicategories correspond to trihomomorphisms from a bicategory into Bicat. We describe the Grothendieck construction for each kind of fibration and present a few examples of each. Fibrations in our sense, between bicategories, are closed under composition and are stable under equiv-comma. The free such fibration on a homomorphism is obtained by taking an oplax comma along an identity.     

On the uniqueness of generalized monosplines of least Lp-norm

The uniqueness of monosplines and perfect splines of leastL _p-norm is treated in the framework of generalized monosplines and total positivity. The analysis is based on the invariance properties of the degree of a certain mapping and on a new composition result for totally positive kernels. For theL _p-case 1<p<∞, uniqueness is shown under the same extra conditions as were previously shown to be needed in theL _p-case. The uniqueness in theL _∞-case is obtained without any restrictions.     

Decompositions into codimension two spheres and approximate fibrations

Let M denote an orientable (n+2)-manifold (n?1) and G an upper semicontinuous decomposition of M into compacta having the shape of the n-sphere. In this context it is shown that the decomposition space is a 2-manifold. Moreover, it is established that the decomposition map is an approximate fibration for n>1, while for n=1 the map is an approximate fibration over the complement of a locally finite set.