-
Topological Gysin Coherence for Algebraic Characteristic Classes of Singular Spaces
Authors:
Markus Banagl,
Jörg Schürmann,
Dominik J. Wrazidlo
Abstract:
Brasselet, the second author and Yokura introduced Hodge-theoretic Hirzebruch-type characteristic classes $IT_{1, \ast}$, and conjectured that they are equal to the Goresky-MacPherson $L$-classes for pure-dimensional compact complex algebraic varieties. In this paper, we show that the framework of Gysin coherent characteristic classes of singular complex algebraic varieties developed by the first…
▽ More
Brasselet, the second author and Yokura introduced Hodge-theoretic Hirzebruch-type characteristic classes $IT_{1, \ast}$, and conjectured that they are equal to the Goresky-MacPherson $L$-classes for pure-dimensional compact complex algebraic varieties. In this paper, we show that the framework of Gysin coherent characteristic classes of singular complex algebraic varieties developed by the first and third author in previous work applies to the characteristic classes $IT_{1, \ast}$. In doing so, we prove the ambient version of the above conjecture for a certain class of subvarieties in a Grassmannian, including all Schubert subvarieties. Since the homology of Schubert subvarieties injects into the homology of the ambient Grassmannian, this implies the conjecture for all Schubert varieties in a Grassmannian. We also study other algebraic characteristic classes such as Chern classes and Todd classes (or their variants for the intersection cohomology sheaves) within the framework of Gysin coherent characteristic classes.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
The Uniqueness Theorem for Gysin Coherent Characteristic Classes of Singular Spaces
Authors:
Markus Banagl,
Dominik Wrazidlo
Abstract:
We establish a general computational scheme designed for a systematic computation of characteristic classes of singular complex algebraic varieties that satisfy a Gysin axiom in a transverse setup. This scheme is explicitly geometric and of a recursive nature terminating on genera of explicit characteristic subvarieties that we construct. It enables us e.g. to apply intersection theory of Schubert…
▽ More
We establish a general computational scheme designed for a systematic computation of characteristic classes of singular complex algebraic varieties that satisfy a Gysin axiom in a transverse setup. This scheme is explicitly geometric and of a recursive nature terminating on genera of explicit characteristic subvarieties that we construct. It enables us e.g. to apply intersection theory of Schubert varieties to obtain a uniqueness result for such characteristic classes in the homology of an ambient Grassmannian. Our framework applies in particular to the Goresky-MacPherson L-class by virtue of the Gysin restriction formula obtained by the first author in previous work. We illustrate our approach for a systematic computation of the L-class in terms of normally nonsingular expansions in examples of singular Schubert varieties that do not satisfy Poincaré duality over the rationals.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
On special generic maps of rational homology spheres into Euclidean spaces
Authors:
Dominik Wrazidlo
Abstract:
Special generic maps are smooth maps between smooth manifolds with only definite fold points as their singularities. The problem of whether a closed $n$-manifold admits a special generic map into Euclidean $p$-space for $1 \leq p \leq n$ was studied by several authors including Burlet, de Rham, Porto, Furuya, Èliašberg, Saeki, and Sakuma. In this paper, we study rational homology $n$-spheres that…
▽ More
Special generic maps are smooth maps between smooth manifolds with only definite fold points as their singularities. The problem of whether a closed $n$-manifold admits a special generic map into Euclidean $p$-space for $1 \leq p \leq n$ was studied by several authors including Burlet, de Rham, Porto, Furuya, Èliašberg, Saeki, and Sakuma. In this paper, we study rational homology $n$-spheres that admit special generic maps into $\mathbb{R}^{p}$ for $p<n$. We use the technique of Stein factorization to derive a necessary homological condition for the existence of such maps for odd $n$. We examine our condition for concrete rational homology spheres including lens spaces and total spaces of linear $S^{3}$-bundles over $S^{4}$, and obtain new results on the (non-)existence of special generic maps.
△ Less
Submitted 13 September, 2020;
originally announced September 2020.
-
On the rational homotopy type of intersection spaces
Authors:
Dominik Wrazidlo
Abstract:
Banagl's method of intersection spaces allows to modify certain types of stratified pseudomanifolds near the singular set in such a way that the rational Betti numbers of the modified spaces satisfy generalized Poincaré duality in analogy with Goresky-MacPherson's intersection homology. In the case of one isolated singularity, we show that the duality isomorphism comes from a nondegenerate interse…
▽ More
Banagl's method of intersection spaces allows to modify certain types of stratified pseudomanifolds near the singular set in such a way that the rational Betti numbers of the modified spaces satisfy generalized Poincaré duality in analogy with Goresky-MacPherson's intersection homology. In the case of one isolated singularity, we show that the duality isomorphism comes from a nondegenerate intersection pairing which depends on the choice of a chain representative of the fundamental class of the regular stratum. On the technical side, we use piecewise linear polynomial differential forms due to Sullivan to define a suitable commutative cochain algebra model for intersection spaces. Our construction parallels Banagl's commutative cochain algebra of smooth differential forms modeling intersection space cohomology, and we show that both algebras are weakly equivalent.
△ Less
Submitted 13 April, 2020;
originally announced April 2020.
-
Cusp cobordism group of Morse functions
Authors:
Dominik Wrazidlo
Abstract:
By a Morse function on a compact manifold with boundary we mean a real-valued function without critical points near the boundary such that its critical points as well as the critical points of its restriction to the boundary are all non-degenerate. For such Morse functions, Saeki and Yamamoto have previously defined a certain notion of cusp cobordism, and computed the unoriented cusp cobordism gro…
▽ More
By a Morse function on a compact manifold with boundary we mean a real-valued function without critical points near the boundary such that its critical points as well as the critical points of its restriction to the boundary are all non-degenerate. For such Morse functions, Saeki and Yamamoto have previously defined a certain notion of cusp cobordism, and computed the unoriented cusp cobordism group of Morse functions on surfaces. In this paper, we compute unoriented and oriented cusp cobordism groups of Morse functions on manifolds of any dimension by employing Levine's cusp elimination technique as well as the complementary process of creating pairs of cusps along fold lines. We show that both groups are cyclic of order two in even dimensions, and cyclic of infinite order in odd dimensions. For Morse functions on surfaces our result yields an explicit description of Saeki-Yamamoto's cobordism invariant which they constructed by means of the cohomology of the universal complex of singular fibers.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
A fundamental class for intersection spaces of depth one Witt spaces
Authors:
Dominik Wrazidlo
Abstract:
By a theorem of Banagl-Chriestenson, intersection spaces of depth one pseudomanifolds exhibit generalized Poincaré duality of Betti numbers, provided that certain characteristic classes of the link bundles vanish. In this paper, we show that the middle-perversity intersection space of a depth one Witt space can be completed to a rational Poincaré duality space by means of a single cell attachment,…
▽ More
By a theorem of Banagl-Chriestenson, intersection spaces of depth one pseudomanifolds exhibit generalized Poincaré duality of Betti numbers, provided that certain characteristic classes of the link bundles vanish. In this paper, we show that the middle-perversity intersection space of a depth one Witt space can be completed to a rational Poincaré duality space by means of a single cell attachment, provided that a certain rational Hurewicz homomorphism associated to the link bundles is surjective. Our approach continues previous work of Klimczak covering the case of isolated singularities with simply connected links. For every singular stratum, we show that our condition on the rational Hurewicz homomorphism implies that the Banagl-Chriestenson characteristic classes of the link bundle vanish. Moreover, using Sullivan minimal models, we show that the converse implication holds at least in the case that twice the dimension of the singular stratum is bounded by the dimension of the link. As an application, we compare the signature of our rational Poincaré duality space to the Goresky-MacPherson intersection homology signature of the given Witt space. We discuss our results for a class of Witt spaces having circles as their singular strata.
△ Less
Submitted 7 April, 2019;
originally announced April 2019.
-
The chromatic Brauer category and its linear representations
Authors:
Felipe Müller,
Dominik Wrazidlo
Abstract:
The Brauer category is a symmetric strict monoidal category that arises as a categorification of the Brauer algebras in the context of Banagl's framework of positive topological field theories (TFTs). We introduce the chromatic Brauer category as an enrichment of the Brauer category in which the morphisms are component-wise labeled. Linear representations of the (chromatic) Brauer category are sym…
▽ More
The Brauer category is a symmetric strict monoidal category that arises as a categorification of the Brauer algebras in the context of Banagl's framework of positive topological field theories (TFTs). We introduce the chromatic Brauer category as an enrichment of the Brauer category in which the morphisms are component-wise labeled. Linear representations of the (chromatic) Brauer category are symmetric strict monoidal functors into the category of real vector spaces and linear maps equipped with the Schauenburg tensor product. We study representation theory of the (chromatic) Brauer category, and classify all its faithful linear representations. As an application, we use indices of fold lines to construct a refinement of Banagl's concrete positive TFT based on fold maps into the plane.
△ Less
Submitted 8 October, 2020; v1 submitted 14 February, 2019;
originally announced February 2019.
-
Singular Patterns of Generic Maps of Surfaces with Boundary into the Plane
Authors:
Dominik Wrazidlo
Abstract:
For generic maps from compact surfaces with boundary into the plane we develop an explicit algorithm for minimizing both the number of cusps and the number of components of the singular locus. More precisely, we minimize among maps with fixed boundary conditions and prescribed singular pattern, by which we mean the combinatorial information of how the 1-dimensional singular locus meets the boundar…
▽ More
For generic maps from compact surfaces with boundary into the plane we develop an explicit algorithm for minimizing both the number of cusps and the number of components of the singular locus. More precisely, we minimize among maps with fixed boundary conditions and prescribed singular pattern, by which we mean the combinatorial information of how the 1-dimensional singular locus meets the boundary. Each step of our algorithm modifies the given map only locally by either creating or eliminating a pair of cusps. We show that the number of cusps is an invariant modulo 2 and can be reduced to at most one, and we compute the minimal number of components of the singular locus in terms of the prescribed data. Applications include a discussion of pseudo-immersions as well as the computation of state sums in Banagl's positive topological field theory.
△ Less
Submitted 11 February, 2019;
originally announced February 2019.
-
Bordism of constrained Morse functions
Authors:
Dominik Wrazidlo
Abstract:
We call a Morse function $f$ on a closed manifold $k$-constrained if neither $f$ nor $-f$ has critical points of indefinite Morse index $< k$. In this paper we study bordism groups of $k$-constrained Morse functions, and thus interpolate between the case $k = 1$ of bordism groups of Morse functions (computed by Ikegami) and the case $k \gg 1$ of bordism groups of special generic functions (compute…
▽ More
We call a Morse function $f$ on a closed manifold $k$-constrained if neither $f$ nor $-f$ has critical points of indefinite Morse index $< k$. In this paper we study bordism groups of $k$-constrained Morse functions, and thus interpolate between the case $k = 1$ of bordism groups of Morse functions (computed by Ikegami) and the case $k \gg 1$ of bordism groups of special generic functions (computed by Saeki). We employ Levine's elimination of cusps, Stein factorization, the two-index theorem of Hatcher-Wagoner, and a handle extension theorem for fold maps due to Gay-Kirby to show that the notion constrained bordism is strongly related to so-called connective bordism. As an application of our results we show that the oriented bordism group of constrained Morse functions detects exotic Kervaire spheres in certain dimensions.
△ Less
Submitted 29 March, 2018;
originally announced March 2018.
-
Standard Special Generic Maps of Homotopy Spheres into Euclidean Spaces
Authors:
Dominik Wrazidlo
Abstract:
A so-called special generic map is by definition a map of smooth manifolds all of whose singularities are definite fold points. It is in general an open problem posed by Saeki in 1993 to determine the set of integers $p$ for which a given homotopy sphere admits a special generic map into $\mathbb{R}^{p}$.
By means of the technique of Stein factorization we introduce and study certain special gen…
▽ More
A so-called special generic map is by definition a map of smooth manifolds all of whose singularities are definite fold points. It is in general an open problem posed by Saeki in 1993 to determine the set of integers $p$ for which a given homotopy sphere admits a special generic map into $\mathbb{R}^{p}$.
By means of the technique of Stein factorization we introduce and study certain special generic maps of homotopy spheres into Euclidean spaces called standard. Modifying a construction due to Weiss, we show that standard special generic maps give naturally rise to a filtration of the group of homotopy spheres by subgroups that is strongly related to the Gromoll filtration. Finally, we apply our result to concrete homotopy spheres, which particularly answers Saeki's problem for the Milnor $7$-sphere.
△ Less
Submitted 3 August, 2017; v1 submitted 26 July, 2017;
originally announced July 2017.
