Source author record

Satoshi Murai

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

29works
9topics
4close collaborators

Published work

29 publications

preprint2026arXiv

Superspace coinvariants and hyperplane arrangements

Let ΩΩ be the {\em superspace ring} of polynomial-valued differential forms on affine nn-space. The natural action of the symmetric group Sn\mathfrak{S}_n on nn-space induces an action of Sn\mathfrak{S}_n on ΩΩ. The {\em superspace coinvariant ring} is the quotient SRSR of ΩΩ by the ideal generated by Sn\mathfrak{S}_n-invariants with vanishing constant term. We give the first explicit basis of SRSR, proving a conjecture of Sagan and Swanson. Our techniques use the theory of hyperplane arrangements. We relate SRSR 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 SRSR.

preprint2020arXiv

A filtration on the cohomology rings of regular nilpotent Hessenberg varieties

Let nn 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,C)/BGL(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,C)/BGL(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.

preprint2020arXiv

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

Let R=k[x1,…,xn]R=\Bbbk[x_1,\dots,x_n] be a polynomial ring over a field k\Bbbk and let I⊂RI\subset R be a monomial ideal preserved by the natural action of the symmetric group Sn\mathfrak S_n on RR. We give a combinatorial method to determine the Sn\mathfrak S_n-module structure of Tori(I,k)\mathrm{Tor}_i(I,\Bbbk). Our formula shows that Tori(I,k)\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 Sn\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 Sn\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>n) we compute the Sn\mathfrak S_n-invariant part of Tori(I,k)\mathrm{Tor}_i(I,\Bbbk) in terms of Tor\mathrm{Tor} groups of the unsymmetrization of II.

preprint2020arXiv

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 MM, 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.

preprint2016arXiv

A generalized lower bound theorem for balanced manifolds

A simplicial complex of dimension d−1d-1 is said to be balanced if its graph is dd-colorable. Juhnke-Kubitzke and Murai proved an analogue of the generalized lower bound theorem for balanced simplicial polytopes. We establish a generalization of their result to balanced triangulations of closed homology manifolds and balanced triangulations of orientable homology manifolds with boundary under an additional assumption that all proper links of these triangulations have the weak Lefschetz property. As a corollary, we show that if ΔΔ is an arbitrary balanced triangulation of any closed homology manifold of dimension d−1≥3d-1 \geq 3, then 2h2(Δ)−(d−1)h1(Δ)≥4(d2)(β~1(Δ)−β~0(Δ))2h_2(Δ) - (d-1)h_1(Δ) \geq 4{d \choose 2}(\tildeβ_1(Δ)-\tildeβ_0(Δ)), thus verifying a conjecture by Klee and Novik. To prove these results we develop the theory of flag h′′h''-vectors.

preprint2016arXiv

Face numbers and the fundamental group

We resolve a conjecture of Kalai asserting that the g2g_2-number of any simplicial complex ΔΔ that represents a connected normal pseudomanifold of dimension d≥3d\geq 3 is at least as large as (d+22)m(Δ){d+2 \choose 2}m(Δ), where m(Δ)m(Δ) denotes the minimum number of generators of the fundamental group of ΔΔ. Furthermore, we prove that a weaker bound, h2(Δ)≥(d+12)m(Δ)h_2(Δ)\geq {d+1 \choose 2}m(Δ), applies to any dd-dimensional pure simplicial poset ΔΔ all of whose faces of co-dimension ≥2\geq 2 have connected links. This generalizes a result of Klee. Finally, for a pure relative simplicial poset ΨΨ all of whose vertex links satisfy Serre's condition (Sr)(S_r), we establish lower bounds on h1(Ψ),…,hr(Ψ)h_1(Ψ),\ldots,h_r(Ψ) in terms of the μμ-numbers introduced by Bagchi and Datta.

preprint2016arXiv

Face numbers of manifolds with boundary

We study face numbers of simplicial complexes that triangulate manifolds (or even normal pseudomanifolds) with boundary. Specifically, we establish a sharp lower bound on the number of interior edges of a simplicial normal pseudomanifold with boundary in terms of the number of interior vertices and relative Betti numbers. Moreover, for triangulations of manifolds with boundary all of whose vertex links have the weak Lefschetz property, we extend this result to sharp lower bounds on the number of higher-dimensional interior faces. Along the way we develop a version of Bagchi and Datta's σσ- and μμ-numbers for the case of relative simplicial complexes and prove stronger versions of the above statements with the Betti numbers replaced by the μμ-numbers. Our results provide natural generalizations of known theorems and conjectures for closed manifolds and appear to be new even for the case of a ball.

preprint2016arXiv

Hessenberg varieties and hyperplane arrangements

Given a semisimple complex linear algebraic group GG and a lower ideal II in positive roots of GG, three objects arise: the ideal arrangement AI\mathcal{A}_I, the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$, and the regular semisimple Hessenberg variety $\mbox{Hess}(S,I)$. We show that a certain graded ring derived from the logarithmic derivation module of AI\mathcal{A}_I is isomorphic to $H^*(\mbox{Hess}(N,I))$ and $H^*(\mbox{Hess}(S,I))^W$, the invariants in $H^*(\mbox{Hess}(S,I))$ under an action of the Weyl group WW of GG. This isomorphism is shown for general Lie type, and generalizes Borel's celebrated theorem showing that the coinvariant algebra of WW is isomorphic to the cohomology ring of the flag variety G/BG/B. This surprising connection between Hessenberg varieties and hyperplane arrangements enables us to produce a number of interesting consequences. For instance, the surjectivity of the restriction map $H^*(G/B)\to H^*(\mbox{Hess}(N,I))$ announced by Dale Peterson and an affirmative answer to a conjecture of Sommers-Tymoczko are immediate consequences. We also give an explicit ring presentation of $H^*(\mbox{Hess}(N,I))$ in types BB, CC, and GG. Such a presentation was already known in type AA or when $\mbox{Hess}(N,I)$ is the Peterson variety. Moreover, we find the volume polynomial of $\mbox{Hess}(N,I)$ and see that the hard Lefschetz property and the Hodge-Riemann relations hold for $\mbox{Hess}(N,I)$, despite the fact that it is a singular variety in general.

preprint2016arXiv

Lefschetz properties of balanced 3-polytopes

In this paper, we study Lefschetz properties of Artinian reductions of Stanley-Reisner rings of balanced simplicial 33-polytopes. A (d−1)(d-1)-dimensional simplicial complex is said to be balanced if its graph is dd-colorable. If a simplicial complex is balanced, then its Stanley-Reisner ring has a special system of parameters induced by the coloring. We prove that the Artinian reduction of the Stanley-Reisner ring of a balanced simplicial 33-polytope with respect to this special system of parameters has the strong Lefschetz property if the characteristic of the base field is not two or three. Moreover, we characterize (2,1)(2,1)-balanced simplicial polytopes, i.e., polytopes with exactly one red vertex and two blue vertices in each facet, such that an analogous property holds. In fact, we show that this is the case if and only if the induced graph on the blue vertices satisfies a Laman-type combinatorial condition.

preprint2016arXiv

On stacked triangulated manifolds

We prove two results on stacked triangulated manifolds in this paper: (a) every stacked triangulation of a connected manifold with or without boundary is obtained from a simplex or the boundary of a simplex by certain combinatorial operations; (b) in dimension d≥4d \geq 4, if ΔΔ is a tight connected closed homology dd-manifold whose iith homology vanishes for 1<i<d−11 < i < d-1, then ΔΔ is a stacked triangulation of a manifold.These results give affirmative answers to questions posed by Novik and Swartz and by Effenberger.

preprint2016arXiv

Uniformly Cohen-Macaulay simplicial complexes and almost Gorenstein* simplicial complexes

In this paper, we study simplicial complexes whose Stanley-Reisner rings are almost Gorenstein and have aa-invariant zero. We call such a simplicial complex an almost Gorenstein* simplicial complex. To study the almost Gorenstein* property, we introduce a new class of simplicial complexes which we call uniformly Cohen-Macaulay simplicial complexes. A dd-dimensional simplicial complex ΔΔ is said to be uniformly Cohen-Macaulay if it is Cohen-Macaulay and, for any facet FF of ΔΔ, the simplicial complex Δ∖{F}Δ\setminus\{F\} is Cohen-Macaulay of dimension dd. We investigate fundamental algebraic, combinatorial and topological properties of these simplicial complexes, and show that almost Gorenstein* simplicial complexes must be uniformly Cohen-Macaulay. By using this fact, we show that every almost Gorenstein* simplicial complex can be decomposed into those of having one dimensional top homology. Also, we give a combinatorial criterion of the almost Gorenstein* property for simplicial complexes of dimension ≤2\leq 2.

preprint2015arXiv

Balanced generalized lower bound inequality for simplicial polytopes

A remarkable and important property of face numbers of simplicial polytopes is the generalized lower bound inequality, which says that the hh-numbers of any simplicial polytope are unimodal. Recently, for balanced simplicial dd-polytopes, that is simplicial dd-polytopes whose underlying graphs are dd-colorable, Klee and Novik proposed a balanced analogue of this inequality, that is stronger than just unimodality. The aim of this article is to prove this conjecture of Klee and Novik. For this, we also show a Lefschetz property for rank-selected subcomplexes of balanced simplicial polytopes and thereby obtain new inequalities for their hh-numbers.

preprint2014arXiv

Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto

This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan. It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology community. Triangulations are highly suitable for computations due to their clear combinatorial structure. As a consequence, they have been successfully employed in discrete algorithms to solve purely theoretical problems in a broad variety of mathematical research areas (knot theory, polytope theory, 2- and 3-manifold topology, geometry, and others). However, due to the large variety of applications, requirements vary from field to field and thus different types of triangulations, different tools, and different frameworks are used in different areas of research. This is why today closely related research areas are sometimes largely disjoint leaving potential reciprocal benefits unused. To address these potentials a workshop on Triangulations was held at Oberwolfach Research Institute in 2012. Since then many new collaborations between researchers of different mathematical communities have been established. Regarding the computational geometry community, the theory of manifolds continues to contribute to advances in more applied areas of the field. Many researchers are interested in fundamental mathematical research about triangulations and thus will benefit from a broad set of knowledge about different research areas using different techniques. We hope that this workshop brought together researchers from many different fields of computational geometry to have fruitful discussions which will lead to new interdisciplinary collaborations and solutions.

preprint2014arXiv

Invariance of Pontrjagin classes for Bott manifolds

A Bott manifold is the total space of some iterated CP1\mathbb C P^1-bundle over a point. We prove that any graded ring isomorphism between the cohomology rings of two Bott manifolds preserves their Pontrjagin classes. Moreover, we prove that such an isomorphism is induced from a diffeomorphism if the Bott manifolds are Z/2\mathbb Z/2-trivial, where a Bott manifold is called Z/2\mathbb Z/2-trivial if its cohomology ring with Z/2\mathbb Z/2-coefficient is isomorphic to that of a product of CP1\mathbb C P^1's.

preprint2013arXiv

On ideals with the Rees property

A homogeneous ideal II of a polynomial ring SS is said to have the Rees property if, for any homogeneous ideal J⊂SJ \subset S which contains II, the number of generators of JJ is smaller than or equal to that of II. A homogeneous ideal I⊂SI \subset S is said to be m\mathfrak m-full if mI:y=I\mathfrak mI:y=I for some y∈my \in \mathfrak m, where m\mathfrak m is the graded maximal ideal of SS. It was proved by one of the authors that m\mathfrak m-full ideals have the Rees property and that the converse holds in a polynomial ring with two variables. In this note, we give examples of ideals which have the Rees property but are not m\mathfrak m-full in a polynomial ring with more than two variables. To prove this result, we also show that every Artinian monomial almost complete intersection in three variables has the Sperner property.

preprint2013arXiv

Squarefree P-modules and the cd-index

In this paper, we introduce a new algebraic concept, which we call squarefree P-modules. This concept is inspired from Karu's proof of the non-negativity of the cd-indices of Gorenstein* posets, and supplies a way to study cd-indices from the viewpoint of commutative algebra. Indeed, by using the theory of squarefree P-modules, we give several new algebraic and combinatorial results on CW-posets. First, we define an analogue of the cd-index for any CW-poset and prove its non-negativity when a CW-poset is Cohen-Macaulay. This result proves that the h-vector of the barycentric subdivision of a Cohen-Macaulay regular CW-complex is unimodal. Second, we prove that the Stanley-Reisner ring of the barycentric subdivision of an odd dimensional Cohen-Macaulay polyhedral complex has the weak Lefschetz property. Third, we obtain sharp upper bounds of the cd-indices of Gorenstein* posets for a fixed rank generating function.

preprint2012arXiv

On the generalized lower bound conjecture for polytopes and spheres

In 1971, McMullen and Walkup posed the following conjecture, which is called the generalized lower bound conjecture: If PP is a simplicial dd-polytope then its hh-vector (h0,h1,...,hd)(h_0,h_1,...,h_d) satisfies h0≤h1≤...≤h⌊d2⌋h_0 \leq h_1 \leq ... \leq h_{\lfloor \frac d 2 \rfloor}. Moreover, if hr−1=hrh_{r-1}=h_r for some r≤d2r \leq \frac d 2 then PP can be triangulated without introducing simplices of dimension ≤d−r\leq d-r. The first part of the conjecture was solved by Stanley in 1980 using the hard Lefschetz theorem for projective toric varieties. In this paper, we give a proof of the remaining part of the conjecture. In addition, we generalize this property to a certain class of simplicial spheres, namely those admitting the weak Lefschetz property.

preprint2012arXiv

Regularity bounds for Koszul cycles

We study the module of Koszul cycles Zt(I,M)Z_t(I,M) of a homogeneous ideal II in a polynomial ring SS with respect to a graded module MM. Under mild assumptions on the base field we prove that the regularity of Zt(I,S)Z_t(I,S) is a subadditive function of the homological position t when I is 0-dimensional. For Borel-fixed ideals II and JJ we prove that the regularity of Zt(I,S/J)Z_t(I,S/J) is bounded above by $t(1+\reg I)+\reg S/J$.

preprint2011arXiv

Lefschetz properties and the Veronese construction

In this paper, we investigate Lefschetz properties of Veronese subalgebras. We show that, for a sufficiently large rr, the rr\textsuperscript{th} Veronese subalgebra of a Cohen-Macaulay standard graded KK-algebra has properties similar to the weak and strong Lefschetz properties, which we call the `almost weak' and `almost strong' Lefschetz properties. By using this result, we obtain new results on hh- and gg-polynomials of Veronese subalgebras.

preprint2011arXiv

On the cd-index and gamma-vector of S*-shellable CW-spheres

We show that the γγ-vector of the order complex of any polytope is the f-vector of a balanced simplicial complex. This is done by proving this statement for a subclass of Stanley's S-shellable spheres which includes all polytopes. The proof shows that certain parts of the cd-index, when specializing c=1c=1 and considering the resulted polynomial in dd, are the f-polynomials of simplicial complexes that can be colored with "few" colors. We conjecture that the cd-index of a regular CW-sphere is itself the flag f-vector of a colored simplicial complex in a certain sense.

preprint2011arXiv

Spheres arising from multicomplexes

In 1992, Thomas Bier introduced a surprisingly simple way to construct a large number of simplicial spheres. He proved that, for any simplicial complex ΔΔ on the vertex set VV with Δ≠2VΔ\ne 2^V, the deleted join of ΔΔ with its Alexander dual Δ∨Δ^\vee is a combinatorial sphere. In this paper, we extend Bier's construction to multicomplexes, and study their combinatorial and algebraic properties. We show that all these spheres are shellable and edge decomposable, which yields a new class of many shellable edge decomposable spheres that are not realizable as polytopes. It is also shown that these spheres are related to polarizations and Alexander duality for monomial ideals which appear in commutative algebra theory.

preprint2010arXiv

Face vectors of simplicial cell decompositions of manifolds

In this paper, we study face vectors of simplicial posets that are the face posets of cell decompositions of topological manifolds without boundary. We characterize all possible face vectors of simplicial posets whose geometric realizations are homeomorphic to the product of spheres. As a corollary, we obtain the characterization of face vectors of simplicial posets whose geometric realizations are odd dimensional manifolds without boundary.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.