Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma

Benutzer


products/Sources/formale Sprachen/GAP/pkg/toric/doc/ (GAP Algebra Version 4.15.1^©) Datei vom 4.6.2024 mit Größe 21 kB

Quelle chap1_mj.html Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/toric/doc/chap1_mj.html

<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<script type="text/javascript"
 src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (toric) - Chapter 1: Introduction</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap1" onload="jscontent()">

<div class="chlinktop">Goto Chapter: <a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap0_mj.html">[Previous Chapter]</a> <a href="chap2_mj.html">[Next Chapter]</a> </div>

<a href="chap1.html">[MathJax off]</a>
<a id="X7DFB63A97E67C0A1" name="X7DFB63A97E67C0A1"></a>
<div class="ChapSects"><a href="chap1_mj.html#X7DFB63A97E67C0A1">1 Introduction</a>
<div class="ContSect"> <a href="chap1_mj.html#X7A77DB9F7E392A98">1.1 Introduction to the toric package</a>

</div>
<div class="ContSect"> <a href="chap1_mj.html#X7C4637B9828E445B">1.2 Introduction to constructing toric varieties</a>

<div class="ContSSBlock">
 <a href="chap1_mj.html#X7AF8D94A7E56C049">1.2-1 Generalities</a>

 <a href="chap1_mj.html#X7A87B1F97D958BA9">1.2-2 Basic combinatorial geometry constructions</a>

 <a href="chap1_mj.html#X857707BA7D2336A0">1.2-3 Basic affine toric variety constructions</a>

 <a href="chap1_mj.html#X86627F4181E72808">1.2-4 Riemann-Roch spaces and related constructions</a>

</div></div>
</div>

<h3>1 Introduction</h3>

<a id="X7A77DB9F7E392A98" name="X7A77DB9F7E392A98"></a>

<h4>1.1 Introduction to the toric package</h4>

This manual describes the toric package for working with toric varieties in GAP. Toric varieties can be dealt with more easily than general varieties since often times questions about a toric variety can be reformulated in terms of combinatorial geometry. Some coding theory commands related to toric varieties are contained in the error-correcting codes GUAVA package (for example, the command <code class="code">ToricCode</code>). We refer to the GUAVA manual <a href="chapBib_mj.html#biBGua05">[FJT+09]</a> and the expository paper <a href="chapBib_mj.html#biBJV02">[JV02]</a> for more details.

The toric package also contains several commands unrelated to toric varieties (mostly for list manipulations). These will not be described in this documention but they are briefly documented in the <code class="code">lib/util.gd</code> file.

toric is implemented in the GAP language, and runs on any system supporting GAP4.3 and above. The toric package is loaded with the command

<pre class="normal">
gap> LoadPackage( "toric" );
</pre>

Please send bug reports, suggestions and other comments about toric to <a href="mailto:support@gap-system.org">support@gap-system.org</a>.

<a id="X7C4637B9828E445B" name="X7C4637B9828E445B"></a>

<h4>1.2 Introduction to constructing toric varieties</h4>

Rather than sketch the theory of toric varieties, we refer to <a href="chapBib_mj.html#biBJV02">[JV02]</a> and <a href="chapBib_mj.html#biBF93">[Ful93]</a> for details. However, we briefly describe some terminology and notation.

<a id="X7AF8D94A7E56C049" name="X7AF8D94A7E56C049"></a>

<h5>1.2-1 Generalities</h5>

Let $F$ denote a field and $R=F [x_1,...,x_n]$ be a ring in $n$ variables. A binomial equation in $R$ is one of the form

\[
x_1^{k_1}...x_n^{k_n}=x_1^{\ell_1}...x_n^{\ell_n},
\]

where $k_i \geq 0,\ \ell_j \geq 0$ are integers. A binomial variety is a subvariety of affine $n$-space $A_F^n$ defined by a finite set of binomial equations (such a variety need not be normal). A typical ``toric variety'' is binomial, though they will be introduced via an a priori independent construction. The basic idea of the construction is to replace each such binomial equation as above by a relation in a semigroup contained in a lattice and replace $R$ by the ``group algebra'' of this semigroup. By the way, a toric variety is always normal (see for example, <a href="chapBib_mj.html#biBF93">[Ful93]</a>, page 29).

<a id="X7A87B1F97D958BA9" name="X7A87B1F97D958BA9"></a>

<h5>1.2-2 Basic combinatorial geometry constructions</h5>

Let $Q$ denote the field of rational numbers and $Z$ denote the set of integers. Let $n>1$ denote an integer.

Let $V=Q^n$ having basis $f_1=(1,0,...,0)$, ..., $f_n=(0,...,0,1)$. Let $L_0=Z^n\subset V$ be the standard lattice in $V$. We identify $V$ and $L_0\otimes_{Z} Q$. We use $\langle\ ,\ \rangle$ to denote the (standard) inner product on $V$. Let

\[
L_0^*={\rm Hom}(L_0,Z)=\{ v\in V\ |\ \langle v,w \rangle \in Z,
\ \forall w\in L_0\}
\]

denote the dual lattice, so (fixing the standard basis $e_1^*$,...,$e_n^*$ dual to the $f_1$,...,$f_n$) $L_0^*$ may be identified with $Z^n$.

A cone in $V$ is a set $\sigma$ of the form

\[
\sigma=\{a_1v_1+...+a_mv_m\ |\ a_i\geq 0\}\subset V,
\]

where $v_1,...,v_m \in V$ is a given collection of vectors, called (semigroup) generators of $\sigma$. A rational cone is one where $v_1,...,v_m \in L_0$. A strongly convex cone is one which contains no lines through the origin.

 By abuse of terminology, from now on a cone of $L_0$ is a strongly convex rational cone. 

A face of a cone $\sigma$ is either $\sigma$ itself or a subset of the form $H\cap \sigma$, where $H$ is a codimension one subspace of $V$ which intersects the cone non-trivially and such that the cone is contained in exactly one of the two half-spaces determined by $H$. A ray (or edge) of a cone is a one-dimensional face. Typically, cones are represented in toric by the list of vectors defining their rays. The dimension of a cone is the dimension of the vector space it spans. The toric package can test if a given vector is in a given cone (see <code class="code">InsideCone</code>).

If $\sigma$ is a cone then the dual cone is defined by

\[
\sigma^* =\{w \in L_0^*\otimes Q
\ |\ \langle v,w \rangle \geq 0,\ \forall v\in \sigma\}.
\]

The toric package can test if a vector is in the dual of a given cone (see <code class="code">InDualCone</code>).

Associate to the dual cone $\sigma^*$ is the semigroup

\[
S_\sigma =\sigma^*\cap L_0^*
=\{w\in L_0^*
\ |\ \langle v,w\rangle \geq 0,\
\forall v\in \sigma\}.
\]

Though $L_0^*$ has $n$ generators as a lattice, typically $S_\sigma$ will have more than $n$ generators as a semigroup. The toric package can compute a minimal list of semigroup generators of $S_\sigma$ (see <code class="code">DualSemigroupGenerators</code>).

A fan is a collection of cones which ``fit together'' well. A fan in $L_0$ is a set $\Delta=\{\sigma \}$ of rational strongly convex cones in $V= L_0 \otimes Q$ such that

<ul>
<li>if $\sigma \in \Delta$ and $\tau \subset \sigma$ is a face of $\sigma$ then $\tau \in \Delta$,

</li>
<li>if $\sigma_1, \sigma_2 \in \Delta$ then the intersection $\sigma_1 \cap \sigma_2$ is a face of both $\sigma_1$ and $\sigma_2$ (and hence belongs to $\Delta$).

</li>
</ul>
In particular, the face of a cone in a fan is a cone is the fan.

If $V$ is the (set-theoretic) union of the cones in $\Delta$ then we call the fan complete. We shall assume that all fans are finite. A fan is determined by its list of maximal cones.

Notation: A fan $\Delta$ is represented in toric as a set of maximal cones. For example, if $\Delta$ is the fan with maximal cones $\sigma_1=Q_+\cdot f_1+Q_+\cdot (-f_1+f_2)$, $\sigma_2=Q_+\cdot (-f_1+f_2)+Q_+\cdot (-f_1-f_2)$, $\sigma_3=Q_+\cdot (-f_1-f_2)+Q_+\cdot f_1$, then $\Delta$ is represented by $[[[1,0],[-1,1]],[[-1,1],[-1,-1]],[[-1,-1],[1,0]]]$.

The toric package can compute all cones in a fan of a given dimension (see <code class="code">ConesOfFan</code>). Moreover, toric can compute the set of all normal vectors to the faces (i.e., hyperplanes) of a cone (see <code class="code">Faces</code>).

The star of a cone $\sigma$ in a fan $\Delta$ is the set $\Delta_\sigma$ of cones in $\Delta$ containing $\sigma$ as a face. The toric package can compute stars (see <code class="code">ToricStar</code>).

<a id="X857707BA7D2336A0" name="X857707BA7D2336A0"></a>

<h5>1.2-3 Basic affine toric variety constructions</h5>

Let

\[
R_\sigma = F [S_\sigma]
\]

denote the ``group algebra'' of this semigroup. It is a finitely generated commutative F-algebra. It is in fact integrally closed (<a href="chapBib_mj.html#biBF93">[Ful93]</a>, page 29). We may interprete $R_\sigma$ as a subring of $R=F [x_1,...,x_n]$ as follows: First, identify each $e_i^*$ with the variable $x_i$. If $S_\sigma$ is generated as a semigroup by vectors of the form $\ell_1 e_1^*+...+\ell_n e_n^*$, where $\ell_i$ is an integer, then its image in $R$ is generated by monomials of the form $x_1^{\ell_1}\dots x_n^{\ell_n}$. The toric package can compute these generating monomials (see <code class="code">EmbeddingAffineToricVariety</code>). See Lemma 2.14 in <a href="chapBib_mj.html#biBJV02">[JV02]</a> for more details. This embedding can also be used to resolve singularities - see section 5 of <a href="chapBib_mj.html#biBJV02">[JV02]</a> for more details.

Let

\[
U_\sigma={\rm Spec}\ R_\sigma.
\]

This defines an affine toric variety (associated to $\sigma$). It is known that the coordinate ring $R_\sigma$ of the affine toric variety $U_\sigma$ has the form $R_\sigma = F[x_1,...,x_n]/J$, where $J$ is an ideal. The toric package can compute generators of this ideal by using the <code class="code">DualSemigroupGenerators</code> and the <code class="code">EmbeddingAffineToricVariety</code> commands.

Roughly speaking, the toric variety $X(\Delta)$ associated to the fan $\Delta$ is given by a collection of affine pieces $U_{\sigma_1},U_{\sigma_2},\dots,U_{\sigma_d}$ which ``glue'' together (where $\Delta = \{\sigma_i\}$). The affine pieces are given by the zero sets of polynomial equations in some affine spaces and the gluings are given by maps $\phi_{i,j} : U_{\sigma_i} \rightarrow U_{\sigma_j}$ which are defined by ratios of polynomials on open subsets of the $U_{\sigma_i}$. The toric package does not compute these gluings or work directly with these (non-affine) varieties $X(\Delta)$.

A cone $\sigma \subset V$ is said to be nonsingular if it is generated by part of a basis for the lattice $L_0$. A fan $\Delta$ of cones is said to be nonsingular if all its cones are nonsingular. It is known that $U_\sigma$ is nonsingular if and only if $\sigma$ is nonsingular (Proposition 2.1 in <a href="chapBib_mj.html#biBF93">[Ful93]</a>).

Example: In three dimensions, consider the cones $\sigma_{\epsilon_1,\epsilon_2,\epsilon_3,i,j}$ generated by $(\epsilon_1\cdot 1,\epsilon_2\cdot 1,\epsilon_3\cdot 1)$ and the standard basis vectors $f_i,f_j$, where $\epsilon_i=\pm 1$ and $1\leq i\not= j\leq 3$. There are 8 cones per octant, for a total of 64 cones. Let $\Delta$ denote the fan in $V=Q^3$ determined by these maximal cones. The toric variety $X(\Delta)$ is nonsingular.

<a id="X86627F4181E72808" name="X86627F4181E72808"></a>

<h5>1.2-4 Riemann-Roch spaces and related constructions</h5>

Although the toric package does not work directly with the toric varieties $X(\Delta)$, it can compute objects associated with it. For example, it can compute the Euler characteristic (see <code class="code">EulerCharacteristic</code>), Betti numbers (see <code class="code">BettiNumberToric</code>), and the number of GF(q)-rational points (see <code class="code">CardinalityOfToricVariety</code>) of $X(\Delta)$, provided $\Delta$ is nonsingular.

For an algebraic variety $X$ the group of Weil divisors on $X$ is the abelian group $Div(X)$ generated (additively) by the irreducible subvarieties of X of codimension $1$. For a toric variety $X(\Delta)$ with dense open torus $T$, a Weil divisor D is T-invariant if $D=T\cdot D$. The group of $T$-invariant Weil divisors is denoted $TDiv(X)$. This is finitely generated by an explicitly given finite set of divisors $\{D_1,...,D_r\}$ which correspond naturally to certain cones in $\Delta$ (see <a href="chapBib_mj.html#biBF93">[Ful93]</a> for details). In particular, we may represent such a divisor $D$ in $TDiv(X)$ by an $k$-tuple $(d_1,...,d_k)$ of integers.

Let $\Delta$ denote a fan in $V=Q^n$ with rays (or edges) $\tau_i$, $1\leq i\leq k$, and let $v_i$ denote the first lattice point on $\tau_i$. Associated to the T-invariant Weil divisor $D=d_1D_1+...+d_kD_k$, is the polytope

\[
P_D = \{ x=(x_1,...,x_n)\ |\ \langle x,v_i \rangle \geq -d_i,
\ \forall 1 \leq i \leq k\}.
\]

The toric package can compute $P_D$ (see <code class="code">DivisorPolytope</code>), as well as the set of all lattice points contained in this polytope (see <code class="code">DivisorPolytopeLatticePoints</code>). Also associated to the $T$-invariant Weil divisor $D=d_1D_1+...+d_kD_k$, is the Riemann-Roch space, $L(D)$. This is a space of functions on $X(\Delta)$ whose zeros and poles are ``controlled'' by $D$ (for a more precise definition, see <a href="chapBib_mj.html#biBF93">[Ful93]</a>). The toric package can compute a basis for $L(D)$ (see <code class="code">RiemannRochBasis</code>), provided $\Delta$ is complete and nonsingular.

<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap0_mj.html">[Previous Chapter]</a> <a href="chap2_mj.html">[Next Chapter]</a> </div>

<div class="chlinkbot">Goto Chapter: <a href="chap0_mj.html">Top</a> <a href="chap1_mj.html">1</a> <a href="chap2_mj.html">2</a> <a href="chap3_mj.html">3</a> <a href="chap4_mj.html">4</a> <a href="chapBib_mj.html">Bib</a> <a href="chapInd_mj.html">Ind</a> </div>

<hr />
generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a>
</body>
</html>

Messung
C	H	Z	G
80	100	100	93

¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-11-03) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.