Showing 1–50 of 61 results for author: Yoshinaga, M

Magnitude homology and homotopy type of metric fibrations

Authors: Yasuhiko Asao, Yu Tajima, Masahiko Yoshinaga

Abstract: In this article, we show that each two metric fibrations with a common base and a common fiber have isomorphic magnitude homology, and even more, the same magnitude homotopy type. That can be considered as a generalization of a fact proved by T. Leinster that the magnitude of a metric fibration with finitely many points is a product of those of the base and the fiber. We also show that the definit… ▽ More In this article, we show that each two metric fibrations with a common base and a common fiber have isomorphic magnitude homology, and even more, the same magnitude homotopy type. That can be considered as a generalization of a fact proved by T. Leinster that the magnitude of a metric fibration with finitely many points is a product of those of the base and the fiber. We also show that the definition of the magnitude homotopy type due to the second and the third authors is equivalent to the geometric realization of Hepworth and Willerton's pointed simplicial set. △ Less

Submitted 5 September, 2024; originally announced September 2024.

Comments: 12 pages

The quasi-polynomiality of mod q permutation representation for a linear finite group action on a lattice

Authors: Ryo Uchiumi, Masahiko Yoshinaga

Abstract: For given linear action of a finite group on a lattice and a positive integer q, we prove that the mod q permutation representation is a quasi-polynomial in q. Additionally, we establish several results that can be considered as mod q-analogues of results by Stapledon for equivariant Ehrhart quasi-polynomials. We also prove a reciprocity-type result for multiplicities of irreducible decompositions… ▽ More For given linear action of a finite group on a lattice and a positive integer q, we prove that the mod q permutation representation is a quasi-polynomial in q. Additionally, we establish several results that can be considered as mod q-analogues of results by Stapledon for equivariant Ehrhart quasi-polynomials. We also prove a reciprocity-type result for multiplicities of irreducible decompositions. △ Less

Submitted 2 September, 2024; originally announced September 2024.

Comments: 12 pages

MSC Class: 05E18; 20C10

Topology of hyperplane arrangements via real structure

Authors: Masahiko Yoshinaga

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. 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. △ Less

Submitted 4 August, 2024; originally announced August 2024.

Comments: 37 pages, 21 figures

A construction of homotopically non-trivial embedded spheres for hyperplane arrangements

Authors: Masahiko Yoshinaga

Abstract: We introduce the notion of locally consistent system of half-spaces for a real hyperplane arrangement. We embed a sphere in the complexified complement by shifting the real unit sphere into the imaginary direction indicated by the half-spaces. We then prove that the sphere is homotopically trivial if and only if the system of half-spaces is globally consistent. To prove its non-triviality, we comp… ▽ More We introduce the notion of locally consistent system of half-spaces for a real hyperplane arrangement. We embed a sphere in the complexified complement by shifting the real unit sphere into the imaginary direction indicated by the half-spaces. We then prove that the sphere is homotopically trivial if and only if the system of half-spaces is globally consistent. To prove its non-triviality, we compute the twisted intersection number of the sphere with a specific, explicitly constructed twisted Borel-Moore cycle. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 15 pages, 10 figures

$q$-deformation of Aomoto complex

Authors: Masahiko Yoshinaga

Abstract: A degree one element of the Orlik-Solomon algebra of a hyperplane arrangement defines a cochain complex known as the Aomoto complex. The Aomoto complex can be considerd as the ``linear approximation'' of the twisted cochain complex with coefficients in a complex rank one local system. In this paper, we discuss $q$-deformations of the Aomoto complex. The $q$-deformation is defined by replacing th… ▽ More A degree one element of the Orlik-Solomon algebra of a hyperplane arrangement defines a cochain complex known as the Aomoto complex. The Aomoto complex can be considerd as the ``linear approximation'' of the twisted cochain complex with coefficients in a complex rank one local system. In this paper, we discuss $q$-deformations of the Aomoto complex. The $q$-deformation is defined by replacing the entries of representation matrices of the coboundary maps with their $q$-analogues. While the resulting maps do not generally define cochain complexes, for certain special basis derived from real structures, the $q$-deformation becomes again a cochain complex. Moreover, it exhibits universality in the sense that any specialization of $q$ to a complex number yields the cochain complex computing the corresponding local system cohomology group. △ Less

Submitted 20 May, 2024; v1 submitted 1 January, 2024; originally announced January 2024.

Comments: 17 pages, 4 figures, to appear in Revue Roumaine de Mathématiques Pures et Appliquées

MSC Class: 52C35; 32S22; 55N25

The small-scale limit of magnitude and the one-point property

Authors: Emily Roff, Masahiko Yoshinaga

Abstract: The magnitude of a metric space is a real-valued function whose parameter controls the scale of the metric. A metric space is said to have the one-point property if its magnitude converges to 1 as the space is scaled down to a point. Not every finite metric space has the one-point property: to date, exactly one example has been found of a finite space for which the property fails. Understanding th… ▽ More The magnitude of a metric space is a real-valued function whose parameter controls the scale of the metric. A metric space is said to have the one-point property if its magnitude converges to 1 as the space is scaled down to a point. Not every finite metric space has the one-point property: to date, exactly one example has been found of a finite space for which the property fails. Understanding the failure of the one-point property is of interest in clarifying the interpretation of magnitude and its stability with respect to the Gromov--Hausdorff topology. We prove that the one-point property holds generically for finite metric spaces, but that when it fails, the failure can be arbitrarily bad: the small-scale limit of magnitude can take arbitrary real values greater than 1. △ Less

Submitted 14 January, 2024; v1 submitted 22 December, 2023; originally announced December 2023.

Comments: 13 pages, 4 figures. Version 2 includes acknowledgements and an updated reference, and a few typos are corrected

Integral expressions for derivations of multiarrangements

Authors: Misha Feigin, Zixuan Wang, Masahiko Yoshinaga

Abstract: The construction of an explicit basis for a free multiarrangement is not easy in general. Inspired by the integral expressions for quasi-invariants of quantum Calogero-Moser systems, we present integral expressions for specific bases of certain multiarrangements. Our construction covers the cases of three lines in dimension $2$ (previously examined by Wakamiko) and free multiarrangements associate… ▽ More The construction of an explicit basis for a free multiarrangement is not easy in general. Inspired by the integral expressions for quasi-invariants of quantum Calogero-Moser systems, we present integral expressions for specific bases of certain multiarrangements. Our construction covers the cases of three lines in dimension $2$ (previously examined by Wakamiko) and free multiarrangements associated with complex reflection groups (Hoge, Mano, Röhrle, Stump). Furthermore, we propose a conjectural basis for the module of logarithmic vector fields of the extended Catalan arrangement of type $B_2$. △ Less

Submitted 24 September, 2023; v1 submitted 3 September, 2023; originally announced September 2023.

Comments: 21 pages, v2: minor change

MSC Class: 32S22; 52C35; 13N15; 20F55

Ehrhart quasi-polynomials and parallel translations

Authors: Akihiro Higashitani, Satoshi Murai, Masahiko Yoshinaga

Abstract: Given a rational polytope $P \subset \mathbb R^d$, the numerical function counting lattice points in the integral dilations of $P$ is known to become a quasi-polynomial, called the Ehrhart quasi-polynomial $\mathrm{ehr}_P$ of $P$. In this paper we study the following problem: Given a rational $d$-polytope $P \subset \mathbb R^d$, is there a nice way to know Ehrhart quasi-polynomials of translated… ▽ More Given a rational polytope $P \subset \mathbb R^d$, the numerical function counting lattice points in the integral dilations of $P$ is known to become a quasi-polynomial, called the Ehrhart quasi-polynomial $\mathrm{ehr}_P$ of $P$. In this paper we study the following problem: Given a rational $d$-polytope $P \subset \mathbb R^d$, is there a nice way to know Ehrhart quasi-polynomials of translated polytopes $P+ \mathbf v$ for all $\mathbf v \in \mathbb Q^d$? We provide a way to compute such Ehrhart quasi-polynomials using a certain toric arrangement and lattice point counting functions of translated cones of $P$. This method allows us to visualize how constituent polynomials of $\mathrm{ehr}_{P+\mathbf v}$ change in the torus $\mathbb R^d/\mathbb Z^d$. We also prove that information of $\mathrm{ehr}_{P+\mathbf v}$ for all $\mathbf v \in \mathbb Q^d$ determines the rational $d$-polytope $P \subset \mathbb R^d$ up to translations by integer vectors, and characterize all rational $d$-polytopes $P \subset \mathbb R^d$ such that $\mathrm{ehr}_{P+\mathbf v}$ is symmetric for all $\mathbf v \in \mathbb Q^d$. △ Less

Submitted 16 July, 2023; originally announced July 2023.

Comments: 26 pages

Causal order complex and magnitude homotopy type of metric spaces

Authors: Yu Tajima, Masahiko Yoshinaga

Abstract: In this paper, we construct a pointed CW complex called the magnitude homotopy type for a given metric space $X$ and a real parameter $\ell \geq 0$. This space is roughly consisting of all paths of length $\ell$ and has the reduced homology group that is isomorphic to the magnitude homology group of $X$. To construct the magnitude homotopy type, we consider the poset structure on the spacetime… ▽ More In this paper, we construct a pointed CW complex called the magnitude homotopy type for a given metric space $X$ and a real parameter $\ell \geq 0$. This space is roughly consisting of all paths of length $\ell$ and has the reduced homology group that is isomorphic to the magnitude homology group of $X$. To construct the magnitude homotopy type, we consider the poset structure on the spacetime $X\times\mathbb{R}$ defined by causal (time- or light-like) relations. The magnitude homotopy type is defined as the quotient of the order complex of an intervals on $X\times\mathbb{R}$ by a certain subcomplex. The magnitude homotopy type gives a covariant functor from the category of metric spaces with $1$-Lipschitz maps to the category of pointed topological spaces. The magnitude homotopy type also has a ``path integral'' like expression for certain metric spaces. By applying discrete Morse theory to the magnitude homotopy type, we obtain a new proof of the Mayer-Vietoris type theorem and several new results including the invariance of the magnitude under sycamore twist of finite metric spaces. △ Less

Submitted 26 May, 2023; v1 submitted 19 February, 2023; originally announced February 2023.

Comments: ver. 2, major revision, 45 pages, 13 figures, to appear in IMRN

MSC Class: 55N35; 51F99

Betti numbers and torsions in homology groups of double coverings

Authors: Suguru Ishibashi, Sakumi Sugawara, Masahiko Yoshinaga

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… ▽ More 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. △ Less

Submitted 20 May, 2024; v1 submitted 6 September, 2022; originally announced September 2022.

Comments: 9 pages, 2 figures, ver 2: minor revision, ver 3: minor revision

MSC Class: 52C35; 20F55

Free reflection multiarrangements and quasi-invariants

Authors: Takuro Abe, Naoya Enomoto, Misha Feigin, Masahiko Yoshinaga

Abstract: To a complex reflection arrangement with an invariant multiplicity function one can relate the space of logarithmic vector fields and the space of quasi-invariants, which are both modules over invariant polynomials. We establish a close relation between these modules. Berest-Chalykh freeness results for the module of quasi-invariants lead to new free complex reflection multiarrangements. K. Saito'… ▽ More To a complex reflection arrangement with an invariant multiplicity function one can relate the space of logarithmic vector fields and the space of quasi-invariants, which are both modules over invariant polynomials. We establish a close relation between these modules. Berest-Chalykh freeness results for the module of quasi-invariants lead to new free complex reflection multiarrangements. K. Saito's primitive derivative gives a linear map between certain spaces of quasi-invariants. We also establish a close relation between non-homogeneous quasi-invariants for root systems and logarithmic vector fields for the extended Catalan arrangements. As an application, we prove the freeness of Catalan arrangements corresponding to the non-reduced root system $BC_N$. △ Less

Submitted 7 October, 2022; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: 26 pages; small changes

Magnitude homology of graphs and discrete Morse theory on Asao-Izumihara complexes

Authors: Yu Tajima, Masahiko Yoshinaga

Abstract: Recently, Asao and Izumihara introduced CW-complexes whose homology groups are isomorphic to direct summands of the graph magnitude homology group. In this paper, we study the homotopy type of the CW-complexes in connection with the diagonality of magnitude homology groups. We prove that the Asao-Izumihara complex is homotopy equivalent to a wedge of spheres for pawful graphs introduced by Y. Gu.… ▽ More Recently, Asao and Izumihara introduced CW-complexes whose homology groups are isomorphic to direct summands of the graph magnitude homology group. In this paper, we study the homotopy type of the CW-complexes in connection with the diagonality of magnitude homology groups. We prove that the Asao-Izumihara complex is homotopy equivalent to a wedge of spheres for pawful graphs introduced by Y. Gu. The result can be considered as a homotopy type version of Gu's result. We also formulate a slight generalization of the notion of pawful graphs and find new non-pawful diagonal graphs of diameter $2$. △ Less

Submitted 2 June, 2022; v1 submitted 5 October, 2021; originally announced October 2021.

Comments: v3: figures fixed, to appear in Homology, Homotopy and Applications

MSC Class: 55N35; 05C10; 51F99; 05E45

Journal ref: Homology, Homotopy and Applications Volume 25 (2023) no. 1 331-343

Ehrhart quasi-polynomials of almost integral polytopes

Authors: Christopher de Vries, Masahiko Yoshinaga

Abstract: A lattice polytope translated by a rational vector is called an almost integral polytope. In this paper we investigate Ehrhart quasi-polynomials of almost integral polytopes. We study the relationship between the shape of the polytopes and algebraic properties of the Ehrhart quasi-polynomials. In particular, we prove that lattice zonotopes and centrally symmetric lattice polytopes are characterize… ▽ More A lattice polytope translated by a rational vector is called an almost integral polytope. In this paper we investigate Ehrhart quasi-polynomials of almost integral polytopes. We study the relationship between the shape of the polytopes and algebraic properties of the Ehrhart quasi-polynomials. In particular, we prove that lattice zonotopes and centrally symmetric lattice polytopes are characterized by Ehrhart quasi-polynomials of their rational translations. △ Less

Submitted 30 August, 2023; v1 submitted 25 August, 2021; originally announced August 2021.

Comments: ver 3: revisions on presentations

MSC Class: 52B05; 52B20; 05A15; 11H06

Period collapse in characteristic quasi-polynomials of hyperplane arrangements

Authors: Akihiro Higashitani, Tan Nhat Tran, Masahiko Yoshinaga

Abstract: Given an integral hyperplane arrangement, Kamiya-Takemura-Terao (2008 & 2011) introduced the notion of characteristic quasi-polynomial, which enumerates the cardinality of the complement of the arrangement modulo a positive integer. The most popular candidate for period of the characteristic quasi-polynomials is the lcm period. In this paper, we initiate a study of period collapse in characteristi… ▽ More Given an integral hyperplane arrangement, Kamiya-Takemura-Terao (2008 & 2011) introduced the notion of characteristic quasi-polynomial, which enumerates the cardinality of the complement of the arrangement modulo a positive integer. The most popular candidate for period of the characteristic quasi-polynomials is the lcm period. In this paper, we initiate a study of period collapse in characteristic quasi-polynomials stemming from the concept of period collapse in the theory of Ehrhart quasi-polynomials. We say that period collapse occurs in a characteristic quasi-polynomial when the minimum period is strictly less than the lcm period. Our first main result is that in the non-central case, with regard to period collapse anything is possible: period collapse occurs in any dimension $\ge 1$, occurs for any value of the lcm period $\ge 2$, and the minimum period when it is not the lcm period can be any proper divisor of the lcm period. Our second main result states that in the central case, however, no period collapse is possible in any dimension, that is, the lcm period is always the minimum period. △ Less

Submitted 12 May, 2021; v1 submitted 5 May, 2021; originally announced May 2021.

Comments: 20 pages, title changed, author list updated, Section 6 significantly improved: the lcm period proved to be the minimum period in the central case

MSC Class: Primary 52C35; Secondary 52C07

Condensation-Net: Memory-Efficient Network Architecture with Cross-Channel Pooling Layers and Virtual Feature Maps

Authors: Tse-Wei Chen, Motoki Yoshinaga, Hongxing Gao, Wei Tao, Dongchao Wen, Junjie Liu, Kinya Osa, Masami Kato

Abstract: "Lightweight convolutional neural networks" is an important research topic in the field of embedded vision. To implement image recognition tasks on a resource-limited hardware platform, it is necessary to reduce the memory size and the computational cost. The contribution of this paper is stated as follows. First, we propose an algorithm to process a specific network architecture (Condensation-Net… ▽ More "Lightweight convolutional neural networks" is an important research topic in the field of embedded vision. To implement image recognition tasks on a resource-limited hardware platform, it is necessary to reduce the memory size and the computational cost. The contribution of this paper is stated as follows. First, we propose an algorithm to process a specific network architecture (Condensation-Net) without increasing the maximum memory storage for feature maps. The architecture for virtual feature maps saves 26.5% of memory bandwidth by calculating the results of cross-channel pooling before storing the feature map into the memory. Second, we show that cross-channel pooling can improve the accuracy of object detection tasks, such as face detection, because it increases the number of filter weights. Compared with Tiny-YOLOv2, the improvement of accuracy is 2.0% for quantized networks and 1.5% for full-precision networks when the false-positive rate is 0.1. Last but not the least, the analysis results show that the overhead to support the cross-channel pooling with the proposed hardware architecture is negligible small. The extra memory cost to support Condensation-Net is 0.2% of the total size, and the extra gate count is only 1.0% of the total size. △ Less

Submitted 29 April, 2021; originally announced April 2021.

Comments: Camera-ready version for CVPR 2019 workshop (Embedded Vision Workshop)

Journal ref: 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW)

Feynman graphs and Hyperplane arrangements defined over $\mathbb{F}_1$

Authors: Kyosuke Higashida, Masahiko Yoshinaga

Abstract: Motivated by some computations of Feynman integrals and certain conjectures on mixed Tate motives, Bejleri and Marcolli posed questions about the $\mathbb{F}_1$-structure (in the sense of torification) on the complement of a hyperplane arrangement, especially for an arrangement defined in the space of cycles of a graph. In this paper, we prove that an arrangement has an $\mathbb{F}_1$-structure if… ▽ More Motivated by some computations of Feynman integrals and certain conjectures on mixed Tate motives, Bejleri and Marcolli posed questions about the $\mathbb{F}_1$-structure (in the sense of torification) on the complement of a hyperplane arrangement, especially for an arrangement defined in the space of cycles of a graph. In this paper, we prove that an arrangement has an $\mathbb{F}_1$-structure if and only if it is Boolean. We also prove that the arrangement in the cycle space of a graph is Boolean if and only if the cycle space has a basis consisting of cycles such that any two of them do not share edges. △ Less

Submitted 28 August, 2021; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: 5 pages, ver 2: added remarks on dual matroids, to appear in Journal of Geometry and Physics

MSC Class: 14A23; 14N20

Divides with cusps and Kirby diagrams for line arrangements

Authors: Sakumi Sugawara, Masahiko Yoshinaga

Abstract: The complement of a complexified real line arrangement is an affine surface. It is classically known that such a space has a handle decomposition up to $2$-handles. We will describe the handle decomposition induced from Lefschetz hyperplane section theorem for such a space. To describe the Kirby diagram, we introduce the notion of the divide with cusps which is a generalization of the divide intro… ▽ More The complement of a complexified real line arrangement is an affine surface. It is classically known that such a space has a handle decomposition up to $2$-handles. We will describe the handle decomposition induced from Lefschetz hyperplane section theorem for such a space. To describe the Kirby diagram, we introduce the notion of the divide with cusps which is a generalization of the divide introduced by A'Campo. △ Less

Submitted 3 July, 2021; v1 submitted 28 March, 2021; originally announced March 2021.

Comments: 18 pages, 26 figures

MSC Class: 32S50; 32Q55; 52C35

What is $-Q$ for a poset $Q$?

Authors: Taiga Yoshida, Masahiko Yoshinaga

Abstract: In the context of combinatorial reciprocity, it is a natural question to ask what "$-Q$" is for a poset $Q$. In a previous work, the definition "$-Q:=Q\times\mathbb{R}$ with lexicographic order" was proposed based on the notion of Euler characteristic of semialgebraic sets. In fact, by using this definition, Stanley's reciprocity for order polynomials was generalized to an equality for the Euler c… ▽ More In the context of combinatorial reciprocity, it is a natural question to ask what "$-Q$" is for a poset $Q$. In a previous work, the definition "$-Q:=Q\times\mathbb{R}$ with lexicographic order" was proposed based on the notion of Euler characteristic of semialgebraic sets. In fact, by using this definition, Stanley's reciprocity for order polynomials was generalized to an equality for the Euler characteristics of certain spaces of increasing maps between posets. The purpose of this paper is to refine this result, that is, to show that these spaces are homeomorphic if the topology of $Q$ is metrizable. △ Less

Submitted 31 January, 2021; originally announced February 2021.

Comments: 6 pages

$G$-index, topological dynamics and marker property

Authors: Masaki Tsukamoto, Mitsunobu Tsutaya, Masahiko Yoshinaga

Abstract: Given an action of a finite group $G$, we can define its index. The $G$-index roughly measures a size of the given $G$-space. We explore connections between the $G$-index theory and topological dynamics. For a fixed-point free dynamical system, we study the $\mathbb{Z}_p$-index of the set of $p$-periodic points. We find that its growth is at most linear in $p$. As an application, we construct a fr… ▽ More Given an action of a finite group $G$, we can define its index. The $G$-index roughly measures a size of the given $G$-space. We explore connections between the $G$-index theory and topological dynamics. For a fixed-point free dynamical system, we study the $\mathbb{Z}_p$-index of the set of $p$-periodic points. We find that its growth is at most linear in $p$. As an application, we construct a free dynamical system which does not have the marker property. This solves a problem which has been open for several years. △ Less

Submitted 30 December, 2020; originally announced December 2020.

Comments: 23 pages

MSC Class: 37B05; 55M35

The Primitive Derivation and Discrete Integrals

Authors: Daisuke Suyama, Masahiko Yoshinaga

Abstract: The modules of logarithmic derivations for the (extended) Catalan and Shi arrangements associated with root systems are known to be free. However, except for a few cases, explicit bases for such modules are not known. In this paper, we construct explicit bases for type $A$ root systems. Our construction is based on Bandlow-Musiker's integral formula for a basis of the space of quasiinvariants. The… ▽ More The modules of logarithmic derivations for the (extended) Catalan and Shi arrangements associated with root systems are known to be free. However, except for a few cases, explicit bases for such modules are not known. In this paper, we construct explicit bases for type $A$ root systems. Our construction is based on Bandlow-Musiker's integral formula for a basis of the space of quasiinvariants. The integral formula can be considered as an expression for the inverse of the primitive derivation introduced by K. Saito. We prove that the discrete analogues of the integral formulas provide bases for Catalan and Shi arrangements. △ Less

Submitted 13 April, 2021; v1 submitted 28 September, 2020; originally announced September 2020.

Journal ref: SIGMA 17 (2021), 038, 9 pages

Finite record sets of chip-firing games

Authors: Kentaro Akasaka, Suguru Ishibashi, Masahiko Yoshinaga

Abstract: A finite graph with an assignment of non-negative integers to vertices gives chip-firing games. Chip-firing games determine languages (sets of words) called the record sets of legal games. Björner, Lovász and Shor found several properties that are satisfied by record sets. In this paper, we will find two more properties of record sets. Under the assumption that the record set is finite and the gam… ▽ More A finite graph with an assignment of non-negative integers to vertices gives chip-firing games. Chip-firing games determine languages (sets of words) called the record sets of legal games. Björner, Lovász and Shor found several properties that are satisfied by record sets. In this paper, we will find two more properties of record sets. Under the assumption that the record set is finite and the game fires only two vertices, these properties characterize the record sets of graphs. △ Less

Submitted 6 February, 2023; v1 submitted 2 May, 2020; originally announced May 2020.

Comments: 7 pages, ver.2 minor changes

Journal ref: Innov. Incidence Geom. 20 (2023) 55-61

Eulerian polynomials for subarrangements of Weyl arrangements

Authors: Ahmed Umer Ashraf, Tan Nhat Tran, Masahiko Yoshinaga

Abstract: Let $\mathcal{A}$ be a Weyl arrangement. We introduce and study the notion of $\mathcal{A}$-Eulerian polynomial producing an Eulerian-like polynomial for any subarrangement of $\mathcal{A}$. This polynomial together with shift operator describe how the characteristic quasi-polynomial of a new class of arrangements containing ideal subarrangements of $\mathcal{A}$ can be expressed in terms of the E… ▽ More Let $\mathcal{A}$ be a Weyl arrangement. We introduce and study the notion of $\mathcal{A}$-Eulerian polynomial producing an Eulerian-like polynomial for any subarrangement of $\mathcal{A}$. This polynomial together with shift operator describe how the characteristic quasi-polynomial of a new class of arrangements containing ideal subarrangements of $\mathcal{A}$ can be expressed in terms of the Ehrhart quasi-polynomial of the fundamental alcove. The method can also be extended to define two types of deformed Weyl subarrangements containing the families of the extended Shi, Catalan, Linial arrangements and to compute their characteristic quasi-polynomials. We obtain several known results in the literature as specializations, including the formula of the characteristic polynomial of $\mathcal{A}$ via Ehrhart theory due to Athanasiadis (1996), Blass-Sagan (1998), Suter (1998) and Kamiya-Takemura-Terao (2010); and the formula relating the number of coweight lattice points in the fundamental parallelepiped with the Lam-Postnikov Eulerian polynomial due to the third author. △ Less

Submitted 30 April, 2020; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: 20 pages, two notable improvements compared with v2: the formula of the quasi-polynomials characterizes the compatibility (Theorem 4.11), and every lower ideal is compatible (Theorem 4.16)

MSC Class: Primary 52C35; Secondary 17B22

Journal ref: Advances in Applied Mathematics, 120 (2020)

Double coverings of arrangement complements and $2$-torsion in Milnor fiber homology

Authors: Masahiko Yoshinaga

Abstract: We prove that the mod $2$ Betti numbers of double coverings of a complex hyperplane arrangement complement are combinatorially determined. The proof is based on a relation between the mod $2$ Aomoto complex and the transfer long exact sequence. Applying the above result to the icosidodecahedral arrangement ($16$ planes in the three dimensional space related to the icosidodecahedron), we conclude… ▽ More We prove that the mod $2$ Betti numbers of double coverings of a complex hyperplane arrangement complement are combinatorially determined. The proof is based on a relation between the mod $2$ Aomoto complex and the transfer long exact sequence. Applying the above result to the icosidodecahedral arrangement ($16$ planes in the three dimensional space related to the icosidodecahedron), we conclude that the first homology of the Milnor fiber has non-trivial $2$-torsion. △ Less

Submitted 22 November, 2019; v1 submitted 17 February, 2019; originally announced February 2019.

Comments: 14 pages, 5 figures, to appear in European Journal of Mathematics

Journal ref: European Journal of Mathematics 6 (2020) 1097-1109

A Hodge filtration of logarithmic vector fields for well-generated complex reflection groups

Authors: Takuro Abe, Gerhard Röhrle, Christian Stump, Masahiko Yoshinaga

Abstract: Given an irreducible well-generated complex reflection group, we construct an explicit basis for the module of vector fields with logarithmic poles along its reflection arrangement. This construction yields in particular a Hodge filtration of that module. Our approach is based on a detailed analysis of a flat connection applied to the primitive vector field. This generalizes and unifies analogous… ▽ More Given an irreducible well-generated complex reflection group, we construct an explicit basis for the module of vector fields with logarithmic poles along its reflection arrangement. This construction yields in particular a Hodge filtration of that module. Our approach is based on a detailed analysis of a flat connection applied to the primitive vector field. This generalizes and unifies analogous results for real reflection groups. △ Less

Submitted 16 July, 2024; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: 20 pages, v2: minor corrections. Final version, to appear in J. Comb. Algebra

MSC Class: 20F55; 52C35; 32S25

Combinatorics of certain abelian Lie group arrangements and chromatic quasi-polynomials

Authors: Tan Nhat Tran, Masahiko Yoshinaga

Abstract: The purpose of this paper is twofold. Firstly, we generalize the notion of characteristic polynomials of hyperplane and toric arrangements to those of certain abelian Lie group arrangements. Secondly, we give two interpretations for the chromatic quasi-polynomials and their constituents through subspace and toric viewpoints. The purpose of this paper is twofold. Firstly, we generalize the notion of characteristic polynomials of hyperplane and toric arrangements to those of certain abelian Lie group arrangements. Secondly, we give two interpretations for the chromatic quasi-polynomials and their constituents through subspace and toric viewpoints. △ Less

Submitted 9 May, 2018; originally announced May 2018.

Comments: 16 pages

Journal ref: Journal of Combinatorial Theory, Series A, 165 (2019), 258-272

Magnitude homology of metric spaces and order complexes

Authors: Ryuki Kaneta, Masahiko Yoshinaga

Abstract: Hepworth, Willerton, Leinster and Shulman introduced the magnitude homology groups for enriched categories, in particular, for metric spaces. The purpose of this paper is to describe the magnitude homology group of a metric space in terms of order complexes of posets. In a metric space, an interval (the set of points between two chosen points) has a natural poset structure, which is called the i… ▽ More Hepworth, Willerton, Leinster and Shulman introduced the magnitude homology groups for enriched categories, in particular, for metric spaces. The purpose of this paper is to describe the magnitude homology group of a metric space in terms of order complexes of posets. In a metric space, an interval (the set of points between two chosen points) has a natural poset structure, which is called the interval poset. Under additional assumptions on sizes of $4$-cuts, we show that the magnitude chain complex can be constructed using tensor products, direct sums and degree shifts from order complexes of interval posets. We give several applications. First, we show the vanishing of higher magnitude homology groups for convex subsets of the Euclidean space. Second, magnitude homology groups carry the information about the diameter of a hole. Third, we construct a finite graph whose $3$rd magnitude homology group has torsion. △ Less

Submitted 1 September, 2021; v1 submitted 28 February, 2018; originally announced March 2018.

Comments: 17 pages, v2: minor revision, added a reference

Journal ref: Bull. London Math. Soc. 53 (2021), no. 3, 893-905

$G$-Tutte polynomials and abelian Lie group arrangements

Authors: Ye Liu, Tan Nhat Tran, Masahiko Yoshinaga

Abstract: We introduce and study the notion of the $G$-Tutte polynomial for a list $\mathcal{A}$ of elements in a finitely generated abelian group $Γがんま$ and an abelian group $G$, which is defined by counting the number of homomorphisms from associated finite abelian groups to $G$. The $G$-Tutte polynomial is a common generalization of the (arithmetic) Tutte polynomial for realizable (arithmetic) matroids, t… ▽ More We introduce and study the notion of the $G$-Tutte polynomial for a list $\mathcal{A}$ of elements in a finitely generated abelian group $Γがんま$ and an abelian group $G$, which is defined by counting the number of homomorphisms from associated finite abelian groups to $G$. The $G$-Tutte polynomial is a common generalization of the (arithmetic) Tutte polynomial for realizable (arithmetic) matroids, the characteristic quasi-polynomial for integral arrangements, Brändén-Moci's arithmetic version of the partition function of an abelian group-valued Potts model, and the modified Tutte-Krushkal-Renhardy polynomial for a finite CW-complex. As in the classical case, $G$-Tutte polynomials carry topological and enumerative information (e.g., the Euler characteristic, point counting and the Poincaré polynomial) of abelian Lie group arrangements. We also discuss differences between the arithmetic Tutte and the $G$-Tutte polynomials related to the axioms for arithmetic matroids and the (non-)positivity of coefficients. △ Less

Submitted 1 September, 2021; v1 submitted 14 July, 2017; originally announced July 2017.

Comments: 34 pages, ver 2: corrected typo and added a reference, ver 3: final version

Journal ref: Int. Math. Res. Not. IMRN 2021, no. 1, 152-190

A vanishing result for the first twisted cohomology of affine varieties and applications to line arrangements

Authors: Pauline Bailet, Alexandru Dimca, Masahiko Yoshinaga

Abstract: A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$. A general vanishing result for the first cohomology group of affine smooth complex varieties with values in rank one local systems is established. This is applied to the determination of the monodromy action on the first cohomology group of the Milnor fiber of some line arrangements, including the monomial arrangement and the exceptional reflection arrangement of type $G_{31}$. △ Less

Submitted 17 May, 2017; originally announced May 2017.

Journal ref: Manuscripta Mathematica 157 (2018), no. 3-4, 497-511

Eulerian polynomials and polynomial congruences

Authors: Kazuki Iijima, Kyouhei Sasaki, Yuuki Takahashi, Masahiko Yoshinaga

Abstract: We prove that the Eulerian polynomial satisfies certain polynomial congruences. Furthermore, these congruences characterize the Eulerian polynomial. We prove that the Eulerian polynomial satisfies certain polynomial congruences. Furthermore, these congruences characterize the Eulerian polynomial. △ Less

Submitted 1 September, 2021; v1 submitted 30 November, 2016; originally announced November 2016.

Comments: ver 2: final version

Journal ref: Contributions to Discrete Mathematics, vol 14 (2019) 46-54

Characteristic polynomials of Linial arrangements for exceptional root systems

Authors: Masahiko Yoshinaga

Abstract: The (extended) Linial arrangement $\mathcal{L}_Φふぁい^m$ is a certain finite truncation of the affine Weyl arrangement of a root system $Φふぁい$ with a parameter $m$. Postnikov and Stanley conjectured that all roots of the characteristic polynomial of $\mathcal{L}_Φふぁい^m$ have the same real part, and this has been proved for the root systems of classical types. In this paper we prove that the conjecture is tru… ▽ More The (extended) Linial arrangement $\mathcal{L}_Φふぁい^m$ is a certain finite truncation of the affine Weyl arrangement of a root system $Φふぁい$ with a parameter $m$. Postnikov and Stanley conjectured that all roots of the characteristic polynomial of $\mathcal{L}_Φふぁい^m$ have the same real part, and this has been proved for the root systems of classical types. In this paper we prove that the conjecture is true for exceptional root systems when the parameter $m$ is sufficiently large. The proof is based on representations of the characteristic quasi-polynomials in terms of Eulerian polynomials. △ Less

Submitted 25 October, 2016; originally announced October 2016.

Comments: 22 pages

Journal ref: Journal of Combinatorial Theory, Series A. 157 (2018) 267-286

Euler characteristic reciprocity for chromatic, flow and order polynomials

Authors: Takahiro Hasebe, Toshinori Miyatani, Masahiko Yoshinaga

Abstract: The Euler characteristic of a semialgebraic set can be considered as a generalization of the cardinality of a finite set. An advantage of semialgebraic sets is that we can define "negative sets" to be the sets with negative Euler characteristics. Applying this idea to posets, we introduce the notion of semialgebraic posets. Using "negative posets", we establish Stanley's reciprocity theorems for o… ▽ More The Euler characteristic of a semialgebraic set can be considered as a generalization of the cardinality of a finite set. An advantage of semialgebraic sets is that we can define "negative sets" to be the sets with negative Euler characteristics. Applying this idea to posets, we introduce the notion of semialgebraic posets. Using "negative posets", we establish Stanley's reciprocity theorems for order polynomials at the level of Euler characteristics. We also formulate the Euler characteristic reciprocities for chromatic and flow polynomials. △ Less

Submitted 6 April, 2017; v1 submitted 3 January, 2016; originally announced January 2016.

Comments: 16 pages; flow polynomial reciprocity added; title changed

MSC Class: 06A11; 05A19; 05C31; 14P10

Journal ref: Journal of Singularities 16 (2017), 212-227

Vanishing results for the Aomoto complex of real hyperplane arrangements via minimality

Authors: Pauline Bailet, Masahiko Yoshinaga

Abstract: We prove vanishing results of the cohomology groups of Aomoto complex over arbitrary coefficient ring for real hyperplane arrangements. The proof is using minimality of arrangements and descriptions of Aomoto complex in terms of chambers. Our methods also provide a new proof for the vanishing theorem of local system cohomology groups which was first proved by Cohen, Dimca and Orlik. We prove vanishing results of the cohomology groups of Aomoto complex over arbitrary coefficient ring for real hyperplane arrangements. The proof is using minimality of arrangements and descriptions of Aomoto complex in terms of chambers. Our methods also provide a new proof for the vanishing theorem of local system cohomology groups which was first proved by Cohen, Dimca and Orlik. △ Less

Submitted 16 December, 2015; originally announced December 2015.

Comments: 22 pages, 11 figures

Journal ref: Journal of Singularities, 14 (2016) 74-90

Chromatic functors of graphs

Authors: Masahiko Yoshinaga

Abstract: Finite graphs that have a common chromatic polynomial have the same number of regular $n$-colorings. A natural question is whether there exists a natural bijection between regular $n$-colorings. We address this question using a functorial formulation. Let $G$ be a simple graph. Then for each set $X$ we can associate a set of $X$-colorings. This defines a functor, "chromatic functor" from the categ… ▽ More Finite graphs that have a common chromatic polynomial have the same number of regular $n$-colorings. A natural question is whether there exists a natural bijection between regular $n$-colorings. We address this question using a functorial formulation. Let $G$ be a simple graph. Then for each set $X$ we can associate a set of $X$-colorings. This defines a functor, "chromatic functor" from the category of sets with injections to itself. The first main result verifies that two finite graphs determine isomorphic chromatic functors if and only if they have the same chromatic polynomial. Chromatic functors can be defined for arbitrary, possibly infinite, graphs. This fact enables us to investigate functorial chromatic theory for infinite graphs. We prove that chromatic functors satisfy the Cantor-Bernstein-Schröder property. We also prove that countable connected trees determine isomorphic chromatic functors. Finally, we present a pair of infinite graphs that determine non-isomorphic chromatic functors. △ Less

Submitted 11 August, 2015; v1 submitted 23 July, 2015; originally announced July 2015.

Comments: 14 pages

Worpitzky partitions for root systems and characteristic quasi-polynomials

Authors: Masahiko Yoshinaga

Abstract: We introduce a partition of (coweight) lattice points inside the dilated fundamental parallelepiped into those of partially closed simplices. This partition can be considered as a generalization and a lattice points interpretation of the classical formula of Worpitzky. This partition, and the generalized Eulerian polynomial, recently introduced by Lam and Postnikov, can be used to describe the c… ▽ More We introduce a partition of (coweight) lattice points inside the dilated fundamental parallelepiped into those of partially closed simplices. This partition can be considered as a generalization and a lattice points interpretation of the classical formula of Worpitzky. This partition, and the generalized Eulerian polynomial, recently introduced by Lam and Postnikov, can be used to describe the characteristic (quasi)polynomials of Shi and Linial arrangements. As an application, we prove that the characteristic quasi-polynomial of the Shi arrangement turns out to be a polynomial. We also present several results on the location of zeros of characteristic polynomials, related to a conjecture of Postnikov and Stanley. In particular, we verify the "functional equation" of the characteristic polynomial of the Linial arrangement for any root system, and give partial affirmative results on "Riemann hypothesis" for the root systems of type $E_6, E_7, E_8$, and $F_4$. △ Less

Submitted 30 December, 2015; v1 submitted 20 January, 2015; originally announced January 2015.

Journal ref: Tohoku Mathematical Journal, 70 (2018) 39-63

Logarithmic vector fields for quasihomogeneous curve configurations in P^2

Authors: Hal Schenck, Hiroaki Terao, Masahiko Yoshinaga

Abstract: Let A be a union of smooth plane curves C_i, such that each singular point of A is quasihomogeneous. We prove that if C is a smooth curve such that each singular point of A U C is also quasihomogeneous, then there is an elementary modification of rank two bundles, which relates the O_{P^2} module Der(log A) of vector fields on P^2 tangent to A to the module Der(log A U C). This yields an inductive… ▽ More Let A be a union of smooth plane curves C_i, such that each singular point of A is quasihomogeneous. We prove that if C is a smooth curve such that each singular point of A U C is also quasihomogeneous, then there is an elementary modification of rank two bundles, which relates the O_{P^2} module Der(log A) of vector fields on P^2 tangent to A to the module Der(log A U C). This yields an inductive tool for studying the splitting of the bundles Der(log A) and Der(log A U C), depending on the geometry of the divisor A|_C on C. △ Less

Submitted 11 July, 2014; originally announced July 2014.

Comments: 10 pages 2 figures

MSC Class: Primary 52C35; Secondary 14J60

Resonant bands, Aomoto complex, and real 4-nets

Authors: Michele Torielli, Masahiko Yoshinaga

Abstract: The resonant band is a useful notion for the computation of the nontrivial monodromy eigenspaces of the Milnor fiber of a real line arrangement. In this article, we develop the resonant band description for the cohomology of the Aomoto complex. As an application, we prove that real 4-nets do not exist. The resonant band is a useful notion for the computation of the nontrivial monodromy eigenspaces of the Milnor fiber of a real line arrangement. In this article, we develop the resonant band description for the cohomology of the Aomoto complex. As an application, we prove that real 4-nets do not exist. △ Less

Submitted 28 April, 2014; v1 submitted 20 April, 2014; originally announced April 2014.

Comments: 23 pages, 7 figures

Journal ref: Journal of Singularities, 11 (2015) 33-51

Degeneration of Orlik-Solomon algebras and Milnor fibers of complex line arrangements

Authors: Pauline Bailet, Masahiko Yoshinaga

Abstract: We give a vanishing theorem for the monodromy eigenspaces of the Milnor fibers of complex line arrangements. By applying the modular bound of the local system cohomology groups given by Papadima-Suciu, the result is deduced from the vanishing of the cohomology of certain Aomoto complex over finite fields. In order to prove this, we introduce degeneration homomorphisms of Orlik-Solomon algebras. We give a vanishing theorem for the monodromy eigenspaces of the Milnor fibers of complex line arrangements. By applying the modular bound of the local system cohomology groups given by Papadima-Suciu, the result is deduced from the vanishing of the cohomology of certain Aomoto complex over finite fields. In order to prove this, we introduce degeneration homomorphisms of Orlik-Solomon algebras. △ Less

Submitted 23 May, 2014; v1 submitted 6 December, 2013; originally announced December 2013.

Comments: 10 pages, v2: references added

Journal ref: Geometriae Dedicata, 175 (2015) 49-56

On the admissibility of certain local system

Authors: Shaheen Nazir, Michele Torielli, Masahiko Yoshinaga

Abstract: A rank one local system on the complement of a hyperplane arrangement is said to be admissible if it satisfies certain non-positivity condition at every resonant edges. It is known that the cohomology of admissible local system can be computed combinatorially. In this paper, we study the structure of the set of all non-admissible local systems in the character torus. We prove that the set of non-a… ▽ More A rank one local system on the complement of a hyperplane arrangement is said to be admissible if it satisfies certain non-positivity condition at every resonant edges. It is known that the cohomology of admissible local system can be computed combinatorially. In this paper, we study the structure of the set of all non-admissible local systems in the character torus. We prove that the set of non-admissible local systems forms a union of subtori. The relations with characteristic varieties are also discussed. △ Less

Submitted 7 November, 2013; originally announced November 2013.

Comments: 15 pages, 3 figures

MSC Class: 14F45

Journal ref: Topology and its applications, {178} (2014) 288-299

Resonant bands and local system cohomology groups for real line arrangements

Authors: Masahiko Yoshinaga

Abstract: We give a new algorithm computing local system cohomology groups for complexified real line arrangements. Using it, we obtain several conditions for the first local system cohomology to vanish and to be at most one-dimensional, which generalize a result by Cohen-Dimca-Orlik. The conditions are described in terms of discrete geometric structures of real figures. The proof is based on a recent study… ▽ More We give a new algorithm computing local system cohomology groups for complexified real line arrangements. Using it, we obtain several conditions for the first local system cohomology to vanish and to be at most one-dimensional, which generalize a result by Cohen-Dimca-Orlik. The conditions are described in terms of discrete geometric structures of real figures. The proof is based on a recent study on minimal cell structures. We also compute the characteristic variety of the deleted $B_3$-arrangement. △ Less

Submitted 9 January, 2013; originally announced January 2013.

Comments: 19 pages. arXiv admin note: substantial text overlap with arXiv:1301.1430

Journal ref: Vietnam Journal of Mathematics, 42, (2014) 377-392

Milnor fibers of real line arrangements

Authors: Masahiko Yoshinaga

Abstract: We study Milnor fibers of complexified real line arrangements. We give a new algorithm computing monodromy eigenspaces of the first cohomology. The algorithm is based on the description of minimal CW-complexes homotopic to the complements, and uses the real figure, that is, the adjacency relations of chambers. It enables us to generalize a vanishing result of Libgober, give new upper-bounds and ch… ▽ More We study Milnor fibers of complexified real line arrangements. We give a new algorithm computing monodromy eigenspaces of the first cohomology. The algorithm is based on the description of minimal CW-complexes homotopic to the complements, and uses the real figure, that is, the adjacency relations of chambers. It enables us to generalize a vanishing result of Libgober, give new upper-bounds and characterize the $A_3$-arrangement in terms of non-triviality of Milnor monodromy. △ Less

Submitted 8 January, 2013; originally announced January 2013.

Comments: 23 pages

Journal ref: Journal of Singularities, vol 7 (2013), 220-237

Freeness of hyperplane arrangements and related topics

Authors: Masahiko Yoshinaga

Abstract: This is the expanded notes of the lecture by the author in "Arrangements in Pyrenees", June 2012. We are discussing relations of freeness and splitting problems of vector bundles, several techniques proving freeness of hyperplane arrangements, K. Saito's theory of primitive derivations for Coxeter arrangements, their application to combinatorial problems and related conjectures. This is the expanded notes of the lecture by the author in "Arrangements in Pyrenees", June 2012. We are discussing relations of freeness and splitting problems of vector bundles, several techniques proving freeness of hyperplane arrangements, K. Saito's theory of primitive derivations for Coxeter arrangements, their application to combinatorial problems and related conjectures. △ Less

Submitted 18 June, 2013; v1 submitted 14 December, 2012; originally announced December 2012.

Comments: 28 pages

Journal ref: Annales de la Faculte des Sciences de Toulouse, (6) 23 no. 2 (2014), 483-512

Free arrangements and coefficients of characteristic polynomials

Authors: Takuro Abe, Masahiko Yoshinaga

Abstract: Ziegler showed that free arrangements have free restricted multiarrangements (multirestrictions). After Ziegler's work, several results concerning "reverse direction", namely characterizing freeness of an arrangement via that of multirestriction, have appeared. In this paper, we prove that the second Betti number of the arrangement plays a crucial role. Ziegler showed that free arrangements have free restricted multiarrangements (multirestrictions). After Ziegler's work, several results concerning "reverse direction", namely characterizing freeness of an arrangement via that of multirestriction, have appeared. In this paper, we prove that the second Betti number of the arrangement plays a crucial role. △ Less

Submitted 26 February, 2012; v1 submitted 3 September, 2011; originally announced September 2011.

Comments: 13 pages, ver 2: minor modification

Minimal stratifications for line arrangements and positive homogeneous presentations for fundamental groups

Authors: Masahiko Yoshinaga

Abstract: The complement of a complex hyperplane arrangement is known to be homotopic to a minimal CW complex. There are several approaches to the minimality. In this paper, we restrict our attention to real two dimensional cases, and introduce the "dual" objects so called minimal stratifications. The strata are explicitly described as semialgebraic sets. The stratification induces a partition of the comple… ▽ More The complement of a complex hyperplane arrangement is known to be homotopic to a minimal CW complex. There are several approaches to the minimality. In this paper, we restrict our attention to real two dimensional cases, and introduce the "dual" objects so called minimal stratifications. The strata are explicitly described as semialgebraic sets. The stratification induces a partition of the complement into a disjoint union of contractible spaces, which is minimal in the sense that the number of codimension $k$ pieces equals the $k$-th Betti number. We also discuss presentations for the fundamental group associated to the minimal stratification. In particular, we show that the fundamental groups of complements of a real arrangements have positive homogeneous presentations. △ Less

Submitted 16 May, 2011; v1 submitted 10 May, 2011; originally announced May 2011.

Comments: 33 pages, v2: corrected typos

Semi-algebraic partition and basis of Borel-Moore homology of hyperplane arrangements

Authors: Ko-Ki Ito, Masahiko Yoshinaga

Abstract: We describe an explicit semi-algebraic partition for the complement of a real hyperplane arrangement such that each piece is contractible and so that the pieces form a basis of Borel-Moore homology. We also give an explicit correspondence between the de Rham cohomology and the Borel-Moore homology. We describe an explicit semi-algebraic partition for the complement of a real hyperplane arrangement such that each piece is contractible and so that the pieces form a basis of Borel-Moore homology. We also give an explicit correspondence between the de Rham cohomology and the Borel-Moore homology. △ Less

Submitted 16 May, 2011; v1 submitted 10 February, 2011; originally announced February 2011.

Comments: corrected typos, 13 pages

Arrangements, multiderivations, and adjoint quotient map of type ADE

Authors: Masahiko Yoshinaga

Abstract: The first part of this paper is a survey on algebro-geometric aspects of sheaves of logarithmic vector fields of hyperplane arrangements. In the second part we prove that the relative de Rham cohomology (of degree two) of ADE-type adjoint quotient map is naturally isomorphic to the module of certain multiderivations. The isomorphism is obtained by the Gauss-Manin derivative of the Kostant-Kirillov… ▽ More The first part of this paper is a survey on algebro-geometric aspects of sheaves of logarithmic vector fields of hyperplane arrangements. In the second part we prove that the relative de Rham cohomology (of degree two) of ADE-type adjoint quotient map is naturally isomorphic to the module of certain multiderivations. The isomorphism is obtained by the Gauss-Manin derivative of the Kostant-Kirillov form. △ Less

Submitted 27 September, 2010; originally announced September 2010.

On the connectivity of the realization spaces of line arrangements

Authors: Shaheen Nazir, Masahiko Yoshinaga

Abstract: We prove that under certain combinatorial conditions, the realization spaces of line arrangements on the complex projective plane are connected. We also give several examples of arrangements with eight, nine and ten lines which have disconnected realization spaces. We prove that under certain combinatorial conditions, the realization spaces of line arrangements on the complex projective plane are connected. We also give several examples of arrangements with eight, nine and ten lines which have disconnected realization spaces. △ Less

Submitted 16 May, 2011; v1 submitted 1 September, 2010; originally announced September 2010.

Comments: 18 pages, v2: references added, v3: corrected typos, modified proof of Lem 4.4

Minimality of hyperplane arrangements and basis of local system cohomology

Authors: Masahiko Yoshinaga

Abstract: The purpose of this paper is applying minimality of hyperplane arrangements to local system cohomology groups. It is well known that twisted cohomology groups with coefficients in a generic rank one local system vanish except in the top degree, and bounded chambers form a basis of the remaining cohomology group. We determine precisely when this phenomenon happens for two-dimensional arrangements. The purpose of this paper is applying minimality of hyperplane arrangements to local system cohomology groups. It is well known that twisted cohomology groups with coefficients in a generic rank one local system vanish except in the top degree, and bounded chambers form a basis of the remaining cohomology group. We determine precisely when this phenomenon happens for two-dimensional arrangements. △ Less

Submitted 16 May, 2011; v1 submitted 10 February, 2010; originally announced February 2010.

Comments: 19 pages, v2: corrected typos

MSC Class: 32S22

Totally free arrangements of hyperplanes

Authors: Takuro Abe, Hiroaki Terao, Masahiko Yoshinaga

Abstract: A central arrangement $\A$ of hyperplanes in an $\ell$-dimensional vector space $V$ is said to be {\it totally free} if a multiarrangement $(\A, m)$ is free for any multiplicity $ m : \A\to \Z_{> 0}$. It has been known that $\A$ is totally free whenever $\ell \le 2$. In this article, we will prove that there does not exist any totally free arrangement other than the obvious ones, that is, a prod… ▽ More A central arrangement $\A$ of hyperplanes in an $\ell$-dimensional vector space $V$ is said to be {\it totally free} if a multiarrangement $(\A, m)$ is free for any multiplicity $ m : \A\to \Z_{> 0}$. It has been known that $\A$ is totally free whenever $\ell \le 2$. In this article, we will prove that there does not exist any totally free arrangement other than the obvious ones, that is, a product of one-dimensional arrangements and two-dimensional ones. △ Less

Submitted 23 August, 2008; v1 submitted 15 May, 2008; originally announced May 2008.

Comments: 7 pages

MSC Class: 32S22

Journal ref: Proc. AMS 137 (2009), 1405-1410

Periods and elementary real numbers

Authors: Masahiko Yoshinaga

Abstract: The periods, introduced by Kontsevich and Zagier, form a class of complex numbers which contains all algebraic numbers and several transcendental quantities. Little has been known about qualitative properties of periods. In this paper, we compare the periods with hierarchy of real numbers induced from computational complexities. In particular we prove that periods can be effectively approximated… ▽ More The periods, introduced by Kontsevich and Zagier, form a class of complex numbers which contains all algebraic numbers and several transcendental quantities. Little has been known about qualitative properties of periods. In this paper, we compare the periods with hierarchy of real numbers induced from computational complexities. In particular we prove that periods can be effectively approximated by elementary rational Cauchy sequences. As an application, we exhibit a computable real number which is not a period. △ Less

Submitted 3 May, 2008; originally announced May 2008.

Comments: 19 pages

MSC Class: 11J17; 68Q15

Logarithmic vector fields along smooth divisors in projective spaces

Authors: Kazushi Ueda, Masahiko Yoshinaga

Abstract: We show that a smooth divisor in a projective space can be reconstructed from the isomorphism class of the sheaf of logarithmic vector fields along it if and only if its defining equation is of Sebastiani-Thom type. We show that a smooth divisor in a projective space can be reconstructed from the isomorphism class of the sheaf of logarithmic vector fields along it if and only if its defining equation is of Sebastiani-Thom type. △ Less

Submitted 14 February, 2008; originally announced February 2008.

Comments: 6 pages, no figures

MSC Class: 14F05; 14J60