Search results for " Fibration"

showing 6 items of 16 documents

Fibered aspects of Yoneda's regular span

2018

In this paper we start by pointing out that Yoneda's notion of a regular span $S \colon \mathcal{X} \to \mathcal{A} \times \mathcal{B}$ can be interpreted as a special kind of morphism, that we call fiberwise opfibration, in the 2-category $\mathsf{Fib}(\mathcal{A})$. We study the relationship between these notions and those of internal opfibration and two-sided fibration. This fibrational point of view makes it possible to interpret Yoneda's Classification Theorem given in his 1960 paper as the result of a canonical factorization, and to extend it to a non-symmetric situation, where the fibration given by the product projection $Pr_0 \colon \mathcal{A} \times \mathcal{B} \to \mathcal{A}$ i…

Pure mathematicsSpan (category theory)FibrationAlgebraic structureGeneral MathematicsCohomology; Crossed extension; Fibration; Regular spanFibered knot01 natural sciencesCohomologyMorphismMathematics::Category Theory0103 physical sciencesFOS: MathematicsClassification theoremCategory Theory (math.CT)0101 mathematicsMathematicsCrossed extension010102 general mathematicsFibrationMathematics - Category TheoryMathematics - Rings and AlgebrasSettore MAT/02 - AlgebraTransfer (group theory)Regular spanRings and Algebras (math.RA)Product (mathematics)010307 mathematical physics
researchProduct

Motives of quadric bundles and relative intermediate jacobians of K3-Fano pairs

2015

This thesis consists of two parts. In the first part we study the Chow motive of a quadric bundle of odd relative dimension over a surface. We show that this motive admits a decomposition which involves the Prym motive of the double covering of the discriminant curve.In the second part, we consider Lagrangian fibrations, obtained as relative intermediate Jacobians of families of Fano threefolds containing a fixed K3 surface, and the existence of a symplectic compactification. In a particular case, we study a partial compactification using calculations with the software system Macaulay2.

Quadric bundleMotif de ChowIntermediate Jacobian[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG]Variété symplectique irréductibleLagrangian fibrationChow motiveFibration LagrangienneJacobienne intermédiaireIrreducible symplectic varietyPaire K3-FanoFibré en quadriquesK3-Fano pair
researchProduct

A criterion for extending morphisms from open subsets of smooth fibrations of algebraic varieties

2021

Abstract Given a smooth morphism Y → S and a proper morphism P → S of algebraic varieties we give a sufficient condition for extending an S-morphism U → P , where U is an open subset of Y, to an S-morphism Y → P , analogous to Zariski's main theorem.

Smooth morphismPure mathematicsAlgebra and Number TheoryAlgebraic varietySmooth fibrationZariski’s main theoremFiberwise birational morphismProper morphismMathematics::Algebraic GeometryMorphismExtending a morphismMathematics::Category TheorySettore MAT/03 - GeometriaMathematicsJournal of Pure and Applied Algebra
researchProduct

Extension theory and the calculus of butterflies

2016

Abstract This paper provides a unified treatment of two distinct viewpoints concerning the classification of group extensions: the first uses weak monoidal functors, the second classifies extensions by means of suitable H 2 -actions. We develop our theory formally, by making explicit a connection between (non-abelian) G-torsors and fibrations. Then we apply our general framework to the classification of extensions in a semi-abelian context, by means of butterflies [1] between internal crossed modules. As a main result, we get an internal version of Dedecker's theorem on the classification of extensions of a group by a crossed module. In the semi-abelian context, Bourn's intrinsic Schreier–M…

TorsorCrossed moduleContext (language use)01 natural sciencesCohomologyCohomology; Extension; Fibrations; Obstruction theory; Schreier-mac lane theorem; TorsorsExtensionMathematics::Category Theory0103 physical sciences0101 mathematicsConnection (algebraic framework)MathematicsAlgebra and Number TheoryFunctorGroup (mathematics)010102 general mathematicsTorsorsExtension (predicate logic)Obstruction theorySchreier-mac lane theoremCohomologyFibrationsAlgebraSettore MAT/02 - AlgebraSchreier–Mac Lane theoremSettore MAT/03 - Geometria010307 mathematical physicsObstruction theory
researchProduct

3-manifolds which are orbit spaces of diffeomorphisms

2008

Abstract In a very general setting, we show that a 3-manifold obtained as the orbit space of the basin of a topological attractor is either S 2 × S 1 or irreducible. We then study in more detail the topology of a class of 3-manifolds which are also orbit spaces and arise as invariants of gradient-like diffeomorphisms (in dimension 3). Up to a finite number of exceptions, which we explicitly describe, all these manifolds are Haken and, by changing the diffeomorphism by a finite power, all the Seifert components of the Jaco–Shalen–Johannson decomposition of these manifolds are made into product circle bundles.

[ MATH.MATH-GT ] Mathematics [math]/Geometric Topology [math.GT]Seifert fibrationsClass (set theory)Pure mathematicsGradient-like diffeomorphism[ MATH.MATH-DS ] Mathematics [math]/Dynamical Systems [math.DS]Dimension (graph theory)[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS][MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS]Space (mathematics)01 natural sciences[MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT]0103 physical sciencesAttractorJaco–Shalen–Johannson decomposition0101 mathematicsFinite setMathematics::Symplectic Geometry[MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT]Mathematics010102 general mathematicsMathematical analysisMathematics::Geometric Topology3-manifoldsProduct (mathematics)010307 mathematical physicsGeometry and TopologyDiffeomorphismOrbit (control theory)
researchProduct

Algebraic models of the real affine plane

2017

We introduce a new invariant, the real (logarithmic)-Kodaira dimension, that allows to distinguish smooth real algebraic surfaces up to birational diffeomorphism. As an application, we construct infinite families of smooth rational real algebraic surfaces with trivial homology groups, whose real loci are diffeomorphic to $\mathbb{R}^2$, but which are pairwise not birationally diffeomorphic. There are thus infinitely many non-trivial models of the real affine plane, contrary to the compact case.

birational diffeomorphismaffine complexificationMathematics::Algebraic Geometry14R05 14R25 14E05 14P25 14J26.affine surface[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG]rational fibrationReal algebraic model[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]Mathematics::Symplectic Geometry[ MATH.MATH-AG ] Mathematics [math]/Algebraic Geometry [math.AG]
researchProduct