Source author record

Akihiro Higashitani

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

36works
10topics
4close collaborators

Published work

36 publications

preprint2023arXiv

Behaviors of pairs of dimensions and depths of edge ideals

Edge ideals of finite simple graphs GG on nn vertices are the ideals I(G)I(G) of the polynomial ring SS in nn variables generated by the quadratic monomials associated with the edges of GG. In this paper, we consider the possible pairs of dimensions and depths of S/I(G)S/I(G) for connected graphs with a fixed number of vertices. We discuss such pairs in the case where dimension is relatively large. As a corollary, we completely determine the pairs for connected graphs with small number of vertices. We also study the possible pairs for connected chordal graphs.

preprint2022arXiv

Combinatorial Mutations of Gelfand-Tsetlin Polytopes, Feigin-Fourier-Littelmann-Vinberg Polytopes, and Block Diagonal Matching Field Polytopes

The Gelfand-Tsetlin and the Feigin-Fourier-Littelmann-Vinberg polytopes for the Grassmannians are defined, from the perspective of representation theory, to parametrize certain bases for highest weight irreducible modules. These polytopes are Newton-Okounkov bodies for the Grassmannian and, in particular, the GT-polytope is an example of a string polytope. The polytopes admit a combinatorial description as the Stanley's order and chain polytopes of a certain poset, as shown by Ardila, Bliem and Salaza. We prove that these polytopes occur among matching field polytopes. Moreover, we show that they are related by a sequence of combinatorial mutations that passes only through matching field polytopes. As a result, we obtain a family of matching fields that give rise to toric degenerations for the Grassmannians. Moreover, all polytopes in the family are Newton-Okounkov bodies for the Grassmannians.

preprint2022arXiv

Deformations of Dimer Models

The combinatorial mutation of polygons, which transforms a given lattice polygon into another one, is an important operation to understand mirror partners for two-dimensional Fano manifolds, and the mutation-equivalent polygons give Q{\mathbb Q}-Gorenstein deformation-equivalent toric varieties. On the other hand, for a dimer model, which is a bipartite graph described on the real two-torus, one can assign a lattice polygon called the perfect matching polygon. It is known that for each lattice polygon PP there exists a dimer model having PP as the perfect matching polygon and satisfying certain consistency conditions. Moreover, a dimer model has rich information regarding toric geometry associated with the perfect matching polygon. In this paper, we introduce a set of operations which we call deformations of consistent dimer models, and show that the deformations of consistent dimer models realize the combinatorial mutations of the associated perfect matching polygons.

preprint2021arXiv

Inequalities of invariants on Stanley-Reisner rings of Cohen-Macaulay simplicial complexes

The goal of the present paper is the study of some algebraic invariants of Stanley-Reisner rings of Cohen-Macaulay simplicial complexes of dimension d−1d - 1. We prove that the inequality d≤reg(Δ)⋅type(Δ)d \leq \mathrm{reg}(Δ) \cdot \mathrm{type}(Δ) holds for any (d−1)(d-1)-dimensional Cohen-Macaulay simplicial complex ΔΔ satisfying Δ=core(Δ)Δ=\mathrm{core}(Δ), where reg(Δ)\mathrm{reg}(Δ) (resp. type(Δ)\mathrm{type}(Δ)) denotes the Castelnuovo-Mumford regularity (resp. Cohen-Macaulay type) of the Stanley-Reisner ring k[Δ]\Bbbk[Δ]. Moreover, for any given integers d,r,td,r,t satisfying r,t≥2r,t \geq 2 and r≤d≤rtr \leq d \leq rt, we construct a Cohen-Macaulay simplicial complex Δ(G)Δ(G) as an independent complex of a graph GG such that dim⁡(Δ(G))=d−1\dim(Δ(G))=d-1, reg(Δ(G))=r\mathrm{reg}(Δ(G))=r and type(Δ(G))=t\mathrm{type}(Δ(G))=t.

preprint2021arXiv

Levelness versus almost Gorensteinness of edge rings of complete multipartite graphs

Levelness and almost Gorensteinness are well-studied properties on graded rings as a generalized notion of Gorensteinness. In the present paper, we study those properties for the edge rings of the complete multipartite graphs, denoted by k[Kr1,…,rn]\Bbbk[K_{r_1,\ldots,r_n}] with 1≤r1≤⋯≤rn1 \leq r_1 \leq \cdots \leq r_n. We give the complete characterization of which k[Kr1,…,rn]\Bbbk[K_{r_1,\ldots,r_n}] is level in terms of nn and r1,…,rnr_1,\ldots,r_n. Similarly, we also give the complete characterization of which k[Kr1,…,rn]\Bbbk[K_{r_1,\ldots,r_n}] is almost Gorenstein in terms of nn and r1,…,rnr_1,\ldots,r_n.

preprint2020arXiv

Cohomological rigidity for Fano Bott manifolds

In the present paper, we characterize Fano Bott manifolds up to diffeomorphism in terms of three operations on matrix. More precisely, we prove that given two Fano Bott manifolds XX and X′X', the following conditions are equivalent: (1) the upper triangular matrix associated to XX can be transformed into that of X′X' by those three operations; (2) XX and X′X' are diffeomorphic; (3) the integral cohomology rings of XX and X′X' are isomorphic as graded rings. As a consequence, we affirmatively answer the cohomological rigidity problem for Fano Bott manifolds.

preprint2020arXiv

Cohomological rigidity for toric Fano manifolds of small dimensions or large Picard numbers

The cohomological rigidity problem for toric manifolds asks whether toric manifolds are diffeomorphic (or homeomorphic) if their integral cohomology rings are isomorphic. Many affirmative partial solutions to the problem have been obtained and no counterexample is known. In this paper, we study the diffeomorphism classification of toric Fano dd-folds with d=3,4d=3,4 or with Picard number ≥2d−2\ge 2d-2. In particular, we show that those manifolds except for two toric Fano 44-folds are diffeomorphic if their integral cohomology rings are isomorphic. The exceptional two toric Fano 44-folds (their ID numbers are 50 and 57 on a list of Øbro) have isomorphic cohomology rings and their total Pontryagin classes are preserved under an isomorphism between their cohomology rings, but we do not know whether they are diffeomorphic or homeomorphic.

preprint2020arXiv

Feedback game on 33-chromatic Eulerian triangulations of surfaces

In this paper, we study the feedback game on 33-chromatic Eulerian triangulations of surfaces. We prove that the winner of the game on every 33-chromatic Eulerian triangulation of a surface all of whose vertices have degree 00 modulo 44 is always fixed. Moreover, we also study the case of 33-chromatic Eulerian triangulations of surfaces which have at least two vertices whose degrees are 22 modulo 44, and in particular, we determine the winner of the game on a concrete class of such graphs, called an octahedral path.

preprint2020arXiv

Generalized F-signatures of Hibi rings

The FF-signature is a numerical invariant defined by the number of free direct summands in the Frobenius push-forward, and it measures singularities in positive characteristic. It can be generalized by focussing on the number of non-free direct summands. In this paper, we provide several methods to compute the (generalized) FF-signature of a Hibi ring which is a special class of toric rings. In particular, we show that it can be computed by counting the elements in the symmetric group satisfying certain conditions. As an application, we also give the formula of the (generalized) FF-signature for some Segre products of polynomial rings.

preprint2020arXiv

Homogeneous quandles arising from automorphisms of symmetric groups

Quandle is an algebraic system with one binary operation, but it is quite different from a group. Quandle has its origin in the knot theory and good relationships with the theory of symmetric spaces, so it is well-studied from points of view of both areas. In the present paper, we investigate a special kind of quandles, called generalized Alexander quandles Q(G,ψ)Q(G,ψ), which is defined by a group GG together with its group automorphism ψψ. We develop the quandle invariants for generalized Alexander quandles. As a result, we prove that there is a one-to-one correspondence between generalized Alexander quandles arising from symmetric groups $\Sf_n$ and the conjugacy classes of $\Sf_n$ for 3≤n≤303 \leq n \leq 30 with n≠6,15n \neq 6,15, and the case n=6n=6 is also discussed.

preprint2020arXiv

Two poset polytopes are mutation-equivalent

The combinatorial mutation mutw(P,F)\mathrm{mut}_w(P,F) for a lattice polytope PP was introduced in the context of mirror symmetry for Fano manifolds in [1]. It was also proved in [1] that for a lattice polytope P⊆NRP \subseteq N_\mathbb{R} containing the origin in its interior, the polar duals P∗⊆MRP^* \subseteq M_\mathbb{R} and mutw(P,F)∗⊆MR\mathrm{mut}_w(P,F)^* \subseteq M_\mathbb{R} have the same Ehrhart series. For extending this framework, in this paper, we introduce the combinatorial mutation for the Minkowski sum of rational polytopes and rational polyhedral pointed cones in NRN_\mathbb{R}. We can also introduce the combinatorial mutation in the dual side MRM_\mathbb{R}, which we can apply for every rational polytope in MRM_\mathbb{R} containing the origin (not necessarily in the interior). As an application of this extension of the combinatorial mutation, we prove that the chain polytope of a poset ΠΠ can be obtained by a sequence of the combinatorial mutation in MRM_\mathbb{R} from the order polytope of ΠΠ. Namely, the order polytope and the chain polytope of the same poset ΠΠ are mutation-equivalent.

preprint2016arXiv

Almost Gorenstein homogeneous rings and their hh-vectors

In this paper, for the development of the study of almost Gorenstein graded rings, we discuss some relations between almost Gorensteinness of Cohen--Macaulay homogeneous rings and their hh-vectors. Concretely, for a Cohen--Macaulay homogeneous ring RR, we give a sufficient condition for RR to be almost Gorenstein in terms of the hh-vector of RR and we also characterize almost Gorenstein homogeneous domains with small socle degrees in terms of the hh-vector of RR. Moreover, we also provide the examples of almost Gorenstein homogeneous domains arising from lattice polytopes.

preprint2016arXiv

Ehrhart polynomials with negative coefficients

It is shown that, for each d≥4d \geq 4, there exists an integral convex polytope P\mathcal{P} of dimension dd such that each of the coefficients of n,n2,…,nd−2n, n^{2}, \ldots, n^{d-2} of its Ehrhart polynomial i(P,n)i(\mathcal{P},n) is negative. Moreover, it is also shown that for each d≥3d \geq 3 and 1≤k≤d−21 \leq k \leq d-2, there exists an integral convex polytope P\mathcal{P} of dimension dd such that the coefficient of nkn^k of the Ehrhart polynomial i(P,n)i(\mathcal{P},n) of P\mathcal{P} is negative and all its remaining coefficients are positive. Finally, we consider all the possible sign patterns of the coefficients of the Ehrhart polynomials of low dimensional integral convex polytopes.

preprint2016arXiv

Non-level semi-standard graded Cohen-Macaulay domain with hh-vector (h0,h1,h2)(h_0,h_1,h_2)

Let kk be an algebraically closed field of characteristic 0, and AA a Cohen-Macaulay graded domain with A0=kA_0=k. If AA is semi-standard graded (i.e., AA is finitely generated as a k[A1]k[A_1]-module), it has the hh-vector (h0,h1,...,hs)(h_0, h_1, ..., h_s), which encodes the Hilbert function of AA. From now on, assume that s=2s=2. It is known that if AA is standard graded (i.e., A=k[A1]A=k[A_1]), then AA is level. We will show that, in the semi-standard case, if AA is not level, then h1+1h_1+1 divides h2h_2. Conversely, for any positive integers hh and nn, there is a non-level AA with the hh-vector (1,h,(h+1)n)(1, h, (h+1)n). Moreover, such examples can be constructed as Ehrhart rings (equivalently, normal toric rings).

preprint2015arXiv

Dominating induced matchings of finite graphs and regularity of edge ideals

The regularity of an edge ideal of a finite simple graph GG is at least the induced matching number of GG and is at most the minimum matching number of GG. If GG possesses a dominating inuduced matching, i.e., an induced matching which forms a maximal matching, then the induced matching number of GG is equal to the minimum matching number of GG. In the present paper, from viewpoints of both combinatorics and commutative algebra, finite simple graphs with dominating induced matchings will be mainly studied.

preprint2015arXiv

Equivalence classes for smooth Fano polytopes

Let F(n)\mathcal{F}(n) be the set of smooth Fano nn-polytopes up to unimocular equivalence. In this paper, we consider the F-equivalence or I-equivalence classes for F(n)\mathcal{F}(n) and introduce F-isolated or I-isolated smooth Fano nn-polytopes. First, we describe all of F-equivalence classes and I-equivalence classes for F(5)\mathcal{F}(5). We also give a complete characterization of F-equivalence classes (I-equivalence classes) for smooth Fano nn-polytopes with n+3n+3 vertices and construct a family of I-isolated smooth Fano polytopes.

preprint2015arXiv

Gorenstein polytopes with trinomial h∗h^*-polynomials

The characterization of lattice polytopes based upon information about their Ehrhart h∗h^*-polynomials is a difficult open problem. In this paper, we finish the classification of lattice polytopes whose h∗h^*-polynomials satisfy two properties: they are palindromic (so the polytope is Gorenstein) and they consist of precisely three terms. This extends the classification of Gorenstein polytopes of degree two due to Batyrev and Juny. The proof relies on the recent characterization of Batyrev and Hofscheier of empty lattice simplices whose h∗h^*-polynomials have precisely two terms. Putting our theorem in perspective, we give a summary of these and other existing results in this area.

preprint2015arXiv

Unimodality on δδ-vectors of lattice polytopes and two related properties

In this paper, we investigate two properties concerning the unimodality of the δδ-vectors of lattice polytopes, which are log-concavity and alternatingly increasingness. For lattice polytopes P\mathcal{P} of dimension dd, we prove that the dilated lattice polytopes nPn\mathcal{P} have strictly log-concave and strictly alternatingly increasing δδ-vectors if n>max⁡{s,d+1−s}n > \max\{s,d+1-s\}, where ss is the degree of the δδ-polynomial of P\mathcal{P}. The bound max⁡{s,d+1−s}\max\{s,d+1-s\} for nn is reasonable. We also provide several kinds of unimodal (or non-unimodal) δδ-vectors. Concretely, we give examples of lattice polytoeps whose δδ-vectors are not unimodal, unimodal but neither log-concave nor alternatingly increasing, alternatingly increasing but not log-concave, and log-concave but not alternatingly increasing, respectively.

preprint2014arXiv

Algebraic study on Cameron-Walker graphs

Let GG be a finite simple graph on [n][n] and I(G)⊂SI(G) \subset S the edge ideal of GG, where S=K[x1,…,xn]S = K[x_{1}, \ldots, x_{n}] is the polynomial ring over a field KK. Let m(G)m(G) denote the maximum size of matchings of GG and im(G)im(G) that of induced matchings of GG. It is known that im(G)≤reg(S/I(G))≤m(G)im(G) \leq \text{reg}(S/I(G)) \leq m(G), where reg(S/I(G))\text{reg}(S/I(G)) is the Castelnuovo-Mumford regularity of S/I(G)S/I(G). Cameron and Walker succeeded in classifying the finite connected simple graphs GG with im(G)=m(G)im(G) = m(G). We say that a finite connected simple graph GG is a Cameron-Walker graph if im(G)=m(G)im(G) = m(G) and if GG is neither a star nor a star triangle. In the present paper, we study Cameron-Walker graphs from a viewpoint of commutative algebra. First, we prove that a Cameron-Walker graph GG is unmixed if and only if GG is Cohen-Macaulay and classify all Cohen-Macaulay Cameron-Walker graphs. Second, we prove that there is no Gorenstein Cameron-Walker graph. Finally, we prove that every Cameron--Walker graph is sequentially Cohen-Macaulay.

preprint2014arXiv

Integer decomposition property of free sums of convex polytopes

Let P⊂Rd\mathcal{P} \subset \mathbb{R}^{d} and Q⊂Re\mathcal{Q} \subset \mathbb{R}^e be integral convex polytopes of dimension dd and ee which contain the origin of Rd\mathbb{R}^{d} and Re\mathbb{R}^e, respectively. In the present paper, under some assumptions, the necessary and sufficient condition for the free sum of P\mathcal{P} and Q\mathcal{Q} to possess the integer decomposition property will be presented.

preprint2014arXiv

Smooth Fano polytopes arising from finite directed graphs

In this paper, we consider terminal reflexive polytopes arising from finite directed graphs and study the problem of deciding which directed graphs yield smooth Fano polytopes. We show that any centrally symmetric or pseudo-symmetric smooth Fano polytopes can be obtained from directed graphs. Moreover, by using directed graphs, we provide new examples of smooth Fano polytopes whose corresponding varieties admit Kähler--Einstein metrics.

preprint2013arXiv

Integer decomposition property of dilated polytopes

Let P⊂RN\mathcal{P} \subset \mathbb{R}^N be an integral convex polytope of dimension dd and write kPk \mathcal{P}, where k=1,2,…k = 1, 2, \ldots, for dilations of P\mathcal{P}. We say that P\mathcal{P} possesses the integer decomposition property if, for any integer k=1,2,…k = 1, 2, \ldots and for any α∈kP∩ZNα\in k \mathcal{P} \cap \mathbb{Z}^N, there exist α1,…,αkα_{1}, \ldots, α_k belonging to P∩ZN\mathcal{P} \cap \mathbb{Z}^N such that α=α1+⋯+αkα= α_1 + \cdots + α_k. A fundamental question is to determine the integers k>0k > 0 for which the dilated polytope kPk\mathcal{P} possesses the integer decomposition property. In the present paper, combinatorial invariants related to the integer decomposition property of dilated polytopes will be proposed and studied.

preprint2012arXiv

Ehrhart polynomials of integral simplices with prime volumes

For an integral convex polytope $\Pc \subset \RR^N$ of dimension dd, we call $δ(\Pc)=(δ_0, δ_1,..., δ_d)$ the δδ-vector of $\Pc$ and $\vol(\Pc)=\sum_{i=0}^dδ_i$ its normalized volume. In this paper, we will establish the new equalities and inequalities on δδ-vectors for integral simplices whose normalized volumes are prime. Moreover, by using those, we will classify all the possible δδ-vectors of integral simplices with normalized volume 5 and 7.

preprint2012arXiv

Roots of Ehrhart polynomials and symmetric δδ-vectors

The conjecture on roots of Ehrhart polynomials, stated by Matsui et al. \cite[Conjecture 4.10]{MHNOH}, says that all roots αα of the Ehrhart polynomial of a Gorenstein Fano polytope of dimension dd satisfy −d2≤ℜ(α)≤d2−1-\frac{d}{2} \leq \Re(α) \leq \frac{d}{2} -1. In this paper, we observe the behaviors of roots of SSNN polynomials which are a wider class of the polynomials containing all the Ehrhart polynomials of Gorenstein Fano polytopes. As a result, we verify that this conjecture is true when the roots are real numbers or when d≤5d \leq 5.

preprint2011arXiv

Depth of initial ideals of normal edge rings

Let GG be a finite graph on the vertex set [d]={1,...,d}[d] = \{1, ..., d \} with the edges e1,...,ene_1, ..., e_n and $K[\tb] = K[t_1, ..., t_d]$ the polynomial ring in dd variables over a field KK. The edge ring of GG is the semigroup ring K[G]K[G] which is generated by those monomials $\tb^e = t_it_j$ such that e={i,j}e = \{i, j\} is an edge of GG. Let $K[\xb] = K[x_1, ..., x_n]$ be the polynomial ring in nn variables over KK and define the surjective homomorphism $π: K[\xb] \to K[G]$ by setting $π(x_i) = \tb^{e_i}$ for i=1,...,ni = 1, ..., n. The toric ideal IGI_G of GG is the kernel of ππ. It will be proved that, given integers ff and dd with 6≤f≤d6 \leq f \leq d, there exist a finite connected nonbipartite graph GG on [d][d] together with a reverse lexicographic order $<_{\rev}$ on $K[\xb]$ and a lexicographic order $<_{\lex}$ on $K[\xb]$ such that (i) K[G]K[G] is normal, (ii) $\depth K[\xb]/\ini_{<_{\rev}}(I_G) = f$ and (iii) $K[\xb]/\ini_{<_{\lex}}(I_G)$ is Cohen--Macaulay, where $\ini_{<_{\rev}}(I_G)$ (resp.\ $\ini_{<_{\lex}}(I_G)$) is the initial ideal of IGI_G with respect to $<_{\rev}$ (resp.\ $<_{\lex}$) and where $\depth K[\xb]/\ini_{<_{\rev}}(I_G)$ is the depth of $K[\xb]/\ini_{<_{\rev}}(I_G)$.

preprint2011arXiv

Hermite normal forms and δδ-vector

Let $δ(\Pc) = (δ_0, δ_1,..., δ_d)$ be the δδ-vector of an integral polytope $\Pc \subset \RR^N$ of dimension dd. Following the previous work of characterizing the δδ-vectors with ∑i=0dδi≤3\sum_{i=0}^d δ_i \leq 3, the possible δδ-vectors with ∑i=0dδi=4\sum_{i=0}^d δ_i = 4 will be classified. And each possible δδ-vectors can be obtained by simplices. We get this result by studying the problem of classifying the possible integral simplices with a given δδ-vector (δ0,δ1,...,δd)(δ_0, δ_1,..., δ_d), where ∑i=0dδi≤4\sum_{i=0}^d δ_i \leq 4, by means of Hermite normal forms of square matrices.

preprint2010arXiv

Roots of Ehrhart polynomials arising from graphs

Several polytopes arise from finite graphs. For edge and symmetric edge polytopes, in particular, exhaustive computation of the Ehrhart polynomials not merely supports the conjecture of Beck {\it et al.}\ that all roots αα of Ehrhart polynomials of polytopes of dimension DD satisfy −D≤ℜ(α)≤D−1-D \le \Re(α) \le D - 1, but also reveals some interesting phenomena for each type of polytope. Here we present two new conjectures: (1) the roots of the Ehrhart polynomial of an edge polytope for a complete multipartite graph of order dd lie in the circle ∣z+d4∣≤d4|z+\tfrac{d}{4}| \le \tfrac{d}{4} or are negative integers, and (2) a Gorenstein Fano polytope of dimension DD has the roots of its Ehrhart polynomial in the narrower strip −D2≤ℜ(α)≤D2−1-\tfrac{D}{2} \leq \Re(α) \leq \tfrac{D}{2}-1. Some rigorous results to support them are obtained as well as for the original conjecture. The root distribution of Ehrhart polynomials of each type of polytope is plotted in figures.

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.