A colleague asked about the Adams filtrations of the homotopy classes in the homotopy of the fiber of a particular map between GEMs. The theorem proved in arXiv:2105.02601v3 [math.AT] proves to be effective in answering this (Theorem 4.4). We show that this and some related Adams spectral sequences all collapse at $E_3$ and we determine the value of $E_3 = E_\infty$. Notably, we do not need to determine the cohomology of the fiber or the $E_2$ term of the Adams spectral sequence to do this.
We describe the variety of `symmetric' left actions of the mod 2 Steenrod algebra $\mathcal{A}$ on its subalgebra $\mathcal{A}(2)$. These arise as the cohomology of $\text{v}_2$ self maps $Σ^7 Z \longrightarrow Z$, as in arXiv:1608.06250 [math.AT]. There are $256$ $\mathbb{F}_2$ points in this variety, arising from $16$ such actions of $Sq^8$ and, for each such, $16$ actions of $Sq^{16}$. We describe in similar fashion the 1600 $\mathcal{A}$ actions on $\mathcal{A}(2)$ found by Roth(1977) and the inclusion of the variety of symmetric actions into the variety of all actions. We also describe two related varieties of $\mathcal{A}$ actions, the maps between these and the behavior of Spanier-Whitehead duality on these varieties. Finally, we note that the actions which have been used in the literature correspond to the simplest choices, in which all the coordinates equal zero.
Steven Clontz informed me of an effort he's involved in called code4math. It's described as a professional organization for the advancement of mathematical research through building non-research software infrastructure. By that he means, for example, writing software packages like Macaulay2 or databases of mathematical objects that other researchers can use to do their research.
Steven Clontz informed me of an effort he's involved in called code4math. It's described as a professional organization for the advancement of mathematical research through building non-research software infrastructure. By that he means, for example, writing software packages like Macaulay2 or databases of mathematical objects that other researchers can use to do their research.
We study the moduli and determine a homotopy type of the space of all generalized Morse functions on d-manifolds for given d. This moduli space is closely connected to the moduli space of all Morse functions studied in the paper math.AT/0212321, and the classifying space of the corresponding cobordism category.
Gross and Hopkins have proved that in chromatic stable homotopy, Spanier-Whitehead duality nearly coincides with Brown-Comenetz duality. Our goal is to give a conceptual interpretation for this phenomenon in terms of the Gorenstein condition for maps of ring spectra in the sense of [Duality in algebra and topology, Adv. Math. 200 (2006), 357--402. arXiv: math.AT/0510247 ]. We describe a general notion of Brown-Comenetz dualizing module for a map of ring spectra and show that in this context such dualizing modules correspond bijectively to invertible K(n)-local spectra.
Gross and Hopkins have proved that in chromatic stable homotopy, Spanier-Whitehead duality nearly coincides with Brown-Comenetz duality. Our goal is to give a conceptual interpretation for this phenomenon in terms of the Gorenstein condition for maps of ring spectra in the sense of [Duality in algebra and topology, Adv. Math. 200 (2006), 357--402. arXiv: math.AT/0510247 ]. We describe a general notion of Brown-Comenetz dualizing module for a map of ring spectra and show that in this context such dualizing modules correspond bijectively to invertible K(n)-local spectra.
This paper records two results which were inexplicably omitted from the paper on Pin structures on low dimensional manifolds in the LMS Lecture Note Series, volume 151, by Kirby and this author. Kirby declined to be listed as a coauthor of this paper. A Pin - -structure on a surface X induces a quadratic enhancement of the mod 2 intersection form, q: H 1 (X;Z/2Z) → Z/4Z. Theorem 1.1 says that q vanishes on the kernel of the map in homology to a bounding 3-manifold. This is used by Kreck and Puppe in their paper in Homology, Homotopy and Applications, volume 10. The arXiv version, arXiv:0707.1599 [math.AT], referred to an email from the author to Kreck for the proof. A more polished and public proof seems desirable. In Section 6 of the paper with Kirby, a Pin--structure is constructed on a surface X dual to ω 2 in an oriented 4-manifold, M 4 . Theorem 2.1 says that q vanishes on the Poincare dual to the image of H 1 (M; Z/2Z) in H 1 (X; Z/2Z).
This note records two results which were inexplicably omitted from our paper on Pin structures on low dimensional manifolds, [KT]. Kirby chose not to be listed as a coauthor. A Pin^- structure on a surface F induces a quadratic enhancement of the mod 2 intersection form, q: H_1(F;Z/2Z) -> Z/4Z Theorem 1.1 says that q vanishes on the kernel of the map in homology to a bounding 3-manifold. This is used by Kreck and Puppe (arXiv:0707.1599 [math.AT]) who refer for a proof to an email of the author to Kreck. A more polished and public proof seems desirable. In [KT], section 6, a Pin^- structure is constructed on a surface F dual to w_2 in an oriented 4-manifold M^4. Theorem 2.1 says that q vanishes on the Poincare dual to the image of H^1(M^4;Z/2Z) in H^1(F;Z/2Z).
Chessboard complexes and their relatives have been an important recurring theme of topological combinatorics. Closely related ''cycle-free chessboard complexes'' have been recently introduced by Ault and Fiedorowicz in [S. Ault, Z. Fiedorowicz, Symmetric homology of algebras. arXiv:0708.1575v54 [math.AT] 5 Nov 2007; Z. Fiedorowicz, Question about a simplicial complex, Algebraic Topology Discussion List (maintained by Don Davis) http://www.lehigh.edu/~dmd1/zf93] as a tool for computing symmetric analogues of the cyclic homology of algebras. We study connectivity properties of these complexes and prove a result that confirms a strengthened conjecture from [S. Ault, Z. Fiedorowicz, Symmetric homology of algebras. arXiv:0708.1575v54 [math.AT] 5 Nov 2007].
Abstract The purpose of this article is to record the center of the Lie algebra obtained from the descending central series of Artin's pure braid group, a Lie algebra analyzed in work of Kohno [T. Kohno, Linear representations of braid groups and classical Yang–Baxter equations, in: Contemp. Math., vol. 78, 1988, pp. 339–363; T. Kohno, Vassiliev invariants and the de Rham complex on the space of knots, in: Symplectic Geometry and Quantization, in: Contemp. Math., vol. 179, Amer. Math. Soc., Providence, RI, 1994, pp. 123–138; T. Kohno, Serie de Poincare–Koszul associee aux groupes de tresses pures, Invent. Math. 82 (1985) 57–75], and Falk and Randell [M. Falk, R. Randell, The lower central series of a fiber-type arrangement, Invent. Math. 82 (1985) 77–88]. The structure of this center gives a Lie algebraic criterion for testing whether a homomorphism out of the classical pure braid group is faithful which is analogous to a criterion used to test whether certain morphisms out of free groups are faithful [F.R. Cohen, J. Wu, On braid groups, free groups, and the loop space of the 2-sphere, in: Algebraic Topology: Categorical Decomposition Techniques, in: Progr. Math., vol. 215, Birkhauser, Basel, 2003; Braid groups, free groups, and the loop space of the 2-sphere, math.AT/0409307 ]. However, it is as unclear whether this criterion for faithfulness can be applied to any open cases concerning representations of P n such as the Gassner representation.
We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. The main tools are polar curves and the affine Lefschetz theory developped by H. Hamm and A. N\'emethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain an independant proof for the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result).
Globular CW-complexes and flows are both geometric models of concurrent processes which allow to model in a precise way the notion of dihomotopy. Dihomotopy is an equivalence relation which preserves computer-scientific properties like the presence or not of deadlock. One constructs an embedding from globular CW-complexes to flows and one proves that two globular CW-complexes are dihomotopic if and only if the corresponding flows are dihomotopic. This note is the first one presenting some of the results of math.AT/0201252.
This paper is an introduction to the use of the cobordism of chain complexes with Poincar\'e duality in surgery theory. It is a companion to the author's paper "An introduction to algebraic surgery" math.AT/0008071 (to appear in Volume 2 of Surveys in Surgery Theory, Ann. of Maths. Studies, Princeton, 2001) which is an introduction to algebraic surgery using forms and formations.
We use the Blanchfield-Duval form to define complete invariants for the cobordism group C_{2q-1}(F_\mu) of (2q-1)-dimensional \mu-component boundary links (for q\geq2). The author solved the same problem in math.AT/0110249 via Seifert forms. Although Seifert forms are convenient in explicit computations, the Blanchfield-Duval form is more intrinsic and appears naturally in homology surgery theory. The free cover of the complement of a link is constructed by pasting together infinitely many copies of the complement of a \mu-component Seifert surface. We prove that the algebraic analogue of this construction, a functor denoted B, identifies the author's earlier invariants with those defined here. We show that B is equivalent to a universal localization of categories and describe the structure of the modules sent to zero. Taking coefficients in a semi-simple Artinian ring, we deduce that the Witt group of Seifert forms is isomorphic to the Witt group of Blanchfield-Duval forms.
This is a continuation of the authors' previous work [math.AT/9910001] on classification of equivariant complex vector bundles over a circle. In this paper we classify equivariant real vector bundles over a circle with a compact Lie group action, by characterizing the fiber representations of them, and by using the result of the complex case. We also treat the triviality of them. The basic phenomenon is similar to the complex case but more complicated here.
This paper has been withdrawn by the author. The content of the previous versions is now covered by the more recent papers - math.DG/0610252 (concerning the Lie group structuren on the gauge groups) - math.DG/0612522 (concerning the weak homotopy equivalence) - math.AT/0511404 (concerning the homotopy groups of gauge groups)