No Cover Image

Journal article 1000 views 327 downloads

Equations of tropical varieties

Jeffrey Giansiracusa, Noah Giansiracusa

Duke Mathematical Journal, Volume: 165, Issue: 18, Pages: 3379 - 3433

Swansea University Author: Jeffrey Giansiracusa

Abstract

We introduce a scheme-theoretic enrichment of the principal objects of tropical geometry. Using a category of semiring schemes, we construct tropical hypersurfaces as schemes over idempotent semirings such as =(ℝ∪{−∞},max,+) by realizing them as solution sets to explicit systems of tropical equation...

Full description

Published in: Duke Mathematical Journal
ISSN: 0012-7094
Published: Duke University Press 2016
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa26475
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2016-02-22T12:59:43Z
last_indexed 2021-01-07T03:42:04Z
id cronfa26475
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2021-01-06T16:34:28.3349318</datestamp><bib-version>v2</bib-version><id>26475</id><entry>2016-02-19</entry><title>Equations of tropical varieties</title><swanseaauthors><author><sid>03c4f93e1b94af60eb0c18c892b0c1d9</sid><firstname>Jeffrey</firstname><surname>Giansiracusa</surname><name>Jeffrey Giansiracusa</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2016-02-19</date><deptcode>FGSEN</deptcode><abstract>We introduce a scheme-theoretic enrichment of the principal objects of tropical geometry. Using a category of semiring schemes, we construct tropical hypersurfaces as schemes over idempotent semirings such as =(&#x211D;&#x222A;{&#x2212;&#x221E;},max,+) by realizing them as solution sets to explicit systems of tropical equations that are uniquely determined by idempotent module theory. We then define a tropicalization functor that sends closed subschemes of a toric variety over a ring R with non-archimedean valuation to closed subschemes of the corresponding tropical toric variety. Upon passing to the set of -points this reduces to Kajiwara-Payne's extended tropicalization, and in the case of a projective hypersurface we show that the scheme structure determines the multiplicities attached to the top-dimensional cells. By varying the valuation, these tropicalizations form algebraic families of -schemes parameterized by a moduli space of valuations on R that we construct. For projective subschemes, the Hilbert polynomial is preserved by tropicalization, regardless of the valuation. We conclude with some examples and a discussion of tropical bases in the scheme-theoretic setting.</abstract><type>Journal Article</type><journal>Duke Mathematical Journal</journal><volume>165</volume><journalNumber>18</journalNumber><paginationStart>3379</paginationStart><paginationEnd>3433</paginationEnd><publisher>Duke University Press</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>0012-7094</issnPrint><issnElectronic/><keywords/><publishedDay>1</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2016</publishedYear><publishedDate>2016-12-01</publishedDate><doi>10.1215/00127094-3645544</doi><url>http://dx.doi.org/10.1215/00127094-3645544</url><notes>Pre-print version available via http://arxiv.org/abs/1308.0042</notes><college>COLLEGE NANME</college><department>Science and Engineering - Faculty</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>FGSEN</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2021-01-06T16:34:28.3349318</lastEdited><Created>2016-02-19T21:06:09.9277727</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Mathematics</level></path><authors><author><firstname>Jeffrey</firstname><surname>Giansiracusa</surname><order>1</order></author><author><firstname>Noah</firstname><surname>Giansiracusa</surname><order>2</order></author></authors><documents><document><filename>0026475-19022016210956.pdf</filename><originalFilename>JG-NG-tropical.pdf</originalFilename><uploaded>2016-02-19T21:09:56.6600000</uploaded><type>Output</type><contentLength>317851</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2016-02-19T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2021-01-06T16:34:28.3349318 v2 26475 2016-02-19 Equations of tropical varieties 03c4f93e1b94af60eb0c18c892b0c1d9 Jeffrey Giansiracusa Jeffrey Giansiracusa true false 2016-02-19 FGSEN We introduce a scheme-theoretic enrichment of the principal objects of tropical geometry. Using a category of semiring schemes, we construct tropical hypersurfaces as schemes over idempotent semirings such as =(ℝ∪{−∞},max,+) by realizing them as solution sets to explicit systems of tropical equations that are uniquely determined by idempotent module theory. We then define a tropicalization functor that sends closed subschemes of a toric variety over a ring R with non-archimedean valuation to closed subschemes of the corresponding tropical toric variety. Upon passing to the set of -points this reduces to Kajiwara-Payne's extended tropicalization, and in the case of a projective hypersurface we show that the scheme structure determines the multiplicities attached to the top-dimensional cells. By varying the valuation, these tropicalizations form algebraic families of -schemes parameterized by a moduli space of valuations on R that we construct. For projective subschemes, the Hilbert polynomial is preserved by tropicalization, regardless of the valuation. We conclude with some examples and a discussion of tropical bases in the scheme-theoretic setting. Journal Article Duke Mathematical Journal 165 18 3379 3433 Duke University Press 0012-7094 1 12 2016 2016-12-01 10.1215/00127094-3645544 http://dx.doi.org/10.1215/00127094-3645544 Pre-print version available via http://arxiv.org/abs/1308.0042 COLLEGE NANME Science and Engineering - Faculty COLLEGE CODE FGSEN Swansea University 2021-01-06T16:34:28.3349318 2016-02-19T21:06:09.9277727 Faculty of Science and Engineering School of Mathematics and Computer Science - Mathematics Jeffrey Giansiracusa 1 Noah Giansiracusa 2 0026475-19022016210956.pdf JG-NG-tropical.pdf 2016-02-19T21:09:56.6600000 Output 317851 application/pdf Accepted Manuscript true 2016-02-19T00:00:00.0000000 true
title Equations of tropical varieties
spellingShingle Equations of tropical varieties
Jeffrey Giansiracusa
title_short Equations of tropical varieties
title_full Equations of tropical varieties
title_fullStr Equations of tropical varieties
title_full_unstemmed Equations of tropical varieties
title_sort Equations of tropical varieties
author_id_str_mv 03c4f93e1b94af60eb0c18c892b0c1d9
author_id_fullname_str_mv 03c4f93e1b94af60eb0c18c892b0c1d9_***_Jeffrey Giansiracusa
author Jeffrey Giansiracusa
author2 Jeffrey Giansiracusa
Noah Giansiracusa
format Journal article
container_title Duke Mathematical Journal
container_volume 165
container_issue 18
container_start_page 3379
publishDate 2016
institution Swansea University
issn 0012-7094
doi_str_mv 10.1215/00127094-3645544
publisher Duke University Press
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Mathematics{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Mathematics
url http://dx.doi.org/10.1215/00127094-3645544
document_store_str 1
active_str 0
description We introduce a scheme-theoretic enrichment of the principal objects of tropical geometry. Using a category of semiring schemes, we construct tropical hypersurfaces as schemes over idempotent semirings such as =(ℝ∪{−∞},max,+) by realizing them as solution sets to explicit systems of tropical equations that are uniquely determined by idempotent module theory. We then define a tropicalization functor that sends closed subschemes of a toric variety over a ring R with non-archimedean valuation to closed subschemes of the corresponding tropical toric variety. Upon passing to the set of -points this reduces to Kajiwara-Payne's extended tropicalization, and in the case of a projective hypersurface we show that the scheme structure determines the multiplicities attached to the top-dimensional cells. By varying the valuation, these tropicalizations form algebraic families of -schemes parameterized by a moduli space of valuations on R that we construct. For projective subschemes, the Hilbert polynomial is preserved by tropicalization, regardless of the valuation. We conclude with some examples and a discussion of tropical bases in the scheme-theoretic setting.
published_date 2016-12-01T03:31:46Z
_version_ 1763751290481934336
score 11.012678