Siddhartha Gadgil
We show that any 3-dimensional homotopy lens space M^3 that is simple-homotopy equivalent to a lens space L(p,q) is topologically s-cobordant to the lens space. It follows that M has the same multi-signature as L(p,q) and the action of π_1(M) on the universal cover of M embeds in an orthogonal action on S^7.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Let $\mathbb{F}$ be a field and let $G\subset \mathbb{F}\setminus \{0\}$ be a multiplicative subgroup. We consider the category $\mathcal{Cob}_G$ of $3$-dimensional cobordisms equipped with a representation of their fundamental group in $G$, and the category ${Vect}_{\mathbb{F},\pm G}$ of $\mathbb{F}$-linear maps defined up to multiplication by an element of $\pm G$. Using the elementary theory of Reidemeister torsions, we construct a "Reidemeister functor" from $Cob_G$ to ${Vect}_{\mathbb{F},\pm G}$. In particular, when the group $G$ is free abelian and $\mathbb{F}$ is the field of fractions …
Reidemeister and movie moves for involutive links
本文研究了 involution 链的等价性，通过建立等价的 movie 移动集合，证明了等价的 Reidemeister 定理，并利用嵌入的等价 Morse 理论分析了等价的 Reidemeister 移动的循环。
Let P be a connected smooth p-manifold. We describe the group of all cobordism classes of smooth maps of n-manifolds to P with singularities of a given $cal K$-invariant class in terms of certain stable homotopy groups by applying the relative homotopy principle on the existence level. We also deal with the oriented version and construct a classifying space to which this oriented cobordism group is represented as the set of homotopy classes of P in the codimension n<p and n\geqq p\geqq 2.
In 2001, Oestlund conjectured that Reidemeister moves 1 and 3 are sufficient to describe a homotopy from any generic immersion from the circle into the plane to the standard embedding of the circle. We show that this conjecture is false.
Two welded (respectively virtual) link diagrams are homotopic if one may be transformed into the other by a sequence of extended Reidemeister moves, classical Reidemeister moves, and self crossing changes. In this paper, we extend Milnor's mu and bar mu invariants to welded and virtual links. We conclude this paper with several examples, and compute the mu invariants using the Magnus expansion and Polyak's skein relation for the mu invariants.
We show that the cobordism groups of negative codimensional folds maps contain direct sums of stable homotopy groups of Thom spaces of vector bundles like the circle and the infinite dimensional projective space. We give geometrical invariants which detect these direct summands.
In this paper, we obtain the necessary and sufficient condition that two knot projections are related by a finite sequence of the first and second flat Reidemeister moves (Theorem 1). We also consider an equivalence relation that is called weak (1, 3) homotopy. This equivalence relation occurs by the first flat Reidemeister move and one of the third flat Reidemeister moves. We introduce a map sending weak (1, 3) homotopy classes to knot isotopy classes (Sec. 3). Using the map, we determine which knot projections are trivialized under weak (1, 3) homotopy (Corollary 3).
Let $\mathcal{A}_{g,d}$ be the (topological) cobordism category of orientable surfaces whose connected components are homeomorphic to either $S^1 \times I$ with one incoming and one outgoing boundary component or the surface $Σ_{g,d}$ of genus $g$ and $d$ boundary components that are all incoming. In this paper, we study the homotopy type of the classifying space of the cobordism categories $\mathcal{A}_{g,d}$ and the associated (ordinary) cobordism categories of their connected components $\mathbb{A}_d$. $\mathcal{A}_{0,2}$ is the cobordism category of complex annuli that was considered by Co…
The aim of this paper is to give an $s$-cobordism classification of topological $4$-manifolds in terms of the standard invariants using the group of homotopy self-equivalences. Hambleton and Kreck constructed a braid to study the group of homotopy self-equivalences of $4$-manifolds. Using this braid together with the modified surgery theory of Kreck, we give an $s$-cobordism classification for certain $4$-manifolds with fundamental group $π$, such that cd $π\leq 2$.
We establish an interesting connection between Morin singularities and stable homotopy groups of spheres. We apply this connection to computations of cobordism groups of certain singular maps. The differentials of the spectral sequence computing these cobordism groups are given by the composition multiplication in the stable homotopy groups of spheres.
In this paper we show that for a large class C of 4-manifolds each member of C has only finitely many simple homotopy type upto s-cobordism. This result generalizes a similar result of Hillman for certain complex surfaces. We also present a correction in the proof of Hillman's result.
The classifying spaces of cobordisms of singular maps have two fairly different constructions. We expose a homotopy theoretical connection between them. As a corollary we show that the classifying spaces in some cases have a simple product structure.
The homotopy type of the topological cobordism category
本文定义拓扑流形配边范畴，证明 $d\neq4$ 时其分类空间弱等价于 $Ω^{\infty-1}MTTop(d)$，并借助光滑化理论与 GMTW 的光滑情形计算推广到带切向结构及边界的版本。
We give a homotopy invariant construction of the Reidemeister trace for the coincidence of two maps between closed manifolds of not necessarily the same dimensions. It is realized as a homology class of the homotopy equalizer, which coincides with the Hurewicz image of Koschorke's stabilized bordism invariant. To define it, we use a kind of shriek maps appearing string topology. As an application, we compute the coincidence Reidemeister trace for the self-coincidence of the projections of $S^1$-bundles on $\mathbb{C}P^n$. We also mention how to relate our construction to the string topology op…
The homotopy type of the PL cobordism category. II
本文证明了光滑配边范畴同伦型定理的 PL 类比，通过引入 PL Madsen-Tillmann 谱并建立弱同伦等价，同时讨论了拓扑版本的推广。
The homotopy type of the Poincaré cobordism category for surfaces
本文定义曲面配边范畴的变体，证明其分类空间函子非1-可切除，并给出其一阶导数等价于Thom谱的结果。
Cobordism groups of cooriented fold maps of codimension 1 are computed completely. Namely their odd torsion part coincides with that of the stable homotopy group of spheres in the same dimension, while the 2-primary part is the kernel of the Kahn-Priddy map. (The Kahn-Priddy map is an epimorhism of the stable homotopy group of the infinite dimensional real projective space onto the 2-primary part of the stable homotopy group of spheres). Analogous results - modulo small primes - are obtained for cusp maps and more complicated Morin maps as well.
We construct and study a new family of TQFTs based on nilpotent highest weight representations of quantum sl(2) at a root of unity indexed by generic complex numbers. This extends to cobordisms the non-semi-simple invariants defined in (arXiv:1202.3553) including the Kashaev invariant of links. Here the modular category framework does not apply and we use the ``universal construction''. Our TQFT provides a monoidal functor from a category of surfaces and their cobordisms into the category of graded finite dimensional vector spaces and their degree 0-morphisms and depends on the choice of a roo…
The homotopy type of the PL cobordism category. I
本文构造分片线性配边范畴并证明其分类空间弱同伦等价于无限环路空间，为在PL拓扑中建立Madsen-Weiss型结果奠定基础。
A virtual string is a scheme of self-intersections of a closed curve on a surface. We study algebraic invariants of strings as well as two equivalence relations on the set of strings: homotopy and cobordism. We show that the homotopy invariants of strings form an infinite dimensional Lie group. We also discuss connections between virtual strings and virtual knots.
We obtain complete geometric invariants of cobordism classes of oriented simple fold maps of (n+1)-dimensional manifolds into an n-dimensional manifold N in terms of immersions with prescribed normal bundles. We compute that this cobordism group of simple fold maps is isomorphic to the direct sum of the (n-1)th stable homotopy group of spheres and the (n-1)th stable homotopy group of the infinite dimensional projective space. By using geometric invariants defined in the author's earlier works, we also describe the natural map of the simple fold cobordism group to the fold cobordism group by na…
This is a survey paper of author's results on cobordism groups and semigroups of fold maps and simple fold maps. The results include: establishing a relation between fold maps and immersions through geometrical invariants of cobordism classes of fold maps and simple fold maps in terms of immersions with prescribed normal bundles, detecting stable homotopy groups of spheres as direct summands of the cobordism semigroups of fold maps, Pontryagin-Thom type construction for -1 codimensional fold maps and estimations about the cobordism classes of manifolds which have fold maps into stably parallel…
Using the work of Dwyer, Weiss, and Williams we associate an invariant to any topologically trivial family of smooth h-cobordisms. This invariant is called the smooth structure class, and is closely related to the higher Franz--Reidemeister torsion of Igusa and Klein. We compute the smooth structure class in terms of a fiberwise generalized Morse function using fiberwise Poincaré--Hopf theory. This computation gives rise to a duality theorem for the smooth structure class that generalizes Milnor's duality theorem for the Whitehead torsion. From this result we deduce a vanishing theorem that im…
Galatius, Madsen, Tillmann and Weiss have identified the homotopy type of the classifying space of the cobordism category with objects (d-1)-dimensional manifolds embedded in R^\infty. In this paper we apply the techniques of spaces of manifolds, as developed by the author and Galatius, to identify the homotopy type of the cobordism category with objects (d-1)-dimensional submanifolds of a fixed background manifold M. There is a description in terms of a space of sections of a bundle over M associated to its tangent bundle. This can be interpreted as a form of Poincare duality, relating a spac…
We prove a conjecture due to M. Kazarian, connecting two classifying spaces in singularity theory. These spaces are: - Kazarian's space (generalizing Vassiliev's algebraic complex and) showing which cohomology classes are represented by singularity strata. - Author's space $X_τ$ giving homotopy representation of cobordisms of singular maps with a given list of allowed singularities \cite{R--Sz}. As a consequence we obtain the ranks of cobordism groups of singular maps with a given list of allowed singularities, and also their $p$-torsion parts for big primes $p.$ Further we give complete answe…
We investigate cobordisms of free knots. Free knots and links are also called homotopy classes of Gauss words and phrases. We define a new strong invariant of free knots which allows to detect free knots not cobordant to the trivial one.
We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the sense of Freedman and Quinn. On a separate note, we observe that the Borel Conjecture is true in dimension 4 up to s-cobordism, assuming that the fundamental group satisfies the Farrell--Jones Conjecture.
In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres.
Fixing the functoriality of Khovanov homology: a simple approach
针对Khovanov同调的符号不确定性函子性问题，本文提出无需拓展原始理论、仅在经典框架下调整Reidemeister移动与Morse移动对应态射符号的简单修正方法。
For a given null-cobordant Riemannian $n$-manifold, how does the minimal geometric complexity of a null-cobordism depend on the geometric complexity of the manifold? In [Gro99], Gromov conjectured that this dependence should be linear. We show that it is at most a polynomial whose degree depends on $n$. This construction relies on another of independent interest. Take $X$ and $Y$ to be sufficiently nice compact metric spaces, such as Riemannian manifolds or simplicial complexes. Suppose $Y$ is simply connected and rationally homotopy equivalent to a product of Eilenberg-MacLane spaces: for exa…
For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify the homotopy type of its classifying space (i.e. geometric realization of its simplicial nerve) as the fixed points of the infinite loop space of an equivariant spectrum.
We generalize Turaev's definition of torsion invariants of pairs $(M,ξ)$, where $M$ is a 3-dimensional manifold and $ξ$ is an Euler structure on $M$ (a non-singular vector field up to homotopy relative to the boundary of $M$ and local modifications in the interior of $M$). Namely, we allow $M$ to have arbitrary boundary and $ξ$ to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's $H_1(M)$-equivariance formula holds also in our generalized context. Our torsions apply in particular to (the exterior of) Legendrian links (in particular, knots) in contact …
Framed flow categories were introduced by Cohen-Jones-Segal as a way of encoding the flow data associated to a Floer functional. A framed flow category gives rise to a CW-complex with one cell for each object of the category. The idea is that the Floer invariant should take the form of the stable homotopy type of the resulting complex, recovering the Floer cohomology as its singular cohomology. Such a framed flow category was produced, for example, by Lipshitz-Sarkar from the input of a knot diagram, resulting in a stable homotopy type generalizing Khovanov cohomology. In this paper we give mo…
The positive scalar curvature cobordism category
本文研究正标量曲率度量空间的cobordism范畴，证明其具有无限循环空间结构，并展示微分同胚群作用的刚性定理。
For a fixed closed manifold $P$, we construct a cobordism category of embedded manifolds with a single Baas-Sullivan singularity of type $P$. Our main theorem identifies the homotopy type of the classifying space of this cobordism category with that of the infinite loop-space of a certain spectrum related to the spectrum $\text{MT}(d)$ introduced in [arXiv:math/0605249]. We obtain an analogue of the Bockstein-Sullivan exact couple that arises between the classical bordism theories $MO$ and $MO_{P}$ on the level of cobordism categories.
Given a semisimple, compact, connected Lie group G with complexification G^c, we show there is a stable range in the homotopy type of the universal moduli space of flat connections on a principal G-bundle on a closed Riemann surface, and equivalently, the universal moduli space of semistable holomorphic G^c-bundles. The stable range depends on the genus of the surface. We then identify the homology of this moduli space in the stable range in terms of the homology of an explicit infinite loop space. Rationally this says that the stable cohomology of this moduli space is generated by the Mumford…
We generalize Turaev's definition of torsion invariants of pairs (M,x), where M is a 3-dimensional manifold and x is an Euler structure on M (a non-singular vector field up to homotopy relative to bM and local modifications in int(M). Namely, we allow M to have arbitrary boundary and x to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's H_1(M)-equivariance formula holds also in our generalized context. Our torsions apply in particular to (the exterior of) pseudo-Legendrian knots (i.e. knots transversal to a given vector field), and hence to Legendria…
For a given list of closed manifolds $Σ_k=(P_1,...,P_k)$, we construct a cobordism category $\mathbf{Cob}_{d}^{Σ_{k}}$ of embedded manifolds with Baas-Sullivan singularities of type $Σ_k$. Our main results identify the homotopy type of the classifying spaces $B\mathbf{Cob}_{d}^{Σ_{k}}$ of these cobordism categories with that of the infinite loop-space of a certain spectrum, $\mathsf{MT}_{Σ_{k}}(d)$. Our results generalize of the work of Galatius, Madsen, Tillmann, and Weiss from arXiv:math/0605249. It also generalizes the work of Genauer on the cobordism categories of manifolds with corners fr…
We consider colored operads and their actions on categories. As a special example we construct a cobordism category with a colored operad action arising from oriented planar arc diagrams. This is used to construct an invariant of oriented tangle diagrams with values in the homotopy category attached to the cobordism category. Motivated by Bar-Natan's categorification of the Jones polynomial, it categorifies the quantum $sl_n$ quantum invariants and is adapted to the categorification of the $sl_n$ quantum invariants by Khovanov and Rozansky using matrix factorizations. We conjecture to exist th…
A 3-dimensional homotopy quantum field theory (HQFT) can be described as a TQFT for surfaces and 3-cobordisms endowed with homotopy classes of maps into a given space. For a group $π$, we introduce a notion of a modular crossed $π$-category and show that such a category gives rise to a 3-dimensional HQFT with target space $K(π,1)$. This includes numerical invariants of 3-dimensional $π$-manifolds and a 2-dimensional homotopy modular functor. We also introduce and discuss a parallel notion of a quasitriangular crossed Hopf $π$-coalgebra.
We study the homotopy type of the harmonic compactification of the moduli space of a 2-cobordism S with one outgoing boundary component, or equivalently of the space of Sullivan diagrams of type S on one circle. Our results are of two types: vanishing and non-vanishing. In our vanishing results we are able to show that the connectivity of the harmonic compactification increases with the number of incoming boundary components. Moreover, we extend the genus stabilization maps of moduli spaces to the harmonic compactification and show that the connectivity of these maps increases with the genus a…
Our main result is a generalization of Cappell's 5-dimensional splitting theorem. As an application, we analyze, up to internal s-cobordism, the smoothable splitting and fibering problems for certain 5-manifolds mapping to the circle. For example, these maps may have homotopy fibers which are in the class of finite connected sums of certain geometric 4-manifolds. Most of these homotopy fibers have non-vanishing second mod 2 homology and have fundamental groups of exponential growth, which are not known to be tractable by Freedman--Quinn topological surgery. Indeed, our key technique is topolog…
A contact homotopy type
本文将global Kuranishi charts调整至切触设定，基于Reeb orbits和伪全纯建筑模空间为非退化contact manifold构建流范畴，该构造提升了contact homology并具有自然性。
On the functoriality of the space of equivariant smooth $h$-cobordisms
本文构造了一个将带角光滑 $G$-流形映射到等变光滑 $h$-配边空间的 $(\infty,1)$-函子，并给出稳定类比，其构造依赖于新思想，且在非等变情形与已有构造一致。
A categorification of Quinn's finite total homotopy TQFT with application to TQFTs and once-extended TQFTs derived from strict omega-groupoids
本文基于同伦理论重新审视并推广了Quinn的有限全同伦TQFT，提出了一种范畴化的一次扩展TQFT构造，适用于所有维度，并显式计算了同伦有限omega-群胚分类空间的情形，为离散高阶规范理论建模提供了工具。
Bounds on Cheeger-Gromov invariants and simplicial complexity of triangulated manifolds
本文通过 G-着色多面体和相对双曲化构造线性复杂度配边，建立 PL 流形 Wall 与 Cheeger-Gromov ρ-不变量的线性界，并应用于透镜空间 h-配边类计数、高维透镜空间复杂度及结构集非有限生成性。
Comparing combinatorial models of moduli space and their compactifications
本文比较了二维配边模空间的两种组合模型（径向狭缝配置和容许胖图），通过“临界图”映射构建了显式同伦等价，并证明该等价在它们的自然紧化（单水平调和紧化与Sullivan图）之间诱导了胞腔同胚。
Two-Dimensional Extended Homotopy Field Theories
本文给出了以非球面为目标的二维扩展同伦场论的另一种定义并加以分类，通过拟双角$G$-代数对取值于对称幺半双范畴的E-HFTs进行分类，并验证了Lurie提出的$(G \ imes SO(2))$-结构配边假设的一个特例。
We use the cobordism category constructed in arXiv:1703.01047 to the study the homotopy type of the space of positive scalar curvature metrics on a spin manifold of dimension > 4. Our methods give an alternative proof and extension of a recent theorem of Botvinnik, Ebert, and Randal-Williams from arXiv:1411.7408.
Simple homotopy types of even dimensional manifolds
本文研究偶维闭流形的简单同伦类型，利用代数K理论、手术障碍映射和同伦自同构体构造了首个例子，展示了同伦等价但非简单同伦等价的流形族。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。