Searcharxiv⌕ Search

arXiv subjects

Akihiro Higashitani

Publications and source records attributed to Akihiro Higashitani.

At least 55 records · Page 3Linked to original sources
arXiv2022

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.

math.CO↗
arXiv2022

The $h$-vectors of the edge rings of a special family of graphs

The $h$-vectors of homogeneous rings are one of the most important invariants that often reflect ring-theoretic properties. On the other hand, there are few examples of edge rings of graphs whose $h$-vectors are explicitly computed. In this paper, we compute the $h$-vector of a special family of graphs, by using the technique of initial ideals and the associated simplicial complex.

math.AC↗
arXiv2022

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 ${\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 $P$ there exists a dimer model having $P$ 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.

math.CO↗
arXiv2022

Combinatorial mutations of Newton-Okounkov polytopes arising from plabic graphs

It is known that the homogeneous coordinate ring of a Grassmannian has a cluster structure, which is induced from the combinatorial structure of a plabic graph. A plabic graph is a certain bipartite graph described on the disk, and there is a family of plabic graphs giving a cluster structure of the same Grassmannian. Such plabic graphs are related by the operation called square move which can be considered as the mutation in cluster theory. By using a plabic graph, we also obtain the Newton--Okounkov polytope which gives a toric degeneration of the Grassmannian. The purposes of this article is to survey these phenomena and observe the behavior of Newton--Okounkov polytopes under the operation called the combinatorial mutation of polytopes. In particular, we reinterpret some operations defined for Newton--Okounkov polytopes using the combinatorial mutation.

math.CO↗
arXiv2021

The root distributions of Ehrhart polynomials of free sums of reflexive polytopes

In this paper, we study the root distributions of Ehrhart polynomials of free sums of certain reflexive polytopes. We investigate cases where the roots of the Ehrhart polynomials of the free sums of $A_d^\vee$'s or $A_d$'s lie on the canonical line $\mathrm{Re}(z)=-\frac{1}{2}$ on the complex plane $\mathbb{C}$, where $A_d$ denotes the root polytope of type A of dimension $d$ and $A_d^\vee$ denotes its polar dual. For example, it is proved that $A_m^\vee \oplus A_n^\vee$ with $\min\{m,n\} \leq 1$ or $m+n \leq 7$, $A_2^\vee \oplus (A_1^\vee)^{\oplus n}$ and $A_3^\vee \oplus (A_1^\vee)^{\oplus n}$ for any $n$ satisfy this property. We also perform computational experiments for other types of free sums of $A_n^\vee$'s or $A_n$'s.

math.CO↗
arXiv2021

Three families of toric rings arising from posets or graphs with small class groups

The main objects of the present paper are (i) Hibi rings (toric rings arising from order polytopes of posets), (ii) stable set rings (toric rings arising from stable set polytopes of perfect graphs), and (iii) edge rings (toric rings arising from edge polytopes of graphs satisfying the odd cycle condition). The goal of the present paper is to analyze those three toric rings and to discuss their structures in the case where their class groups have small rank. We prove that the class groups of (i), (ii) and (iii) are torsionfree. More precisely, we give descriptions of their class groups. Moreover, we characterize the posets or graphs whose associated toric rings have rank $1$ or $2$. By using those characterizations, we discuss the differences of isomorphic classes of those toric rings with small class groups.

math.CO↗
arXiv2021

Period collapse in characteristic quasi-polynomials of hyperplane arrangements

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.

math.CO↗
arXiv2021

The ratio of the numbers of odd and even cycles in outerplanar graphs

In this paper, we investigate the ratio of the numbers of odd and even cycles in outerplanar graphs. We verify that the ratio generally diverges to infinity as the order of a graph diverges to infinity. We also give sharp estimations of the ratio for several classes of outerplanar graphs, and obtain a constant upper bound of the ratio for some of them. Furthermore, we consider similar problems in graphs with some pairs of forbidden subgraphs/minors, and propose a challenging problem concerning claw-free graphs.

math.CO↗
arXiv2021

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 $\Bbbk[K_{r_1,\ldots,r_n}]$ with $1 \leq r_1 \leq \cdots \leq r_n$. We give the complete characterization of which $\Bbbk[K_{r_1,\ldots,r_n}]$ is level in terms of $n$ and $r_1,\ldots,r_n$. Similarly, we also give the complete characterization of which $\Bbbk[K_{r_1,\ldots,r_n}]$ is almost Gorenstein in terms of $n$ and $r_1,\ldots,r_n$.

math.AC↗
arXiv2021

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 - 1$. We prove that the inequality $d \leq \mathrm{reg}(Δ) \cdot \mathrm{type}(Δ)$ holds for any $(d-1)$-dimensional Cohen-Macaulay simplicial complex $Δ$ satisfying $Δ=\mathrm{core}(Δ)$, where $\mathrm{reg}(Δ)$ (resp. $\mathrm{type}(Δ)$) denotes the Castelnuovo-Mumford regularity (resp. Cohen-Macaulay type) of the Stanley-Reisner ring $\Bbbk[Δ]$. Moreover, for any given integers $d,r,t$ satisfying $r,t \geq 2$ and $r \leq d \leq rt$, we construct a Cohen-Macaulay simplicial complex $Δ(G)$ as an independent complex of a graph $G$ such that $\dim(Δ(G))=d-1$, $\mathrm{reg}(Δ(G))=r$ and $\mathrm{type}(Δ(G))=t$.

math.AC↗
arXiv2020

Combinatorial study of stable categories of graded Cohen--Macaulay modules over skew quadric hypersurfaces

In this paper, we present a new connection between representation theory of noncommutative hypersurfaces and combinatorics. Let $S$ be a graded ($\pm 1$)-skew polynomial algebra in $n$ variables of degree $1$ and $f =x_1^2 + \cdots +x_n^2 \in S$. We prove that the stable category $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ of graded maximal Cohen--Macaulay module over $S/(f)$ can be completely computed using the four graphical operations. As a consequence, $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ is equivalent to the derived category $\mathsf{D^b}(\operatorname{\mathsf{mod}} k^{2^r})$, and this $r$ is obtained as the nullity of a certain matrix over ${\mathbb F}_2$. Using the properties of Stanley--Reisner ideals, we also show that the number of irreducible components of the point scheme of $S$ that are isomorphic to ${\mathbb P}^1$ is less than or equal to $\binom{r+1}{2}$.

math.RA↗
arXiv2020

Conic divisorial ideals and non-commutative crepant resolutions of edge rings of complete multipartite graphs

The first goal of the present paper is to study the class groups of the edge rings of complete multipartite graphs, denoted by $\Bbbk[K_{r_1,\ldots,r_n}]$, where $1 \leq r_1 \leq \cdots \leq r_n$. More concretely, we prove that the class group of $\Bbbk[K_{r_1,\ldots,r_n}]$ is isomorphic to $\mathbb{Z}^n$ if $n =3$ with $r_1 \geq 2$ or $n \geq 4$, while it turns out that the excluded cases can be deduced into Hibi rings. The second goal is to investigate the special class of divisorial ideals of $\Bbbk[K_{r_1,\ldots,r_n}]$, called conic divisorial ideals. We describe conic divisorial ideals for certain $K_{r_1,\ldots,r_n}$ including all cases where $\Bbbk[K_{r_1,\ldots,r_n}]$ is Gorenstein. Finally, we give a non-commutative crepant resolution (NCCR) of $\Bbbk[K_{r_1,\ldots,r_n}]$ in the case where it is Gorenstein.

math.AC↗
arXiv2020

Combinatorial Mutations and Block Diagonal Polytopes

Matching fields were introduced by Sturmfels and Zelevinsky to study certain Newton polytopes and more recently have been shown to give rise to toric degenerations of various families of varieties. Whenever a matching field gives rise to a toric degeneration, the associated polytope of the toric variety coincides with the matching field polytope. We study combinatorial mutations, which are analogues of cluster mutations for polytopes, of matching field polytopes and show that the property of giving rise to a toric degeneration of the Grassmannians, is preserved by mutation. Moreover the polytopes arising through mutations are Newton-Okounkov bodies for the Grassmannians with respect to certain full-rank valuations. We produce a large family of such polytopes, extending the family of so-called block diagonal matching fields.

math.CO↗
arXiv2020

Newton-Okounkov bodies of flag varieties and combinatorial mutations

A Newton-Okounkov body is a convex body constructed from a projective variety with a globally generated line bundle and with a higher rank valuation on the function field, which gives a systematic method of constructing toric degenerations of projective varieties. Its combinatorial properties heavily depend on the choice of a valuation, and it is a fundamental problem to relate Newton-Okounkov bodies associated with different kinds of valuations. In this paper, we address this problem for flag varieties using the framework of combinatorial mutations which was introduced in the context of mirror symmetry for Fano manifolds. By applying iterated combinatorial mutations, we connect specific Newton-Okounkov bodies of flag varieties including string polytopes, Nakashima-Zelevinsky polytopes, and FFLV polytopes.

math.RT↗
arXiv2020

Generalized F-signatures of Hibi rings

The $F$-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) $F$-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) $F$-signature for some Segre products of polynomial rings.

math.AC↗
arXiv2020

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 $X$ and $X'$, the following conditions are equivalent: (1) the upper triangular matrix associated to $X$ can be transformed into that of $X'$ by those three operations; (2) $X$ and $X'$ are diffeomorphic; (3) the integral cohomology rings of $X$ and $X'$ are isomorphic as graded rings. As a consequence, we affirmatively answer the cohomological rigidity problem for Fano Bott manifolds.

math.AT↗
arXiv2020

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 $d$-folds with $d=3,4$ or with Picard number $\ge 2d-2$. In particular, we show that those manifolds except for two toric Fano $4$-folds are diffeomorphic if their integral cohomology rings are isomorphic. The exceptional two toric Fano $4$-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.

math.AT↗