2024/02/01 更新

写真a

テライ ナオキ
寺井 直樹
TERAI Naoki
所属
環境生命自然科学学域 教授
職名
教授
外部リンク

学位

  • 博士(理学) ( 1993年3月   大阪大学 )

研究キーワード

  • Stanley-Reiser ring

  • edge ideal

研究分野

  • 自然科学一般 / 代数学

所属学協会

 

論文

  • On the dimension of dual modules of local cohomology and the Serre's condition for the unmixed Stanley–Reisner ideals of small height

    M. R. Pournaki, M. Poursoltani, N. Terai, S. Yassemi

    Journal of Algebra   632   751 - 782   2023年10月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    In this paper, we focus on the dimension of dual modules of local cohomology of Stanley–Reisner rings to obtain a new vector. This vector contains important information on the Serre's condition (Sr) and the CMt property as well as the depth of Stanley–Reisner rings. We prove some results in this regard including lower bounds for the depth of Stanley–Reisner rings. Further, we give a characterization of (d−1)-dimensional simplicial complexes with codimension two which are (Sd−3) but they are not Cohen–Macaulay. By using this characterization, we obtain a condition to equality of projective dimension of the Stanley–Reisner rings and the arithmetical rank of their Stanley–Reisner ideals. Moreover, our characterization allows us to compute the h-vectors and give a negative answer to a known question regarding these vectors.

    DOI: 10.1016/j.jalgebra.2023.05.031

    Scopus

    researchmap

  • Licci level Stanley-Reisner ideals with height three

    Giancarlo Rinaldo, Naoki Terai

    Sao Paulo Journal of Mathematical Sciences   17 ( 1 )   345 - 386   2023年6月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Using a computer we classify licci level* squarefree monomial ideals I with codimension 3 and with dim S/ I≤ 4. We also show the following two conditions are equivalent: (1) ISm is licci, (2) the twisted conormal module of I is Cohen-Macaulay, where S is a polynomial ring and m is its graded maximal ideal.

    DOI: 10.1007/s40863-022-00326-8

    Scopus

    researchmap

  • Simplicial Complexes Satisfying Serre's Condition versus the Ones Which Are Cohen--Macaulay in a Fixed Codimension 査読

    M. R. Pournaki, M. Poursoltani, N. Terai, S. Yassemi

    SIAM Journal on Discrete Mathematics   36 ( 4 )   2506 - 2522   2022年12月

     詳細を見る

    掲載種別:研究論文(学術雑誌)   出版者・発行元:Society for Industrial & Applied Mathematics (SIAM)  

    DOI: 10.1137/21m1439687

    researchmap

  • A note on monomial ideals which are Cohen–Macaulay in a fixed codimension 査読

    M. R. Pournaki, K. Shibata, N. Terai, S. Yassemi

    Communications in Algebra   50 ( 11 )   4988 - 4996   2022年11月

     詳細を見る

    掲載種別:研究論文(学術雑誌)   出版者・発行元:Informa UK Limited  

    DOI: 10.1080/00927872.2022.2079663

    researchmap

  • Sequentially Cohen–Macaulay binomial edge ideals of closed graphs 査読

    Viviana Ene, Giancarlo Rinaldo, Naoki Terai

    Research in the Mathematical Sciences   9 ( 3 )   2022年9月

     詳細を見る

    掲載種別:研究論文(学術雑誌)   出版者・発行元:Springer Science and Business Media LLC  

    DOI: 10.1007/s40687-022-00334-2

    researchmap

    その他リンク: https://link.springer.com/article/10.1007/s40687-022-00334-2/fulltext.html

  • Very well-covered graphs and local cohomology of their residue rings by the edge ideals 査読

    K. Kimura, M.R. Pournaki, N. Terai, S. Yassemi

    Journal of Algebra   606   1 - 18   2022年9月

     詳細を見る

    掲載種別:研究論文(学術雑誌)   出版者・発行元:Elsevier BV  

    DOI: 10.1016/j.jalgebra.2022.04.021

    researchmap

  • POWERS OF BINOMIAL EDGE IDEALS WITH QUADRATIC GRÖBNER BASES 査読

    VIVIANA ENE, GIANCARLO RINALDO, NAOKI TERAI

    Nagoya Mathematical Journal   246   233 - 255   2022年6月

     詳細を見る

    掲載種別:研究論文(学術雑誌)   出版者・発行元:Cambridge University Press (CUP)  

    Abstract

    We study powers of binomial edge ideals associated with closed and block graphs.

    DOI: 10.1017/nmj.2021.1

    researchmap

  • A glimpse to most of the old and new results on very well-covered graphs from the viewpoint of commutative algebra 査読

    K. Kimura, M. R. Pournaki, S. A. Seyed Fakhari, N. Terai, S. Yassemi

    Research in the Mathematical Sciences   9 ( 2 )   2022年6月

     詳細を見る

    掲載種別:研究論文(学術雑誌)   出版者・発行元:Springer Science and Business Media LLC  

    DOI: 10.1007/s40687-022-00326-2

    researchmap

    その他リンク: https://link.springer.com/article/10.1007/s40687-022-00326-2/fulltext.html

  • A Brief Survey on Pure Cohen–Macaulayness in a Fixed Codimension 査読

    M.R. Pournaki, M. Poursoltani, N. Terai, S. Yassemi

    Acta Mathematica Vietnamica   47 ( 1 )   181 - 196   2022年3月

     詳細を見る

    掲載種別:研究論文(学術雑誌)   出版者・発行元:Springer Science and Business Media LLC  

    DOI: 10.1007/s40306-021-00441-2

    researchmap

    その他リンク: https://link.springer.com/article/10.1007/s40306-021-00441-2/fulltext.html

  • Cohen-Macaulay edge-weighted edge ideals of very well-covered graphs

    Seyed Amin Seyed Fakhari, Kosuke Shibata, Naoki Terai, Siamak Yassemi

    Communications in Algebra   1 - 13   2021年4月

     詳細を見る

    掲載種別:研究論文(学術雑誌)   出版者・発行元:Informa UK Limited  

    DOI: 10.1080/00927872.2021.1917590

    researchmap

  • Licci binomial edge ideals

    Viviana Ene, Giancarlo Rinaldo, Naoki Terai

    Journal of Combinatorial Theory. Series A   175   2020年10月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2020 Elsevier Inc. We give a complete characterization of graphs whose binomial edge ideal is licci. An important tool is a new general upper bound for the regularity of binomial edge ideals.

    DOI: 10.1016/j.jcta.2020.105278

    Scopus

    researchmap

  • Licci Level Stanley-Reisner Ideals with Height Three and with Type Two

    Giancarlo Rinaldo, Naoki Terai, Ken Ichi Yoshida

    Springer Proceedings in Mathematics and Statistics   331   123 - 142   2020年

     詳細を見る

    掲載種別:研究論文(国際会議プロシーディングス)  

    © 2020, Springer Nature Switzerland AG. Via computer-aided classification we show that the following three conditions are equivalent for level* squarefree monomial ideals I with codimension 3, with Cohen-Macaulay type 2 and with is licci, (2) the twisted conormal module of I is Cohen-Macaulay, (3) is Cohen-Macaulay, where S is a polynomial ring over a field of characteristic 0 and is its graded maximal ideal.

    DOI: 10.1007/978-3-030-52111-0_10

    Scopus

    researchmap

  • Level property of ordinary and symbolic powers of Stanley-Reisner ideals

    Nguyên Công Minh, Naoki Terai, Phan Thi Thuy

    Journal of Algebra   535   350 - 364   2019年10月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2019 Elsevier Inc. In this paper, we prove that the t-th ordinary and/or symbolic power of a Stanley-Reisner ideal is level for some positive integer t≥3 if and only if IΔ is a complete intersection and equi-generated. For t=2, we give a characterization of level property of the second symbolic power IΔ(2) when Δ is a matroid complex of dimension one.

    DOI: 10.1016/j.jalgebra.2019.05.044

    Scopus

    researchmap

  • 4-Dimensional Licci Gorenstein Stanley-Reisner Ideals

    Giancarlo Rinaldo, Naoki Terai

    Acta Mathematica Vietnamica   44 ( 3 )   691 - 700   2019年9月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2019, Institute of Mathematics, Vietnam Academy of Science and Technology (VAST) and Springer Nature Singapore Pte Ltd. We classify licci Gorenstein squarefree monomial ideals I with dim S/I ≤ 4, where S is a polynomial ring.

    DOI: 10.1007/s40306-019-00339-0

    Scopus

    researchmap

  • Depth and regularity modulo a principal ideal

    Giulio Caviglia, Huy Tài Hà, Jürgen Herzog, Manoj Kummini, Naoki Terai, Ngo Viet Trung

    Journal of Algebraic Combinatorics   49 ( 1 )   2019年2月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2018, Springer Science+Business Media, LLC, part of Springer Nature. We study the relationship between depth and regularity of a homogeneous ideal I and those of (I, f) and I : f, where f is a linear form or a monomial. Our results have several interesting consequences on depth and regularity of edge ideals of hypergraphs and of powers of ideals.

    DOI: 10.1007/s10801-018-0811-9

    Scopus

    researchmap

  • Cohen-Macaulay and (S<inf>2</inf>) properties of the second power of squarefree monomial ideals

    Do Trong Hoang, Giancarlo Rinaldo, Naoki Terai

    Mathematics   7 ( 8 )   2019年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2019 by the authors. We show that Cohen-Macaulay and (S2) properties are equivalent for the second power of an edge ideal. We give an example of a Gorenstein squarefree monomial ideal I such that S/I2 satisfies the Serre condition (S2), but is not Cohen-Macaulay.

    DOI: 10.3390/math7080684

    Scopus

    researchmap

  • The projective dimension of the edge ideal of a very well-covered graph

    Kyouko Kimura, Naoki Terai, Siamak Yassemi

    Nagoya Mathematical Journal   230   160 - 179   2018年6月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2017 by The Editorial Board of the Nagoya Mathematical Journal. A very well-covered graph is an unmixed graph whose covering number is half of the number of vertices. We construct an explicit minimal free resolution of the cover ideal of a Cohen-Macaulay very well-covered graph. Using this resolution, we characterize the projective dimension of the edge ideal of a very well-covered graph in terms of a pairwise -disjoint set of complete bipartite subgraphs of the graph. We also show nondecreasing property of the projective dimension of symbolic powers of the edge ideal of a very well-covered graph with respect to the exponents.

    DOI: 10.1017/nmj.2017.7

    Scopus

    researchmap

  • Stability of depths of symbolic powers of Stanley–Reisner ideals

    Le Tuan Hoa, Kyouko Kimura, Naoki Terai, Tran Nam Trung

    Journal of Algebra   473   307 - 323   2017年3月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2016 Elsevier Inc. We give a bound for n0(I) from which the depth function depthR/I(n) of the quotient ring by symbolic powers of a squarefree monomial ideal I stabilizes. In the unmixed codimension two case we show that depthR/I(n) is a non-increasing function of n and use this property to provide a sharp bound for n0(I).

    DOI: 10.1016/j.jalgebra.2016.10.036

    Scopus

    researchmap

  • Arithmetical Rank of a Squarefree Monomial Ideal whose Alexander Dual is of Deviation Two

    Kyouko Kimura, Naoki Terai, Ken ichi Yoshida

    Acta Mathematica Vietnamica   40 ( 3 )   375 - 391   2015年9月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2015, Institute of Mathematics, Vietnam Academy of Science and Technology (VAST) and Springer Science+Business Media Singapore. In this paper, we prove that the arithmetical rank of a squarefree monomial ideal I of a polynomial ring S is equal to the projective dimension of S/I when arithdeg I−indeg I=2 and I has a linear resolution.

    DOI: 10.1007/s40306-015-0136-x

    Scopus

    researchmap

  • Multiplicity and Castelnuovo–Mumford Regularity of Stanley–Reisner Rings

    Naoki Terai, Ken ichi Yoshida

    Acta Mathematica Vietnamica   40 ( 1 )   61 - 69   2015年3月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2014, Institute of Mathematics, Vietnam Academy of Science and Technology (VAST) and Springer Science+Business Media Singapore. In this paper, we pose the following conjecture and give a positive answer to the case dimΔ≤2: Let Δ be a (d−1)-dimensional simplicial complex on [n]. Fix an integer ℓ with 0≤ℓ≤n−d−1. If e(K[Δ])≤(ℓ+1)d−ℓ and βℓ,ℓ+d(K[Δ])=0, then reg K[Δ]≤d−1. Moreover, we discuss the relationship between the above conjecture and the lower bound theorem.

    DOI: 10.1007/s40306-014-0103-y

    Scopus

    researchmap

  • Gorenstein and S<inf>r</inf> path ideals of cycles

    Dariush Kiani, Sara Seedi Madani, Naoki Terai

    Glasgow Mathematical Journal   57 ( 1 )   7 - 15   2015年1月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2014 Glasgow Mathematical Journal Trust. Let R = k[x 1,..,x n], where k is a field. The path ideal (of length t ≥ 2) of a directed graph G is the monomial ideal, denoted by It(G), whose generators correspond to the directed paths of length t in G. Let Cn be an n-cycle. We show that R/It(Cn) is Sr if and only if it is Cohen-Macaulay or n n-t-1 r+3. In addition, we prove that R/It(Cn) is Gorenstein if and only if n = t or 2t + 1. Also, we determine all ordinary and symbolic powers of It(Cn) which are Cohen-Macaulay. Finally, we prove that It(Cn) has a linear resolution if and only if t ≥ n-2.

    DOI: 10.1017/S0017089514000111

    Scopus

    researchmap

  • Arithmetical rank of Gorenstein squarefree monomial ideals of height three

    Kyouko Kimura, Naoki Terai

    Journal of Algebra   422   11 - 32   2015年1月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2014 Elsevier Inc. We prove that a squarefree monomial ideal of height 3 whose quotient ring is Gorenstein is a set-theoretic complete intersection.

    DOI: 10.1016/j.jalgebra.2014.09.005

    Scopus

    researchmap

  • Cohen-Macaulayness and Limit Behavior of Depth for Powers of Cover Ideals

    A. Constantinescu, M. R. Pournaki, S. A. Seyed Fakhari, N. Terai, S. Yassemi

    Communications in Algebra   43 ( 1 )   143 - 157   2015年1月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Let K{double-struck} be a field, and let R = K{double-struck}[x1,.., xn] be the polynomial ring over K{double-struck} in n indeterminates x1,.., xn. Let G be a graph with vertex-set {x1,.., xn}, and let J be the cover ideal of G in R. For a given positive integer k, we denote the kth symbolic power and the kth bracket power of J by J(k) and J[k], respectively. In this paper, we give necessary and sufficient conditions for R/Jk, R/J (k), and R/J [k] to be Cohen-Macaulay. We also study the limit behavior of the depths of these rings. © 2015 Copyright Taylor & Francis Group, LLC.

    DOI: 10.1080/00927872.2014.897550

    Scopus

    researchmap

  • On the associated primes and the depth of the second power of squarefree monomial ideals

    Naoki Terai, Ngo Viet Trung

    Journal of Pure and Applied Algebra   218 ( 6 )   1117 - 1129   2014年6月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We present combinatorial characterizations for the associated primes of the second power of squarefree monomial ideals and criteria for this power to have positive depth or depth greater than one. © 2013 Elsevier B.V.

    DOI: 10.1016/j.jpaa.2013.11.008

    Scopus

    researchmap

  • Survey article: Simplicial complexes satisfying Serre's condition: A survey with some new results

    M. R. Pournaki, S. A. Seyed Fakhari, N. Terai, S. Yassemi

    Journal of Commutative Algebra   6 ( 4 )   455 - 483   2014年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    © 2014 Rocky Mountain Mathematics Consortium. The problem of finding a characterization of Cohen-Macaulay simplicial complexes has been studied intensively by many authors. There are several attempts at this problem available for some special classes of simplicial complexes satisfying some technical conditions. This paper is a survey, with some new results, of some of these developments. The new results about simplicial complexes with Serre's condition are an analogue of the known results for Cohen-Macaulay simplicial complexes.

    DOI: 10.1216/JCA-2014-6-4-455

    Scopus

    researchmap

  • Licci squarefree monomial ideals generated in degree two or with deviation two

    Kyouko Kimura, Naoki Terai, Ken ichi Yoshida

    Journal of Algebra   390   264 - 289   2013年9月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We study squarefree monomial ideals which are in the linkage class of a complete intersection (we call such an ideal licci). Firstly we classify all licci edge ideals. Secondly we prove that any Cohen-Macaulay almost complete intersection squarefree monomial ideal is licci. Thirdly we characterize licci squarefree monomial ideals of deviation 2 in terms of hypergraphs associated to the ideals as an application of the classification in Kimura, Terai and Yoshida (2009) [15]. © 2013 Elsevier Inc.

    DOI: 10.1016/j.jalgebra.2013.06.001

    Scopus

    researchmap

  • Binomial arithmetical rank of edge ideals of forests

    Kyouko Kimura, Naoki Terai

    Proceedings of the American Mathematical Society   141 ( 6 )   1925 - 1932   2013年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We prove that the binomial arithmetical rank of the edge ideal of a forest coincides with its big height. © 2013 American Mathematical Society.

    DOI: 10.1090/S0002-9939-2013-11473-5

    Scopus

    researchmap

  • Pure and Cohen-Macaulay Simplicial Complexes Associated with Squarefree Lexsegment Ideals

    Vittoria Bonanzinga, Loredana Sorrenti, Naoki Terai

    Communications in Algebra   40 ( 11 )   4195 - 4214   2012年11月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We classify the unmixed squarefree lexsegment ideals and determine those which are Cohen-Macaulay. © 2012 Copyright Taylor and Francis Group, LLC.

    DOI: 10.1080/00927872.2011.605409

    Scopus

    researchmap

  • Arithmetical Rank of Squarefree Monomial Ideals Generated by Five Elements or with Arithmetic Degree Four

    Kyouko Kimura, Giancarlo Rinaldo, Naoki Terai

    Communications in Algebra   40 ( 11 )   4147 - 4170   2012年11月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Let I be a squarefree monomial ideal of a polynomial ring S. In this article, we prove that the arithmetical rank of I is equal to the projective dimension of S/I when one of the following conditions is satisfied: (1) μ(I) ≤5; (2) arithdeg I ≤ 4. © 2012 Copyright Taylor and Francis Group, LLC.

    DOI: 10.1080/00927872.2011.602781

    Scopus

    researchmap

  • Cohen-Macaulayness of large powers of Stanley-Reisner ideals

    Naoki Terai, Ngo Viet Trung

    Advances in Mathematics   229 ( 2 )   711 - 730   2012年1月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We prove that for m≥3, the symbolic power Iδ(m) of a Stanley-Reisner ideal is Cohen-Macaulay if and only if the simplicial complex δ is a matroid. Similarly, the ordinary power Iδm is Cohen-Macaulay for some m≥3 if and only if Iδ is a complete intersection. These results solve several open questions on the Cohen-Macaulayness of ordinary and symbolic powers of Stanley-Reisner ideals. Moreover, they have interesting consequences on the Cohen-Macaulayness of symbolic powers of facet ideals and cover ideals. © 2011 Elsevier Inc.

    DOI: 10.1016/j.aim.2011.10.004

    Scopus

    researchmap

  • Cohen-Macaulayness for symbolic power ideals of edge ideals

    Giancarlo Rinaldo, Naoki Terai, Ken ichi Yoshida

    Journal of Algebra   347 ( 1 )   1 - 22   2011年12月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Let S=K[x1,..., xn] be a polynomial ring over a field K. Let I(G)⊆S denote the edge ideal of a graph G. We show that the ℓth symbolic power I(G)(ℓ) is a Cohen-Macaulay ideal (i.e., S/I(G)(ℓ) is Cohen-Macaulay) for some integer ℓ≥3 if and only if G is a disjoint union of finitely many complete graphs. When this is the case, all the symbolic powers I(G)(ℓ) are Cohen-Macaulay ideals. Similarly, we characterize graphs G for which S/I(G)(ℓ) has (FLC).As an application, we show that an edge ideal I(G) is complete intersection provided that S/I(G)ℓ is Cohen-Macaulay for some integer ℓ≥3. This strengthens the main theorem in Crupi et al. (2010) [3]. © 2011 Elsevier Inc.

    DOI: 10.1016/j.jalgebra.2011.09.007

    Scopus

    researchmap

  • Vertex decomposability and regularity of very well-covered graphs

    Mohammad Mahmoudi, Amir Mousivand, Marilena Crupi, Giancarlo Rinaldo, Naoki Terai, Siamak Yassemi

    Journal of Pure and Applied Algebra   215 ( 10 )   2473 - 2480   2011年10月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    A graph is called very well-covered if it is unmixed without isolated vertices such that the cardinality of each minimal vertex cover is half the number of vertices. We first prove that a very well-covered graph is Cohen-Macaulay if and only if it is vertex decomposable. Next, we show that the Castelnuovo-Mumford regularity of the quotient ring of the edge ideal of a very well-covered graph is equal to the maximum number of pairwise 3-disjoint edges. © 2011 Elsevier B.V.

    DOI: 10.1016/j.jpaa.2011.02.005

    Scopus

    researchmap

  • Sequentially S<inf>r</inf> simplicial complexes and sequentially S <inf>2</inf> graphs

    Hassan Haghighi, Naoki Terai, Siamak Yassemi, Rahim Zaare-Nahandi

    Proceedings of the American Mathematical Society   139 ( 6 )   1993 - 2005   2011年6月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We introduce sequentially Sr modules over a commutative graded ring and sequentially Sr simplicial complexes. This generalizes two properties for modules and simplicial complexes: being sequentially Cohen-Macaulay, and satisfying Serre's condition Sr. In analogy with the sequentially Cohen-Macaulay property, we show that a simplicial complex is sequentially Sr if and only if its pure i-skeleton is Sr for all i. For r = 2, we provide a more relaxed characterization. As an algebraic criterion, we prove that a simplicial complex is sequentially S r if and only if the minimal free resolution of the ideal of its Alexander dual is componentwise linear in the first r steps. We apply these results for a graph, i.e., for the simplicial complex of the independent sets of vertices of a graph. We characterize sequentially Sr cycles showing that the only sequentially S2 cycles are odd cycles and, for r ≥ 3, no cycle is sequentially Sr with the exception of cycles of length 3 and 5. We extend certain known results on sequentially Cohen-Macaulay graphs to the case of sequentially Sr graphs. We prove that a bipartite graph is vertex decomposable if and only if it is sequentially S2. We provide some more results on certain graphs which in particular implies that any graph with no chordless even cycle is sequentially S2. Finally, we propose some questions. © 2010 American Mathematical Society.

    DOI: 10.1090/S0002-9939-2010-10646-9

    Scopus

    researchmap

  • Schmitt-Vogel type lemma for reductions

    Kyouko Kimura, Naoki Terai, Ken ichi Yoshida

    Archiv der Mathematik   96 ( 6 )   535 - 545   2011年6月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    The lemma given by Schmitt and Vogel is an important tool in the study of the arithmetical rank of squarefree monomial ideals. In this paper, we give a Schmitt-Vogel type lemma for reductions as an analogous result. © 2011 Springer Basel AG.

    DOI: 10.1007/s00013-011-0256-z

    Scopus

    researchmap

  • Cohen-macaulay edge ideal whose height is half of the number of vertices

    Marilena Crupi, Giancarlo Rinaldo, Naoki Terai

    Nagoya Mathematical Journal   201   117 - 131   2011年3月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We consider a class of graphs G such that the height of the edge ideal I(G) is half of the number #V (G) of the vertices. We give Cohen-Macaulay criteria for such graphs. © 2011 by The Editorial Board of the Nagoya Mathematical Journal.

    DOI: 10.1215/00277630-2010-018

    Scopus

    researchmap

  • The stanley-reisner ideals of polygons as set-theoretic complete intersections

    Margherita Barile, Naoki Terai

    Communications in Algebra   39 ( 2 )   621 - 633   2011年2月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We show that the Stanley-Reisner ideal of the one-dimensional simplicial complex whose diagram is an n-gon is always a set-theoretic complete intersection in any positive characteristic. © Taylor & Francis Group, LLC.

    DOI: 10.1080/00927871003597634

    Scopus

    researchmap

  • Sequentially cohen-Macaulay path ideals of cycles

    Sara Saeedi Madani, Dariush Kiani, Naoki Terai

    Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie   54 ( 4 )   353 - 363   2011年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Let R = k[x1, . . . , xn], where k is a field. The path ideal (of length t ≥ 2) of a directed graph G is the monomial ideal, denoted by It(G), whose generators correspond to the directed paths of length t in G. Let Cnbe an n-cycle. We determine when I t(Cn) is unmixed. Moreover, We show that R/I t(Cn) is sequentially Cohen-Macaulay if and only if n = t or t + 1 or 2t + 1.

    Scopus

    researchmap

  • On the second powers of stanley-reisner ideals

    Giancarlo Rinaldo, Naoki Terai, Ken ichi Yoshida

    Journal of Commutative Algebra   3 ( 3 )   405 - 430   2011年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    In this paper, we study several properties of the second power (formula) of a Stanley-Reisner ideal I∆ of any dimension. As the main result, we prove that S/I∆ is Goren-stein whenever (formula) is Cohen-Macaulay over any field K. Moreover, we give a criterion for the second symbolic power of I∆ to satisfy (S2) and to coincide with the ordinary power, respectively. Finally, we provide new examples of Stanley-Reisner ideals whose second powers are Cohen-Macaulay. © 2011, Rocky Mountain Mathematics Consortium. All rights reserved.

    DOI: 10.1216/JCA-2011-3-3-405

    Scopus

    researchmap

  • Arithmetical ranks of stanley-reisner ideals of simplicial complexes with a cone

    Margherita Barile, Naoki Terai

    Communications in Algebra   38 ( 10 )   3686 - 3698   2010年10月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    When a cone is added to a simplicial complex Δ over one of its faces, we investigate the relation between the arithmetical ranks of the Stanley-Reisner ideals of the original simplicial complex and the new simplicial complex Δ′. In particular, we show that the arithmetical rank of the Stanley-Reisner ideal of Δ′ equals the projective dimension of the Stanley-Reisner ring of Δ′ if the corresponding equality holds for Δ. © Taylor & Francis Group, LLC.

    DOI: 10.1080/00927870903236186

    Scopus

    researchmap

  • Arithmetical rank of lexsegment edge ideals

    Viviana Ene, Oana Olteanu, Naoki Terai

    Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie   53 ( 4 )   315 - 327   2010年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Let I ⊂ S = K[x1,...,xn] be a lexsegment edge ideal or the Alexander dual of such an ideal. In both cases it turns out that the arithmetical rank of I is equal to the projective dimension of S/I.

    Scopus

    researchmap

  • Effective cowsik-nori theorem for edge ideals

    Marilena Crupi, Giancarlo Rinaldo, Naoki Terai, Ken ichi Yoshida

    Communications in Algebra   38 ( 9 )   3347 - 3357   2010年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Let R = K[x1, . . ., xn] be a polynomial ring over a field K. Let I = I(G) ⊆ R be the edge ideal of a graph G. We show that I is complete intersection if R/Il is Cohen-Macaulay for some l ≥ height I. This strengthens the Cowsik-Nori theorem in the case of edge ideals. © Taylor & Francis Group, LLC.

    DOI: 10.1080/00927870903114995

    Scopus

    researchmap

  • H-vectors of simplicial complexes with Serre's conditions

    Satoshi Murai, Naoki Terai

    Mathematical Research Letters   16 ( 6 )   1015 - 1028   2009年11月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We study h-vectors of simplicial complexes which satisfy Serre's condition (Sr). Let r be a positive integer. We say that a simplicial complex △ satisfies Serre's condition (Sr) if H̃ i(lk△ (F);K) = 0 for all F ∈ △ and for all i < min{r-1, dim lk△ (F)}, where lk△ (F) is the link of △ with respect to F and where H̃i(△;K) is the reduced homology groups of △ over a field K. The main result of this paper is that if △ satisfies Serre's condition (Sr) then (i) hk(△) is non-negative for k = 0, 1, . . ., r and (ii) ∑k≥r hk(△) is non-negative. © International Press 2009.

    DOI: 10.4310/MRL.2009.v16.n6.a10

    Scopus

    researchmap

  • Arithmetical rank of squarefree monomial ideals of small arithmetic degree

    Kyouko Kimura, Naoki Terai, Ken Ichi Yoshida

    Journal of Algebraic Combinatorics   29 ( 3 )   389 - 404   2009年5月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    In this paper, we prove that the arithmetical rank of a squarefree monomial ideal I is equal to the projective dimension of R/I in the following cases: (a) I is an almost complete intersection; (b) arithdeg∈I=reg∈I; (c) arithdeg∈I=indeg∈I+1. We also classify all almost complete intersection squarefree monomial ideals in terms of hypergraphs, and use this classification in the proof in case (c). © 2008 Springer Science+Business Media, LLC.

    DOI: 10.1007/s10801-008-0142-3

    Scopus

    researchmap

  • Locally complete intersection stanley-reisner ideals

    Naoki Terai, Ken Ichi Yoshida

    Illinois Journal of Mathematics   53 ( 2 )   413 - 429   2009年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    In this paper, we prove that the Stanley-Reisner ideal of any connected simplicial complex of dimension ≥ 2 that is locally complete intersection is a complete intersection ideal. As an application, we show that the Stanley-Reisner ideal whose powers are Buchsbaum is a complete intersection ideal. © 2010 University of Illinois.

    DOI: 10.1215/ijm/1266934785

    Scopus

    researchmap

  • A note on cohen-macaulayness of stanley-reisner rings with serre's condition (S2)

    Naoki Terai, Ken Ichi Yoshida

    Communications in Algebra   36 ( 2 )   464 - 477   2008年2月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Let be a (d-1)-dimensional simplicial complex on the vertex set V={1, 2, n}. In this article, using Alexander duality, we prove that the Stanley-Reisner ring k[Δ] is Cohen-Macaulay if it satisfies Serre's condition (S2) and the multiplicity e(k[Δ]) is "sufficiently large", that is, [image omitted]. We also prove that if e(k[Δ])3d-2 and the graded Betti number 2, d+2(k[Δ]) vanishes, then the Castelnuovo-Mumford regularity regk[Δ] is less than d.

    DOI: 10.1080/00927870701716124

    Scopus

    researchmap

  • Stanley-Reisner rings with large multiplicities are Cohen-Macaulay

    Naoki Terai, Ken ichi Yoshida

    Journal of Algebra   301 ( 2 )   493 - 508   2006年7月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We prove that Stanley-Reisner rings having sufficiently large multiplicities are Cohen-Macaulay using Alexander duality. © 2005.

    DOI: 10.1016/j.jalgebra.2005.10.011

    Scopus

    researchmap

  • Buchsbaum stanley-reisner rings and cohen-macaulay covers

    Naoki Terai, Ken Ichi Yoshida

    Communications in Algebra   34 ( 7 )   2673 - 2681   2006年6月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    First, we give a new criterion for Buchsbaum Stanley-Reisner rings to have linear resolutions. Next, we prove that every ( d - 1)-dimensional complex Δ of initial degree d is contained in the same dimensional Cohen-Macaulay complex whose ( d - 1)th reduced homology is isomorphic to that of Δ. We call such a simplicial complex a Cohen-Macaulay cover of Δ. And we also show that all the intermediate complexes between Δ and its Cohen-Macaulay cover are Buchsbaum provided that Δ is Buchsbaum. As an application, we determine the h -vectors of the 3-dimensional Buchsbaum Stanley-Reisner rings with initial degree 3.

    DOI: 10.1080/00927870600651638

    Scopus

    researchmap

  • Buchsbaum Stanley-Reisner rings with minimal multiplicity

    Naoki Terai, Ken Ichi Yoshida

    Proceedings of the American Mathematical Society   134 ( 1 )   55 - 65   2006年1月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    In this paper, we study Buchsbaum Stanley-Reisner rings with linear free resolution. We introduce the notion of Buchsbaum Stanley-Reisner rings with minimal multiplicity of initial degree q, which extends the notion of Buchsbaum rings with minimal multiplicity defined by Goto. As an application, we give many examples of non-Cohen-Macaulay Buchsbaum StanleyReisner rings with linear resolution. © 2005 American Mathematical Society.

    DOI: 10.1090/S0002-9939-05-08176-1

    Scopus

    researchmap

  • On the radical of a monomial ideal

    J. Herzog, Y. Takayama, N. Terai

    Archiv der Mathematik   85 ( 5 )   397 - 408   2005年11月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Algebraic and combinatorial properties of a monomial ideal and its radical are compared. © Birkhäuser Verlag, Basel 2005.

    DOI: 10.1007/s00013-005-1385-z

    Scopus

    researchmap

  • Castelnuovo--Mumford regularity and initial ideals with no embedded prime ideal 査読

    Naoki Terai, Hidefumi Ohsugi, Takayuki Hibi

    Acta Math. Vietnam   29   135 - 139   2004年

     詳細を見る

    記述言語:英語   掲載種別:研究論文(学術雑誌)  

    DOI: 10.1016/j.jsc.2004.04.001

    researchmap

  • Stable Properties of Algebraic Shifting

    JÜrgen Herzog, Naoki Terai

    Results in Mathematics   35 ( 3-4 )   260 - 265   1999年5月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    DOI: 10.1007/BF03322817

    Scopus

    researchmap

  • Computation of Betti numbers of monomial ideals associated with stacked polytopes

    Naoki Terai, Takayuki Hibi

    Manuscripta Mathematica   92 ( 4 )   447 - 453   1997年4月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Let P(v, d) be a stacked d-polytope with v vertices, Δ(P(v,d)) the boundary complex of P(v,d), and k[Δ(P(v,d))] = A/IΔ(P(v,d)) the Stanley-Reisner ring of Δ(P(v,d)) over a field k. We compute the Betti numbers which appear in a minimal free resolution of k[Δ(P(v,d))] over A, and show that every Betti number depends only on v and d and is independent of the base field k. We also show that the Betti number sequences above are unimodal.

    DOI: 10.1007/bf02678204

    Scopus

    researchmap

  • Finite Free Resolutions and 1-Skeletons of Simplicial Complexes

    Naoki Terai, Takayuki Hibi

    Journal of Algebraic Combinatorics   6 ( 1 )   89 - 93   1997年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    A technique of minimal free resolutions of Stanley-Reisner rings enables us to show the following two results: (1) The 1-skeleton of a simplicial (d - 1)-sphere is d-connected, which was first proved by Barnette; (2) The comparability graph of a non-planar distributive lattice of rank d - 1 is d-connected.

    DOI: 10.1023/a:1008648302195

    Scopus

    researchmap

  • Alexander duality theorem and second betti numbers of Stanley-Reisner rings

    Naoki Terai, Takayuki Hibi

    Advances in Mathematics   124 ( 2 )   332 - 333   1996年12月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    DOI: 10.1006/aima.1996.0086

    Scopus

    researchmap

  • Some results on Betti numbers of Stanley-Reisner rings

    Naoki Terai, Takayuki Hibi

    Discrete Mathematics   157 ( 1-3 )   311 - 320   1996年10月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We study the Betti numbers which appear in a minimal free resolution of the Stanley-Reisner ring k[Δ] = A/IΔ of a simplicial complex Δ over a field k. It is known that the second Betti number of k[Δ] is independent of the base field k. We show that, when the ideal IΔ is generated by square-free monomials of degree two, the third and fourth Betti numbers are also independent of k. On the other hand, we prove that, if the geometric realization of Δ is homeomorphic to either the 3-sphere or the 3-ball, then all the Betti numbers of k[Δ] are independent of the base field k.

    DOI: 10.1016/S0012-365X(96)83021-4

    Scopus

    researchmap

  • Computation of Betti numbers of monomial ideals associated with cyclic polytopes

    N. Terai, T. Hibi

    Discrete and Computational Geometry   15 ( 3 )   287 - 295   1996年4月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We give a combinatorial formula for the Betti numbers which appear in a minimal free resolution of the Stanley-Reisner ring k[Δ(P)] = A/IΔ(P), of the boundary complex Δ(P) of an odd-dimensional cyclic polytope P over a field k. A corollary to the formula is that the Betti number sequence of k[Δ(P)] is unimodal and does not depend on the base field k.

    DOI: 10.1007/BF02711496

    Scopus

    researchmap

  • On h-vectors of Buchsbaum Stanley-Reisner rings

    Naoki Terai

    Hokkaido Mathematical Journal   25 ( 1 )   137 - 148   1996年

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    We give a necessary condition for a sequence of integers to be the h-vector of a Buchsbaum complex (or equivalently a Buchsbaum Stanley-Reisner ring). We construct 3-dimensional Buchsbaum Stanley-Reisner rings with depth 2 which give lower bounds of the h-vectors among those of the Buchsbaum Stanley-Reisner rings with the above conditions. © 1996 by the University of Notre Dame. All rights reserved.

    DOI: 10.14492/hokmj/1351516714

    Scopus

    researchmap

  • Some remarks on algebras with straightening laws

    Naoki Terai

    Journal of Pure and Applied Algebra   95 ( 1 )   87 - 101   1994年7月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    First in order to investigate deformation of ASLs, we define the moduli space of ASLs on a given poset. And we give an inequality between the depth of general ASLs and that of the corresponding Stanley-Reisner ring, which includes the fundamental theorem on ASLs by De Concini, Eisenbud and Procesi (1982). Secondly we give a counter-example of the following conjecture of Hibi: If there exist an ASL on a finite poset H over a field k which is an integral domain then H is Cohen-Macaulay over k, i.e., the Stanlay-Reisner ring k[H] of H is Cohen-Macaulay. © 1994.

    DOI: 10.1016/0022-4049(94)90120-1

    Scopus

    researchmap

  • Homogeneous complete intersection Hodge algebras on simplicial complexes

    Naoki Terai

    Osaka Journal of Mathematics   31 ( 2 )   341 - 353   1994年6月

     詳細を見る

    掲載種別:研究論文(学術雑誌)  

    Scopus

    researchmap

▼全件表示

MISC

共同研究・競争的資金等の研究

  • Stanley-Reisner イデアルの算術階数とその記号的べきの射影次元

    研究課題/領域番号:18K03244  2018年04月 - 2023年03月

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    寺井 直樹, 木村 杏子, 吉田 健一, 宮崎 誓

      詳細を見る

    配分額:4550000円 ( 直接経費:3500000円 、 間接経費:1050000円 )

    本研究の目的は、Stanley-Reisner イデアルのべきについてその可換環論的、ホモロジー代数的性質を考察し、組合せ論的応用を探ることにある。可換環の満たす最も重要な性質のひとつとしてCohen-Macaulay性がある。したがって、Cohen-Macaulay性を判定する条件を与えることや、そのような環を分類することは極めて意義深い。本年度発表の結果として、次が挙げられる。良被覆グラフの辺イデアルの高さは不定元の個数の半分以上であることが知られており、エッジイデアルの高さが丁度、不定元の個数の半分である良被覆グラフは強良被覆グラフと呼ばれている。強良被覆グラフのCohen-Macaulay性については過去の共同研究において調べた(M.Crupi, G.Rinaldo, N.Terai, Cohen-Macaulay edge ideal whose height is half of the number of vertices, Nagoya Mathematical Journal 201(2011), 117-131)。今回はその拡張として辺重み付き強良被覆グラフの辺イデアルについて考察した。Cohen-Macaulay辺重み付き強良被覆グラフの辺イデアルの非混合性とCohen-Macaulayが同値であることを示し、またその条件を辺の重みの条件で記述した。また、頂点重み付き有向グラフにおいて底グラフがCohen-Macaulayであるとき、非混合性とCohen-Macaulay性が同値であることが予想されていたのであるが、その予想に対して反例を構成した。

    researchmap

  • 射影多様体のカステルヌボー・マンフォード正則量とシジジーに関連した話題の研究

    研究課題/領域番号:26400048  2014年04月 - 2020年03月

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    宮崎 誓, 岡田 拓三, 寺井 直樹

      詳細を見る

    配分額:4420000円 ( 直接経費:3400000円 、 間接経費:1020000円 )

    カステルヌボー・マンフォード正則量は射影多様体の定義多項式のシジジーを制御する重要な代数的不変量の一つである。本研究においては、正則量を多様体の次元、次数、余次元および線形k-ブックスバウム性で制御する結果を得た。また、正則量の手法を多重射影空間上のベクトル束の問題に応用し、ホロックス型のベクトル束の分裂判定法を得た。

    researchmap

  • Stanley-Reisner イデアルの算術階数とそのべきの射影次元

    研究課題/領域番号:26400049  2014年04月 - 2017年03月

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    寺井 直樹, 吉田 健一, 柳川 浩二, 木村 杏子, 庄田 敏宏, 岡田 拓三, 宮崎 誓, 青山 崇洋

      詳細を見る

    配分額:4810000円 ( 直接経費:3700000円 、 間接経費:1110000円 )

    多項式環の被約単項式イデアルの記号的べきの射影次元に関して研究した。強良被覆グラフの辺イデアルの場合に記号的べきの射影次元に関して広義単調増加であることを示した。良被覆である2部グラフは強良被覆グラフであり、2部グラフの辺イデアルの記号的べきは通常べきに等しいことから、良被覆である2部グラフの辺イデアルの通常べきの射影次元はべきの大きさに関して広義単調増加であることも示せたことになる。さらに、次数1の頂点をもつグラフの辺イデアルに対しても記号的べきの射影次元に関して広義単調増加であることを示した。

    researchmap

  • モジュラー群の巾零完備化のモチーフ的構造

    研究課題/領域番号:23540021  2011年 - 2013年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    市川 尚志, 上原 健, 宮崎 誓, 寺井 直樹, 廣瀬 進

      詳細を見る

    配分額:5070000円 ( 直接経費:3900000円 、 間接経費:1170000円 )

    代数曲線やアーベル多様体のモジュライ空間の数論幾何的研究を進めて、次の成果を得た。1.楕円モジュラーモチーフにおけるヘッケ作用素の理論を構成し、その応用として多重モジュラーL値の代数性を示した。2.リジッド解析を用いて、アーベル多様体がヤコビ多様体になるための条件、すなわちショットキー問題の解を与えた。3.p進ベクトル値ジーゲルモジュラー形式の基礎理論を構成し、志村による概正則ベクトル値ジーゲルモジュラー形式のp進版を与えて、そのCM点における代数性を示した。4.数論的ショットキー一意化理論を用い、3次元双曲多様体の幾何的ゼータ関数について、その特殊値の数論性を示した。

    researchmap

  • Stanley-Reisnerイデアルの極小自由分解と算術階数

    研究課題/領域番号:23540053  2011年 - 2013年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    寺井 直樹, 上原 健, 市川 尚志, 宮崎 誓, 河合 茂生, 吉田 健一, 柳川 浩二, 木村 杏子, 村井 聡

      詳細を見る

    配分額:5070000円 ( 直接経費:3900000円 、 間接経費:1170000円 )

    多項式環の被約単項式イデアルであるStanley-Reisner イデアルの算術階数について研究した。Stanley-Reisner イデアルに関してはその算術階数はその剰余環の極小自由分解の長さ、つまり、その剰余環の射影次元以上であることが知られている。林の辺イデアルの算術階数はその剰余環の射影次元に等しいとBarileにより予想されていたのであるが、それに対して肯定的な答えを与えた。また高さ3のGorenstein Stanley-Reisner イデアルに関してもその算術階数はその剰余環の射影次元3となることを示した。

    researchmap

  • イデアルのべきに付随する環論的不変量の研究

    研究課題/領域番号:22540047  2010年 - 2012年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    吉田 健一, 橋本 光靖, 伊山 修, 寺井 直樹

      詳細を見る

    配分額:4290000円 ( 直接経費:3300000円 、 間接経費:990000円 )

    二項式で定義された超曲面の対角的F閾値の計算方法を与えた。標準的次数付きアフィントーリック環のF(純)閾値と後藤・渡辺による不変量との間の不等式を証明した。グラフの辺イデアルのべき及び形式的べきのコーエン・マコーレー性を議論し、3次以上のべきがコーエン・マコーレーになるようなグラフを特徴づけた。また、2次のべきについても同様の成果を得た。正標数の理論(スコダの定理)を応用して、後藤数に関するワン型の定理を証明した。

    researchmap

  • 射影多様体のカステルヌボー・マンフォード量とその周辺の話題についての研究

    研究課題/領域番号:21540044  2009年04月 - 2014年03月

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    宮崎 誓, 市川 尚志, 岡田 拓三, 寺井 直樹, 野間 淳, 尼崎 睦実, 尾形 庄悦

      詳細を見る

    配分額:4160000円 ( 直接経費:3200000円 、 間接経費:960000円 )

    射影多様体の極小自由分解は定義イデアルの代数的な複雑さを表す重要な不変量である。マンフォードにより導入されたカステルヌボー・マンフォード正則量は定義イデアルの複雑さを表す量である。ブックスバウム多様体のカステルヌボー・マンフォード正則量は次数および余次元で表されるカステルヌボー型の上限を持つことが知られていた。本研究においては、ブックスバウム多様体の正則量がカステルヌボー型の上限もしくは2番目の上限を満たすときは、有理線織射多様体もしくはデル・ペッツォ多様体の因子となることを示した。さらに、正則量の応用として、多重射影空間上のベクトル束のホロックス型の分裂判定法を求めた。

    researchmap

  • Stanley-Reisner環の重複度と極小自由分解に関する研究

    研究課題/領域番号:20540047  2008年 - 2010年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    寺井 直樹, 上原 健, 市川 尚志, 宮崎 誓, 河合 茂生

      詳細を見る

    配分額:4420000円 ( 直接経費:3400000円 、 間接経費:1020000円 )

    多項式環の被約単項式イデアルであるStanley-Reisnerイデアルのべきについて研究した。その結果、その3乗以上のあるべき乗がCohen-Macaulay性をもつならば、任意のべき乗もCohen-Macaulay性をもつことがわかった。また、そのとき、もとのイデアルは完全交差となる。このことはCowsik-Noriの定理に対して単項式イデアルの場合に精密化を与えていることになる。

    researchmap

  • モジュラー多様体の幾何とジーゲル保型形式の合同、P進理論

    研究課題/領域番号:20540018  2008年 - 2010年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    市川 尚志, 長岡 昇勇, 上原 健, 宮崎 誓, 寺井 直樹

      詳細を見る

    配分額:4550000円 ( 直接経費:3500000円 、 間接経費:1050000円 )

    ジーゲルモジュラー多様体の数論幾何的性質を調べることにより、ジーゲルモジュラー形式の合同問題を解決し、p進ジーゲルモジュラー形式の重さがp進数として定まることを示した。またベクトル値ジーゲルモジュラー形式の数論的理論と、ベクトル値p進ジーゲルモジュラー形式の理論の基礎付けを与え、p進作用素の自然な構成を与えた。さらに環上のジーゲルモジュラー形式のなす環(保型形式環)の構造を調べ、6を逆元として持つ環上において、次数2のジーゲルモジュラー形式のなす環の構造を決定した。

    researchmap

  • 整数論及びその離散数理領域への展開

    研究課題/領域番号:20540019  2008年 - 2010年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    中原 徹, 上原 健, 宮崎 誓, 寺井 直樹, 片山 眞一, 田口 雄一郎, クロード ルベック, 金 賢光

      詳細を見る

    配分額:4420000円 ( 直接経費:3400000円 、 間接経費:1020000円 )

    本研究課題の主体をなす整数論,とくにアーベル体に関するHasseの問題[A],数論幾何,代数幾何[B]並びにその離散分野への応用[C]に関して,パキスタン・イスラム共和国NUCES[先端科技大]と佐賀大学大学院工学系研究科とのWorkshop on NumberTheory in Sagaを2008~2010年度の各1月及び8月に両国の先端的若手及び中堅研究者を中心に計5回佐賀大学にて実施した.先行して研究代表者はNUCESに延べ2年半滞在し,Peshawar,Lahore 両Campus PhD大学院生,ポストドク及び国内研究者との共同研究を行った.

    researchmap

  • 乗数イデアルと密着閉包の可換代数及び計算代数の視点からの研究

    研究課題/領域番号:19340005  2007年 - 2009年

    日本学術振興会  科学研究費助成事業  基盤研究(B)

    吉田 健一, 橋本 光靖, 伊山 修, 藤野 修, 寺井 直樹, 寺井 直樹

      詳細を見る

    配分額:8450000円 ( 直接経費:6500000円 、 間接経費:1950000円 )

    研究代表者は、以前の研究で原伸生氏と共に、一般化された密着閉包の概念を導入し、乗数イデアルを可換環論の言葉で定義することに成功した。具体的には、乗数イデアルは、密着閉包のテストイデアルの標数に関する極限として得られる。本研究では、小さな標数のテストイデアルの振る舞いと乗数イデアルの振る舞いとの違いを明らかにした。さらに、可換環論におけるさまざまな不変量の研究を行うために、密着閉包の理論を整備した。

    researchmap

  • Koszul双対性の可換環論への応用

    研究課題/領域番号:19540028  2007年 - 2009年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    柳川 浩二, 寺井 直樹, 和久井 道久, 毛利 出, 若松 隆義, 和久井 道久, 毛利 出, 寺井 直樹, 若松 隆義

      詳細を見る

    配分額:3900000円 ( 直接経費:3000000円 、 間接経費:900000円 )

    代表者は以前より、「Koszul双対性」など導来圏の理論を、組合せ論的可換代数の問題に応用してきた。その手法を、一般の可換環の研究に活かすことが当初の目的であった。この方向で、環の連接性等と関連した成果を得て、2009年に学術誌に発表した。2008年頃からは、若干方針を転換し、組合せ論的可換代数の対象ではあるが、やや定義が緩く(一般の環に近く)従来の手法が使えないものの研究に移行した。この方向では、数本の論文を書き、一部は出版済である。

    researchmap

  • 整数論及びその離散数理領域への応用と展開

    研究課題/領域番号:18540040  2006年 - 2007年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    中原 徹, 上原 健, 市川 尚志, 寺井 直樹, 片山 真一, 田口 雄一郎

      詳細を見る

    配分額:3880000円 ( 直接経費:3400000円 、 間接経費:480000円 )

    本研究課題の中核をなす整数論,とくにHasseの問題及び特殊線形群の作用による実2次無理数の軌道計算[A07],代数幾何[B07]並びに低密度パリティ検査符号とその復号能力の探索[C07]に関して,パキスタン・イスラム共和国先端科学技術大学[NUCES,Peshawar Campus],大韓民国,浦項工科大学校と佐賀大学大学院工学系研究科との拡大国際パートナーシッププログラムを2008年2月から3月初めに実施した.研究代表者はパキスタン・イスラム共和国先端科学技術大学に一ケ月滞在し,Shah Syed Inayat Ali氏と2008年2月にはKhan Hamid氏[NUCES,Peshawar Campus]を佐賀大に招聘し共同研究を行った.
    分野A07.有理数体Q上,4次巡回体Kの整数環Z_Kにおけるハッセの問題について研究した.体Kが合成数導手の場合は素数導手のときと異なり,或る無限族の4次巡回体に対しZ_Kが巾底を持つことを証明した[研究代表者].Binary recurrence sequencesに伴う不定方程式の研究とその応用,すなわち類群のp-rankが2以上のp-1次巡回拡大の無限族の構成問題について研究を行った[片山].
    分野B07.文賢淑氏と共同で保型形式の1-進的な性質を調べ,さらにいくつかの二次体に対し,2の外不分岐なmod2表現の非存在や有限性を証明した[田口].局所的完全交叉であるStanley-Reisner環について研究した[寺井].
    分野C07.エルミート曲線から構成された誤り訂正符号であるエルミート符号の新しい構成方法について研究した.従来の一点型符号と別の符号を構成し、その最小距離の下からの限界を計算した,その結果,作られた符号が従来のエルミート符号より優れていることを示した[上原].

    researchmap

  • リーマン面上のベクトル束の新しい構成法とフェアリンデ公式

    研究課題/領域番号:18540039  2006年 - 2007年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    市川 尚志, 中原 徹, 三苫 至, 上原 健, 寺井 直樹, 広瀬 進

      詳細を見る

    配分額:4010000円 ( 直接経費:3500000円 、 間接経費:510000円 )

    ・Riemenn面を一意化するSchottky群の線形表現空間とRiemann面上のベクトル束のモジュライ空間との関係を、Abel-Jacobiの定理とVbrlindeの公式を用いて記述した。
    ・Igusaの結果を拡張し、1/6を持つ環上の次数2のSiegel保型形式の環構造を記述した。
    ・楕円保型形式の合同・p進的性質に関するSwinnerton-Dyer,Serre,Katzの結果をSiegel保型形式の場合に拡張した。
    ・代数体の整数環における巾底の存在に関するHasseの問題を研究し、特別な場合にそのような巾低が存在しないことを示した。
    ・摂動型Chern-Simons積分の1ループ近似を、Wiener空間の枠組みで数学として正当化し、その漸近展開をMalliavin-Taniguchiの変数変換定理に訴えて導いた。
    ・Hermite曲線から構成された誤り訂正符号であるHermite符号の新しい構成法について研究し、その最小距離の下界を計算することによって、新しい構成法の有用性を示した。
    ・局所的完全交叉であるStanley-Reisner環の性質を研究し、対応する単体的複体が連結で2以上の次元を持つ場合、その環の完全交叉性を示した。
    ・種数4以下の有向閉曲面上の周期的写像のDehn twistによる表示を求め、その応用として、Lefschetz fiber空間でnon-holomorphicなものや極小でないものの例を構成した。

    researchmap

  • Stanley-Reisner環の極小自由分解の研究

    研究課題/領域番号:18540041  2006年 - 2007年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    寺井 直樹, 中原 徹, 上原 健, 市川 尚志, 吉田 健一, 柳川 浩二

      詳細を見る

    配分額:4010000円 ( 直接経費:3500000円 、 間接経費:510000円 )

    本研究の目的は、Stanley-Reisner環の極小自由分解についてその可換環論的、組合せ論的性質を考察し、その応用を探ることにあった。Stanley-Reisner環の重複度と正則度の関係について重点的に研究した。
    平成17年度以前の研究において、Stanley-Reisner環の次元をdとするとき、そのStanley-Reisnerイデアルの全ての生成元の次数がd以下でありそのStanley-Reisner環の重複度が2d-1以下ならば、その正則度はd以下であることを示した。それを受けて平成18年度にはStanley-Reisnerイデアルの第1シジジー加群の全ての生成元の次数がd+1以下であるとするとき、そのStanley-Reisner環の重複度が3d-2以下ならば、その正則度はd以下であることを示した。そのことから一般にStanley-Reisnerイデアルの第pシジジー加群の全ての生成元の次数がd+p以下であるとするとき、そのStanley-Reisner環の重複度が(p+2)d-(p+1)以下ならば、その正則度はd以下であることが予想される。平成19年度は、この予想に対して、Stanley-Reisner環の次元dが2、3のときにそれが成立することを示した。また、この予想は凸多面体論において有名な下限定理(次元と頂点数を固定したとき、stacked多面体の各次元の面の数が単体的多面体の中で極小値を与えるという定理)の極大面の場合のもっと一般的な図形への拡張に相当することがわかった。

    researchmap

  • 代数幾何符号の明示的構成

    研究課題/領域番号:18540038  2006年 - 2007年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    上原 健, 中原 徹, 市川 尚志, 寺井 直樹

      詳細を見る

    配分額:3450000円 ( 直接経費:3000000円 、 間接経費:450000円 )

    1.エルミート曲線から構成された誤り訂正符号であるエルミート符号の構成について研究を行い,新しい構成方法を開発した.開発した方法で,従来の一点型符号と別の符号を構成し,その符号の最小距離の下からの限界を計算した。その結果,構成した符号が従来の一点型エルミート符号より優れていることを示した.
    2.優良な符号列を生成するトレース・ノルム符号について,基底の具体形を求める研究を実行し,変数が3個以下の場合に,基底の具体形を求めた.
    3.誤り訂正能力が注目されている低密度パリティ検査符号の代数的構成方法について研究し,有限体上のベクトル空間から構成する方法,非可換有限群から構成する方法を示した.
    4.代数体の整数環の基底構造について研究し,拡大次数が8以上の2-基本アーベル体の中で整数環が単一の整数のべきが基底となるのは1例だけであることを示した.
    5.Siegel保型形式について研究し,1/6を持つ環上の次数2のSiegel保型形式の環構造を記述した.
    6.Stanley-Reisner環について研究し,対応する単体的複体が2以上の次元を持ち,連結であれば,局所的完全交叉であるStanley-Reisner環は完全交叉であることを示した.

    researchmap

  • 射影多様体のCastelnuovo-Mumford量についての研究

    研究課題/領域番号:17540035  2005年 - 2008年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    宮崎 誓, 寺井 直樹, 前田 高士, 尼崎 睦実, 尾形 庄悦, 野間 淳, 前田 高士, 尼崎 睦実, 尾形 庄悦, 野間 淳

      詳細を見る

    配分額:3880000円 ( 直接経費:3400000円 、 間接経費:480000円 )

    射影空間内において有限個の斉次多項式の零点として定義された射影多様体の定義イデアルの次数、極小自由分解の複雑さを表す重要な不変量として、Castelnuovo-Mumford 量がある。Castelnuovo-Mumford 量の上限を射影多様体の次数、余次元などで記述する問題はこの分野の重要なテーマであり、いくつかの上限が知られている。本研究において、射影曲線のCastelnuovo-Mumford 量がCastelnuovo 型の上限、次の上限を満たすときに、最小次数の射影曲面もしくは正規Del Pezzo 曲面の因子となることを示した。

    researchmap

  • Stanley-Reisner環の極小自由分解に関する研究

    研究課題/領域番号:16540028  2004年 - 2005年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    寺井 直樹, 田中 達治, 中原 徹, 市川 尚志, 吉田 健一, 柳川 浩二

      詳細を見る

    配分額:3600000円 ( 直接経費:3600000円 )

    本研究の目的は、Stanley-Reisner環の極小自由分解についてその可換環論的、組合せ論的性質を考察し、組合せ論的応用を探ることにあった。
    平成16年度は線形自由分解を持つBuchsbaum Stanley-Reisner環について研究した。Buchsbaum Stanley-Reisner環の重複度の下限を求め、それが、ちょうど下限の値をとるとき、線形自由分解を持つことを示した。また、Buchsbaum Stanley-Reisner環が線形自由分解をもつ必要十分条件を対応する単体的複体および、そのまつわり複体の被約ホモロジー群の言葉であたえた。
    平成17年度は主にStanley-Reisner環の重複度とCastelnuovo-Mumford正則度の関係について研究した。Stanley-Reisner環の次元をdとするとき、その重複度がd以下ならばそのStanley-Reisner環のCastelnuovo-Mumford正則度はd以下であることを示した。さらにそのStanley-Reisnerイデアルの全ての生成元の次数がd以下であるときにはそのStanley-Reisner環の重複度が2d-1以下ならばそのCastelnuovo-Mumford正則度はd以下であることを示した。
    さらに、線形自由分解をもつStanley-Reisner環のなかで、特にd線形自由分解をもつものについて重点的に調べた。上の結果からStanley-Reisnerイデアルの全ての生成元の次数がd以上であるときにはそのStanley-Reisner環の重複度がd以下ならばそのStanley-Reisner環はd線形自由分解をもつことがわかった。さらに、Stanley-Reisnerイデアルの全ての生成元の次数がdであるときにはそのStanley-Reisner環の重複度が2d-1以下ならばそのStanley-Reisner環はd線形自由分解をもつことがわかった。また、アレクサンダー双対複体を用いて、重複度が十分大きいならば、Stanley-Reisner環はCohen-Hacaulay環であることを示した。

    researchmap

  • 〇次元ラティスイデアルの普遍グレブナー基底の探究

    研究課題/領域番号:15340007  2003年 - 2005年

    日本学術振興会  科学研究費助成事業  基盤研究(B)

    日比 孝之, 齋藤 睦, 大杉 英史, 松井 泰子, 高山 幸秀, 寺井 直樹

      詳細を見る

    配分額:8600000円 ( 直接経費:8600000円 )

    純粋数学と応用数学の両者に深く拘わる0次元ラティスイデアルの普遍グレブナー基底について、その代数的基礎理論を構築し、可換代数と代数幾何への理論的有効性とともに、整数計画、符号理論、統計数学などへの実践的有効性を多角的に探究することが当該基盤研究の申請書類作成段階における目的であった。当該基盤研究の研究成果を列挙する。第1に、有限グラフに付随するトーリックイデアルから得られる0次元ラティスイデアルの普遍グレブナー基底の具象的研究を展開し、その構造を有限グラフの言葉で記述することに成功した。第2に、有限グラフの整数計画問題にいわゆるGomoryのrelaxationと呼ばれる整数計画の技巧を使うことが可能なとき、最適解を探すための計算量を有限グラフの組合せ論を使って決定する研究を推進した。第3に、0次元ラティスイデアルのcorner polyhedronを有界な凸多面体と凸錐のMinkowski和として表示する研究を推進し、その多面体的諸性質についての顕著な結果が得られた。第4に、統計数学における分割表のマルコフ基底に関する代数的研究を展開し、完全多重グラフのトーリックイデアルに付随する統計モデルを提唱し、その統計学的な解析を遂行した。以上の研究成果は、整数計画問題の代数的な分析の展開に十分な貢献をする。他方、当該基盤研究においては、海外から著名な研究者を招聘し、2件の国際会議を開催した。それらは(1)可換代数と代数幾何(於、大阪大学)平成16年3月、(2)グレブナー基底の理論的有効性と実践的有効性(於、立教大学)平成17年8月、である。

    researchmap

  • 頂点作用素代数と代数曲線のモジュライ空間

    研究課題/領域番号:15540036  2003年 - 2004年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    市川 尚志, 田中 達治, 中原 徹, 三苫 至, 寺井 直樹, 廣瀬 進

      詳細を見る

    配分額:3700000円 ( 直接経費:3700000円 )

    1.代数曲線とそのモジュライ空間に関する数論幾何と数理物理について研究し、タイヒミュラー基本亜群の数論幾何的構成を行って、ガロア表現に関するグロタンディーク予想の部分的解決、及び共形場理論に付随するモノドロミー表現の記述を与えた。
    2.ボゴモロフ予想に関するウルモ・張の結果を拡張し、代数体上定義されたアーベル多様体の部分代数多様体が、アーベル多様体の構造を持つための条件を、ネロン・テイト高さ関数の値分布の言葉で与えた。
    3.純虚数の指数を持つ超幾何微分方程式のモノドロミー表現から定まるリーマン面の構造を決定した(吉田正章との共同研究)。
    4.射影空間内の1-サイクルのなすチャウ多様体の次元を、定義に基づいて計算している。
    5.低次代数体、特にクンマー型のアーベル4次体の類群及び単数群の構造を解明した(片山真一及びClaude Levesqueとの共同研究)。
    6.ハッセの問題について研究し、ガロア群が2-基本群であるアーベル16次体以上はその極大整還が巾底を持たないこと、8次体では、ある条件の下で、巾底をもつものは円周24等分体のみであることを証明した(元田康夫との共同研究)。
    7.確率的ホロノミー作用素を定義し、ゲージ不変なウィルソン・ループ観測変数の積に対するChern-Simons積分の1-ループ近似を、ウイナー空間を使って数学的に定義した。
    8.線型自由分解を持つBuchsbaum Stanley-Reisner環について研究し、重複度による特徴付けを与えた。
    9.モノミアルイデアルの算術階数について研究し、偏差が2のモノミアルイデアルの算術階数を決定した。
    10.単連結4次元多様体に埋め込まれた曲面で、その上の任意の同相写像が4次元多様体に拡張できるものをflexible surfaceとよぶ。Flexible surfaceが存在するために4次元多様体が満たすべき十分条件を調べ、4次元球面を除く多くの単連結4次元多様体内にflexible surfaceが存在することを示し、さらに任意の単連結4次元多様体内の曲面をflexibleに改変する操作の存在を示した。

    researchmap

  • グレブナー基底の理論的有効性と実践的有効性についての国際研究集会の企画調査

    研究課題/領域番号:15634001  2003年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    日比 孝之, 松井 泰子, 大杉 英史, 齊藤 睦, 寺井 直樹, 高山 幸秀

      詳細を見る

    配分額:2100000円 ( 直接経費:2100000円 )

    当該企画調査では,Oberwoltach型の中規模準備会議を開催し,当該分野の研究の動向を詳細に分析し,研究目的に列挙した研究領域(トーリックイデアルとグレブナー基底,整数計画とGomory relaxation,0次元ラティスイデアルの普遍グレブナー基底,単項式イデアルの極小自由分解,幾何学的なBuchbergerアルゴリズムの高速化)の妥当性を慎重に審議した。その準備会議の概要を列挙する。[1]可換代数におけるアルゴリズム的手法(責任者:寺井直樹/於:大阪大学/平成15年7月)斉次代数の極小自由分解とベッチ数列,トーリック環の正則度と重複度などを題材とし,可換代数におけるアルゴリズム的手法を議論した。[2]有限グラフと0次元ラティスイデアル(責任者:大杉英史/於:立教大学/平成15年11月)有限グラフの隣接行列から生起する0次元ラティスイデアルを可換代数と組合せ論の両面から具象的に探求し,未解決問題を集約した。[3]グレブナー基底と応用数学(責任者:大杉英史/於:立教大学/平成16年1月)整数計画における代数的手法の有効性,Gomory relaxationと算術次数,符号理論と統計数学におけるトーリックイデアルとグレブナー基底の有効性について研究した。[4]可換代数と代数幾何(責任者:日比隆之/於:大阪大学/平成16年3月)いわゆるaffine algebraic geometryとその周辺領域,多項式環の組合せ論についての国際会議である。海外からの参加者はJurgen Herzogら7名であった。

    researchmap

  • 代数関数体から構成される誤り訂正符号の最小距離

    研究課題/領域番号:14540127  2002年 - 2003年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    上原 健, 寺井 直樹, 市川 尚志, 中原 徹, 田中 達治

      詳細を見る

    配分額:3500000円 ( 直接経費:3500000円 )

    代数関数体を用いて構成される誤り訂正符号である代数幾何符号の研究と、代数的整数論、数論的代数幾何学、代数幾何学、代数的組合せ理論のそれぞれの分野での関連する研究を行った。研究目的は、代数幾何符号を具体的に構成し、その符号の誤り訂正能力を測る重要な量である最小距離を特定することである。
    符号構成と最小距離特定の研究では、初年度に、一点代数幾何符号と呼ばれるタイプの代数幾何符号について、符号Cの最小距離d(C)の特定を行った。詳しく言えば、一点代数幾何符号Cがある条件を満たせばd(C)がそのFeng-Rao下限d'(C)に一致することを証明した。2年目には、一点型以外の代数幾何符号構成し、そのFeng-Rao下限を計算した。その結果、Feng-Rao下限が一点型に比較して大きい符号が存在することを発見した。
    代数的整数論の研究では、低次代数体、特にクンマー型のアーベル4次体の類数及び単数群の構造を解明した。また、アーベル8次体のについて、整数環が巾底を持つかどうかという問題を研究した。
    数論的代数幾何の研究では、タイヒミュラー基本亜群の数論幾何的な構成を行い、タイヒミュラー基本亜群に関するガロア作用と(共形場理論に付随して定まる)モノドロミー表現の記述を与えた。アーベル多様体内の既約な代数曲線が楕円曲線と同型でないとき、その代数的点の集合がネロン・テイト高さに関して一様に疎に分布すること(ボゴモロフ予想)を証明した。
    代数幾何学の研究では、n次元射影空間におけるd-1次サイクルの作るチャウ多様体の次数を評価する問題に関して、射影的不変量である終結式と関係するヒルベルト多項式との関連を調べた。
    代数的組合せ理論については、単体的複体に対応するスタンレー・ライスナー環の極小自由分解について研究した。特に、線形分解を持つブックスバウム・スタンレー・ライスナー環のただ一つある非消滅ホモロジー群の次元の上限を与えた。

    researchmap

  • 凸多面体を巡る組合せ数学の代数的諸相についての国際研究集会の企画調査

    研究課題/領域番号:14604002  2002年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    日比 孝之, 枡田 幹也, 松井 泰子, 齋藤 睦, 大杉 英史, 寺井 直樹

      詳細を見る

    配分額:2000000円 ( 直接経費:2000000円 )

    現在研究代表者らは国際研究集会「凸多面体を巡る組合せ数学の代数的諸相」を平成16年7月に札幌で開催する準備を進めているが,根幹となる研究領域を(1)グレブナー基底と組合せ数学(2)凸多面体の三角形分割と整数計画(3)外積代数とalgebraic shifting(4)単項式イデアルの極小自由分解(5)斉次整域の正則度と重複度,とする原案が有力である.当該企画調査では,当該分野の昨今の研究動向などに関する周到な調査を遂行し,上記項目を研究集会の研究領域の根幹とすることの妥当性を吟味するため,Oberwolfach型の中規模国内準備会議を2回開催した.すなわち,「グレブナー基底の理論的有効性と実践的有効性」(責任者:大杉英史/於:京都大学/平成14年7月)と「ジェネリックイニシャルイデアルの研究」(責任者:寺井直樹/於:大阪大学/平成14年12月)である.前者においては凸多面体の三角形分割と整数計画問題,符号理論と暗号理論などにおけるグレブナー基底の果たす役割について多角的に研究した.後者においては多項式環と外積代数のジェネリックイニシャルイデアルの相互関係を可換代数と組合せ論の両面から具象的に探究した.その他,平成14年6月にイタリアで開催された研究集会「可換代数の昨今の潮流」に研究代表者と研究分担者の一部が参加し,当該分野の研究の進展状況を把握した.当該企画調査の結論として,上記の根幹となる研究領域はすべて妥当であると判断され,個々の研究領域において当該国際研究集会に相応しい話題を選別する作業を推進した.

    researchmap

  • タイヒミュラー基本亜群と共形場理論のモノドロミー

    研究課題/領域番号:13640031  2001年 - 2002年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    市川 尚志, 上原 健, 三苫 至, 中原 徹, 廣瀬 進, 寺井 直樹, 田中 達治

      詳細を見る

    配分額:3900000円 ( 直接経費:3900000円 )

    ・共形場理論から導かれるタイヒミュラー基本亜群のモノドロミー表現を記述した。
    ・ボゴモロフ予想についてのウルモ・張の結果を拡張し、アーベル多様体の部分代数多様体が(別の)アーベル多様体と同型になるための必要十分条件を、ネロン・テイト高さ関数の値分布の言葉で与えた。
    ・吉田正章氏(九大)と共同して、純虚数の指数を持つ超幾何方程式のモノドロミー表現から定まるリーマン面の構造を決定した。
    ・双2次体のハッセの単数指数、及びその三つの部分体との類数関係を明示的に与えた。
    ・ある種のアーベル体の無限族の整数環についてハッセの問題を解明した。虚2次部分体を持つアーベル体の整数基が巾底をもたない場合及び巾底を持つ場合の双方について、新しい無限族の特徴付けを与えた。
    ・摂動型チャーン・サイモンズ理論を無限次元確率解析を通した漸近展開理論に訴えて、数学的正当化を試みた。簡単なホンフリー多項式の導出を得た。
    ・ある型の代数幾何符号について、その最小距離がフェンラオ限界と呼ばれる下限に一致することが知られているが、この事実の一般化を提示した。またこの型以外の代数幾何符号について同様の結果が成立することを発見した。
    ・スタンレー・ライズナー環の極小自由分解を用いて、単体的多面体のグラフの誘導部分グラフの平均連結成分数の上限を、次元と頂点数を固定したときに与えた。またある種のスタンレー・ライズナーイデアルに対して、射影次元と算術的階数が等しいことを示した。
    ・4次元球面内に自明に埋め込まれた曲面上の可微分同相写像が、4次元球面に拡張できるための必要十分条件は、ロホリンの二次形式を保つことであることを示した。
    ・ハンドル体の写像類群の仮想的ホモロジー次元と、オイラー数を求めた。
    ・トーラス結び目の4次元アナロジーについて、その標準形を求めた。
    ・ハンドル体の写像類群のホモロジー的アナロジーの生成系を求めた。

    researchmap

  • Stanley-Reisner環のBetti数に関する研究

    研究課題/領域番号:12740020  2000年 - 2001年

    日本学術振興会  科学研究費助成事業  奨励研究(A)

    寺井 直樹

      詳細を見る

    配分額:1800000円 ( 直接経費:1800000円 )

    本研究調査の目的は、スタンレーライスナー環のBetti数についてその可換環論的、組合せ論的性質を考察することであり、そこからグラフ理論・組合せ論的応用を導くことであった。
    本年度は、スタンレーライスナー環の極小自由分解の中でも特に2線形部分と呼ばれる部分のBetti数について重点を置いて研究した。Betti数に対する基本的な問題は、他の環論的不変量でその上限を評価することである。
    報告者は、単体的凸多面体に付随するスタンレーライスナー環の2線形部分のBetti数の上限をその凸多面体の次元と頂点数を用いて与えた。また、上の評価において、ちょうど上限を与えるものはスタック多面体に付随するスタンレーライスナー環であることも示した。
    一方、純で強連結な単体的複体に付随するスタンレーライスナー環の2線形部分のBetti数についてもその上限をその単体的複体の次元と頂点数を用いて与えた。また、上の評価において、ちょうど上限を与えるものは高次元木に付随するスタンレーライスナー環であることも示した。
    グラフ理論における応用として、誘導部分グラフの平均連結成分数という概念を導入し、対応するスタンレーライスナー環の2線形部分のBetti数との関係を研究した。そして、その結果として、単体的凸多面体の辺グラフ及び、純で強連結な単体的複体の1骨格について誘導部分グラフの平均連結成分数の上限を与えた。

    researchmap

  • Stanley-Reisner環のBetti数に関する研究

    研究課題/領域番号:09740034  1998年

    日本学術振興会  科学研究費助成事業  奨励研究(A)

    寺井 直樹

      詳細を見る

    配分額:2000000円 ( 直接経費:2000000円 )

    本研究調査の目的は、Stanley-Reisner環のBetti数についてその可換環論的、組合せ論的性質を考察し、また、一般の次数つき環のBetti数との関係を探ることにあった。本年度も昨年度に引き続きBetti数を研究する上で重要な不変量であるregurarityについて重点を置いて研究した。
    このregurarityに対して、次のニつの概念を用いて研究した。一つはGroebner基底である。Groebner基底は、計算機における数式処理において基本的な役割を果してきた。それは、連立方程式の解などを実用のレベルで求めるのに画期的なアルゴリズムを与えているし、さらに最近は図形処理にも大きな役割を果たしている。したがって、環のヒルベルト関数を求めることは、近年、Groebner基底の理論を用いることにより、計算機によって、計算できる様になってきた。ここでは、generic Groebner基底の理論を用いて、一般の次数つき環とスタンレーライスナー環の間の不変量の関係を調べた。
    もう一つは、アレクサンダー双対複体である。Eagon氏とReiner氏によって、アクレサンダー双対複体を用いて、スタンレーライスナー環におけるCohen-Macaulay性と線形な極小自由分解をもつということの間の関係が明らかにされたのが、その出発点であった。本研究においては、それをさらに一般化し、スタンレーライスナー環のdepthとそのアレクサンダー双対複体のスタンレーライスナー環のregularityの間の関係を定式化した。そのことにより、regularityの問題をdepthの問題に帰着させて研究することが可能になった。そのことを利用して、Eisenbud-Goto予想のモノミアル版について肯定的に解いた。

    researchmap

  • 代数曲線から生成される誤り訂正符号の研究

    研究課題/領域番号:08640050  1996年

    日本学術振興会  科学研究費助成事業  基盤研究(C)

    上原 健, 寺井 直樹, 田中 達治, 町頭 義朗, 市川 尚志, 中原 徹

      詳細を見る

    配分額:1800000円 ( 直接経費:1800000円 )

    本研究の課題である代数幾何符号については、Feng-Raoによって単項式列による構成法が提唱されているが、この方法に従ってある種の代数曲線から生成される誤り訂正符号(代数幾何符号)を構成し、その最小距離の下からの評価を行った。これは、Feng-Raoの結果を補正し部分的に精密化したものである。この研究結果は国際シンポジウムで発表し、論文は報告集に掲載予定である。さらに、単項式列による構成法を用いて、一般の代数的集合より代数幾何符号を構成することを試み、その際の単項式列の特定方法を開発し、大きい最小距離を得るための単項式列の並べ方について実験を行った。さらにエルミート符号の最小距離の特定に関して簡単な証明法を発見した。また、代数幾何符号に対するFeng-Raoの設定最小距離と行変換と多数決原理を用いた復号法の理論が一般の線形符号にも適用できることを示した。これらの研究結果は、目下論文として整理するため準備中である。さらに、2進L関数の整数点での値に関する合同関係式の一般化に関する研究を行い、国際シンポジウムで発表した。
    一方、研究分担者の研究課題については次の成果があった。1)実2次体の類群の3部分群の構造を決定した。2)ソリトン(KdV,KP)方程式の普遍テ-タ関数解及びp進テ-タ関数解を構成した。3)アレクサンドロフ空間上のラプラシアンの理論を確立した。4)テ-タ関数を用いて3次元射影空間に埋め込まれた正規楕円4次曲線のチャウ形式をテ-タ定数を用いて具体的に表した。5)スタンレーライスナ-環の極小自由分解に現れるベッチ数の組合せ論における応用について研究した。これらの研究は、殆どが口頭発表を行い論文がそれぞれの雑誌に掲載済みか掲載予定である。

    researchmap

  • ASLについての研究

    研究課題/領域番号:07740044  1995年

    日本学術振興会  科学研究費助成事業  奨励研究(A)

    寺井 直樹

      詳細を見る

    配分額:1000000円 ( 直接経費:1000000円 )

    多項式環を、square-freeな単項式たちによって生成されるイデアルで割った環は、Stanley-Reisner環と呼ばれる。この環は、環論的手法からだけでなく、トポロジカルな、あるいは、組合せ論な手法を用いて研究され、その環論的性質が、組合せ論にも様々に応用されてきている。Buchsbaum Stanley-Reisner環に現われるh-vectorの特徴づけに関する問題も位相多様体の三角形分割に関連して興味深い。これについて、h-vectorであるための一つの必要条件を与えた。また、低次元の場合には、その十分性についても考察した。
    与えられた加群に対して、その極小自由分解を構成し、Betti数列を調べることは、大切な問題である。というのは、それは、Cohen-Macaulay性、Gorenstein性等の重要な環論的情報を含んでいるからである。しかし、Betti数列を計算することは難しく、Hilbert関数からわかる例以外はほとんど知られていなかった。そこで、巡回多面体およびstacked多面体に付随するStanley-Reisner環のBetti数列を具体的に与えた。
    また、Betti数列がStanley-Reisner環の係数体に依存するかどうかは、それを組合せ論的な公式で表そうとするさい重要な問題となる。そこで、Stanley-Reisner環の第2Betti数が係数体に依存しないことを示した。これは、Bruns-Herzogによって、最初に環論的に示されたが、Alexander双対定理を用いてトポロジカルな短い証明を与えた。
    一般には第3Betti数は係数体に依存するのであるが、イデアルが次数2の単項式で生成されているならば、第3及び第4Betti数も係数体に依存しないことを示した。

    researchmap

▼全件表示

 

担当授業科目

  • 代数学基礎Aa演習 (2023年度) 第1学期  - 水1~2

  • 代数学基礎Ab演習 (2023年度) 第2学期  - 水1~2

  • 代数学基礎A演習 (2023年度) 1・2学期  - 水1~2

  • 代数学基礎Ba演習 (2023年度) 第3学期  - 火3~4

  • 代数学基礎Bb演習 (2023年度) 第4学期  - 火3~4

  • 代数学基礎B演習 (2023年度) 3・4学期  - 火3~4

  • 代数学演習 (2023年度) 通年  - その他

  • 代数学特別演習 (2023年度) 通年  - その他

  • 代数学特論Ia (2023年度) 第1学期  - 水3~4

  • 代数学特論Ib (2023年度) 第2学期  - 水3~4

  • 可換代数学 (2023年度) 前期  - その他

  • 可換代数学 (2023年度) 前期  - その他

  • 可換環論 (2023年度) 後期  - 水1~2

  • 可換環論特別演習1 (2023年度) 前期  - その他

  • 可換環論特別演習2 (2023年度) 後期  - その他

  • 可換環論特論 (2023年度) 後期  - 水1~2

  • 離散数学I (2023年度) 3・4学期  - 火7~8

  • 離散数学Ia (2023年度) 第3学期  - 火7~8

  • 離散数学Ib (2023年度) 第4学期  - 火7~8

  • 代数学基礎Ba演習 (2022年度) 第3学期  - 火3~4

  • 代数学基礎Bb演習 (2022年度) 第4学期  - 火3~4

  • 代数学基礎B演習 (2022年度) 3・4学期  - 火3~4

  • 代数学演習 (2022年度) 通年  - その他

  • 可換代数学 (2022年度) 前期  - その他

  • 可換環論 (2022年度) 後期  - 水1~2

  • 数理物理科学ゼミナール(数学系) (2022年度) 通年  - その他

  • 数理物理科学特別研究(数学系) (2022年度) 通年  - その他

  • 数理科学演習 (2022年度) 3・4学期  - その他

  • 数理科学特別講義E (2022年度) 集中  - その他

  • 線形代数1 (2022年度) 第3学期  - 木5~6

  • 線形代数2 (2022年度) 第4学期  - 木5~6

  • 課題研究 (2022年度) 特別  - その他

  • 離散数学Ia (2022年度) 第3学期  - 火7~8

  • 離散数学Ib (2022年度) 第4学期  - 火7~8

  • 代数学 (2021年度) 1・2学期  - 金5,金6

  • 代数学a (2021年度) 第1学期  - 金5,金6

  • 代数学b (2021年度) 第2学期  - 金5,金6

  • 代数学基礎B (2021年度) 3・4学期  - 月3,月4

  • 代数学基礎Ba (2021年度) 第3学期  - 月3,月4

  • 代数学基礎Ba演習 (2021年度) 第3学期  - 火3,火4

  • 代数学基礎Bb (2021年度) 第4学期  - 月3,月4

  • 代数学基礎Bb演習 (2021年度) 第4学期  - 火3,火4

  • 代数学基礎B演習 (2021年度) 3・4学期  - 火3,火4

  • 代数学演習 (2021年度) 通年  - その他

  • 可換代数学 (2021年度) 前期  - その他

  • 可換環論 (2021年度) 後期  - 水1,水2

  • 微分と積分1 (2021年度) 第3学期  - 木7~8

  • 微分と積分2 (2021年度) 第4学期  - 木7~8

  • 代数学 (2020年度) 1・2学期  - 金5,金6

  • 代数学a (2020年度) 第1学期  - 金5,金6

  • 代数学b (2020年度) 第2学期  - 金5,金6

  • 代数学基礎Ba演習 (2020年度) 第3学期  - 火3,火4

  • 代数学基礎Bb演習 (2020年度) 第4学期  - 火3,火4

  • 代数学基礎B演習 (2020年度) 3・4学期  - 火3,火4

  • 代数学演習 (2020年度) 通年  - その他

  • 可換代数学 (2020年度) 前期  - その他

  • 可換環論 (2020年度) 後期  - 水1,水2

  • 微分と積分1 (2020年度) 第3学期  - 木1,木2

  • 微分と積分2 (2020年度) 第4学期  - 木1,木2

  • 数理科学の世界B (2020年度) 第2学期  - 火1,火2

  • 線形代数1 (2020年度) 第3学期  - 木5,木6

  • 線形代数2 (2020年度) 第4学期  - 木5,木6

▼全件表示