{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T16:40:49Z","timestamp":1691772049906},"reference-count":39,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","funder":[{"name":"JSPS KAKENHI","award":["JP18H01112"],"award-info":[{"award-number":["JP18H01112"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2023,8]]},"abstract":"<jats:p> We discuss the isomorphism problem of projective schemes; given two projective schemes, can we algorithmically decide whether they are isomorphic? We give affirmative answers in the case of one-dimensional projective schemes, the case of smooth irreducible varieties with a big canonical sheaf or a big anti-canonical sheaf, and the case of K3 surfaces with a finite automorphism group. As related algorithmic problems, we also discuss decidability of positivity properties of invertible sheaves, and approximation of the nef cone and the pseudo-effective cone. <\/jats:p>","DOI":"10.1142\/s021819672350039x","type":"journal-article","created":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T05:51:51Z","timestamp":1685080311000},"page":"893-926","source":"Crossref","is-referenced-by-count":0,"title":["The isomorphism problem of projective schemes and related algorithmic problems"],"prefix":"10.1142","volume":"33","author":[{"given":"Takehiko","family":"Yasuda","sequence":"first","affiliation":[{"name":"Department of Mathematics, Graduate School of Science, Osaka University Toyonaka, Osaka 560-0043, Japan"}]}],"member":"219","published-online":{"date-parts":[[2023,6,30]]},"reference":[{"issue":"6","key":"S021819672350039XBIB001","doi-asserted-by":"crossref","first-page":"1325","DOI":"10.1353\/ajm.2005.0037","volume":"127","author":"Baker M. H.","year":"2005","journal-title":"Am. J. Math."},{"key":"S021819672350039XBIB002","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge\/ A Series of Modern Surveys in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-57739-0","volume-title":"Compact Complex Surfaces","author":"Barth W.","year":"2004","edition":"2"},{"key":"S021819672350039XBIB004","first-page":"99","volume":"2011","author":"Birkar C.","year":"2011","journal-title":"J. f\u00fcr Reine Angew. Math."},{"key":"S021819672350039XBIB005","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF02685880","volume":"42","author":"Bombieri E.","year":"1973","journal-title":"Inst. Hautes \u00c9tudes Sci. Publ. Math."},{"issue":"2","key":"S021819672350039XBIB007","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1090\/S1056-3911-2012-00574-8","volume":"22","author":"Boucksom S.","year":"2013","journal-title":"J. Algebr. Geom."},{"issue":"3","key":"S021819672350039XBIB008","doi-asserted-by":"crossref","first-page":"365","DOI":"10.24033\/asens.2124","volume":"43","author":"Chen J. A.","year":"2010","journal-title":"Ann. Sci. Ec. Norm. Super."},{"key":"S021819672350039XBIB009","doi-asserted-by":"crossref","first-page":"1838","DOI":"10.1007\/BF01095643","volume":"34","author":"Chistov A. L.","year":"1986","journal-title":"J. Sov. Math."},{"key":"S021819672350039XBIB010","first-page":"941","volume":"168","author":"Dinh T.-C.","year":"2019","journal-title":"Duke Math. J."},{"key":"S021819672350039XBIB011","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1016\/j.aim.2011.12.005","volume":"230","author":"Doria A. V.","year":"2012","journal-title":"Adv. Math."},{"key":"S021819672350039XBIB012","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5350-1","volume-title":"Commutative Algebra: With a View Toward Algebraic Geometry","author":"Eisenbud D.","year":"1995"},{"key":"S021819672350039XBIB013","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF01231331","volume":"110","author":"Eisenbud D.","year":"1992","journal-title":"Invent. Math."},{"key":"S021819672350039XBIB014","doi-asserted-by":"crossref","first-page":"5367","DOI":"10.1090\/S0002-9947-08-04454-1","volume":"360","author":"Eisenbud D.","year":"2008","journal-title":"Trans. Am. Math. Soc."},{"key":"S021819672350039XBIB016","volume-title":"A Singular Introduction to Commutative Algebra","author":"Greuel G.-M.","year":"2008","edition":"2"},{"key":"S021819672350039XBIB017","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00222-006-0504-1","volume":"166","author":"Hacon C. D.","year":"2006","journal-title":"Invent. Math."},{"key":"S021819672350039XBIB018","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3849-0","volume-title":"Algebraic Geometry","author":"Hartshorne R.","year":"1977"},{"key":"S021819672350039XBIB019","doi-asserted-by":"crossref","first-page":"89","DOI":"10.4171\/PRIMS\/54-1-3","volume":"54","author":"Hashizume K.","year":"2018","journal-title":"Publ. Res. Inst. Math. Sci."},{"key":"S021819672350039XBIB020","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BFb0093428","volume-title":"Power Sums, Gorenstein Algebras, and Determinantal Loci","author":"Iarrobino A.","year":"1999"},{"key":"S021819672350039XBIB021","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1134\/S0001434619070332","volume":"106","author":"Kanel\u2019-Belov A. Y.","year":"2019","journal-title":"Math. Notes"},{"issue":"3","key":"S021819672350039XBIB022","doi-asserted-by":"crossref","first-page":"293","DOI":"10.2307\/1970447","volume":"84","author":"Kleiman S. L.","year":"1966","journal-title":"Ann. Math."},{"key":"S021819672350039XBIB023","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/s10474-019-01008-2","volume":"160","author":"Koll\u00e1r J.","year":"2020","journal-title":"Acta Math. Hung."},{"key":"S021819672350039XBIB024","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge\/ A Series of Modern Surveys in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03276-3","volume-title":"Rational Curves on Algebraic Varieties","author":"Koll\u00e1r J.","year":"1996"},{"issue":"6","key":"S021819672350039XBIB025","doi-asserted-by":"crossref","first-page":"1245","DOI":"10.1353\/ajm.1999.0040","volume":"121","author":"Kond\u014d S.","year":"1999","journal-title":"Am. J. Math."},{"key":"S021819672350039XBIB026","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1007\/BF01450509","volume":"300","author":"Kov\u00e1cs S. J.","year":"1994","journal-title":"Math. Ann."},{"key":"S021819672350039XBIB027","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge\/ A Series of Modern Surveys in Mathematics, Positivity in Algebraic Geometry","volume-title":"Positivity in Algebraic Geometry I: Classical Setting: Line Bundles and Linear Series","author":"Lazarsfeld R. K.","year":"2004"},{"key":"S021819672350039XBIB028","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/s00222-017-0766-9","volume":"212","author":"Lesieutre J.","year":"2018","journal-title":"Invent. Math."},{"key":"S021819672350039XBIB029","series-title":"Cambridge Studies in Advanced Mathematics","volume-title":"Commutative Ring Theory","volume":"8","author":"Matsumura H.","year":"1989","edition":"2"},{"issue":"3","key":"S021819672350039XBIB030","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1137\/0709039","volume":"9","author":"Nicolaides R. A.","year":"1972","journal-title":"SIAM J. Numer. Anal."},{"issue":"4","key":"S021819672350039XBIB031","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1090\/S1056-3911-2011-00543-2","volume":"20","author":"Poonen B.","year":"2011","journal-title":"J. Algebr. Geom."},{"key":"S021819672350039XBIB032","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1017\/CBO9780511756306.015","volume-title":"Interpreting G\u00f6del: Critical Essays","author":"Poonen B.","year":"2014"},{"key":"S021819672350039XBIB033","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1112\/S0010437X14007878","volume":"151","author":"Poonen B.","year":"2015","journal-title":"Compos. Math."},{"key":"S021819672350039XBIB034","doi-asserted-by":"crossref","first-page":"87","DOI":"10.2140\/jsag.2018.8.87","volume":"8","author":"Schwede K.","year":"2018","journal-title":"J. Softw. Algebra Geom."},{"key":"S021819672350039XBIB035","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.jalgebra.2004.03.025","volume":"280","author":"Simis A.","year":"2004","journal-title":"J. Algebra"},{"key":"S021819672350039XBIB036","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/j.tcs.2007.10.008","volume":"392","author":"Simpson C.","year":"2008","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"S021819672350039XBIB037","doi-asserted-by":"crossref","first-page":"1387","DOI":"10.5802\/aif.1378","volume":"43","author":"Siu Y.-T.","year":"1993","journal-title":"Ann. Inst. Fourier"},{"issue":"4","key":"S021819672350039XBIB038","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1006\/jsco.1999.0399","volume":"29","author":"Smith G. G.","year":"2000","journal-title":"J. Symbol. Comput."},{"key":"S021819672350039XBIB040","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/BF01168156","volume":"189","author":"Sterk H.","year":"1985","journal-title":"Math. Z."},{"key":"S021819672350039XBIB042","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/s00222-006-0503-2","volume":"165","author":"Takayama S.","year":"2006","journal-title":"Invent. Math."},{"key":"S021819672350039XBIB044","first-page":"967","volume":"43","author":"Tsuji H.","year":"2006","journal-title":"Osaka J. Math."},{"key":"S021819672350039XBIB046","series-title":"Algorithms and Computation in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58951-5","volume-title":"Computational Methods in Commutative Algebra and Algebraic Geometry","author":"Vasconcelos W.","year":"1998"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S021819672350039X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T16:00:31Z","timestamp":1691769631000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S021819672350039X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,30]]},"references-count":39,"journal-issue":{"issue":"05","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["10.1142\/S021819672350039X"],"URL":"https:\/\/doi.org\/10.1142\/s021819672350039x","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6,30]]}}}