Source author record

Markus Banagl

Markus Banagl appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2020arXiv

Stratified Formal Deformations and Intersection Homology of Data Point Clouds

Intersection homology is a topological invariant which detects finer information in a space than ordinary homology. Using ideas from classical simple homotopy theory, we construct local combinatorial transformations on simplicial complexes under which intersection homology remains invariant. In particular, we obtain the notions of stratified formal deformations and stratified spines of a complex, leading to reductions of complexes prior to computation of intersection homology. We implemented the algorithmic execution of such transformations, as well as the calculation of intersection homology, and apply these algorithms to investigate the intersection homology of stratified spines in Vietoris-Rips type complexes associated to point sets sampled near given, possibly singular, spaces.

preprint2019arXiv

Persistent Intersection Homology for the Analysis of Discrete Data

Topological data analysis is becoming increasingly relevant to support the analysis of unstructured data sets. A common assumption in data analysis is that the data set is a sample---not necessarily a uniform one---of some high-dimensional manifold. In such cases, persistent homology can be successfully employed to extract features, remove noise, and compare data sets. The underlying problems in some application domains, however, turn out to represent multiple manifolds with different dimensions. Algebraic topology typically analyzes such problems using intersection homology, an extension of homology that is capable of handling configurations with singularities. In this paper, we describe how the persistent variant of intersection homology can be used to assist data analysis in visualization. We point out potential pitfalls in approximating data sets with singularities and give strategies for resolving them.

preprint2016arXiv

Intersection Spaces, Equivariant Moore Approximation and the Signature

We generalize the first author's construction of intersection spaces to the case of stratified pseudomanifolds of stratification depth 1 with twisted link bundles, assuming that each link possesses an equivariant Moore approximation for a suitable choice of structure group. As a by-product, we find new characteristic classes for fiber bundles admitting such approximations. For trivial bundles and flat bundles whose base has finite fundamental group these classes vanish. For oriented closed pseudomanifolds, we prove that the reduced rational cohomology of the intersection spaces satisfies global Poincaré duality across complementary perversities if the characteristic classes vanish. The signature of the intersection spaces agrees with the Novikov signature of the top stratum. As an application, these methods yield new results about the Goresky-MacPherson intersection homology signature of pseudomanifolds. We discuss several nontrivial examples, such as the case of flat bundles and symplectic toric manifolds.

preprint2015arXiv

High-Dimensional Topological Field Theory, Positivity, and Exotic Smooth Spheres

In previous work, we proposed a general framework of positive topological field theories (TFTs) based on Eilenberg's notion of summation completeness for semirings. In the present paper, we apply this framework in constructing explicitly a concrete positive TFT defined on smooth manifolds of any dimension greater than 1. We prove that this positive TFT detects exotic smooth spheres. We show further that polynomial invariants (subject to boundary conditions) can be extracted from the state sum if the dimension of the cobordisms is at least 3.

preprint2013arXiv

Positive Topological Quantum Field Theories

We propose a new notion of positivity for topological field theories (TFTs), based on S. Eilenberg's concept of completeness for semirings. We show that a complete ground semiring, a system of fields on manifolds and a system of action functionals on these fields determine a positive TFT. The main feature of such a theory is a semiring-valued topologically invariant state sum that satisfies a gluing formula. The abstract framework has been carefully designed to cover a wide range of phenomena. For instance, we derive Polya's counting theory in combinatorics from state sum identities in a suitable positive TFT. Several other concrete examples are discussed, among them Novikov signatures of fiber bundles over spacetimes and arithmetic functions in number theory. In the future, we will employ the framework presented here in constructing a new differential topological invariant that detects exotic smooth structures on spheres.

preprint2013arXiv

Refined intersection homology on non-Witt spaces

We develop a generalization to non-Witt spaces of the intersection homology theory of Goresky-MacPherson. The second author has described the self-dual sheaves compatible with intersection homology, and the other authors have described a generalization of Cheeger's L2 de Rham cohomology. In this paper we extend both of these cohomologies by describing all sheaf complexes in the derived category of constructible sheaves that are compatible with middle perversity intersection cohomology, though not necessarily self-dual. On Thom-Mather stratified spaces this refined intersection cohomology theory coincides with the analytic de Rham theory.

preprint2012arXiv

Intersection spaces, perverse sheaves and type IIB string theory

The method of intersection spaces associates rational Poincaré complexes to singular stratified spaces. For a conifold transition, the resulting cohomology theory yields the correct count of all present massless 3-branes in type IIB string theory, while intersection cohomology yields the correct count of massless 2-branes in type IIA theory. For complex projective hypersurfaces with an isolated singularity, we show that the cohomology of intersection spaces is the hypercohomology of a perverse sheaf, the intersection space complex, on the hypersurface. Moreover, the intersection space complex underlies a mixed Hodge module, so its hypercohomology groups carry canonical mixed Hodge structures. For a large class of singularities, e.g., weighted homogeneous ones, global Poincaré duality is induced by a more refined Verdier self-duality isomorphism for this perverse sheaf. For such singularities, we prove furthermore that the pushforward of the constant sheaf of a nearby smooth deformation under the specialization map to the singular space splits off the intersection space complex as a direct summand. The complementary summand is the contribution of the singularity. Thus, we obtain for such hypersurfaces a mirror statement of the Beilinson-Bernstein-Deligne decomposition of the pushforward of the constant sheaf under an algebraic resolution map into the intersection sheaf plus contributions from the singularities.

preprint2011arXiv

Deformation of Singularities and the Homology of Intersection Spaces

While intersection cohomology is stable under small resolutions, both ordinary and intersection cohomology are unstable under smooth deformation of singularities. For complex projective algebraic hypersurfaces with an isolated singularity, we show that the first author's cohomology of intersection spaces is stable under smooth deformations in all degrees except possibly the middle, and in the middle degree precisely when the monodromy action on the cohomology of the Milnor fiber is trivial. In many situations, the isomorphism is shown to be a ring homomorphism induced by a continuous map. This is used to show that the rational cohomology of intersection spaces can be endowed with a mixed Hodge structure compatible with Deligne's mixed Hodge structure on the ordinary cohomology of the singular hypersurface.

preprint2011arXiv

Foliated Stratified Spaces and a De Rham Complex Describing Intersection Space Cohomology

The method of intersection spaces associates cell-complexes depending on a perversity to certain types of stratified pseudomanifolds in such a way that Poincaré duality holds between the ordinary rational cohomology groups of the cell-complexes associated to complementary perversities. The cohomology of these intersection spaces defines a cohomology theory HI for singular spaces, which is not isomorphic to intersection cohomology IH. Mirror symmetry tends to interchange IH and HI. The theory IH can be tied to type IIA string theory, while HI can be tied to IIB theory. For pseudomanifolds with stratification depth 1 and flat link bundles, the present paper provides a de Rham-theoretic description of the theory HI by a complex of global smooth differential forms on the top stratum. We prove that the wedge product of forms introduces a perversity-internal cup product on HI, for every perversity. Flat link bundles arise for example in foliated stratified spaces and in reductive Borel-Serre compactifications of locally symmetric spaces. A precise topological definition of the notion of a stratified foliation is given.

preprint2011arXiv

Isometric Group Actions and the Cohomology of Flat Fiber Bundles

Using methods originating in the theory of intersection spaces, specifically a de Rham type description of the real cohomology of these spaces by a complex of global differential forms, we show that the Leray-Serre spectral sequence with real coefficients of a flat fiber bundle of smooth manifolds collapses if the fiber is Riemannian and the structure group acts isometrically. The proof is largely topological and does not need a metric on the base or total space. We use this result to show further that if the fundamental group of a smooth aspherical manifold acts isometrically on a Riemannian manifold, then the equivariant real cohomology of the Riemannian manifold can be computed as a direct sum over the cohomology of the group with coefficients in the (generally twisted) cohomology modules of the manifold. Our results have consequences for the Euler class of flat sphere bundles. Several examples are discussed in detail, for instance an action of a free abelian group on a flag manifold.