Related papers: Flowing from intersection product to cup product
We describe a way to represent computable functions between coinductive types as particular transducers in type theory. This generalizes earlier work on functions between streams by P. Hancock to a much richer class of coinductive types.…
This paper explores the cup and cap products within the cohomology and homology groups of ample groupoids, focusing on their applications and fundamental properties. Ample groupoids, which are \'etale groupoids with a totally disconnected…
We prove that the cup product of $\Delta$-decomposable quasimorphisms, Brooks quasimorphisms or Rolli quasimorphisms with any bounded cohomology class of arbitrary positive degree is trivial.
The notion of a homotopy flow on a directed space was introduced in \cite{Raussen:07} as a coherent tool for comparing spaces of directed paths between pairs of points in that space with each other. If all parameter directed maps preserve…
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…
In this work, a complete homotopic interpretation on the periodic table of topological insulators and superconductors has been derived by establishing the loop sequence of the corresponding classifying spaces. In our approach, each…
There is a classical relationship in algebraic geometry between a hyperelliptic curve and an associated pencil of quadric hypersurfaces. We investigate symplectic aspects of this relationship, with a view to applications in low-dimensional…
We present explicit formulas for the intersection pairing in the intersection cohomology of the moduli space $M_0(r)$ of rank-$r$, degree-$0$ semistable bundles on a Riemann surface. The key idea is to realize this intersection cohomology…
We expand the notion of a normal function for a Hodge class on an even-dimensional complex projective manifold to the notion of a 'topological normal function' associated to any primitive integral cohomology class. The definition of the…
In this partly expository paper we compare three different categories of C*-algebras in which crossed-product duality can be formulated, both for actions and for coactions of locally compact groups. In these categories, the isomorphisms…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
This paper extends some results of Hatcher and Quinn beyond the metastable range. We give a bordism theoretic obstruction to deforming a map between manifolds simultaneously off of a collection of pairwise disjoint submanifolds under the…
We define a cup product on the Hochschild cohomology of an associative conformal algebra $A$, and show the cup product is graded commutative. We define a graded Lie bracket with the degree $-1$ on the Hochschild cohomology $\HH^{\ast}(A)$…
Khovanov homology and singular instanton Floer homology are both functorial with respect to link cobordisms. Although the two homology groups are related by a spectral sequence, direct correspondence between the cobordism maps has not been…
We construct a small realization as flow of every precubical set (modeling for example a process algebra). The realization is small in the sense that the construction does not make use of any cofibrant replacement functor and of any…
Computing homology and cohomology is at the heart of many recent works and a key issue for topological data analysis. Among homological objects, homology generators are useful to locate or understand holes (especially for geometric…
A closure theory is developed for inhomogeneous turbulent flow, which enables a systematic derivation of the turbulence constitutive relations without relying on any empirical parameters. Renormalized-perturbation approximation is performed…
This paper demonstrates a topological meaning of quandle cocycle invariants of links with respect to finite connected quandles $X$, from a perspective of homotopy theory: Specifically, for any prime $\ell$ which does not divide the type of…
The topology of the intersection of two real homogeneous coaxial quadrics was studied by the second author who showed that its intersection with the unit sphere is in most cases diffeomorphic to a connected sum of sphere products. Combining…
We consider the moduli spaces $\mathcal{M}_d(\ell)$ of a closed linkage with n links and prescribed lengths in d-dimensional Euclidean space. For d>3 these spaces are no longer manifolds generically, but they have the structure of a…