Topology of the icosidodecahedral arrangement

Ye Liu

DOI: https://doi.org/10.48550/arXiv.1908.01280

2019-08-04

Geometric Topology

Abstract:The icosidodecahedral arrangement is introduced by M. Yoshinaga (arXiv:1902.06256) as the first known example that is a hyperplane arrangement whose Milnor fiber has torsions in first integral homology. In this note, we prove that the icosidodecahedral arrangement is $K(\pi,1)$, hence so is its Milnor fiber.

What problem does this paper attempt to address?

First homology groups of the Milnor fiber boundary for generic hyperplane arrangements in $\mathbb{C}^{3}$

Sakumi Sugawara

2024-04-02

Abstract:We study the Milnor fiber boundary for hyperplane arrangements in $\mathbb{C}^3$. This is one of the examples of non-isolated surface singularities, which are studied by Némethi--Szilárd. In this paper, we compute the first homology group of the Milnor fiber boundary for a generic arrangement and prove it is combinatorially determined. In particular, this gives the affirmative answer to the conjecture of Suciu.

Geometric Topology,Algebraic Geometry,Combinatorics
Double star arrangement and the pointed multinet

Yongqiang Liu,Wentao Xie

2024-09-06

Abstract:Let $\mathcal{A}$ be a hyperplane arrangement in a complex projective space. It is an open question if the degree one cohomology jump loci (with complex coefficients) are determined by the combinatorics of $\mathcal{A}$. By the work of Falk and Yuzvinsky \cite{FY}, all the irreducible components passing through the origin are determined by the multinet structure, which are combinatorially determined. Denham and Suciu introduced the pointed multinet structure to obtain examples of arrangements with translated positive-dimensional components in the degree one cohomology jump loci \cite{DS}. Suciu asked the question if all translated positive-dimensional components appear in this manner \cite{Suc14}. In this paper, we show that the double star arrangement introduced by Ishibashi, Sugawara and Yoshinaga \cite[Example 3.2]{ISY22} gives a negative answer to this question.

Algebraic Geometry
Global Topology of Hyperbolic Components: Cantor Circle Case

Xiaoguang Wang,Yongcheng Yin

DOI: https://doi.org/10.1112/plms.12058

2017-01-01

Proceedings of the London Mathematical Society

Abstract:We prove that in the moduli space Md of degree d2 rational maps, any hyperbolic component in the disconnectedness locus and of Cantor circle type is a finite quotient of R4d-4-nxTn, where n is determined by dynamics. The proof uses some ideas from Riemann surface theory (Abel's Theorem), dynamical system and algebraic topology.
Milnor fibrations of arrangements with trivial algebraic monodromy

Alexandru I. Suciu

2024-05-07

Abstract:Each complex hyperplane arrangement gives rise to a Milnor fibration of its complement. Although the Betti numbers of the Milnor fiber $F$ can be expressed in terms of the jump loci for rank 1 local systems on the complement, explicit formulas are still lacking in full generality, even for $b_1(F)$. We study here the "generic" case (in which $b_1(F)$ is as small as possible), and look deeper into the algebraic topology of such Milnor fibrations with trivial algebraic monodromy. Our main focus is on the cohomology jump loci and the lower central series quotients of $\pi_1(F)$. In the process, we produce a pair of arrangements for which the respective Milnor fibers have the same Betti numbers, yet non-isomorphic fundamental groups: the difference is picked by the higher-depth characteristic varieties and by the Schur multipliers of the second nilpotent quotients.

Algebraic Geometry,Group Theory,Geometric Topology
Betti numbers and torsions in homology groups of double coverings

Suguru Ishibashi,Sakumi Sugawara,Masahiko Yoshinaga

2024-05-20

Abstract:Papadima and Suciu proved an inequality between the ranks of the cohomology groups of the Aomoto complex with finite field coefficients and the twisted cohomology groups, and conjectured that they are actually equal for certain cases associated with the Milnor fiber of the arrangement. Recently, an arrangement (the icosidodecahedral arrangement) with the following two peculiar properties was found: (i) the strict version of Papadima-Suciu's inequality holds, and (ii) the first integral homology of the Milnor fiber has a non-trivial $2$-torsion. In this paper, we investigate the relationship between these two properties for double covering spaces. We prove that (i) and (ii) are actually equivalent.

Geometric Topology,Combinatorics
On the topology and combinatorics of decomposable arrangements

Alexander I. Suciu

2024-04-07

Abstract:A complex hyperplane arrangement $\mathcal{A}$ is said to be decomposable if there are no elements in the degree 3 part of its holonomy Lie algebra besides those coming from the rank 2 flats. When this purely combinatorial condition is satisfied, it is known that the associated graded Lie algebra of the arrangement group $G$ decomposes (in degrees greater than 1) as a direct product of free Lie algebras. It follows that the $I$-adic completion of the Alexander invariant $B(G)$ also decomposes as a direct sum of "local" invariants and the Chen ranks of $G$ are the sums of the local contributions. Moreover, if $B(G)$ is separated, then the degree 1 cohomology jump loci of the complement of $\mathcal{A}$ have only local components, and the algebraic monodromy of the Milnor fibration is trivial in degree 1.

Group Theory,Algebraic Geometry,Geometric Topology
Topology of hyperplane arrangements via real structure

Masahiko Yoshinaga

2024-08-04

Abstract:This note is a survey on the topology of hyperplane arrangements. We mainly focus on the relationship between topology and the real structure, such as adjacent relations of chambers and stratifications related to real structures.

Geometric Topology,Algebraic Topology,Combinatorics
Heptagon relations from a simplicial 3-cocycle, and their cohomology

Igor G. Korepanov

2023-07-15

Abstract:A family of heptagon relations -- algebraic imitations of five-dimensional Pachner moves -- is constructed, parameterized by simplicial 3-cocycles. These relations are shown to possess a nontrivial "heptagon cohomology", which yields invariants of a pair "manifold, its 3rd cohomology class".

Quantum Algebra
Co-orientable taut foliations in Dehn fillings of pseudo-Anosov mapping tori with co-orientation-reversing monodromy

Bojun Zhao

2023-10-03

Abstract:Let $\Sigma$ be a compact orientable surface with nonempty boundary, let $\varphi: \Sigma \to \Sigma$ be an orientation-preserving pseudo-Anosov homeomorphism, and let $M = \Sigma \times I / \stackrel{\varphi}{\sim}$ be the mapping torus of $\Sigma$ over $\varphi$. Let $\mathcal{F}^{s}$ denote the stable foliation of $\varphi$ in $\Sigma$. Let $T_1, \ldots, T_k$ denote the boundary components of $M$. With respect to a canonical choice of meridian and longitude on each $T_i$, the degeneracy locus of the suspension flow of $\varphi$ on $T_i$ can be identified with a pair of integers $(p_i; q_i)$ such that $p_i > 0$ and $-\frac{1}{2}p_i < q_i \leqslant \frac{1}{2}p_i$. Let $c_i$ denote the number of components of $T_i \cap (\Sigma \times \{0\})$. Assume that $\mathcal{F}^{s}$ is co-orientable and $\varphi$ reverses the co-orientation on $\mathcal{F}^{s}$. We show that the Dehn filling of $M$ along $\partial M$ with any multislope in $J_1 \times \ldots \times J_k$ admits a co-orientable taut foliation, where $J_i$ is one of the two open intervals in $\mathbb{R} \cup \{\infty\} \cong \mathbb{R}P^{1}$ between $\frac{p_i}{q_i + c_i}, \frac{p_i}{q_i - c_i}$ which doesn't contain $\frac{p_i}{q_i}$. For some hyperbolic fibered knot manifolds, the slopes given above contain all slopes that yield non-L-space Dehn filllings. The examples include (1) the exterior of the $(-2,3,2q+1)$-pretzel knot in $S^{3}$ for each $q \in \mathbb{Z}_{\geqslant 3}$ (see \hyperref[Kri]{[Kri]} for a previous proof), (2) the exteriors of many L-space knots in lens spaces.

Geometric Topology
Topological complexity, asphericity and connected sums

Christoforos Neofytidis

2023-12-18

Abstract:We show that if a closed oriented $n$-manifold $M$ has a non-trivial cohomology class of even degree $k$, whose all pullbacks to products of type $S^1\times N$ vanish, then the topological complexity $\mathrm{TC}(M)$ is at least $6$, if $n$ is odd, and at least $7$ or $9$, if $n$ is even. These bounds extend and improve a result of Mescher and apply for instance to negatively curved manifolds and to connected sums with at least one such summand. In fact, better bounds are obtained due to the non-vanishing of the Gromov norm. As a consequence, in dimension four, we completely determine the topological complexity of these connected sums, namely we show that it is equal to its maximum value nine. Furthermore, we discuss realisation of degree two homology classes by tori, and show how to construct non-realisable classes out of realisable classes in connected sums. The examples of this paper will quite often be aspherical manifolds whose fundamental groups have trivial center and connected sums. We thus discuss the possible relation between the maximum topological complexity $2n+1$ and the triviality of the center for aspherical $n$-manifolds and their connected sums.

Algebraic Topology,Group Theory,Geometric Topology
A cocyclic construction of $S^1$-equivariant homology and application to string topology

Yi Wang

DOI: https://doi.org/10.4171/JNCG/545

2024-02-06

Abstract:Given a space with a circle action, we study certain cocyclic chain complexes and prove a theorem relating cyclic homology to $S^1$-equivariant homology, in the spirit of celebrated work of Jones. As an application, we describe a chain level refinement of the gravity algebra structure on the (negative) $S^1$-equivariant homology of the free loop space of a closed oriented smooth manifold, based on work of Irie on chain level string topology and work of Ward on an $S^1$-equivariant version of operadic Deligne's conjecture.

Algebraic Topology
Homology of torus spaces with acyclic proper faces of the orbit space

Anton Ayzenberg

DOI: https://doi.org/10.48550/arXiv.1405.4672

2014-05-19

Abstract:Let $X$ be 2n-dimensional compact manifold with a locally standard action of a compact torus. The orbit space $X/T$ is a manifold with corners. Suppose that all proper faces of $X/T$ are acyclic. In the paper we study the homological spectral sequence $E^*_{*,*}\Rightarrow H_*(X)$ corresponding to the filtration of $X$ by orbit types. When the free part of the action is not twisted, we describe the whole spectral sequence in terms of homology and combinatorial structure of $X/T$. In this case we describe the kernel and the cokernel of the natural map $k[X/T]/(l.s.o.p.) \to H_*(X)$, where $k[X/T]$ is a face ring of $X/T$ and $(l.s.o.p.)$ is the ideal generated by a linear system of parameters (this ideal appears as the image of $H^{>0}(BT)$ in equivariant cohomology. There exists a natural double grading on $H_*(X)$, which satisfies bigraded Poincare duality. This general theory is applied to compute homology groups of origami toric manifolds with acyclic proper faces of the orbit space. A number of natural generalizations is considered. These include Buchsbaum simplicial complexes and posets. h'- and h''-numbers of simplicial posets appear as the ranks of certain terms in the spectral sequence $E^*_{*,*}$. In particular, using topological argument we show that Buchsbaum posets have nonnegative h''-vectors. The proofs of this paper rely on the theory of cellular sheaves. We associate to a torus space certain sheaves and cosheaves on the underlying simplicial poset, and observe an interesting duality between these objects. This duality seems to be a version of Poincare-Verdier duality between cellular sheaves and cosheaves.

Algebraic Topology,Commutative Algebra,Combinatorics
Topological characterization and Hodge structures of some rationally elliptic projective fourfolds

Jianqiang Yang

2024-09-06

Abstract:In this paper, we consider the rationally elliptic projective fourfolds that are holomorphically embedded into the complex projective eight-space $\mathbb{P}^8$. It is proved that a simply-connected $\mathbb Q$-homological projective four-space $X\subset\mathbb{P}^8$ is biholomorphic to $\mathbb P^4$ by using Euler characteristic and Chern numbers formulae of the normal bundle for a holomorphic embedding $i:X \to\mathbb{P}^8$. During the process of proving the result, we incidentally discovered that a $\mathbb{Q}$-homological projective 4-space $X$ with Kodaira dimension $k(X) \neq 4$ is isomorphic to $\mathbb{P}^4$. This finding provides a positive answer to a question posed by Wilson in the case where the dimension $n=4$. Using a similar approach, we show that the Hodge conjecture holds for the rationally elliptic fourfold $X \subset\mathbb{P}^8$, and the rationally elliptic fourfold $X \subset\mathbb{P}^8$ has non-positive Hodge level.

Algebraic Geometry
Cyclotomic Structures in Symplectic Topology

Semon Rezchikov

2024-05-29

Abstract:We extend the Cohen-Jones-Segal construction of stable homotopy types associated to flow categories of Morse-Smale functions $f$ to the setting where $f$ is equivariant under a finite group action and is Morse but no longer Morse-Smale. This setting occurs universally, as equivariant Morse functions can rarely be perturbed to nearby equivariant Morse-Smale functions. The method is very general, and allows one to do equivariant Floer theory while avoiding all the complications typically caused by issues of equivariant transversality. The construction assigns a (genuine) equivariant orthogonal spectrum to an equivariant framed virtually smooth flow category. Using this method, we construct, for a compact symplectic manifold $M$, which is symplectically atoroidal with contact boundary, and is equipped with an equivariant trivialization of its polarization class, a cyclotomic structure on the spectral lift of the symplectic cohomology $SH^*(M)$. This generalizes a variant of the map which sends loops to their $p$-fold covers on free loop spaces to the setting of general Liouville domains, and suggests a systematic connection between Floer homology and $p$-adic Hodge theory.

Symplectic Geometry,Algebraic Topology
Fukaya categories of hyperplane arrangements

Sukjoo Lee,Yin Li,Si-Yang Liu,Cheuk Yu Mak

2024-06-03

Abstract:To a simple polarized hyperplane arrangement (not necessarily cyclic) $\mathbb{V}$, one can associate a stopped Liouville manifold (equivalently, a Liouville sector) $\left(M(\mathbb{V}),\xi\right)$, where $M(\mathbb{V})$ is the complement of finitely many hyperplanes in $\mathbb{C}^d$, obtained as the complexifications of the real hyperplanes in $\mathbb{V}$. The Liouville structure on $M(\mathbb{V})$ comes from a very affine embedding, and the stop $\xi$ is determined by the polarization. In this article, we study the symplectic topology of $\left(M(\mathbb{V}),\xi\right)$. In particular, we prove that their partially wrapped Fukaya categories are generated by Lagrangian submanifolds associated to the bounded and feasible chambers of $\mathbb{V}$. A computation of the Fukaya $A_\infty$-algebra of these Lagrangians then enables us to identity these wrapped Fukaya categories with the $\mathbb{G}_m^d$-equivariant hypertoric convolution algebras $\widetilde{B}(\mathbb{V})$ associated to $\mathbb{V}$. This confirms a conjecture of Lauda-Licata-Manion (<a class="link-https" data-arxiv-id="2009.03981" href="https://arxiv.org/abs/2009.03981">arXiv:2009.03981</a>) and provides evidence for the general conjecture of Lekili-Segal (<a class="link-https" data-arxiv-id="2304.10969" href="https://arxiv.org/abs/2304.10969">arXiv:2304.10969</a>) on the equivariant Fukaya categories of symplectic manifolds with Hamiltonian torus actions.

Symplectic Geometry,Representation Theory
The cyclic bar construction and fundamental groups

Nir Gadish

2024-10-18

Abstract:We determine the 0-th Hochschild homology of the associative algebra of simplicial cochains valued in a PID: it consists of the ``finite-type" homotopy invariants of free loops, equivalently finite-type class functions on the fundamental group. One major motivation for this calculation is joint work in progress aiming to geometrically construct invariants of links in the 3-sphere as well as other $3$-manifolds, and to realize Milnor's linking numbers as evaluations of 0-th Hochschild homology classes.

Algebraic Topology,Rings and Algebras
Supersolvable posets and fiber-type abelian arrangements

Christin Bibby,Emanuele Delucchi

2024-04-26

Abstract:We present a combinatorial analysis of fiber bundles of generalized configuration spaces on connected abelian Lie groups. These bundles are akin to those of Fadell-Neuwirth for configuration spaces, and their existence is detected by a combinatorial property of an associated finite partially ordered set. This is consistent with Terao's fibration theorem connecting bundles of hyperplane arrangements to Stanley's lattice supersolvability. We obtain a combinatorially determined class of K($\pi$,1) toric and elliptic arrangements. Under a stronger combinatorial condition, we prove a factorization of the Poincaré polynomial when the Lie group is noncompact. In the case of toric arrangements, this provides an analogue of Falk-Randell's formula relating the Poincaré polynomial to the lower central series of the fundamental group.

Combinatorics,Algebraic Topology
Lefschetz fibrations on the Milnor fibers of cusp and simple elliptic singularities

Naohiko Kasuya,Hiroki Kodama,Yoshihiko Mitsumatsu,Atsuhide Mori

2024-07-18

Abstract:We show that there exists a Lefschetz fibration with the regular fiber diffeomorphic to $T^{2}$ on the Milnor fiber of any of cusp or simple elliptic singularities in complex three variables. As a consequence, we obtain a smooth topological decomposition of a K3 surface into two Milnor fibers according to each of the extended strange duality pairs between cusp singularities, so that an elliptic fibration structure of the K3 surface restricts to the Lefschetz fibration structure of each Milnor fiber.

Geometric Topology,Complex Variables,Symplectic Geometry
On the topology of $\mathcal{M}_{0,n+1}/Σ_n$ and $\overline{\mathcal{M}}_{0,n+1}/Σ_n$

Tommaso Rossi

2024-04-24

Abstract:This paper contains some results about the topology of $\mathcal{M}_{0,n+1}/\Sigma_n$ and $\overline{\mathcal{M}}_{0,n+1}/\Sigma_n$, where $\mathcal{M}_{0,n+1}$ is the moduli space of genus zero Riemann surfaces with marked points and $\overline{\mathcal{M}}_{0,n+1}$ is its Deligne-Mumford compactification. We show that $\mathcal{M}_{0,n+1}/\Sigma_n$ and $\overline{\mathcal{M}}_{0,n+1}/\Sigma_n$ are not topological manifolds for $n\geq 4$, and they are simply connected for any $n\in\mathbb{N}$. We also present some homology computations: for example we show that the homology of $\mathcal{M}_{0,n+1}/\Sigma_n$ is all torsion and that $\mathcal{M}_{0,p+1}/\Sigma_p$ has no $p$ torsion, where $p$ is a prime. Lastly we compute $H_*(\mathcal{M}_{0,n+1}/\Sigma_n;\mathbb{Z})$ for small values of $n$, proving that $\mathcal{M}_{0,n+1}/\Sigma_n$ is contractible for $n\leq 5$ while $\mathcal{M}_{0,7}/\Sigma_6$ is not.

Algebraic Topology,Algebraic Geometry
Hypercomplex structures arising from twistor spaces

Shuo Wang,Bin Xu

2024-02-21

Abstract:A hyperk\"ahler manifold is defined as a Riemannian manifold endowed with three covariantly constant complex structures that are quaternionically related. A twistor space is characterized as a holomorphic fiber bundle $p: \mathcal{Z} \rightarrow \mathbb{CP}^1$ possesses properties such as a family of holomorphic sections whose normal bundle is $\bigoplus^{2n}\mathcal{O}(1)$, a holomorphic section of $\Lambda^2(N\mathcal{Z})\otimes p^*(\mathcal{O}(2))$ that defines a symplectic form on each fiber, and a compatible real structure. According to the Hitchin-Karlhede-Lindstr\"om-Ro\v{c}ek theorem (Comm. Math. Phys., 108(4):535-589, 1987), there exists a hyperk\"ahler metric on the parameter space $M$ for the real sections of $\mathcal{Z}$. Utilizing the Kodaira-Spencer deformation theory, we facilitate the construction of a hypercomplex structure on $M$, predicated upon more relaxed presuppositions concerning $\mathcal{Z}$. This effort enriches our understanding of the classical theorem by Hitchin-Karlhede-Lindstr\"om-Ro\v{c}ek.

Differential Geometry

Topology of the icosidodecahedral arrangement

First homology groups of the Milnor fiber boundary for generic hyperplane arrangements in $\mathbb{C}^{3}$

Double star arrangement and the pointed multinet

Global Topology of Hyperbolic Components: Cantor Circle Case

Milnor fibrations of arrangements with trivial algebraic monodromy

Betti numbers and torsions in homology groups of double coverings

On the topology and combinatorics of decomposable arrangements

Topology of hyperplane arrangements via real structure

Heptagon relations from a simplicial 3-cocycle, and their cohomology

Co-orientable taut foliations in Dehn fillings of pseudo-Anosov mapping tori with co-orientation-reversing monodromy

Topological complexity, asphericity and connected sums

A cocyclic construction of $S^1$-equivariant homology and application to string topology

Homology of torus spaces with acyclic proper faces of the orbit space

Topological characterization and Hodge structures of some rationally elliptic projective fourfolds

Cyclotomic Structures in Symplectic Topology

Fukaya categories of hyperplane arrangements

The cyclic bar construction and fundamental groups

Supersolvable posets and fiber-type abelian arrangements

Lefschetz fibrations on the Milnor fibers of cusp and simple elliptic singularities

On the topology of $\mathcal{M}_{0,n+1}/Σ_n$ and $\overline{\mathcal{M}}_{0,n+1}/Σ_n$

Hypercomplex structures arising from twistor spaces