Searcharxiv⌕ Search

arXiv subjects

Satoshi Murai

Publications and source records attributed to Satoshi Murai.

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↗
arXiv2025

A proof of the Fields Conjectures

The {\em superspace ring} of rank $n$ is the algebra $\Omega_n$ of differential forms on affine $n$-space. The algebra $\Omega_n$ is bigraded with respect to polynomial and exterior degree and carries a natural action of the symmetric group $\mathfrak{S}_n$. Modding out by $\mathfrak{S}_n$-invariants with vanishing constant term yields the {\em superspace coinvariant ring} $SR_n$. We prove that, as an ungraded $\mathfrak{S}_n$-module, the space $SR_n$ is isomorphic to the sign-twisted permutation action of $\mathfrak{S}_n$ on ordered set partitions of $\{1,\dots,n\}$. We refine this result by calculating the bigraded $\mathfrak{S}_n$-isomorphism type of $SR_n$. This proves the Fields Conjectures of N. Bergeron, L. Colmenarejo, S.-X. Li, J. Machacek, R. Sulzgruber, and M. Zabrocki as well as a related conjecture of V. Reiner.

math.CO↗
arXiv2024

Superspace coinvariants and hyperplane arrangements

Let $\Omega$ be the {\em superspace ring} of polynomial-valued differential forms on affine $n$-space. The natural action of the symmetric group $\mathfrak{S}_n$ on $n$-space induces an action of $\mathfrak{S}_n$ on $\Omega$. The {\em superspace coinvariant ring} is the quotient $SR$ of $\Omega$ by the ideal generated by $\mathfrak{S}_n$-invariants with vanishing constant term. We give the first explicit basis of $SR$, proving a conjecture of Sagan and Swanson. Our techniques use the theory of hyperplane arrangements. We relate $SR$ to instances of the Solomon-Terao algebras of Abe-Maeno-Murai-Numata and use exact sequences relating the derivation modules of certain `southwest closed' arrangements to obtain the desired basis of $SR$.

math.CO↗
arXiv2023

Betti splittings and multigraded Betti numbers of cover ideals of bipartite graphs

In this note, we study Betti splittings of cover ideals of bipartite graphs. We prove that if $J \subset \Bbbk [x_1,\dots,x_n]$ is the cover ideal of a bipartite graph then the $x_i$-partition of $J$ is a Betti splitting for any $i$. We also prove that multigraded Betti numbers of any squarefree monomial ideal can appear in a certain part of multigraded Betti numbers of the cover ideal of a bipartite graph.

math.AC↗
arXiv2023

Ehrhart quasi-polynomials and parallel translations

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

math.CO↗
arXiv2023

Affine stresses, inverse systems, and reconstruction problems

A conjecture of Kalai asserts that for $d\geq 4$, the affine type of a prime simplicial $d$-polytope $P$ can be reconstructed from the space of affine $2$-stresses of $P$. We prove this conjecture for all $d\geq 5$. We also prove the following generalization: for all pairs $(i,d)$ with $2\leq i\leq \lceil \frac d 2\rceil-1$, the affine type of a simplicial $d$-polytope $P$ that has no missing faces of dimension $\geq d-i+1$ can be reconstructed from the space of affine $i$-stresses of $P$. A consequence of our proofs is a strengthening of the Generalized Lower Bound Theorem: it was proved by Nagel that for any simplicial $(d-1)$-sphere $\Delta$ and $1\leq k\leq \lceil\frac{d}{2}\rceil-1$, $g_k(\Delta)$ is at least as large as the number of missing $(d-k)$-faces of $\Delta$; here we show that, for $1\leq k\leq \lfloor\frac{d}{2}\rfloor-1$, equality holds if and only if $\Delta$ is $k$-stacked. Finally, we show that for $d\geq 4$, any simplicial $d$-polytope $P$ that has no missing faces of dimension $\geq d-1$ is redundantly rigid, that is, for each edge $e$ of $P$, there exists an affine $2$-stress on $P$ with a non-zero value on $e$.

math.CO↗
arXiv2021

A note on the reducedness and Gr\"obner bases of Specht ideals

The Specht ideal of shape $\lambda$, where $\lambda$ is a partition, is the ideal generated by all Specht polynomials of shape $\lambda$. Haiman and Woo proved that these ideals are reduced and found their universal Gr\"obner bases. In this short note, we give a short proof for these results.

math.AC↗
arXiv2020

An equivariant Hochster's formula for $\mathfrak S_n$-invariant monomial ideals

Let $R=\Bbbk[x_1,\dots,x_n]$ be a polynomial ring over a field $\Bbbk$ and let $I\subset R$ be a monomial ideal preserved by the natural action of the symmetric group $\mathfrak S_n$ on $R$. We give a combinatorial method to determine the $\mathfrak S_n$-module structure of $\mathrm{Tor}_i(I,\Bbbk)$. Our formula shows that $\mathrm{Tor}_i(I,\Bbbk)$ is built from induced representations of tensor products of Specht modules associated to hook partitions, and their multiplicities are determined by topological Betti numbers of certain simplicial complexes. This result can be viewed as an $\mathfrak S_n$-equivariant analogue of Hochster's formula for Betti numbers of monomial ideals. We apply our results to determine extremal Betti numbers of $\mathfrak S_n$-invariant monomial ideals, and in particular recover formulas for their Castelnuovo--Mumford regularity and projective dimension. We also give a concrete recipe for how the Betti numbers change as we increase the number of variables, and in characteristic zero (or $>n$) we compute the $\mathfrak S_n$-invariant part of $\mathrm{Tor}_i(I,\Bbbk)$ in terms of $\mathrm{Tor}$ groups of the unsymmetrization of $I$.

math.AC↗
arXiv2020

Betti numbers of symmetric shifted ideals

We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute its (equivariant) graded Betti numbers. As an application of this result, we obtain several consequences for graded Betti numbers of symbolic powers of defining ideals of star configurations.

math.AC↗
arXiv2020

Strictness of the log-concavity of generating polynomials of matroids

Recently, it was proved by Anari-Oveis Gharan-Vinzant, Anari-Liu-Oveis Gharan-Vinzant and Brändén-Huh that, for any matroid $M$, its basis generating polynomial and its independent set generating polynomial are log-concave on the positive orthant. Using these, they obtain some combinatorial inequalities on matroids including a solution of strong Mason's conjecture. In this paper, we study the strictness of the log-concavity of these polynomials and determine when equality holds in these combinatorial inequalities. We also consider a generalization of our result to morphisms of matroids.

math.CO↗
arXiv2020

A filtration on the cohomology rings of regular nilpotent Hessenberg varieties

Let $n$ be a positive integer. The main result of this manuscript is a construction of a filtration on the cohomology ring of a regular nilpotent Hessenberg variety in $GL(n,{\mathbb{C}})/B$ such that its associated graded ring has graded pieces (i.e., homogeneous components) isomorphic to rings which are related to the cohomology rings of Hessenberg varieties in $GL(n-1,{\mathbb{C}})/B$, showing the inductive nature of these rings. In previous work, the first two authors, together with Abe and Masuda, gave an explicit presentation of these cohomology rings in terms of generators and relations. We introduce a new set of polynomials which are closely related to the relations in the above presentation and obtain a sequence of equivalence relations they satisfy; this allows us to derive our filtration. In addition, we obtain the following three corollaries. First, we give an inductive formula for the Poincaré polynomial of these varieties. Second, we give an explicit monomial basis for the cohomology rings of regular nilpotent Hessenberg varieties with respect to the presentation mentioned above. Third, we derive a basis of the set of linear relations satisfied by the images of the Schubert classes in the cohomology rings of regular nilpotent Hessenberg varieties. Finally, our methods and results suggest many directions for future work; in particular, we propose a definition of "Hessenberg Schubert polynomials" in the context of regular nilpotent Hessenberg varieties, and outline several open questions pertaining to them.

math.AG↗
arXiv2019

Betti tables of monomial ideals fixed by permutations of the variables

Let $S_n$ be a polynomial ring with $n$ variables over a field and $\{I_n\}_{n \geq 1}$ a chain of ideals such that each $I_n$ is a monomial ideal of $S_n$ fixed by permutations of the variables. In this paper, we present a way to determine all nonzero positions of Betti tables of $I_n$ for all large intergers $n$ from the $\mathbb Z^m$-graded Betti table of $I_m$ for some integer $m$. Our main result shows that the projective dimension and the regularity of $I_n$ eventually become linear functions on $n$, confirming a special case of conjectures posed by Le, Nagel, Nguyen and Römer.

math.AC↗
arXiv2018

The numbers of edges of 5-polytopes with a given number of vertices

A basic combinatorial invariant of a convex polytope $P$ is its $f$-vector $f(P)=(f_0,f_1,\dots,f_{\dim P-1})$, where $f_i$ is the number of $i$-dimensional faces of $P$. Steinitz characterized all possible $f$-vectors of $3$-polytopes and Grünbaum characterized the pairs given by the first two entries of the $f$-vectors of $4$-polytopes. In this paper, we characterize the pairs given by the first two entries of the $f$-vectors of $5$-polytopes. The same result was also proved by Pineda-Villavicencio, Ugon and Yost independently.

math.CO↗
arXiv2018

Solomon-Terao algebra of hyperplane arrangements

We introduce a new algebra associated with a hyperplane arrangement $\mathcal{A}$, called the Solomon-Terao algebra $\mbox{ST}(\mathcal{A},η)$, where $η$ is a homogeneous polynomial. It is shown by Solomon and Terao that $\mbox{ST}(\mathcal{A},η)$ is Artinian when $η$ is generic. This algebra can be considered as a generalization of coinvariant algebras in the setting of hyperplane arrangements. The class of Solomon-Terao algebras contains cohomology rings of regular nilpotent Hessenberg varieties. We show that $\mbox{ST}(\mathcal{A},η)$ is a complete intersection if and only if $\mathcal{A}$ is free. We also give a factorization formula of the Hilbert polynomials when $\mathcal{A}$ is free, and pose several related questions, problems and conjectures.

math.AC↗
arXiv2017

Local $h$-vectors of Quasi-Geometric and Barycentric Subdivisions

In this paper, we answer two questions on local $h$-vectors, which were asked by Athanasiadis. First, we characterize all possible local $h$-vectors of quasi-geometric subdivisions of a simplex. Second, we prove that the local $γ$-vector of the barycentric subdivision of any CW-regular subdivision of a simplex is nonnegative. Along the way, we derive a new recurrence formula for the derangement polynomials.

math.CO↗
arXiv2017

Balanced subdivisions and flips on surfaces

In this paper, we show that two balanced triangulations of a closed surface are not necessary connected by a sequence of balanced stellar subdivisions and welds. This answers a question posed by Izmestiev, Klee and Novik. We also show that two balanced triangulations of a closed surface are connected by a sequence of three local operations, which we call the pentagon contraction, the balanced edge subdivision and the balanced edge weld. In addition, we prove that two balanced triangulations of the 2-sphere are connected by a sequence of pentagon contractions and their inverses if none of them are octahedral spheres.

math.CO↗