Showing 1–19 of 19 results for author: Yamagata, S

Mapping fiber, loop and suspension graphs in naive discrete homotopy theory

Authors: So Yamagata

Abstract: Discrete homotopy theory or A-homotopy theory is a combinatorial homotopy theory defined on graphs, simplicial complexes, and metric spaces, reflecting information about their connectivity. The present paper aims to further understand the (non-)similarities between the A-homotopy and ordinary homotopy theories through explicit constructions. More precisely, we define mapping fiber graphs and study… ▽ More Discrete homotopy theory or A-homotopy theory is a combinatorial homotopy theory defined on graphs, simplicial complexes, and metric spaces, reflecting information about their connectivity. The present paper aims to further understand the (non-)similarities between the A-homotopy and ordinary homotopy theories through explicit constructions. More precisely, we define mapping fiber graphs and study their basic properties yielding, under a technical condition, a discrete analogous of Puppe sequence in a naive discrete homotopy theory. △ Less

Submitted 17 March, 2025; v1 submitted 23 February, 2024; originally announced February 2024.

Comments: 14 pages, 5 figures. Typographical errors explanations were corrected throughout. Any comments are welcomed

MSC Class: 05C25; 55P10

A categorification for the characteristic polynomial of matroids

Authors: Takuya Saito, So Yamagata

Abstract: In the present paper, we provide a cohomology group as a categorification of the characteristic polynomial of matroids. The construction depends on the ``quasi-representation'' of a matroid. For a certain choice of the quasi-representation, we show that our cohomology theory gives a generalization of the chromatic cohomology introduced by L. Helme-Guizon and Y. Rong, and also the characteristic co… ▽ More In the present paper, we provide a cohomology group as a categorification of the characteristic polynomial of matroids. The construction depends on the ``quasi-representation'' of a matroid. For a certain choice of the quasi-representation, we show that our cohomology theory gives a generalization of the chromatic cohomology introduced by L. Helme-Guizon and Y. Rong, and also the characteristic cohomology introduced by Z. Dancso and A. Licata. △ Less

Submitted 4 September, 2024; v1 submitted 15 February, 2024; originally announced February 2024.

Comments: 25 pages, 2 figures

MSC Class: 05B35; 05C15; 05C31; 57K18

A braid monodromy presentation for the pure braid group

Authors: So Yamagata

Abstract: In the present paper, we consider a ``lexicographic section'' of the braid arrangement, and give a presentation of the fundamental group of its complement using the braid monodromy technique. We show that the resulting presentation coincides with the modified Artin presentation given by Margalit--McCammond. Moreover, we generalize the construction to the Manin--Schechtman arrangement $MS(n,k)$, a… ▽ More In the present paper, we consider a ``lexicographic section'' of the braid arrangement, and give a presentation of the fundamental group of its complement using the braid monodromy technique. We show that the resulting presentation coincides with the modified Artin presentation given by Margalit--McCammond. Moreover, we generalize the construction to the Manin--Schechtman arrangement $MS(n,k)$, a generalization of the braid arrangement. In particular, we give a presentation of $π_1(\mathbb{C}^5 \setminus MS(5,2))$, which is the simplest and nontrivial example of the Manin--Schechtman arrangements. △ Less

Submitted 31 May, 2023; v1 submitted 29 May, 2023; originally announced May 2023.

Comments: 26 pages, 42 figures

MSC Class: 20F36; 20F05; 57K20; 14H30

A splitting property of the chromatic homology of the complete graph

Authors: So Yamagata

Abstract: Khovanov introduced a bigraded cohomology theory of links whose graded Euler characteristic is the Jones polynomial. The theory was subsequently applied to the chromatic polynomial of graph, resulting in a categorification known as the ``chromatic homology''. Much as in the Khovanov homology, the chromatic polynomial can be obtained by taking the Euler characteristic of the chromatic homology. In… ▽ More Khovanov introduced a bigraded cohomology theory of links whose graded Euler characteristic is the Jones polynomial. The theory was subsequently applied to the chromatic polynomial of graph, resulting in a categorification known as the ``chromatic homology''. Much as in the Khovanov homology, the chromatic polynomial can be obtained by taking the Euler characteristic of the chromatic homology. In the present paper, we introduce a combinatorial description of enhanced states that can be applied to analysis of the homology in an explicit way by hand. Using the new combinatorial description, we show a splitting property of the chromatic homology for a certain class of graphs. Finally, as an application of the description, we compute the chromatic homology of the complete graph. △ Less

Submitted 30 July, 2023; v1 submitted 5 January, 2023; originally announced January 2023.

Comments: 20 pages, 5 figures

MSC Class: 57M15; 05C15

A linear condition for non-very generic discriminantal arrangements

Authors: Simona Settepanella, So Yamagata

Abstract: The discriminantal arrangement is the space of configurations of $n$ hyperplanes in generic position in a $k$ dimensional space (see \cite{MS}). Differently from the case $k=1$ in which it corresponds to the well known braid arrangement, the discriminantal arrangement in the case $k>1$ has a combinatorics which depends from the choice of the original $n$ hyperplanes. It is known that this combinat… ▽ More The discriminantal arrangement is the space of configurations of $n$ hyperplanes in generic position in a $k$ dimensional space (see \cite{MS}). Differently from the case $k=1$ in which it corresponds to the well known braid arrangement, the discriminantal arrangement in the case $k>1$ has a combinatorics which depends from the choice of the original $n$ hyperplanes. It is known that this combinatorics is constant in an open Zariski set $\mathcal{Z}$, but to assess wether or not $n$ fixed hyperplanes in generic position belongs to $\mathcal{Z}$ proved to be a nontrivial problem. Even to simply provide examples of configurations not in $\mathcal{Z}$ is still a difficult task. In this paper, moving from a recent result in \cite{SSc}, we define a $\textit{weak linear independency}$ condition among sets of vectors which, if imposed, allows to build configurations of hyperplanes not in $\mathcal{Z}$. We provide $3$ examples. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Comments: 9 pages, 3 figures. arXiv admin note: substantial text overlap with arXiv:2101.00544

MSC Class: 52C35 05B35 05C99

A classification of combinatorial types of discriminantal arrangements

Authors: So Yamagata

Abstract: Manin and Schechtman introduced a family of arrangements of hyperplanes generalizing classical braid arrangements, which they called the $\textit{discriminantal arrangements}$. Athanasiadis proved a conjecture by Bayer and Brandt providing a full description of the combinatorics of discriminantal arrangements in the case of $\textit{very generic}$ arrangements. Libgober and Settepanella described… ▽ More Manin and Schechtman introduced a family of arrangements of hyperplanes generalizing classical braid arrangements, which they called the $\textit{discriminantal arrangements}$. Athanasiadis proved a conjecture by Bayer and Brandt providing a full description of the combinatorics of discriminantal arrangements in the case of $\textit{very generic}$ arrangements. Libgober and Settepanella described a sufficient geometric condition for given arrangements to be $\textit{non very generic}$ in terms of the notion of dependency for a certain arrangement. Settepanella and the author generalized the notion of dependency introducing $r$-sets and $K_\mathbb{T}$-vector sets, and provided a sufficient condition for non very genericity but still not convenient to verify by hand. In this paper we give a classification of the $r$-sets, and a more explicit and tractable condition for non very genericity. △ Less

Submitted 30 July, 2023; v1 submitted 5 January, 2022; originally announced January 2022.

Comments: 18 pages, 6 figures

MSC Class: 52C35 05B35

On the non-very generic intersections in discriminantal arrangements

Authors: Simona Settepanella, So Yamagata

Abstract: In 1985 Crapo introduced in \cite{Crapo} a new mathematical object that he called $\textit{geometry of circuits}$. Four years later, in 1989, Manin and Schechtman defined in \cite{MS} the same object and called it $\textit{discriminantal arrangement}$, the name by which it is known now a days. Those discriminantal arrangements $\mathcal{B}(n,k,\mathcal{A}^0)$ are builded from an arrangement… ▽ More In 1985 Crapo introduced in \cite{Crapo} a new mathematical object that he called $\textit{geometry of circuits}$. Four years later, in 1989, Manin and Schechtman defined in \cite{MS} the same object and called it $\textit{discriminantal arrangement}$, the name by which it is known now a days. Those discriminantal arrangements $\mathcal{B}(n,k,\mathcal{A}^0)$ are builded from an arrangement $\mathcal{A}^0$ of $n$ hyperplanes in general position in a $k$-dimensional space and their combinatorics depends on the arrangement $\mathcal{A}^0$. On this basis, in 1997 Bayer and Brandt (see \cite{BB}) distinguished two different type of arrangements $\mathcal{A}^0$ calling $\textit{very generic}$ the ones for which the intersection lattice of $\mathcal{B}(n,k,\mathcal{A}^0)$ has maximum cardinality and $\textit{non-very generic}$ the others. Results on the combinatorics of $\mathcal{B}(n,k,\mathcal{A}^0)$ in the very generic case already appear in Crapo \cite{Crapo} and in 1997 in Athanasiadis \cite{Atha} while the first known result on non-very generic case is due to Libgober and the first author in 2018. In their paper \cite{LS} they provided a necessary and sufficient condition on $\mathcal{A}^0$ for which the cardinality of rank 2 intersections in $\mathcal{B}(n,k,\mathcal{A}^0)$ is not maximal anymore. In this paper we further develop their result providing a sufficient condition on $\mathcal{A}^0$ for which the cardinality of rank r, $r \geq 2$, intersections in $\mathcal{B}(n,k,\mathcal{A}^0)$ decreases. △ Less

Submitted 27 March, 2022; v1 submitted 2 January, 2021; originally announced January 2021.

Comments: 10 pages, 7 figures

MSC Class: 52C35 05B35 05C99

Pappus's Theorem in Grassmannian Gr(3,C^n)

Authors: S. Sawada, S. Settepanella, S. Yamagata

Abstract: In this paper we study intersections of quadrics, components of the hypersurface in Grassmannian $Gr(3, \CC^n)$ introduced in \cite{SoSuSi}. This lead to an alternative statement and proof of Pappus's Theorem retrieving Pappus's and Hesse configurations of lines as special points in complex projective Grassmannian. This new connection is obtained through a third purely combinatorial object, the in… ▽ More In this paper we study intersections of quadrics, components of the hypersurface in Grassmannian $Gr(3, \CC^n)$ introduced in \cite{SoSuSi}. This lead to an alternative statement and proof of Pappus's Theorem retrieving Pappus's and Hesse configurations of lines as special points in complex projective Grassmannian. This new connection is obtained through a third purely combinatorial object, the intersection lattice of Discriminantal arrangement. △ Less

Submitted 26 February, 2018; originally announced February 2018.

MSC Class: 52C35 05B35 14M15

Discriminantal Arrangement, $3\times3$ Minors of Plücker Matrix and hypersurfaces in Grassmannian $Gr(3,n)$

Authors: S. Sawada, S. Settepanella, S. Yamagata

Abstract: We show that points in specific degree 2 hypersurfaces in the Grassmannian $Gr(3, n)$ correspond to generic arrangements of $n$ hyperplanes in $\mathbb{C}^3$ with associated discriminantal arrangement having intersections of multiplicity three in codimension two. We show that points in specific degree 2 hypersurfaces in the Grassmannian $Gr(3, n)$ correspond to generic arrangements of $n$ hyperplanes in $\mathbb{C}^3$ with associated discriminantal arrangement having intersections of multiplicity three in codimension two. △ Less

Submitted 16 October, 2017; v1 submitted 12 May, 2017; originally announced May 2017.

Comments: 12 pages, 1 figure

MSC Class: 52C35; 05B35; 14M15

Journal ref: C.R. Acad. Sci. Paris, Ser. I 355, Issue 11, 2017, Pages 1111-1120

On relative hyperbolicity for a group and relative quasiconvexity for a subgroup

Authors: Yoshifumi Matsuda, Shin-ichi Oguni, Saeko Yamagata

Abstract: We consider two families of subgroups of a group. Each subgroup which belongs to one family is contained in some subgroup which belongs to the other family. We then discuss relations of relative hyperbolicity for the group with respect to the two families, respectively. If the group is supposed to be hyperbolic relative to the two families, respectively, then we consider relations of relative quas… ▽ More We consider two families of subgroups of a group. Each subgroup which belongs to one family is contained in some subgroup which belongs to the other family. We then discuss relations of relative hyperbolicity for the group with respect to the two families, respectively. If the group is supposed to be hyperbolic relative to the two families, respectively, then we consider relations of relative quasiconvexity for a subgroup of the group with respect to the two families, respectively. △ Less

Submitted 17 January, 2013; originally announced January 2013.

Comments: 26 pages, 9 figures

MSC Class: 20F67; 20F65

Notes on relatively hyperbolic groups and relatively quasiconvex subgroups

Authors: Yoshifumi Matsuda, Shin-ichi Oguni, Saeko Yamagata

Abstract: We define relatively quasiconvex subgroups of relatively hyperbolic groups in the sense of Osin and show that such subgroups have expected properties. Also we state several definitions equivalent to the definition of relatively hyperbolic groups in the sense of Osin. We define relatively quasiconvex subgroups of relatively hyperbolic groups in the sense of Osin and show that such subgroups have expected properties. Also we state several definitions equivalent to the definition of relatively hyperbolic groups in the sense of Osin. △ Less

Submitted 14 January, 2013; originally announced January 2013.

Comments: 25 pages

MSC Class: 20F67; 20F65

Blowing up and down compacta with geometrically finite convergence actions of a group

Authors: Yoshifumi Matsuda, Shin-ichi Oguni, Saeko Yamagata

Abstract: We consider two compacta with minimal non-elementary convergence actions of a countable group. When there exists an equivariant continuous map from one to the other, we call the first a blow-up of the second and the second a blow-down of the first. When both actions are geometrically finite, it is shown that one is a blow-up of the other if and only if each parabolic subgroup with respect to the f… ▽ More We consider two compacta with minimal non-elementary convergence actions of a countable group. When there exists an equivariant continuous map from one to the other, we call the first a blow-up of the second and the second a blow-down of the first. When both actions are geometrically finite, it is shown that one is a blow-up of the other if and only if each parabolic subgroup with respect to the first is parabolic with respect to the second. As an application, for each compactum with a geometrically finite convergence action, we construct its blow-downs with convergence actions which are not geometrically finite. △ Less

Submitted 31 May, 2013; v1 submitted 29 January, 2012; originally announced January 2012.

Comments: 26 pages, v2: Theorem 1.3 improved (see Theorems 1.4 and 1.5), Appendix B added, reference added, v3: organization of the paper modified, Remarks 1.3, 2.4 and 5.9 added, reference added

MSC Class: 20F67; 20F65

Hyperbolically embedded virtually free subgroups of relatively hyperbolic groups

Authors: Yoshifumi Matsuda, Shin-ichi Oguni, Saeko Yamagata

Abstract: We show that if a group is not virtually cyclic and is hyperbolic relative to a family of proper subgroups, then it has a hyperbolically embedded subgroup which contains a finitely generated non-abelian free group as a finite index subgroup. We show that if a group is not virtually cyclic and is hyperbolic relative to a family of proper subgroups, then it has a hyperbolically embedded subgroup which contains a finitely generated non-abelian free group as a finite index subgroup. △ Less

Submitted 22 May, 2012; v1 submitted 12 September, 2011; originally announced September 2011.

Comments: 13 pages, 1 figure, a remark on the main result is added

MSC Class: 20F67; 20F65

The universal relatively hyperbolic structure on a group and relative quasiconvexity for subgroups

Authors: Yoshifumi Matsuda, Shin-ichi Oguni, Saeko Yamagata

Abstract: We discuss the notion of the universal relatively hyperbolic structure on a group which is used in order to characterize relatively hyperbolic structures on the group. We also study relations between relatively hyperbolic structures on a group and relative quasiconvexity for subgroups of the group. We discuss the notion of the universal relatively hyperbolic structure on a group which is used in order to characterize relatively hyperbolic structures on the group. We also study relations between relatively hyperbolic structures on a group and relative quasiconvexity for subgroups of the group. △ Less

Submitted 10 May, 2012; v1 submitted 26 June, 2011; originally announced June 2011.

Comments: 19 pages, several revisions throughout the paper

MSC Class: 20F67; 20F65

$C^*$-simplicity for groups with non-elementary convergence group actions

Authors: Yoshifumi Matsuda, Shin-ichi Oguni, Saeko Yamagata

Abstract: We prove that a countable group with an effective minimal non-elementary convergence group action is a Powers group. More strongly we prove that it is a strongly Powers group and thus its non-trivial subnormal subgroups are $C^*$-simple. We prove that a countable group with an effective minimal non-elementary convergence group action is a Powers group. More strongly we prove that it is a strongly Powers group and thus its non-trivial subnormal subgroups are $C^*$-simple. △ Less

Submitted 11 August, 2011; v1 submitted 14 June, 2011; originally announced June 2011.

Comments: 7 pages

MSC Class: 37B05; 20F65; 22D25

Automorphisms of the Torelli complex for the one-holed genus two surface

Authors: Yoshikata Kida, Saeko Yamagata

Abstract: Let S be a connected, compact and orientable surface of genus two having exactly one boundary component. We study automorphisms of the Torelli complex for S, and describe any isomorphism between finite index subgroups of the Torelli group for S. More generally, we study superinjective maps from the Torelli complex for S into itself, and show that any finite index subgroup of the Torelli group for… ▽ More Let S be a connected, compact and orientable surface of genus two having exactly one boundary component. We study automorphisms of the Torelli complex for S, and describe any isomorphism between finite index subgroups of the Torelli group for S. More generally, we study superinjective maps from the Torelli complex for S into itself, and show that any finite index subgroup of the Torelli group for S is co-Hopfian. △ Less

Submitted 14 April, 2013; v1 submitted 2 September, 2010; originally announced September 2010.

Comments: 28 pages, 21 figures. Proof was largely modified because some hexagons had been overlooked (v3), Figures added and exposition improved (v4)

MSC Class: 20E36; 20F38

Journal ref: Tokyo J. Math. 37 (2014), 335-372

The co-Hopfian property of surface braid groups

Authors: Yoshikata Kida, Saeko Yamagata

Abstract: Let g and n be integers at least two, and let G be the pure braid group with n strands on a closed orientable surface of genus g. We describe any injective homomorphism from a finite index subgroup of G into G. As a consequence, we show that any finite index subgroup of G is co-Hopfian. Let g and n be integers at least two, and let G be the pure braid group with n strands on a closed orientable surface of genus g. We describe any injective homomorphism from a finite index subgroup of G into G. As a consequence, we show that any finite index subgroup of G is co-Hopfian. △ Less

Submitted 7 March, 2013; v1 submitted 14 June, 2010; originally announced June 2010.

Comments: 32 pages, 20 figures. Figures added and exposition improved

MSC Class: 20E36; 20F36

Journal ref: J. Knot Theory Ramifications 22 (2013), 1350055, 46 pp

Commensurators of surface braid groups

Authors: Yoshikata Kida, Saeko Yamagata

Abstract: We prove that if g and n are integers at least two, then the abstract commensurator of the braid group with n strands on a closed orientable surface of genus g is naturally isomorphic to the extended mapping class group of a compact orientable surface of genus g with n boundary components. We prove that if g and n are integers at least two, then the abstract commensurator of the braid group with n strands on a closed orientable surface of genus g is naturally isomorphic to the extended mapping class group of a compact orientable surface of genus g with n boundary components. △ Less

Submitted 13 September, 2011; v1 submitted 17 April, 2010; originally announced April 2010.

Comments: 35 pages, 12 figures

MSC Class: 20E36; 20F36

Journal ref: J. Math. Soc. Japan 63 (2011) 1391-1435

Parabolic isometries of CAT(0) spaces and CAT(0) dimensions

Authors: Koji Fujiwara, Takashi Shioya, Saeko Yamagata

Abstract: We study discrete groups from the view point of a dimension gap in connection to CAT(0) geometry. Developing studies by Brady-Crisp and Bridson, we show that there exist finitely presented groups of geometric dimension 2 which do not act properly on any proper CAT(0) spaces of dimension 2 by isometries, although such actions exist on CAT(0) spaces of dimension 3. Another example is the fundame… ▽ More We study discrete groups from the view point of a dimension gap in connection to CAT(0) geometry. Developing studies by Brady-Crisp and Bridson, we show that there exist finitely presented groups of geometric dimension 2 which do not act properly on any proper CAT(0) spaces of dimension 2 by isometries, although such actions exist on CAT(0) spaces of dimension 3. Another example is the fundamental group, G, of a complete, non-compact, complex hyperbolic manifold M with finite volume, of complex-dimension n > 1. The group G is acting on the universal cover of M, which is isometric to H^n_C. It is a CAT(-1) space of dimension 2n. The geometric dimension of G is 2n-1. We show that G does not act on any proper CAT(0) space of dimension 2n-1 properly by isometries. We also discuss the fundamental groups of a torus bundle over a circle, and solvable Baumslag-Solitar groups. △ Less

Submitted 27 October, 2004; v1 submitted 28 August, 2003; originally announced August 2003.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-38.abs.html

MSC Class: 20F67; 20F65; 20F36; 57M20; 53C23

Journal ref: Algebr. Geom. Topol. 4 (2004) 861-892