Searcharxiv⌕ Search

arXiv subjects

Takuro Abe

Publications and source records attributed to Takuro Abe.

At least 19 recordsLinked to original sources
arXiv2026

Vector fields of graphic arrangements and face rings of simplicial posets

A graphic arrangement $\A_G$ associated with a simple graph $G$ is a classical and well-studied object in the theory of hyperplane arrangements. In this note, we show that, for a connected graph $G$, a slight modification of the logarithmic vector field $D(\A_G)$ of $\A_G$ is isomorphic to the face ring of a certain simplicial poset. This allows us to give formulas for several algebraic invariants of $D(\A_G)$, such as its Hilbert series, local cohomology, projective dimension, and Castelnuovo--Mumford regularity, in terms of combinatorial and topological information about the corresponding simplicial poset. As a by-product, we also give an explicit vector space basis of $D(\A_G)$.

math.CO↗
arXiv2026

Residue ideals of hyperplane arrangements

In this paper, we introduce a new idea to study modules of logarithmic differential forms of hyperplane arrangements, which we call residue ideals. We first establish basic properties of these ideals, including their radicals and primary decompositions, and obtain applications for freeness of restrictions of arrangements. Then we apply these ideals to the study of modules of logarithmic differential $1$-forms for graphic arrangements. We give an explicit generating set for these modules and find a new connection to cover ideals of graphs studied in combinatorial commutative algebra. As a consequence we establish several new connections between arrangement theory and Stanley--Reisner theory.

math.CO↗
arXiv2026

On the projective dimension of some deformations of Weyl arrangements

We show that the logarithmic derivation module of (the cone of) the deformation A of a Weyl arrangement associated with a root system of simply laced type has projective dimension one if the deforming parameter ranges from -j to j+2. In addition, we give an explicit minimal free resolution when the root system is of type A3 and B2. Moreover, in the second case, we determine the jumping lines of maximal jumping order of the associated vector bundle. When the deforming parameter of A (respectively A') ranges from -k to k+j (respectively, from -k' to k'+j), with k different from k' and j at least 3, this allows to distinguish D0(A) from D0(A') shifted by 4(k'-k), even though these modules have the same graded Betti numbers.

math.AG↗
arXiv2025

On Universal derivations for multiarrangements

The study of universal derivations for arbitrary multiarrangements and multiplicity functions was initiated by Abe, R\"ohrle, Stump, and Yoshinaga in 2024 which focused on arrangements arising from (well-generated) reflection groups. In this paper we provide a criterion for determining whether a derivation is universal along with a characterization of universal derivations for arbitrary 2-multiarrangements. As an application we give descriptions of universal derivations for several multiarrangements, including the so-called deleted $A_3$ arrangement. This is the first known example of a non-reflection arrangement that admits a universal derivation distinct from the Euler derivation.

math.CO↗
arXiv2025

Addition theorems for Ziegler pairs of hyperplane arrangements

Inspired by Terao's freeness conjecture, we examine Ziegler pairs, which are pairs of hyperplane arrangements that share the same underlying matroid but have different modules of logarithmic derivations. In this paper, we present a general construction that yields the first known families of Ziegler pairs in arbitrary dimension and size, starting from examples in the complex projective plane.

math.CO↗
arXiv2025

Solomon-Terao polynomials and Castelnouvo-Mumford regularity of hyperplane arrangements

The Solomon-Terao bi-polynomial was introduced by Solomon and Terao which degenerates to the characteristic polynomial of hyperplane arrangements. Also, it was proved recently that the other specialization of the Solomon-Terao bi-polynomial, we call the Solomon-Terao polynomial, coincides with the Poinrar\'{e} polynomial of the regular nilpotent Hessenberg variety when the arrangement and the variety comes from the same lower ideal in the positive system. Moreover, there are recent developments with superspace coinvariants and Fields conjecture, thus these polynomials are becoming more and more important. However, the research of them has been very hard, and even the top degree of the Solomon-Terao polynomial has not yet been known, which we solve in this article, by using the Castelnouvo-Mumford regularity of the logarithmic derivation modules.

math.AG↗
arXiv2025

Tame arrangements

Tame arrangements were informally introduced by Orlik and Terao for the study of Milnor fibers of hyperplane arrangements. After that, tame arrangements have been applied to a lot of researches on arrangements including freeness, master functions and critical varieties, Solomon-Terao algebras, D-modules, Bernstein-Sato polynomials and likelihood geometry. Though arrangements are generically tame, the research on tame arrangements themselves have been only few. In this article we establish foundations for the research of tame arrangements. Namely, we prove the addition theorem for tame arrangements, Ziegler-Yoshinaga type results for tameness and combinatorially determined tameness.

math.AG↗
arXiv2024

A new hierarchy for complex plane curves

We define the type of a plane curve as the initial degree of the corresponding Bourbaki ideal. Then we show that this invariant behaves well with respect to the union of curves. Curves of type $0$ are precisely the free curves, while curves of type $1$ are the plus-one generated curves. In this paper, we first show that line arrangements and conic-line arrangements can exhibit all the theoretically possible types. In the second part, we study the properties of the curves of type $2$ and construct families of line arrangements and conic-line arrangements of this type.

math.AG↗
arXiv2024

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

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.

math.DG↗
arXiv2024

Cokernels of the Euler restriction map of logarithmic derivation modules

There are two restriction maps of the logarithmic modules of plane arrangements in a three dimensional vector space. One is the Euler restriction and the other is the Ziegler restriction. The dimension of the cokernel of the Ziegler restriction map of logarithmic derivation modules has been well-studied for the freeness of hyperplane arrangements after Yoshinaga's celebrated criterion for freeness, which connects the second Betti number and the splitting type (exponents). However, though the Euler restriction has a longer history than the Ziegler restriction, the cokernel and its dimension of the Euler restriction have not been studied at all. The aim of this article is to study the cokernel and dimension of the Euler restriction maps in terms of combinatorics, more explicitly, the characteristic polynomial. We give an upper bound of that cokernel, and show the formula for that if the arrangement is free.

math.CO↗
arXiv2024

Worpitzky-compatible sets and the freeness of arrangements between Shi and Catalan

Given an irreducible root system, the Worpitzky-compatible subsets are defined by a geometric property of the alcoves inside the fundamental parallelepiped of the root system. This concept is motivated and mainly understood through a lattice point counting formula concerning the characteristic and Ehrhart quasi-polynomials. In this paper, we show that the Worpitzky-compatibility has a simple combinatorial characterization in terms of roots. As a byproduct, we obtain a complete characterization by means of Worpitzky-compatibility for the freeness of the arrangements interpolating between the extended Shi and Catalan arrangements. This is a completion of the earlier result by Yoshinaga in 2010 which was done for simply-laced root systems.

math.CO↗
arXiv2023

On Ziegler's conjectures for logarithmic derivations of arrangements

In his paper and thesis in 1989, Ziegler posed several conjectures regarding commutative algebra related to hyperplane arrangements. In this article, we revisit two of them. One is on generic cuts of free arrangements, and the other has to do with minimal degree generators for the logarithmic differential forms. We prove the first one, and disprove the second one. We also give some positive answers to related problems he posed, using recent developments in arrangement theory.

math.CO↗
arXiv2023

Projective dimension of weakly chordal graphic arrangements

A graphic arrangement is a subarrangement of the braid arrangement whose set of hyperplanes is determined by an undirected graph. A classical result due to Stanley, Edelman and Reiner states that a graphic arrangement is free if and only if the corresponding graph is chordal, i.e., the graph has no chordless cycle with four or more vertices. In this article we extend this result by proving that the module of logarithmic derivations of a graphic arrangement has projective dimension at most one if and only if the corresponding graph is weakly chordal, i.e., the graph and its complement have no chordless cycle with five or more vertices.

math.CO↗
arXiv2023

Free paths of arrangements of hyperplanes

We study the free path problem, i.e., if we are given two free arrangements of hyperplanes, then we can connect them by free arrangements or not. We prove that if an arrangement $\mathcal{A}$ and $\mathcal{A} \setminus \{H,L\}$ are free, then at least one of two among them is free. When $\mathcal{A}$ is in the three dimensional arrangement, we show a stronger statement.

math.CO↗
arXiv2023

Addition-deletion theorems for the Solomon-Terao polynomials and $B$-sequences of hyperplane arrangements

We prove the addition-deletion theorems for the Solomon-Terao polynomials, which have two important specializations. Namely, one is to the characteristic polynomials of hyperplane arangements, and the other to the Poincarè polynomials of the regular nilpotent Hessenberg varieties. One of the main tools to show them is the free surjection theorem which confirms the right exactness of several important exact sequences among logarithmic modules. Moreover, we introduce a generalized polynomial $B$-theory to the higher order logarithmic modules, whose origin was due to Terao.

math.CO↗
arXiv2022

Free reflection multiarrangements and quasi-invariants

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$.

math.QA↗
arXiv2022

Generalization of the addition and restriction theorems from free arrangements to the class of projective dimension one

We study a generalized version of Terao's famous addition theorem for free arrangements to the category of those with projective dimension one. Namely, we give a criterion to determine the algebraic structure of logarithmic derivation modules of the addition when the deletion and restrictions are free with a mild condition. Also, we introduce a class of divisionally SPOG arrangements whose SPOGness depends only on the intersection lattice like Terao's famous conjecture on combinatoriality of freeness.

math.CO↗