Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
LatticePolytopes: A package for computations with lattice polytopes in Macaulay2
KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.). (Algebra and Geometry)
KTH, School of Engineering Sciences (SCI), Mathematics (Dept.), Mathematics (Div.).ORCID iD: 0000-0001-8893-5211
(English)Manuscript (preprint) (Other academic)
Abstract [en]

We introduce the package LatticePolytopes for Macaulay2. The package provides methods for computations related to Cayley structures, local positivity and smoothness for lattice polytopes.

Keyword [en]
Macaulay2, Lattice Polytopes, Toric Varieties, Local Positivity, Cayley Polytopes, Smoothness
National Category
Geometry Algebra and Logic
Research subject
Mathematics
Identifiers
URN: urn:nbn:se:kth:diva-176857OAI: oai:DiVA.org:kth-176857DiVA: diva2:868433
Funder
Swedish Research Council, 2014-4763Swedish Research Council, 2011-5599
Note

QS 2015

Available from: 2015-11-10 Created: 2015-11-10 Last updated: 2015-11-12Bibliographically approved
In thesis
1. Topics in Combinatorial Algebraic Geometry
Open this publication in new window or tab >>Topics in Combinatorial Algebraic Geometry
2015 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

This thesis consists of six papers in algebraic geometry –all of which have close connections to combinatorics. In Paper A we consider complete smooth toric embeddings X ↪ P^N such that for a fixed positive integer k the t-th osculating space at every point has maximal dimension if and only if t ≤ k. Our main result is that this assumption is equivalent to that X ↪ P^N is associated to a Cayley polytope of order k having every edge of length at least k. This result generalizes an earlier characterisation by David Perkinson. In addition we prove that the above assumptions are equivalent to requiring that the Seshadri constant is exactly k at every point of X, generalizing a result of Atsushi Ito. In Paper B we introduce H-constants that measure the negativity of curves on blow-ups of surfaces. We relate these constants to the bounded negativity conjecture. Moreover we provide bounds on H-constants when restricting to curves which are a union of lines in the real or complex projective plane. In Paper C we study Gauss maps of order k for k > 1, which maps a point on a variety to its k-th osculating space at that point. Our main result is that as in the case k = 1, the higher order Gauss maps are finite on smooth varieties whose k-th osculating space is full-dimensional everywhere. Furthermore we provide convex geometric descriptions of these maps in the toric setting. In Paper D we classify fat point schemes on Hirzebruch surfaces whose initial sequence are of maximal or close to maximal length. The initial degree and initial sequence of such schemes are closely related to the famous Nagata conjecture. In Paper E we introduce the package LatticePolytopes for Macaulay2. The package extends the functionality of Macaulay2 for compuations in toric geometry and convex geometry. In Paper F we compute the Seshadri constant at a general point on smooth toric surfaces satisfying certain convex geometric assumptions on the associated polygons. Our computations relate the Seshadri constant at the general point with the jet seperation and unnormalised spectral values of the surfaces at hand. 

Abstract [sv]

Den här avhandlingen utgörs av sex artiklar inom algebraisk geometri som är nära kopplade till kombinatorik. I artikel A betraktar vi kompletta inbäddningar av glatta toriska variteter X ↪ PN sådana att för något fixt heltal k är det t-te oskulerande rummet i varje punkt av maximal dimension om och endast om t ≤ k. Vårt huvudresultat är att detta antagande är ekvivalent med att den polytop som motsvarar inbäddningen är en Cayleypolytop av ordning k, vars samtliga kanter har längd åtminstonde k. Detta resultat generaliserar en tidigare känd karaktärisering av David Perkinson. Vi visar även att ovanstående antagande är ekvivalent med antagandet att Seshadri- konstanten är lika med k i varje punkt i X. Därmed generaliserar vårt resultat ett tidigare resultat av Atsushi Ito. I artikel B introducerar vi H-konstanter, vilka mäter negativiteten av kurvor på uppblåsningar av ytor. Vi relaterar dessa konstanter till den begränsade negativitetsförmodan. Vidare erhåller vi begränsningar för konstanterna när vi enbart betraktar unioner av linjer i det reella och komplexa projektiva planet. I artikel C studerar vi Gaussavbildningen av ordning k, för k > 1, som avbildar en punkt i en varitet på det k-te oskulerande rummet i samma punkt. Vårt huvudresultat är att, i likhet med fallet k = 1, är dessa högre ordningens Gaussavbildningar ändliga på glatta variteter vars k-te oskulerande rum är fulldimensionellt överallt. Vidare ger vi konvexgeometriska beskrivningar av dessa avbildningar för toriska variteter. I artikel D klassificerar vi scheman av tjocka punkter på Hirzebruchytor vars initalsekvenser är av maximal eller nära maximal längd. Intitialgraden och initialsekvensen för sådana scheman är nära relaterade till den välkända Nagata- förmodan. I artikel E introducerar vi paketet LatticePolytopes till Macaulay2. Detta paket utökar funktionaliteten i Macaulay2 för beräkningar inom torisk och konvex geometri. I artikel F beräknar vi Seshadrikonstanten i generella punkter på glatta toriska ytor som uppfyller vissa konvexgeometriska villkor på de associerade polygonerna. Våra beräkningar koppplar samman Seshadrikonstanten i en generell punkt med jetsepareringen och det icke-normaliserade spektralvärdet hos ytorna. 

Place, publisher, year, edition, pages
Stockholm: KTH Royal Institute of Technology, 2015. vii, 25 p.
Series
TRITA-MAT-A, 2015:11
National Category
Mathematics
Research subject
Mathematics
Identifiers
urn:nbn:se:kth:diva-176878 (URN)978-91-7595-734-0 (ISBN)
Public defence
2015-12-04, Kollegiesalen, Brinellvägen 8, KTH, Stockholm, 09:00 (English)
Opponent
Supervisors
Funder
Swedish Research Council, 2010-5563Swedish Research Council, 2014-4763
Note

QC 20151112

Available from: 2015-11-12 Created: 2015-11-10 Last updated: 2016-12-15Bibliographically approved

Open Access in DiVA

No full text

Other links

http://arxiv.org/abs/1511.02685

Authority records BETA

Sædén Ståhl, Gustav

Search in DiVA

By author/editor
Lundman, AndersSædén Ståhl, Gustav
By organisation
Mathematics (Div.)
GeometryAlgebra and Logic

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 52 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf