Searcharxiv⌕ Search

arXiv subjects

Miguel Ottina

Publications and source records attributed to Miguel Ottina.

13 recordsLinked to original sources
arXiv2022

The crosscut poset

We introduce a new combinatorial invariant, which we call crosscut poset, that is finer than the crosscut complex. We exhibit many applications of the crosscut poset which include a generalization of Björner's crosscut theorem and two results concerning the fixed point property and the fixed simplex property.

math.CO↗
arXiv2020

Fiber bundles over Alexandroff spaces

We introduce a topological variant of the Grothendieck construction which serves to represent every fiber bundle over an Alexandroff space. Using this result we give a classification theorem for fiber bundles over Alexandroff spaces with T$_0$ fiber and we construct a universal bundle for bundles with T$_0$ fiber over posets which are cofibrant objects of the category of small categories. Moreover, we prove that our construction induces an equivalence of categories between a suitable category of functors and the category of fiber bundles over a fixed Alexandroff space. In addition, we prove that any fiber bundle over an Alexandroff space is a fibration.

math.AT↗
arXiv2019

Fibrations between finite topological spaces

We study Hurewicz fibrations between finite T$_0$--spaces from a combinatorial viewpoint and give strong conditions that a continuous map between finite T$_0$--spaces must satisfy in order to be a Hurewicz fibration. We also show that there exists a strong relationship between Hurewicz fibrations between finite T$_0$--spaces and Grothendieck bifibrations. Finally we give several interesting examples that illustrate this theory and show that many of the assumptions of our results are necessary.

math.AT↗
arXiv2019

A new tool to study the fixed point property of finite posets

We develop a novel tool to study the fixed point property of finite posets using a topological approach. Our tool is a construction which turns out to induce an endofunctor of the homotopy category of finite $T_0$--spaces. We study many properties of this construction and give several examples of application.

math.AT↗
arXiv2018

A combinatorial characterization of Hurewicz cofibrations between finite topological spaces

We characterize the Hurewicz cofibrations between finite topological spaces, that is, the continuous functions between finite topological spaces that have the homotopy extension property with respect to all topological spaces. In particular, we show that cofibrations between connected non-empty finite topological spaces are homotopy equivalences. As a consequence of our characterization, we obtain a simple algorithm capable of determining whether a given continuous function between finite topological spaces is a cofibration.

math.AT↗
arXiv2015

Poset splitting and minimality of finite models

We develop a novel technique, which we call poset splitting, that allows us to solve two open problems regarding minimality of finite models of spaces: the nonexistence of a finite model of the real projective plane with fewer than 13 points and the nonexistence of a finite model of the torus with fewer than 16 points. Indeed, we prove much stronger results from which we also obtain that there does not exist a finite model of the Klein bottle with fewer than 16 points and that the integral homology groups of finite spaces with fewer than 13 points are torsion-free, settling a conjecture of Hardie, Vermeulen and Witbooi. Furthermore, we also apply our technique to give a complete characterization of the minimal finite models of the real projective plane, the torus, and the Klein bottle. In addition, we show that the poset splitting technique has an intrinsic interest giving original topological results that can be obtained from its application, such as a generalization of Hurewicz's theorem for non-simply-connected spaces and a generalization of a result of R. Brown on the fundamental group of a space.

math.AT↗
arXiv2015

On homology of finite topological spaces

We develop a new method to compute the homology groups of finite topological spaces (or equivalently of finite partially ordered sets) by means of spectral sequences giving a complete and simple description of the corresponding differentials. Our method proves to be powerful and involves far fewer computations than the standard one. We derive many applications of our technique which include a generalization of Hurewicz theorem for regular CW-complexes, results in homological Morse theory and formulas to compute the Möbius function of posets.

math.AT↗
arXiv2014

A-homology, A-homotopy and spectral sequences

Given a CW-complex A we define an `A-shaped' homology theory which behaves nicely towards A-homotopy groups allowing the generalization of many classical results. We also develop a relative version of the Federer spectral sequence for computing A-homotopy groups. As an application we derive a generalization of the Hopf-Whitney theorem.

math.AT↗
arXiv2014

An A-based cofibrantly generated model category

We develop a cofibrantly generated model category structure in the category of topological spaces in which weak equivalences are A-weak equivalences and such that the generalized CW(A)-complexes are cofibrant objects. With this structure the exponential law turns out to be a Quillen adjunction.

math.AT↗
arXiv2006

A geometric decomposition of spaces into cells of different types

We develop the theory of CW(A)-complexes, which generalizes the classical theory of CW-complexes, keeping the geometric intuition of J.H.C. Whitehead's original theory. We obtain this way generalizations of classical results, such as Whitehead Theorem, which allow a deeper insight in the homotopy properties of these spaces.

math.AT↗