Search results for "Homotopy"

On some aspects of Borel-Moore homology in motivic homotopy : weight and Quillen’s G-theory

2016

The theme of this thesis is different aspects of Borel-Moore theory in the world of motives. Classically, over the field of complex numbers, Borel-Moore homology, also called “homology with compact support”, has some properties quite different from singular homology. In this thesis we study some generalizations and applications of this theory in triangulated categories of motives.The thesis is composed of two parts. In the first part we define Borel-Moore motivic homology in the triangulated categories of mixed motives defined by Cisinski and Déglise and study its various functorial properties, especially a functoriality similar to the refined Gysin morphism defined by Fulton. These results…

The homotopy Leray spectral sequence

2018

In this work, we build a spectral sequence in motivic homotopy that is analogous to both the Serre spectral sequence in algebraic topology and the Leray spectral sequence in algebraic geometry. Here, we focus on laying the foundations necessary to build the spectral sequence and give a convenient description of its $E_2$-page. Our description of the $E_2$-page is in terms of homology of the local system of fibers, which is given using a theory similar to Rost's cycle modules. We close by providing some sample applications of the spectral sequence and some hints at future work.

The ziqqurath of exact sequences of n-groupoids

2011

In this work we study exactness in the sesqui-category of n-groupoids. Using homotopy pullbacks, we construct a six term sequence of (n-1)-groupoids from an n-functor between pointed n-groupoids. We show that the sequence is exact in a suitable sense, which generalizes the usual notions of exactness for groups and categorical groups. Moreover, iterating the process, we get a ziqqurath of exact sequences of increasing length and decreasing dimension. For n = 1 we recover a classical result due to R. Brown and, for n = 2 its generalizations due to Hardie, Kamps and Kieboom and to Duskin, Kieboom and Vitale.

Beilinson Motives and Algebraic K-Theory

2019

Section 12 is a recollection on the basic results of stable homotopy theory of schemes, after Morel and Voevodsky. In particular, we recall the theory of orientations in a motivic cohomology theory. Section 13 is a recollection of the fundamental results on algebraic K-theory which we translate into results within stable homotopy theory of schemes. In particular, Quillen’s localization theorem is seen as an absolute purity theory for the K-theory spectrum. In Section 14, we introduce the fibred category of Beilinson motives as an appropriate Verdier quotient of the motivic stable homotopy category. Using the Adams filtration on K-theory, we prove that Beilinson motives have the properties o…

2021

Abstract We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is to study log structures that are incoherent on a subspace of codimension 2 and prove a Hodge–de Rham degeneration theorem for such log spaces that also settles a conjecture by Danilov. We show that the homotopy equivalence between Maurer–Cartan solutions and deformations combined with Batalin–Vilkovisky theory can be used to obtain smoothings. The construction of new Calabi–Yau and Fano manifolds as well as Frobenius manifold structures on moduli…

Curves as measured foliation on noncompact surfaces

1993

In the present work, that regards the Thurston's theory, we prove that, if we choose a closed curve, how we wish, on a noncompact surface, it is always possible to construct a particular masured foliation that has the choosed curve like a leaf; we also prove this foliation has a remarkable property that makes very easy to mesure all homotopy classes of closed curves of our surface. To prove this statement we need some Propositions and some Lemma that we also demonstre.

Data structures and algorithms for topological analysis

2014

International audience; One of the steps of geometric modeling is to know the topology and/or the geometry of the objects considered. This paper presents different data structures and algorithms used in this study. We are particularly interested by algebraic structures, eg homotopy and homology groups, the Betti numbers, the Euler characteristic, or the Morse-Smale complex. We have to be able to compute these data structures, and for (homotopy and homology) groups, we also want to compute their generators. We are also interested in algorithms CIA and HIA presented in the thesis of Nicolas DELANOUE, which respectively compute the connected components and the homotopy type of a set defined by…

Extending CSG with projections: Towards formally certified geometric modeling

2015

We extend traditional Constructive Solid Geometry (CSG) trees to support the projection operator. Existing algorithms in the literature prove various topological properties of CSG sets. Our extension readily allows these algorithms to work on a greater variety of sets, in particular parametric sets, which are extensively used in CAD/CAM systems. Constructive Solid Geometry allows for algebraic representation which makes it easy for certification tools to apply. A geometric primitive may be defined in terms of a characteristic function, which can be seen as the zero-set of a corresponding system along with inequality constraints. To handle projections, we exploit the Disjunctive Normal Form,…

Categorical action of the extended braid group of affine type $A$

2017

Using a quiver algebra of a cyclic quiver, we construct a faithful categorical action of the extended braid group of affine type A on its bounded homotopy category of finitely generated projective modules. The algebra is trigraded and we identify the trigraded dimensions of the space of morphisms of this category with intersection numbers coming from the topological origin of the group.

Hom-Lie quadratic and Pinczon Algebras

2017

ABSTRACTPresenting the structure equation of a hom-Lie algebra 𝔤, as the vanishing of the self commutator of a coderivation of some associative comultiplication, we define up to homotopy hom-Lie algebras, which yields the general hom-Lie algebra cohomology with value in a module. If the hom-Lie algebra is quadratic, using the Pinczon bracket on skew symmetric multilinear forms on 𝔤, we express this theory in the space of forms. If the hom-Lie algebra is symmetric, it is possible to associate to each module a quadratic hom-Lie algebra and describe the cohomology with value in the module.