Mustafa Korkmaz
In this survey paper, we give a complete list of known results on the first and the second homology groups of surface mapping class groups. Some known results on higher (co)homology are also mentioned.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We obtain representations of the f-based Mapping Class Group of oriented punctured surfaces from an action of mapping classes on Heisenberg homologies of a circle bundle over surface configurations.
We determine the first homology group of the mapping class group M(N) of a nonorientable surface N with coefficients in H_1(N;Z).
By the work of Harer, the reduced homology of the complex of curves is a fundamental cohomological object associated to all torsion free finite index subgroups of the mapping class group. We call this homology group the Steinberg module of the mapping class group. It was previously known that the curve complex has the homotopy type of a bouquet of spheres. Here, we give the first explicit homologically nontrivial sphere in the curve complex and show that under the action of the mapping class group, the orbit of this homology class generates the reduced homology of the curve complex.
We determine the first homology group with coefficients in $H_1(N;\mathbb{Z})$ for the mapping class group of a non-orientable surface $N$ of genus three with two boundary components.
The first homology group with twisted coefficients for the mapping class group of a non-orientable surface with boundary
本文计算了带穿孔和/或边界的不可定向曲面各类映射类群在H_1(N;Z)系数下的第一同调群。
Let S be a compact oriented surface. A homology cobordism of S is a cobordism C between two copies of S, such that both the "top" inclusion and the "bottom" inclusion of S in C induce isomorphisms in homology. Homology cobordisms of S form a monoid, into which the mapping class group of S embeds by the mapping cylinder construction. In this paper, we survey recent works on the structure of the monoid of homology cobordisms, and we outline their relations with the study of the mapping class group. We are mainly interested in the cases where the boundary of S is empty or connected.
We show that the graph TQFT for Heegaard Floer homology satisfies a strong version of Atiyah's duality axiom for a TQFT. As an application, we compute some Heegaard Floer mixed invariants of 4-dimensional mapping tori in terms of Lefschetz numbers on $HF^+$.
We investigate the relation between the topological entropy of pseudo-Anosov maps on surfaces with punctures and the rank of the first homology of their mapping tori. On the surface $S$ of genus $g$ with $n$ punctures, we show that the entropy of a pseudo-Anosov map is bounded from above by $\dfrac{(k+1)\log(k+3)}{|χ(S)|}$ up to a constant multiple when the rank of the first homology of the mapping torus is $k+1$ and $k, g, n$ satisfy a certain assumption. This is a partial generalization of precedent works of Tsai and Agol-Leininger-Margalit.
This is a survey of Magnus representations with particular emphasis on their applications to mapping class groups and monoids (groups) of homology cobordisms of surfaces. In the first half, we begin by recalling the basics of the Fox calculus and overview Magnus representations for automorphism groups of free groups and mapping class groups of surfaces with related topics. In the latter half, we discuss in detail how the theory in the first half extends to homology cobordisms of surfaces and present a number of applications from recent researches.
In a previous paper [Homology cylinders: an enlargement of the mapping class group, Algebr. Geom. Topol. 1 (2001) 243--270, arXiv:math.GT/0010247], a group H_g of homology cylinders over the oriented surface of genus g is defined. A filtration of H_g is defined, using the Goussarov-Habiro notion of finite-type. It is erroneously claimed that this filtration essentially coincides with the relative weight filtration. The present note corrects this error and studies the actual relation between the two filtrations.
We construct a covering of Culler-Vogtmann Outer space by the Teichmuller spaces of punctured surfaces. By considering the equivariant homology for the action of Out(F_n) on this covering, we construct a spectral sequence converging to the homology of Out(F_n) that has E^1 terms given by the homology of mapping class groups and groups that are, up to finite index, subgroups of mapping class groups. This spectral sequence can be seen as encoding all of the information of how the homology of Out(F_n) is related to the homology of mapping class groups and their subgroups.
We consider the pseudo-Anosov elements of the mapping class group of a surface of genus g that fix a rank k subgroup of the first homology of the surface. We show that the smallest entropy among these is comparable to (k+1)/g. This interpolates between results of Penner and of Farb and the second and third authors, who treated the cases of k=0 and k=2g, respectively, and answers a question of Ellenberg. We also show that the number of conjugacy classes of pseudo-Anosov mapping classes as above grows (as a function of g) like a polynomial of degree k.
We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show that this assignment is isotopy invariant. The proof relies on finding a simple generating set for the fundamental group of the "space of Heegaard diagrams," and then showing that Heegaard Floer homology has no monodromy around these generators. In fact, this allows us to give s…
We calculate the first homology group of the mapping class group with coefficients in the first rational homology group of the universal abelian $\Z / L \Z$-cover of the surface. If the surface has one marked point, then the answer is $\Q^{τ(L)}$, where $τ(L)$ is the number of positive divisors of $L$. If the surface instead has one boundary component, then the answer is $\Q$. We also perform the same calculation for the level $L$ subgroup of the mapping class group. Set $H_L = H_1(Σ_g;\Z/L\Z)$. If the surface has one marked point, then the answer is $\Q[H_L]$, the rational group ring of $H_L$…
We prove the following well known conjecture: let $Σ$ be an oriented surface of finite type whose fundamental group is a nonabelian free group. Let $ϕ\in \textup{Mod}(Σ)$ be a an infinite order mapping class. Then there exists a finite solvable cover $\widehatΣ \to Σ$, and a lift $\widehatϕ$ of $ϕ$ such that the action of $\widehatϕ$ on $H_1(\widehatΣ, \mathbb{Z})$ has infinite order. Our main tools are the theory of homological shadows, which was previously developed by the author, and Fourier analysis
According to seminal work of Kontsevich, the unstable homology of the mapping class group of a surface can be computed via the homology of a certain lie algebra. In a recent paper, S. Morita analyzed the abelianization of this lie algebra, thereby constructing a series of candidates for unstable classes in the homology of the mapping class group. In the current paper, we show that these cycles are all nontrivial, representing degree 4k+1 homology classes in the homology of the mapping class group of a genus one surface with 4k+1 punctures.
Big mapping class groups acting on homology
该研究聚焦大映射类群对对应曲面第一同调的作用，给出了诱导同调表示的像的精确刻画，推进了相关群作用与同调表示领域的研究。
In this survey article, we discuss several different knot concordance invariants coming from the Heegaard Floer homology package of Ozsvath and Szabo. Along the way, we prove that if two knots are concordant, then their knot Floer complexes satisfy a certain type of stable equivalence.
We consider symplectic Floer homology in the lowest nontrivial dimension, that is to say, for area-preserving diffeomorphisms of surfaces. Particular attention is paid to the quantum cap product; we show that it distinguishes the trivial element of the mapping class group from any nontrivial one.
On the mapping class group action on the homology of surface covers
本文研究了映射类群在闭曲面覆盖同调上的作用，证明了对于任意固定的映射类群元素，其有限轨道同调子空间的维数可以任意大。
The homology cobordism group of homology cylinders is a generalization of both the mapping class group of surfaces and the string link concordance group. We consider extensions of Johnson homomorphisms of a mapping class group, Milnor invariants and Orr invariants of links to homology cylinders, all of which are related to free nilpotent groups. We establish a combined filtration via kernels of extended Johnson homomorphisms and extended Milnor invariants. We determine its image under the three invariants, and investigate relations among the invariants, and relations of the filtration to autom…
This paper reviews and offers remarks upon Viro's definition of the Khovanov homology of the Kauffman bracket of unoriented framed tangles (Sec. 2). The review is based on a file of his talk. This definition contains an exposition of the relation between the $R$-matrix and the Kauffman bracket (Sec. 2.2).
Bordered Floer homology, handlebody detection, and compressing diffeomorphisms
本研究证明带边Floer同调可在整数同调L-空间连通和的等价下检测柄体及映射类在给定柄体/压缩体的延拓性，还结合Casson-Long思路与轨线理论给出检测映射类是否可延拓到任意压缩体的算法。
We define families of invariants for elements of the mapping class group of S, a compact orientable surface. Fix any characteristic subgroup H of pi_1(S) and restrict to J(H), any subgroup of mapping classes that induce the identity modulo H. To any unitary representation, r of pi_1(S)/H we associate a higher-order rho_r-invariant and a signature 2-cocycle sigma_r. These signature cocycles are shown to be generalizations of the Meyer cocycle. In particular each rho_r is a quasimorphism and each sigma_r is a bounded 2-cocycle on J(H). In one of the simplest non-trivial cases, by varying r, we e…
In this article, using combinatorial techniques of mapping class groups, we show that a Stein fillable integral homology $3$-sphere supported by an open book decomposition with page a $4$-holed sphere admits a unique Stein filling up to diffeomorphism. Furthermore, according to a property of deforming symplectic fillings of a rational homology $3$-spheres into strongly symplectic fillings, we also show that a symplectically fillable integral homology $3$-sphere supported by an open book decomposition with page a $4$-holed sphere admits a unique symplectic filling up to diffeomorphism and blow-…
We construct a graph complex calculating the integral ho- mology of the bordered mapping class groups. We compute the ho- mology of the bordered mapping class groups of various surfaces. Using the circle action on this graph complex, we build a double complex and a spectral sequence converging to the homology of the unbordered mapping class groups. We compute the homology of the punctured mapping class groups associated to certain surfaces. Finally, we use Miller's operad to get the first Kudo-Araki and Browder operations on our graph complex. We also consider an unstable version of the higher…
We extend the techniques in a previous paper to calculate the Heegaard Floer homology groups for fibered 3-manifolds M whose monodromy is a power of a Dehn twist about a genus-1 separating circle on a surface of genus g > 1. We only consider non-torsion Spin^c-structures on M.
Let $H_{g}$ be a 3-dimensional handlebody of genus $g$. We determine the twisted first homology group of the mapping class group of $H_{g}$ with coefficients in the first integral homology group of the boundary surface $\partial H_{g}$ for $g\geq 2$.
We consider a homological enlargement of the mapping class group, defined by homology cylinders over a closed oriented surface (up to homology cobordism). These are important model objects in the recent Goussarov-Habiro theory of finite-type invariants of 3-manifolds. We study the structure of this group from several directions: the relative weight filtration of Dennis Johnson, the finite-type filtration of Goussarov-Habiro, and the relation to string link concordance. We also consider a new Lagrangian filtration of both the mapping class group and the group of homology cylinders.
We construct several families of embeddings of braid groups into mapping class groups of orientable and non-orientable surfaces and prove that they induce the trivial map in stable homology in the orientable case, but not so in the non-orientable case. We show that these embeddings are non-geometric in the sense that the standard generators of the braid group are not mapped to Dehn twists.
We report on the computation of the integral homology of the mapping class group of genus g surfaces with one boundary curve and m punctures, when 2g + m is smaller than 6. In particular, it includes the genus 2 case with no or one puncture.
Let K \subset Y be a knot in a three manifold which admits a longitude-framed surgery such that the surgered manifold has first Betti number greater than that of Y. We find a formula which computes the twisted Floer homology of the surgered manifold, in terms of twisted knot Floer homology. Using this, we compute the twisted Heegaard Floer homology \underline{HF}^+ of the mapping torus of a diffeomorphism of a closed Riemann surface whose mapping class is periodic, giving an almost complete description of the structure of these groups. When the mapping class is nontrivial, we find in particula…
We write down an explicit formula for the $+$ version of the Heegaard Floer homology (as an absolutely graded vector space over an arbitrary field) of the results of Dehn surgery on a knot $K$ in $S^3$ in terms of homological data derived from $CFK^{\infty}(K)$. This allows us to prove some results about Dehn surgery on knots in $S^3$. In particular, we show that for a fixed manifold there are only finitely many alternating knots that can produce it by surgery. This is an improvement on a recent result by Lackenby and Purcell. We also derive a lower bound on the genus of knots depending on the…
We give definitions of moduli spaces of framed, r-Spin and Pin surfaces. We apply earlier work of the author to show that each of these moduli spaces exhibits homological stability, and we identify the stable integral homology with that of certain infinite loop spaces in each case. We further show that these moduli spaces each have path components which are Eilenberg--MacLane spaces for the framed, r-Spin and Pin mapping class groups respectively, and hence we also identify the stable group homology of these groups. In particular: the stable framed mapping class group has trivial rational homo…
Mapping class groups of simply connected closed spin 5-manifolds with no 2- and 3-torsion in homology
该研究确定了同调中无2-挠和3-挠的单连通闭自旋5维流形的Torelli群与配边群的同构关系，明确了#^g(S²×S³)的映射类群及其相关代数性质，还研究了S³在S²×S³中的嵌入。
This work has two goals. The first is to provide a conceptual introduction to Heegaard Floer homology, the second is to survey the current state of the field, without aiming for completeness. After reviewing the structure of Heegaard Floer homology, we list some of its most important applications. Many of these are purely topological results, not referring to Heegaard Floer homology itself. Then, we briefly outline the construction of Lagrangian intersection Floer homology. We construct the Heegaard Floer chain complex as a special case of the above, and try to motivate the role of the various…
Let Map(K,X) denote the space of pointed continuous maps from a finite cell complex K to a space X. Let E_* be a generalized homology theory. We use Goodwillie calculus methods to prove that under suitable conditions on K and X, Map(K, X) will send a E_*--isomorphism in either variable to a map that is monic in E_* homology. Interesting examples arise by letting E_* be K--theory, K be a sphere, and the map in the X variable be an exotic unstable Adams map between Moore spaces.
We compare two different types of mapping class invariants: the Hochschild homology of an $A_\infty$ bimodule coming from bordered Heegaard Floer homology, and fixed point Floer cohomology. We first compute the bimodule invariants and their Hochschild homology in the genus two case. We then compare the resulting computations to fixed point Floer cohomology, and make a conjecture that the two invariants are isomorphic. We also discuss a construction of a map potentially giving the isomorphism. It comes as an open-closed map in the context of a surface being viewed as a $0$-dimensional Lefschetz…
Homology growth of polynomially growing mapping tori
本文研究多项式增长自同构的映射圆柱的同调增长性质，证明其具有廉价重建性质并显示torsion同调增长在Farber序列下消失。
Let S be an orientable surface with negative Euler characteristic, let ψ\in\Mod(S) be a mapping class of S, and let T_ψ be the mapping torus of ψ. We study the action of lifts of ψon the homology of finite covers of S via the torsion homology growth of towers of finite covers of T_ψ. We show that ψadmits a lift to a finite cover with a homological eigenvalue of length greater than one if and only if the mapping torus T_ψ admits a finite cover X and a certain tower of abelian covers which have exponential torsion homology growth. We show that the existence of such a lift of ψis intrinsic to T_ψ…
For any smooth compact manifold $W$ of dimension at least two we prove that the classifying spaces of its group of diffeomorphisms which fix a set of $k$ points or $k$ embedded disks (up to permutation) satisfy homology stability. The same is true for so-called symmetric diffeomorphisms of $W$ connected sum with $k$ copies of an arbitrary compact smooth manifold $Q$ of the same dimension. The analogues for mapping class groups as well as other generalisations will also be proved.
In a recent paper we defined a new filtration of the mapping class group--the "Lagrangian" filtration. We here determine the successive quotients of this filtration, up to finite index. As an application we show that, for any additive invariant of finite-type (e.g. the Casson invariant), and any level of the Lagrangian filtration, there is a homology 3-sphere which has a Heegaard decomposition whose gluing diffeomorphism lies at that level, on which this invariant is non-zero. In a final section we examine the relationship between the Johnson and Lagrangian filtrations.
We compute the rational stable homology of the automorphism groups of free nilpotent groups. These groups interpolate between the general linear groups over the ring of integers and the automorphism groups of free groups, and we employ functor homology to reduce to the abelian case. As an application, we also compute the rational stable homology of the outer automorphism groups and of the mapping class groups of the associated aspherical nil-manifolds in the TOP, PL, and DIFF categories.
Invariants of $\mathbb{Z}/p$-Homology 3-Spheres from the Abelianization of the Level-p Mapping Class Group
本文研究了定向$\mathbb{Z}/d$-同调3-球面与level-$d$映射类群的关系，提出了一种基于平凡2-上闭链族构造不变量的工具，并借此求出了素数$p$下由level-$p$映射类群阿贝尔化构造的所有不变量，推翻了B. Perron的相关猜想。
We prove that all homology 3-spheres are $J_4$-equivalent, i.e. that any homology 3-sphere can be obtained from one another by twisting one of its Heegaard splittings by an element of the mapping class group acting trivially on the fourth nilpotent quotient of the fundamental group of the gluing surface. We do so by exhibiting an element of $J_4$, the fourth term of the Johnson filtration of the mapping class group, on which (the core of) the Casson invariant takes the value $1$. In particular, this provides an explicit example of an element of $J_4$ that is not a commutator of length $2$ in t…
Using bordered Floer theory, we give a combinatorial construction and proof of invariance for the hat version of Heegaard Floer homology. As a part of the proof, we also establish combinatorially the invariance of the linear-categorical representation of the strongly-based mapping class groupoid given by the same theory.
In these lecture notes, we combine recent homological methods of Kevin Whyte with older dynamical methods developed by Benson Farb and myself, to obtain a new quasi-isometric rigidity theorem for the mapping class group MCG(S) of a once punctured surface S of genus at least 2: if K is a finitely generated group quasi-isometric to MCG(S) then there is a homomorphism K -> MCG(S) with finite kernel and finite index image. This theorem is joint with Kevin Whyte.
We focus on two kinds of infinite index subgroups of the mapping class group of a surface associated with a Lagrangian submodule of the first homology of a surface. These subgroups, called Lagrangian mapping class groups, are known to play important roles in the interaction between the mapping class group and finite-type invariants of 3-manifolds. In this paper, we discuss these groups from a group (co)homological point of view. The results include the determination of their abelianizations, lower bounds of the second homology and remarks on the (co)homology of higher degrees. As a by-product …
A curve-based survey of knot Floer homology and concordance invariants
本文综述了纽结Floer同调的浸入曲线解释，并从中提取协变不变量，引入广义$V_s$不变量并给出Upsilon不变量的新曲线描述。
In this paper we study the topology of the space of Riemann surfaces in a simply connected space X, S_{g,n} (X, γ). This is the space consisting of triples, (F_{g,n}, ϕ, f), where F_{g,n} is a Riemann surface of genus g and n-boundary components, ϕis a parameterization of the boundary, and f : F_{g,n} \to X is a continuous map that satisfies a boundary condition γ. We prove three theorems about these spaces. Our main theorem is the identification of the stable homology type of the space S_{\infty, n}(X; γ), defined to be the limit as the genus g gets large, of the spaces S_{g,n} (X; γ). Our re…
The symplectic Floer homology HF_*(f) of a symplectomorphism f:S->S encodes data about the fixed points of f using counts of holomorphic cylinders in R x M_f, where M_f is the mapping torus of f. We give an algorithm to compute HF_*(f) for f a surface symplectomorphism in a pseudo-Anosov or reducible mapping class, completing the computation of Seidel's HF_*(h) for h any orientation-preserving mapping class.
On the homology of big mapping class groups
本文证明单孔康托树曲面的映射类群是无环的，并由此确定单穿孔康托树曲面映射类群的同调，回答了Calegari和Chen的问题，同时将结果推广到一般二叉树曲面。
This is the second in a series of papers studying the relationship between Rohlin's theorem and gauge theory. We discuss an invariant of a homology S^1 cross S^3 defined by Furuta and Ohta as an analogue of Casson's invariant for homology 3-spheres. Our main result is a calculation of the Furuta-Ohta invariant for the mapping torus of a finite-order diffeomorphism of a homology sphere. The answer is the equivariant Casson invariant (Collin-Saveliev 2001) if the action has fixed points, and a version of the Boyer-Nicas (1990) invariant if the action is free. We deduce, for finite-order mapping …
In the study of the relation between the mapping class group M of a surface and the theory of finite-type invariants of homology 3-spheres, three subgroups of the mapping class group play a large role. They are the Torelli group, the Johnson subgroup K and a new subgroup L, which contains K, defined by a choice of a Lagrangian subgroup of the homology of the surface. In this work we determine the quotient L/K, in terms of the precise description of M/K given by Johnson and Morita. We also study the lower central series of L and K, using some natural imbeddings of the pure braid group in L and …
We calculate the Heegaard Floer homologies$HF^+(M,s) for mapping tori M associated to certain surface diffeomorphisms, where s is any Spin^c structure on M whose first Chern class is non-torsion. Let gamma and delta be a pair of geometrically dual nonseparating curves on a genus g Riemann surface Sigma_g, and let sigma be a curve separating Sigma_g into components of genus 1 and g-1. Write t-gamma, t_delta, and t_sigma for the right-handed Dehn twists about each of these curves. The examples we consider are the mapping tori of the diffeomorphisms t_gamma^m circ t_delta^n for m,n in Z and that …
The periodic Floer homology of a surface symplectomorphism, defined by the first author and M. Thaddeus, is the homology of a chain complex which is generated by certain unions of periodic orbits, and whose differential counts certain embedded pseudoholomorphic curves in R cross the mapping torus. It is conjectured to recover the Seiberg-Witten Floer homology of the mapping torus for most spin-c structures, and is related to a variant of contact homology. In this paper we compute the periodic Floer homology of some Dehn twists.
Let $Σ$ be a surface whose interior admits a hyperbolic structure of finite volume. In this paper, we show that any infinite order mapping class acts with infinite order on the homology of some universal $k$--step nilpotent cover of $Σ$. We show that a Torelli mapping class either acts with infinite order on the homology of a finite abelian cover, or the suspension of the mapping class is a 3--manifold whose fundamental group has positive homology gradient. In the latter case, it follows that the suspended 3--manifold has a large fundamental group. It follows that every element of the Magnus k…
Compact and finite-type support in the homology of big mapping class groups
本文研究了无限型曲面映射类群同调中是否存在支撑在紧致或有限型子曲面上的非平凡类，利用可移动子曲面和同调稳定性给出了亏格为正时的几乎完整解答及亏格为零时的部分解答。
Surgery exact triangles in involutive Heegaard Floer homology
本文通过对合加倍模型建立对合Heegaard Floer同调的手术正合三角形，并由此得到Ozsváth-Szabó映射锥公式的对合版本，进而构造出不同调配边于Seifert纤维空间线性组合的整数同调球。
This article is a survey on the authors' proof of the isomorphism between Heegaard Floer homology and embedded contact homology appeared in This article is a survey on the authors' proof of the isomorphism between Heegaard Floer homology and embedded contact homology appeared in arXiv:1208.1074, arXiv:1208.1077 and arXiv:1208.1526.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。