Search results for "Homotopy"
showing 10 items of 50 documents
Orientation theory in arithmetic geometry
2016
This work is devoted to study orientation theory in arithmetic geometric within the motivic homotopy theory of Morel and Voevodsky. The main tool is a formulation of the absolute purity property for an \emph{arithmetic cohomology theory}, either represented by a cartesian section of the stable homotopy category or satisfying suitable axioms. We give many examples, formulate conjectures and prove a useful property of analytical invariance. Within this axiomatic, we thoroughly develop the theory of characteristic and fundamental classes, Gysin and residue morphisms. This is used to prove Riemann-Roch formulas, in Grothendieck style for arbitrary natural transformations of cohomologies, and a …
On Fibrations Between Internal Groupoids and Their Normalizations
2018
We characterize fibrations and $$*$$ -fibrations in the 2-category of internal groupoids in terms of the comparison functor from certain pullbacks to the corresponding strong homotopy pullbacks. As an application, we deduce the internal version of the Brown exact sequence for $$*$$ -fibrations from the internal version of the Gabriel–Zisman exact sequence. We also analyse fibrations and $$*$$ -fibrations in the category of arrows and study when the normalization functor preserves and reflects them. This analysis allows us to give a characterization of protomodular categories using strong homotopy kernels and a generalization of the Snake Lemma.
Weighted limits in simplicial homotopy theory
2010
Abstract By combining ideas of homotopical algebra and of enriched category theory, we explain how two classical formulas for homotopy colimits, one arising from the work of Quillen and one arising from the work of Bousfield and Kan, are instances of general formulas for the derived functor of the weighted colimit functor.
On cobordism of manifolds with corners
2000
This work sets up a cobordism theory for manifolds with corners and gives an identication with the homotopy of a certain limit of Thom spectra. It thereby creates a geometrical interpretation of Adams-Novikov resolutions and lays the foundation for investigating the chromatic status of the elements so realized. As an application Lie groups together with their left invariant framings are calculated by regarding them as corners of manifolds with interesting Chern numbers. The work also shows how elliptic cohomology can provide useful invariants for manifolds of codimension 2.
Multiple Solutions with Sign Information for a Class of Coercive (p, 2)-Equations
2019
We consider a nonlinear Dirichlet equation driven by the sum of a p-Laplacian and of a Laplacian (a (p, 2)-equation). The hypotheses on the reaction f(z, x) are minimal and make the energy (Euler) functional of the problem coercive. We prove two multiplicity theorems producing three and four nontrivial smooth solutions, respectively, all with sign information. We apply our multiplicity results to the particular case of a class of parametric (p, 2)-equations.
A fuzzification of the category of M-valued L-topological spaces
2004
[EN] A fuzzy category is a certain superstructure over an ordinary category in which ”potential” objects and ”potential” morphisms could be such to a certain degree. The aim of this paper is to introduce a fuzzy category FTOP(L,M) extending the category TOP(L,M) of M-valued L- topological spaces which in its turn is an extension of the category TOP(L) of L-fuzzy topological spaces in Kubiak-Sostak’s sense. Basic properties of the fuzzy category FTOP(L,M) and its objects are studied.
A criterion for homeomorphism between closed Haken manifolds
2003
In this paper we consider two connected closed Haken manifolds denoted by M^3 and N^3, with the same Gromov simplicial volume. We give a simple homological criterion to decide when a given map f: M^3-->N^3 between M^3 and N^3 can be changed by a homotopy to a homeomorphism. We then give a convenient process for constructing maps between M^3 and N^3 satisfying the homological hypothesis of the map f.
Generalized stability for abstract homotopy theories
2017
We show that a derivator is stable if and only if homotopy finite limits and homotopy finite colimits commute, if and only if homotopy finite limit functors have right adjoints, and if and only if homotopy finite colimit functors have left adjoints. These characterizations generalize to an abstract notion of "stability relative to a class of functors", which includes in particular pointedness, semiadditivity, and ordinary stability. To prove them, we develop the theory of derivators enriched over monoidal left derivators and weighted homotopy limits and colimits therein.
Stable Images and Discriminants
2020
We show that the discriminant/image of a stable perturbation of a germ of finite \(\mathcal {A}\)-codimension is a hypersurface with the homotopy type of a wedge of spheres in middle dimension, provided the target dimension does not exceed the source dimension by more than one. The number of spheres in the wedge is called the discriminant Milnor number/image Milnor number. We prove a lemma showing how to calculate this number, and show that when the target dimension does not exceed the source dimension, the discriminant Milnor number and the \(\mathcal {A}\)-codimension obey the “Milnor–Tjurina relation” familiar in the case of isolated hypersurface singularities. This relation remains conj…
Skeleta of affine hypersurfaces
2014
A smooth affine hypersurface Z of complex dimension n is homotopy equivalent to an n-dimensional cell complex. Given a defining polynomial f for Z as well as a regular triangulation of its Newton polytope, we provide a purely combinatorial construction of a compact topological space S as a union of components of real dimension n, and prove that S embeds into Z as a deformation retract. In particular, Z is homotopy equivalent to S.