Mathematics - Algebraic Topology Publications (50)


Mathematics - Algebraic Topology Publications

These are expanded lecture notes from lectures given at the Workshop on higher structures at MATRIX Melbourne. These notes give an introduction to Feynman categories and their applications. Feynman categories give a universal categorical way to encode operations and relations. Read More

For a Riemannian foliation F on a compact manifold M , J. A. \'Alvarez L\'opez proved that the geometrical tautness of F , that is, the existence of a Riemannian metric making all the leaves minimal submanifolds of M, can be characterized by the vanishing of a basic cohomology class (the \'Alvarez class). Read More

We associate with an infinite cyclic cover of a punctured neighborhood of a simple normal crossing divisor on a complex quasi-projective manifold (assuming certain finiteness conditions are satisfied) a rational function in $K_0({\rm Var}^{\hat \mu}_{\mathbb{C}})[\mathbb{L}^{-1}]$, which we call {\it motivic infinite cyclic zeta function}, and show its birational invariance. Our construction is a natural extension of the notion of {\it motivic infinite cyclic covers} introduced by the authors, and as such, it generalizes the Denef-Loeser motivic Milnor zeta function of a complex hypersurface singularity germ. Read More

In this paper we state a problem on rigidity of powers and give a solution of this problem for m=2. Our statement of this problem is elementary enough and does not require any knowledge of algebraic topology. Actually, this problem is related to unitary circle actions, rigid Hirzebruch genera and Kosniowski's conjecture. Read More

This paper is devoted to study multiplicity and regularity as well as to present some classifications of complex analytic sets. We present an equivalence for complex analytical sets, namely blow-spherical equivalence and we receive several applications with this new approach. For example, we reduce to homogeneous complex algebraic sets a version of Zariski's multiplicity conjecture in the case of blow-spherical homeomorphism, we give some partial answers to the Zariski's multiplicity conjecture, we show that a blow-spherical regular complex analytic set is smooth and we give a complete classification of complex analytic curves. Read More

We construct a virtual quandle for links in lens spaces $L(p,q)$, with $q=1$. This invariant has two valuable advantages over an ordinary fundamental quandle for links in lens spaces: the virtual quandle is an essential invariant and the presentation of the virtual quandle can be easily written from the band diagram of a link. Read More

We study the germs at the origin of $G$-representation varieties and the degree 1 cohomology jump loci of fundamental groups of quasi-projective manifolds. Using the Morgan-Dupont model associated to a convenient compactification of such a manifold, we relate these germs to those of their infinitesimal counterparts, defined in terms of flat connections on those models. When the linear algebraic group $G$ is either $\textrm{SL}_2(\mathbb{C})$ or its standard Borel subgroup and the depth of the jump locus is 1, this dictionary works perfectly, allowing us to describe in this way explicit irreducible decompositions for the germs of these embedded jump loci. Read More

We develop a generalization of manifold calculus where the manifold is replaced by a simplicial complex. Read More

Recent progress building on the groundbreaking work of Mabillard and Wagner has shown that there are important differences between the affine and continuous theory for Tverberg-type results. These results aim to describe the intersection pattern of convex hulls of point sets in Euclidean space and continuous relaxations thereof. Here we give additional examples of an affine-continuous divide, but our deductions are almost elementary and do not build on the technical work of Mabillard and Wagner. Read More

We address the problem of finding spaces for which the Farber-Grant symmetric $TC^S(X)$ differs from the Basabe-Gonz\'alez-Rudyak-Tamaki symmetric $TC^\Sigma(X)$. It is known that, for a real projective space $P^m$, $TC^S(P^m)$ agrees with the Euclidean embedding dimension of $P^m$, a number shown in the 1970's to be closely (but not sharply) related to the concept of symmetric axial maps. We show that, in a precise sense, $TC^\Sigma(P^m)$ can be characterized in terms of symmetric axial maps. Read More

Given an injective amalgam at the level of fundamental groups and a specific 3-manifold, is there a corresponding geometric-topological decomposition of a given 4-manifold, in a stable sense? We find an algebraic-topological splitting criterion in terms of the orientation classes and universal covers. Also, we equivariantly generalize the Lickorish--Wallace theorem to regular covers. Read More

Computational topology is an area that revisits topological problems from an algorithmic point of view, and develops topological tools for improved algorithms. We survey results in computational topology that are concerned with graphs drawn on surfaces. Typical questions include representing surfaces and graphs embedded on them computationally, deciding whether a graph embeds on a surface, solving computational problems related to homotopy, optimizing curves and graphs on surfaces, and solving standard graph algorithm problems more efficiently in the case of surface-embedded graphs. Read More

To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving the pieces, and gluing back the partial resolutions. Our aim is to give a homotopy theoretical interpretation of this procedure, which may be extended to a relative setting. Read More

The aim of this paper is to present a method for computation of persistent homology that performs well at large filtration values. To this end we introduce the concept of filtered covers. We show that the persistent homology of a bounded metric space obtained from the \v{C}ech complex is the persistent homology of the filtered nerve of the filtered \v{C}ech cover. Read More

We will show that every planar Peano continuum whose fundamental group is isomorphic to the fundamental group of a one-dimensional Peano continuum is homotopy equivalent to a one-dimensional Peano continuum. This answers a question asked by Cannon and Conner and illustrates the rigidity of the fundamental group for planar continua. Read More

We prove the Lefschetz duality for intersection (co)homology in the framework of $\partial$-pesudomanifolds. We work with general perversities and without restriction on the coefficient ring. Read More

The Morava stabilizer groups play a dominating role in chromatic stable ho-motopy theory. In fact, for suitable spectra X, for example all finite spectra, thechromatic homotopy type of X at chromatic level n \textgreater{} 0 and a given prime p islargely controlled by the continuous cohomology of a certain p-adic Lie group Gn,in stable homotopy theory known under the name of Morava stabilizer group oflevel n at p, with coefficients in the corresponding Morava module (En)$\star$X. Read More

Let $\Gamma$ = SL 3 (Z[ 1 2 , i]), let X be any mod-2 acyclic $\Gamma$-CW complex on which $\Gamma$ acts with finite stabilizers and let Xs be the 2-singular locus of X. We calculate the mod-2 cohomology of the Borel constructon of Xs with respect to the action of $\Gamma$. This cohomology coincides with the mod-2 cohomology of $\Gamma$ in cohomological degrees bigger than 8 and the result is compatible with a conjecture of Quillen which predicts the strucure of the cohomology ring H * ($\Gamma$; Z/2). Read More

In this paper we will consider the 2-fold symmetric complex hyperbolic triangle groups generated by three complex reflections through angle 2pi/p with p no smaller than 2. We will mainly concentrate on the groups where some elements are elliptic of finite order. Then we will classify all such groups which are discrete to be only 4 types. Read More

In this paper we investigate the problem of the cohomological classification of "Quaternionic" vector bundles in low-dimension ($d\leqslant 3$). We show that there exists a characteristic classes $\kappa$, called the FKMM-invariant, which takes value in the relative equivariant Borel cohomology and completely classifies "Quaternionic" vector bundles in low-dimension. The main subject of the paper concerns a discussion about the surjectivity of $\kappa$. Read More

In this note we compute several invariants (e.g. algebraic K-theory, cyclic homology and topological Hochschild homology) of the noncommutative projective schemes associated to Koszul algebras of finite global dimension. Read More

In this paper we establish a formula for computing $d_2(sq^i(x))$ where $x$ is a permanent cycle in $C_2$-equivariant Adams spectral sequence. This requires establishing that the $C_2$-equivariant Adams tower has an $\Hi$-structure as well as determining the attaching maps for $C_2$-equivariant projective spaces. At the end some sample computations are given. Read More

Let $G$ be a finite simple graph. The line graph $L(G)$ represents the adjacencies between edges of $G$. We define first the line simplicial complex $\Delta_L(G)$ of $G$ containing Gallai and anti-Gallai simplicial complexes $\Delta_{\Gamma}(G)$ and $\Delta_{\Gamma'}(G)$ (respectively) as spanning subcomplexes. Read More

We investigate dynamical analogues of the $L^2$-Betti numbers for modules over integral group ring of a discrete sofic group. In particular, we use them to introduce some invariants for algebraic actions. As an application, we give a dynamical characterization of L\"{u}ck's dimension-flatness. Read More

We prove that for any complete differential graded Lie algebra (cDGL) $L$, its geometrical realization $\langle L\rangle_\bullet=\text{Hom}_{\text{cDGL}}(\mathfrak{L}_\bullet,L)$ via the cosimplicial free cDGL $\mathfrak{L}_\bullet=\widehat{\mathbb{L}}(s^{-1}\Delta^\bullet)$ is homotopy equivalent to the classical Hinich realization $\text{MC}(\mathscr{A}_\bullet\otimes L)$. For it, we need to detect certain cDGL morphisms as Maurer-Cartan elements of corresponding $L_\infty$-algebra structures. Read More

In the preceding paper, we have constructed a compactly generated model structure on the category $\dcal$ of diffeological spaces together with the adjoint pairs $|\ |_\dcal : \scal \rightleftarrows \dcal : S^\dcal$ and $\tilde{\cdot} : \dcal \rightleftarrows \ccal^0 : R$, where $\scal$ and $\ccal^0$ denote the category of simplicial sets and that of arc-generated spaces, respectively. In this paper, we show that $(|\ |_\dcal, S^\dcal)$ and $(\tilde{\cdot}, R)$ are pairs of Quillen equivalences. Since our approach developed in the preceding paper applies to the category $\ccal h$ of Chen spaces as well, $\ccal h$ is also a compactly generated model category. Read More

These notes are defining the notion of centric linking system for a locally finite group If a locally finite group $G$ has countable Sylow $p$-subgroups, we prove that, with a countable condition on the set of intersections, the $p$-completion of its classifying space is homotopy equivalent to the $p$-completion of the nerve of its centric linking system. Read More

The aim of these notes, originally intended as an appendix to a book on the foundations of equivariant cohomology, is to set up the formalism of the $G$-equivariant Poincar\'e duality for oriented $G$-manifolds, for any connected compact Lie group $G$, following the work of J.-L. Brylinski leading to the spectral sequence $$\mathop{\rm Extgr}\nolimits_{H_G}(H_{G,\rm c} (M),H_G)\Rightarrow H_{G}(M)[d_{M}]\,. Read More

Let $f,g\in\mathbb{C}\{x,y\}$ be germs of functions defining plane curve singularities without common components in $(\mathbb{C}^2,0)$ and let $\Phi(x,y,z) = f(x,y) + zg(x,y)$. We give an explicit algorithm producing a plumbing graph for the boundary of the Milnor fiber of $\Phi$ in terms of a common resolution for $f$ and $g$. Read More

We study criteria for freeness and for the existence of a vanishing line for modules over certain sub-Hopf algebras of the motivic Steenrod algebra over $\mathrm{Spec}(\mathbb{C})$ at the prime 2. These turn out to be determined by the vanishing of certain Margolis homology groups in the quotient Hopf algebra $\mathcal{A}/\tau$. Read More

In this paper, we compute the second mod $2$ homology of an arbitrary Artin group, without assuming the $K(\pi,1)$ conjecture. The key ingredients are (A) Hopf's formula for the second integral homology of a group and (B) Howlett's result on the second integral homology of Coxeter groups. Read More

In this paper, we study h-fibrations, a weak homotopical version of fibrations which have weak covering homotopy property. We present some homotopical analogue of the notions related to fibrations and characterize h-fibrations using them. Then we construct some new categories by h-fibrations and deduce some results in these categories such as the existence of products and coproducts. Read More

Recently, Tsai-Tseng-Yau constructed new invariants of symplectic manifolds: a sequence of Aoo-algebras built of differential forms on the symplectic manifold. We show that these symplectic Aoo-algebras have a simple topological interpretation. Namely, when the cohomology class of the symplectic form is integral, these Aoo-algebras are equivalent to the standard de Rham differential graded algebra on certain odd-dimensional sphere bundles over the symplectic manifold. Read More

The set of Bousfield classes has some important subsets such as the distributive lattice $\mathbf{DL}$ of all classes $\langle E\rangle$ which are smash idempotent and the complete Boolean algebra $\mathbf{cBA}$ of closed classes. We provide examples of spectra that are in $\mathbf{DL}$, but not in $\mathbf{cBA}$; in particular, for every prime $p$, the Bousfield class of the Eilenberg-MacLane spectrum $\langle H\mathbb{F}_p\rangle\in\mathbf{DL}{\setminus}\mathbf{cBA}$. Read More

We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need to carefully examine the monoidal properties of the well-known (reduced) simplicial bar construction $B_\bullet(1,A,1)$. We define a geometric realization $|-|$ with respect to the image under $F$ of the canonical cosimplicial simplicial set. Read More

In the mid 1980s, Steve Mitchell and Bill Richter produced a filtration of the Stiefel manifolds $O(V; W)$ and $U(V; W)$ of orthogonal and unitary, respectively, maps $V \to V \oplus W$ stably split as a wedge sum of Thom spaces defined over Grassmanians. Additionally, they produced a similar filtration for loops on $SU(V)$, with a similar splitting. A few years later, Michael Crabb made explicit the equivariance of the Stiefel manifold splittings and conjectured that the splitting of the loop space was equivariant as well. Read More

We determine the ring structure of the loop homology of some global quotient orbifolds. We can compute by our theorem the loop homology ring with suitable coefficients of the global quotient orbifolds of the form $[M/G]$ for $M$ being some kinds of homogeneous manifolds, and $G$ being a finte subgroup of a path connected topological group $\mathcal{G}$ acting on $M$. It is shown that these homology rings split into the tensor product of the loop homology ring of the manifold $\mathbb{H}_{*}(LM)$ and that of the classifying space of the finite group,which coincides with the center of the group ring $Z(k[G])$. Read More

We construct a flagged $\infty$-category ${\sf Corr}$ of $\infty$-categories and bimodules among them. We prove that ${\sf Corr}$ classifies exponentiable fibrations. This representability of exponentiable fibrations extends that established by Lurie of both coCartesian fibrations and Cartesian fibrations, as they are classified by the $\infty$-category of $\infty$-categories and its opposite, respectively. Read More

The aim of this work is to give an algebraic weak version of the Atiyah-Singer index theorem. We compute then a few small examples with the elliptic differential operator of order $\leq 1$ coming from the Atiyah class in $\mathrm{Ext}^1_{\mathcal{O}_X}(\mathcal{O}_X,\Omega^1_{X/k})$, where $X \longrightarrow \mathrm{Spec}(k)$ is a smooth projective scheme over a perfect field $k$. Read More

The goal of the present paper is to introduce a smaller, but equivalent version of the Deligne-Hinich-Getzler $\infty$-groupoid associated to a homotopy Lie algebra. In the case of differential graded Lie algebras, we represent it by a universal cosimplicial object. Read More

In this note we recall the construction of two chain level lifts of the gravity operad, one due to Getzler-Kapranov and one due to Westerland. We prove that these two operads are formal and that they indeed have isomorphic homology. Read More

We prove the strong Novikov conjecture for groups having polynomially bounded higher-order combinatorial functions. This includes all automatic groups. Read More

We give a concise introduction to the Farrell-Jones Conjecture in algebraic $K$-theory and to some of its applications. We survey the current status of the conjecture, and we illustrate the two main tools that are used to attack it: controlled algebra and trace methods. Read More

In order to solve two problems in deformation theory, we establish natural structures of homotopy Lie algebras and of homotopy associative algebras on tensor products of algebras of different types and on mapping spaces between coalgebras and algebras. When considering tensor products, such algebraic structures extend the Lie algebra or associative algebra structures that can be obtained by means of the Manin products of operads. These new homotopy algebra structures are proven by to compatible with the concepts of homotopy theory: $\infty$-morphisms and the Homotopy Transfer Theorem. Read More

We give two applications of the exponential Ax-Lindemann Theorem to local systems. One application is to show that for a connected topological space, the existence of a finite model of the real homotopy type implies linearity of the cohomology jump loci around the trivial local system. Another application is the linearity of the cohomology jump loci of rank one local systems on quasi-compact K\"ahler manifolds. Read More

We construct classifying spaces for discrete and compact Lie groups, with the property that they are topological groups and complete metric spaces in a natural way. We sketch a program in view of extending these constructions. Read More

We provide a short proof that the vanishing of $\ell^2$-Betti numbers of unimodular locally compact second countable groups is an invariant of coarse equivalence. Read More

Using a form of descent in the stable category of $\mathcal{A}(2)$-modules, we show that there are no exotic elements in the stable Picard group of $\mathcal{A}(2)$, \textit{i.e.} that the stable Picard group of $\mathcal{A}(2)$ is free on $2$ generators. Read More

A central question in the study of line arrangements in the complex projective plane $\mathbb{CP}^2$ is: when does the combinatorial data of the arrangement determine its topological properties? In the present work, we introduce a topological invariant of complexified real line arrangements, the chamber weight. This invariant is based on the weight counting over the points of the arrangement dual configuration, located in particular chambers of the real projective plane $\mathbb{RP}^2$, dealing only with geometrical properties. Using this dual point of view, we construct several examples of complexified real line arrangements with the same combinatorial data and different embeddings in $\mathbb{CP}^2$ (i. Read More

For A a dg (or A-infinity) algebra and M a module over A, we study the image of the characteristic morphism $\chi_M: HH^*(A, A) \to Ext_A(M, M)$ and its interaction with the higher structure on the Yoneda algebra $Ext_A(M, M)$. To this end, we introduce and study a notion of A-infinity centre for minimal A-infinity algebras, agreeing with the usual centre in the case that there is no higher structure. We show that the image of $\chi_M$ lands in the A-infinity centre of $Ext_A(M, M)$. Read More