Hasil untuk "math.AT"

Nikola Sadovek, Pablo Soberón

In this paper, we prove a result on the bisection of mass assignments by parallel hyperplanes on Euclidean vector bundles. Our methods consist of the development of a novel lifting method to define the configuration space--test map scheme, which transforms the problem to a Borsuk--Ulam-type question on equivariant fiber bundles, along with a new computation of the parametrized Fadell--Husseini index. As the primary application, we show that any $d+k+m-1$ mass assignments to linear $d$-spaces in $\mathbb{R}^{d+m}$ can be bisected by $k $ parallel hyperplanes in at least one $d$-space, provided that the Stirling number of the second kind $S(d+k+m-1, k)$ is odd. This generalizes all known cases of a conjecture by Soberón and Takahashi, which asserts that any $d+k-1$ measures in $\mathbb{R}^d$ can be bisected by $k$ parallel hyperplanes.

E. Alkin, O. Nikitenko, A. Skopenkov

In this text we expose (as a sequence of problems) basic cases of some fundamental ideas and methods of mathematics. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal lines in a subset of the plane. Although these ideas and methods are parts of topology, they are used in many other areas including computer science. This text is expository and is accessible to mathematicians not specialized in the area (and to students).

Sebastian Chenery

Recent work of Beben and Theriault on decomposing based loop spaces of highly connected Poincaré Duality complexes has yielded new methods for analysing the homotopy theory of manifolds. In this paper we will expand upon these methods, which we will then apply to give new examples supporting a long standing question of rational homotopy theory: the Vigué-Poirrier Conjecture.

Sebastian Chenery

It is a well-known result of C.T.C. Wall's that one may decompose a simply connected 6-manifold as a connected sum of two simpler manifolds. Recent work of Beben and Theriault on decomposing based loop spaces of highly connected Poincaré Duality complexes has yielded new methods for analysing the homotopy theory of manifolds. In this paper we will expand upon these methods, which we will then apply to prove a higher dimensional homotopy theoretic analogue to Wall's Theorem.

Zachary McGuirk, Byungdo Park

We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.

Nikolai V. Ivanov

The present paper is a continuation of author's paper arXiv:1909.00940 [math.AT] devoted to the lemmas of Alexander and Sperner, but is independent from it. We begin by a step back from Alexander and Sperner to Lebesgue work on the invariance of the dimension. In contrast with almost everybody else, Lebesgue worked with cubes rather than with simplices. His methods were developed by Hurewicz and Lusternik-Schnirelmann and then forgotten. In the present paper these methods are recast in the language of cubical chains and cochains. After this, we present a new approach to Lebesgue and Lusternik-Schnirelmann theorems which is both conceptual and elementary. It is based on adaptation of Serre's definition of products of singular cubical cochains to discrete setting. The main results are new purely combinatorial "cubical lemmas". This approach also clarifies the cubical versions of Sperner lemma of Kuhn and Ky Fan. In particular, Ky Fan's lemma can be understood as a natural strengthening of Lebesgue or Kuhn's results under a transversality assumption. The exposition does not assume any knowledge of algebraic topology.

Marija Jelić Milutinović, Duško Jojić, Marinko Timotijević et al.

The partition number $π(K)$ of a simplicial complex $K\subset 2^{[n]}$ is the minimum integer $ν$ such that for each partition $A_1\uplus\ldots\uplus A_ν= [n]$ of $[n]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is $r$-unavoidable if $π(K)\leq r$. Motivated by the problems of Tverberg-Van Kampen-Flores type, and inspired by the `constraint method' of Blagojević, Frick, and Ziegler, arXiv:1401.0690 [math.CO], we study the combinatorics of $r$-unavoidable complexes.

Siniša T. Vrećica, Rade T. Živaljević

We give a proof of the result of Edgar Ramos which claims that two finite, continuous Borel measures $μ_1$ and $μ_2$ defined on $\mathbb{R}^5$ admit an equipartition by a collection of three hyperplanes. Our proof illuminates one of the central methods developed and used in our earlier papers and may serve as a good `test case' for addressing (and resolving) the `issues' raised in the paper "Topology of the Grünbaum-Hadwiger-Ramos hyperplane mass partition problem", arXiv:1502.02975 [math.AT]. We also offer a degree-theoretic interpretation of the `parity calculation method' developed by Ramos and demonstrate that, up to minor corrections or modifications, it remains a rigorous and powerful tool for proving results about mass equipartitions.

Zoran Z. Petrović, Branislav I. Prvulović

A Gröbner basis for the ideal determining mod 2 cohomology of Grassmannian G_{3,n} is obtained. This is used, along with the method of obstruction theory, to establish some new immersion results for these manifolds.

Manuel Amann

Positive Quaternion Kaehler Manifolds are Riemannian manifolds with holonomy contained in Sp(n)Sp(1) and with positive scalar curvature. Conjecturally, they are symmetric spaces. We offer a new approach to this field of study via Rational Homotopy Theory, thereby proving the formality of Positive Quaternion Kaehler Manifolds. This result is established by means of an in-depth investigation on how formality behaves under spherical fibrations.

Victor M. Buchstaber, Svjetlana Terzic

We consider compact homogeneous spaces G/H, where G is a compact connected Lie group and H is its closed connected subgroup of maximal rank. The aim of this paper is to provide an effective computation of the universal toric genus for the complex, almost complex and stable complex structures which are invariant under the canonical left action of the maximal torus T^k on G/H. As it is known, on G/H we may have many such structures and the computations of their toric genus in terms of fixed points for the same torus action give the constraints on possible collections of weights for the corresponding representations of T^k in the tangent spaces at the fixed points, as well as on the signs at these points. In that context, the effectiveness is also approached due to an explicit description of the relations between the weights and signs for an arbitrary couple of such structures. Special attention is devoted to the structures which are invariant under the canonical action of the group G. Using classical results, we obtain an explicit description of the weights and signs in this case. We consequently obtain an expression for the cobordism classes of such structures in terms of coefficients of the formal group law in cobordisms, as well as in terms of Chern numbers in cohomology. These computations require no information on the cohomology ring of the manifold G/H, but, on their own, give important relations in this ring. As an application we provide an explicit formula for the cobordism classes and characteristic numbers of the flag manifolds U(n)/T^n, Grassmann manifolds G_{n,k}=U(n)/(U(k)\times U(n-k)) and some particular interesting examples.

J. Eidam, P. Piccione

James M Turner

L. Avramov, following D. Quillen, posed a conjecture to the effect that if $R \to A$ is a homomorphism of Noetherian rings then the André-Quillen homology on the category of A-modules satisfies: $D_{s}(A|R;-) = 0$ for $s\gg 0$ implies $D_{s}(A|R;-) = 0$ for s>2. In an earlier paper, the author posed an extended version of this conjecture which considered A to be a simplicial commutative R-algebra with Noetherian homotopy such that the characteristic of $π_{0}A$ is non-zero. In addition, a homotopy characterization of such algebras was described. The main goal of this paper is to develop a strategy for establishing this extended conjecture and provide a complete proof when R is Cohen-Macaulay of characteristic 2.

Philippe Gaucher

We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this model structure if and only if they are S-homotopy equivalent. This result provides an interpretation of the notion of S-homotopy equivalence in the framework of model categories.

Georg Biedermann

Using the dual of Bousfield-Friedlander localization we colocalize resolution model structures on cosimplicial objects over a left proper model category to get truncated resolution model structures. These are useful to study realization and moduli problems in algebraic topology.

Matthias Franz, Volker Puppe

Using methods applied by Atiyah in equivariant K-theory, Bredon obtained exact sequences for the relative cohomologies (with rational coefficients) of the equivariant skeletons of (sufficiently nice) T-spaces, T=(S^1)^n, with free equivariant cohomology over the cohomology of BT. Here we characterise those finite T-CW complexes with connected isotropy groups for which an analogous result holds with integral coefficients.

Philippe Gaucher

A functor is constructed from the category of globular CW-complexes to that of flows. It allows the comparison of the S-homotopy equivalences (resp. the T-homotopy equivalences) of globular complexes with the S-homotopy equivalences (resp. the T-homotopy equivalences) of flows. Moreover, it is proved that this functor induces an equivalence of categories from the localization of the category of globular CW-complexes with respect to S-homotopy equivalences to the localization of the category of flows with respect to weak S-homotopy equivalences. As an application, we construct the underlying homotopy type of a flow.

Ronald Brown, Manuel Bullejos, Timothy Porter

The category of crossed complexes gives an algebraic model of the category of $CW$-complexes and cellular maps. We explain basic results on crossed complexes which allow the computation of free crossed resolutions of graph products of groups, given free crossed resolutions of the individual groups.

Samuel Wuethrich

Let R be a commutative ring with unit and let I be an ideal generated by a regular sequence. Then it is known that the natural sequences 0-> Tor_*^R(R/I,I^s)-> Tor_*^R(R/I,I^s/I^{s+1})-> Tor_{*-1}^R(R/I,I^{s+1})-> 0 are short exact sequences of graded free R/I-modules, for any s>=0. The aim of this paper is to give a proof which accounts for the structural simplicity of the statement. It relies on a minimum of technicalities and exposes the phenomenon in a transparent way as a consequence of the regularity assumption. The ideas discussed here are used in math.AT/0411409 to obtain a better qualitative understanding of I-adic towers in algebraic topology.

James M Turner

In this paper, a strategy is developed studying a simplicial commutative algebra A whose zeroth homotopy group is a Noetherian ring B and whose higher homotopy groups are finite over B. The strategy replaces A with a connected simplicial supplemented k(q)-algebra, for each prime ideal q in B, which preserves much of the Andre-Quillen homology of A. The methods for this construction involves a mixture of methods of homotopy theory (e.g. Postnikov towers) with methods of commutative algebras (e.g. completions, Cohen factorizations). We finish by indicating how these methods resolve a more general form of a conjecture posed by Quillen.