We construct compatible symplectic structures on manifolds Q3 × S1 for Waldhausen Q3 and show it is possible iff Q3 is a Stallings fibrations over S1. We describe bordisms of Lagrangian T 2-bundles over S1 × I .

in this paper, we conduct a comparative study between the homotopy perturbation method (hpm) and adomian’s decomposition method (adm) for analytic treatment of nonlinear volterra integral equations, and we show that the hpm with a specific convex homotopy is equivalent to the adm for these type of equations.

Homotopy type theory is a recent research area connecting type theory with homotopy theory by interpreting types as spaces. In particular, one can prove and mechanize type-theoretic analogues of homotopy-theoretic theorems, yielding “synthetic homotopy theory”. Here we consider the Seifert–van Kampen theorem, which characterizes the loop structure of spaces obtained by gluing. This is useful in...

Homotopy type theory is a recent research area connecting type theory with homotopy theory by interpreting types as spaces. In particular, one can prove and mechanize type-theoretic analogues of homotopy-theoretic theorems, yielding “synthetic homotopy theory”. Here we consider the Seifert–van Kampen theorem, which characterizes the loop structure of spaces obtained by gluing. This is useful in...

Integral symplectic 4–manifolds may be described in terms of Lefschetz fibrations. In this note we give a formula for the signature of any Lefschetz fibration in terms of the second cohomology of the moduli space of stable curves. As a consequence we see that the sphere in moduli space defined by any (not necessarily holomorphic) Lefschetz fibration has positive “symplectic volume”; it evaluate...

The homotopical approach to intensional type theory views proofs of equality as paths. We explore what is required of an interval-like object I in a topos to give a model of type theory in which elements of identity types are functions with domain I. Cohen, Coquand, Huber and Mörtberg give such a model using a particular category of presheaves. We investigate the extent to which their model con...

This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the foundation for a computer checked construction of homology.

In [HS] and [F1] Halperin, Stasheff, and Félix showed how an inductively-defined sequence of elements in the cohomology of a graded commutative algebra over the rationals can be used to distinguish among the homotopy types of all possible realizations, thus providing a collection of algebraic invariants for distinguishing among rational homotopy types of spaces. There is also a dual version, in...