Searcharxiv⌕ Search

SEARCH · Searcharxiv

Results for “math.AT”

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 37 records · Page 2Linked to original sources

Arrangements, Milnor Fibers and Polar Curves

We describe a new relation between the topology of hyperplane arrangements, Milnor fibers and global polar curves, via the affine Lefschetz theory developped by A. Némethi. In particular, we improve some results due to Orlik and Terao (see Math. Ann. 301(1995)) and complete/clarify a proof by Randell concerning the minimality of hyperplane arrangements (see math.AT/0011101).

math.AG↗

Hypersurface complements, Milnor fibers and minimality of arrangements

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émethi. 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).

math.AT↗

Supplement to the paper "Floating bundles and their applications"

This paper is the supplement to the section 2 of the paper "Floating bundles and their applications" (math.AT/0102054). Below we construct the denumerable set of extensions of the formal group of geometric cobordisms $F(x\otimes 1,1\otimes x)$ by the Hopf algebra $H=Ω_U^*(Gr).$

math.AT↗

Homotopy Diagrams of Algebras

In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant operads and on the principle that algebras over cofibrant operads are homotopy invariant. In our approach, algebraic models for colored operads describing diagrams of homomorphisms played an important role. The aim of this paper is to give an explicit description of these models. A possible application is an appropriate formulation of the `ideal' homological perturbation lemma for chain complexes with algebraic structures. Our results also provide a conceptual approach to `homotopies through homomorphism' for strongly homotopy algebras. We also argue that strongly homotopy algebras form a honest (not only weak Kan) category. The paper is a continuation of our program to translate the famous book "M. Boardman, R. Vogt: Homotopy Invariant Algebraic Structures on Topological Spaces" to algebra.

math.AT↗

Supplement 2 to the paper "Floating bundles and their applications"

This paper is the supplement to the section 2 of the paper "Floating bundles and their applications" (math.AT/0102054). Below we study some properties of category, connected with cobordism rings of FBSP. In particular, we shall show that it is the tensor category.

math.AT↗

The Auslander-Reiten quiver of a Poincare duality space

In a previous paper, math.AT/0304079, Auslander-Reiten triangles and quivers were introduced into algebraic topology. This paper shows that over a Poincare duality space, each component of the Auslander-Reiten quiver is isomorphic to ZA_{\infty}.

math.AT↗

The rack space

The main result of this paper is a new classification theorem for links (smooth embeddings in codimension 2). The classifying space is the rack space (defined in [Trunks and classifying spaces, Applied Categorical Structures, 3 (1995) 321--356]) and the classifying bundle is the first James bundle (defined in "James bundles" math.AT/0301354). We investigate the algebraic topology of this classifying space and report on calculations given elsewhere. Apart from defining many new knot and link invariants (including generalised James--Hopf invariants), the classification theorem has some unexpected applications. We give a combinatorial interpretation for π_2 of a complex which can be used for calculations and some new interpretations of the higher homotopy groups of the 3--sphere. We also give a cobordism classification of virtual links.

math.GT↗

Generalized Arf invariants in algebraic L-theory

The difference between the quadratic L-groups L_*(A) and the symmetric L-groups L^*(A) of a ring with involution A is detected by generalized Arf invariants. The special case A=Z[x] gives a complete set of invariants for the Cappell UNil-groups UNil_*(Z;Z,Z) for the infinite dihedral group D_{\infty}=Z_2*Z_2, extending the results of Connolly and Ranicki (math.AT/0304016) and Connolly and Davis.

math.AT↗

PROPped up graph cohomology

We consider graph complexes with a flow and compute their cohomology. More specifically, we prove that for a PROP generated by a Koszul dioperad, the corresponding graph complex gives a minimal model of the PROP. We also give another proof of the existence of a minimal model of the bialgebra PROP from math.AT/0209007. These results are based on the useful notion of a 1/2 PROP introduced by Kontsevich in an e-mail message to the first author.

math.QA↗

Invariants of Boundary Link Cobordism II. The Blanchfield-Duval Form

We use the Blanchfield-Duval form to define complete invariants for the cobordism group C_{2q-1}(F_μ) of (2q-1)-dimensional μ-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 μ-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.

math.AT↗

K-theory of torus manifolds

The {\it torus manifolds} have been defined and studied by M. Masuda and T. Panov (arXiv:math.AT/0306100) who in particular describe its cohomology ring structure. In this note we shall describe the topological $K$-ring of a class of torus manifolds (those for which the orbit space under the action of the compact torus is a {\it homology polytope} whose {\it nerve} is a {shellable} simplicial complex) in terms of generators and relations. Since these torus manifolds include the class of quasi-toric manifolds this is a generalisation of earlier results due to the author and P. Sankaran (arXiv: math.AG/0504107).

math.AT↗

Rings of definition of smooth and proper dg-algebras

This is a companion paper to math.AT/0609762. For a filtered colimit of commutative rings k=colim k_i, we prove that the homotopy theory of smooth and proper dg-algebras over k is the colimit of the homotopy theories of smooth and proper dg-algebras over k_i. As a consequence, we deduce that any smooth and proper dg-algebra can be defined over a commutative Z-algebra of finite type.

math.AT↗

A canonical enriched Adams-Hilton model for simplicial sets

For any 1-reduced simplicial set $K$ we define a canonical, coassociative coproduct on $\Om C(K)$, the cobar construction applied to the normalized, integral chains on $K$, such that any canonical quasi-isomorphism of chain algebras from $\Om C(K)$ to the normalized, integral chains on $GK$, the loop group of $K$, is a coalgebra map up to strong homotopy. Our proof relies on the operadic description of the category of chain coalgebras and of strongly homotopy coalgebra maps given in math.AT/0505559.

math.AT↗

Concurrent Process up to Homotopy (I)

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.

math.AT↗

Concurrent Process up to Homotopy (II)

One proves that the category of globular CW-complexes up to dihomotopy is equivalent to the category of flows up to weak dihomotopy. This theorem generalizes the classical theorem which states that the category of CW-complexes up to homotopy is equivalent to the category of topological spaces up to weak homotopy. This note is the second one presenting some of the results of math.AT/0201252.

math.AT↗

Integrating L-infinity algebras

Given an n-term L-infinity algebra L, we construct a Kan simplicial manifold which we think of as the 'Lie n-group' integrating L. This extends work of Getzler math.AT/0404003 . In the case of an ordinary Lie algebra, our construction gives the simplicial classifying space of the corresponding simply connect Lie group. In the case of the string Lie 2-algebra of Baez and Crans, this recovers the model of the string group introduced in math.QA/0504123 .

math.AT↗