Showing 1–9 of 9 results for author: Nagaoka, T

The Strong Lefschetz Property of Gorenstein Algebras Generated by Relative Invariants

Authors: Takahiro Nagaoka, Akihito Wachi

Abstract: We prove the strong Lefschetz property for Artinian Gorenstein algebras generated by the relative invariants of prehomogeneous vector spaces of commutative parabolic type. We prove the strong Lefschetz property for Artinian Gorenstein algebras generated by the relative invariants of prehomogeneous vector spaces of commutative parabolic type. △ Less

Submitted 8 March, 2024; originally announced March 2024.

Comments: 12 pages

MSC Class: 13E10; 11S90; 17B10

Strictness of the log-concavity of generating polynomials of matroids

Authors: Satoshi Murai, Takahiro Nagaoka, Akiko Yazawa

Abstract: 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 stri… ▽ More 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. △ Less

Submitted 20 March, 2020; originally announced March 2020.

Comments: 17 pages

MSC Class: 05C31; 05B35; 13E10

An additive basis for the cohomology rings of regular nilpotent Hessenberg varieties

Authors: Makoto Enokizono, Tatsuya Horiguchi, Takahiro Nagaoka, Akiyoshi Tsuchiya

Abstract: In this paper we construct an additive basis for the cohomology ring of a regular nilpotent Hessenberg variety which is obtained by extending all Poincaré duals of smaller regular nilpotent Hessenberg subvarieties. In particular, all of the Poincaré duals of smaller regular nilpotent Hessenberg subvarieties are linearly independent. In this paper we construct an additive basis for the cohomology ring of a regular nilpotent Hessenberg variety which is obtained by extending all Poincaré duals of smaller regular nilpotent Hessenberg subvarieties. In particular, all of the Poincaré duals of smaller regular nilpotent Hessenberg subvarieties are linearly independent. △ Less

Submitted 11 March, 2023; v1 submitted 25 December, 2019; originally announced December 2019.

Comments: 34 pages, 7 figures

MSC Class: 14M15; 17B22

Journal ref: Transformation Groups 28 (2023), 695--732

Uniform bases for ideal arrangements

Authors: Makoto Enokizono, Tatsuya Horiguchi, Takahiro Nagaoka, Akiyoshi Tsuchiya

Abstract: In this paper we introduce and study uniform bases for the ideal arrangements in all Lie types. Explicit uniform bases are given by Abe-Horiguchi-Masuda-Murai-Sato for types $A,B,C,G$ and we provide them for other types. Combining the explicit uniform bases with the work of Abe-Horiguchi-Masuda-Murai-Sato, we also obtain explicit presentations of the cohomology rings of regular nilpotent Hessenber… ▽ More In this paper we introduce and study uniform bases for the ideal arrangements in all Lie types. Explicit uniform bases are given by Abe-Horiguchi-Masuda-Murai-Sato for types $A,B,C,G$ and we provide them for other types. Combining the explicit uniform bases with the work of Abe-Horiguchi-Masuda-Murai-Sato, we also obtain explicit presentations of the cohomology rings of regular nilpotent Hessenberg varieties in all Lie types. △ Less

Submitted 7 September, 2025; v1 submitted 5 December, 2019; originally announced December 2019.

Comments: 37 pages, 18 figures

MSC Class: 32S22; 17B22; 14M15

The universal covers of hypertoric varieties and Bogomolov's decomposition

Authors: Takahiro Nagaoka

Abstract: In this paper, we study the (singular) universal cover of an affine hypertoric variety. We show that it is given by another affine hypertoric variety, and taking the universal cover corresponds to taking the simplification of the associated hyperplane arrangement. Also, we describe the fundamental group of the regular locus of an affine hypertoric variety in general. In the latter part, we show th… ▽ More In this paper, we study the (singular) universal cover of an affine hypertoric variety. We show that it is given by another affine hypertoric variety, and taking the universal cover corresponds to taking the simplification of the associated hyperplane arrangement. Also, we describe the fundamental group of the regular locus of an affine hypertoric variety in general. In the latter part, we show that the hamiltonian torus action is block indecomposable if and only if $\mathbb{C}^*$-equivariant symplectic structures on the associated hypertoric variety are unique up to scalar. In particular, we establish the analogue of Bogomolov's decomposition for hypertoric varieties, which is proposed by Namikawa for general conical symplectic varieties. As a byproduct, we show that if two affine (or smooth) hypertoric varieties are $\mathbb{C}^*$-equivariant isomorphic as varieties, then they are also the hamiltonian torus action equivariant isomorphic as symplectic varieties. This implies that the combinatorial classification actually gives the classification of these varieties up to $\mathbb{C}^*$-equivariant isomorphisms. △ Less

Submitted 26 October, 2019; originally announced October 2019.

Comments: 34 page, 1 figure

Strict log-concavity of the Kirchhoff polynomial and its applications to the strong Lefschetz property

Authors: Takahiro Nagaoka, Akiko Yazawa

Abstract: Anari, Gharan, and Vinzant proved (complete) log-concavity of the basis generating functions for all matroids. From the viewpoint of combinatorial Hodge theory, it is natural to ask whether these functions are "strictly" log-concave for simple matroids. In this paper, we show this strictness for simple graphic matroids, that is, we show that Kirchhoff polynomials of simple graphs are strictly log-… ▽ More Anari, Gharan, and Vinzant proved (complete) log-concavity of the basis generating functions for all matroids. From the viewpoint of combinatorial Hodge theory, it is natural to ask whether these functions are "strictly" log-concave for simple matroids. In this paper, we show this strictness for simple graphic matroids, that is, we show that Kirchhoff polynomials of simple graphs are strictly log-concave. Our key observation is that the Kirchhoff polynomial {of a complete graph} can be seen as the (irreducible) relative invariant of a certain prehomogeneous vector space, which may be independently interesting in its own right. Furthermore, we prove that for any $a_i\in\mathbb{R}_{>0}$, $a_1x_1+\cdots+a_nx_n\in R^1_{M}$ satisfies the strong Lefschetz property (moreover, Hodge--Riemann bilinear relation) at degree one of the Artinian Gorenstein algebra $R^*_M$ associated to a graphic matroid $M$, which is defined by Maeno and Numata for all matroids. △ Less

Submitted 30 May, 2019; v1 submitted 3 April, 2019; originally announced April 2019.

Comments: 21 pages, comments are welcome. v3: add a detailed explanation of the idea of the proof of main theorem in Key Observation 4.8. Also, add Remark 5.8 and some minor changes

MSC Class: 05C31; 11S90; 05B35; 13E10

The universal Poisson deformation of hypertoric varieties and some classification results

Authors: Takahiro Nagaoka

Abstract: In this paper, we study and describe the universal Poisson deformation space of hypertoric varieties concretely. In the first application, we show that affine hypertoric varieties as conical symplectic varieties are classified by the associated regular matroids (this is a partial generalization of the result by Arbo and Proudfoot). As a corollary, we obtain a criterion when two quiver varieties wh… ▽ More In this paper, we study and describe the universal Poisson deformation space of hypertoric varieties concretely. In the first application, we show that affine hypertoric varieties as conical symplectic varieties are classified by the associated regular matroids (this is a partial generalization of the result by Arbo and Proudfoot). As a corollary, we obtain a criterion when two quiver varieties whose dimension vector have all coordinates equal to one are isomorphic to each other. Then we describe all 4- and 6-dimensional affine hypertoric varieties as quiver varieties and give some examples of 8-dimensional hypertoric varieties which cannot be raised as such quiver varieties. In the second application, we compute explicitly the number of all projective crepant resolutions of some 4-dimensional hypertoric varieties by using the combinatorics of hyperplane arrangements. △ Less

Submitted 26 October, 2019; v1 submitted 6 October, 2018; originally announced October 2018.

Comments: 41 pages, v2. revised reflecting comments of the referees, adding the proof of effectiveness of weyl group action in Proposition 3.9, filling a gap in the proof of Thm 4.2, and adding Remark 4.3

Journal ref: Pacific J. Math. 313 (2021) 459-508

On a sufficient condition for a Fano manifold to be covered by rational $N$-folds

Authors: Takahiro Nagaoka

Abstract: In this paper, we prove a conjecture by T. Suzuki, which says if a smooth Fano manifold satisfies some positivity condition on its Chern character, then it can be covered by rational $N$-folds. We prove this conjecture by using purely combinatorial properties of Bernoulli numbers. In this paper, we prove a conjecture by T. Suzuki, which says if a smooth Fano manifold satisfies some positivity condition on its Chern character, then it can be covered by rational $N$-folds. We prove this conjecture by using purely combinatorial properties of Bernoulli numbers. △ Less

Submitted 29 May, 2018; originally announced May 2018.

Comments: 12pages

Reflexive polytopes arising from edge polytopes

Authors: Takahiro Nagaoka, Akiyoshi Tsuchiya

Abstract: It is known that every lattice polytope is unimodularly equivalent to a face of some reflexive polytope. A stronger question is to ask whether every $(0,1)$-polytope is unimodularly equivalent to a facet of some reflexive polytope. A large family of $(0,1)$-polytopes are the edge polytopes of finite simple graphs. In the present paper, it is shown that, by giving a new class of reflexive polytopes… ▽ More It is known that every lattice polytope is unimodularly equivalent to a face of some reflexive polytope. A stronger question is to ask whether every $(0,1)$-polytope is unimodularly equivalent to a facet of some reflexive polytope. A large family of $(0,1)$-polytopes are the edge polytopes of finite simple graphs. In the present paper, it is shown that, by giving a new class of reflexive polytopes, each edge polytope is unimodularly equivalent to a facet of some reflexive polytope. Furthermore, we extend the characterization of normal edge polytopes to a characterization of normality for these new reflexive polytopes. △ Less

Submitted 8 August, 2018; v1 submitted 17 December, 2017; originally announced December 2017.

Comments: 16 pages, to appear in Linear Algebra and its Applications

MSC Class: 52B12; 52B20

Journal ref: Linear Algebra and its Applications 557(2018), 438--454