Felix' Math Place » number field http://math.fontein.de Focussed on, but not limited to Computational Number Theory Sat, 30 Jul 2011 12:35:49 +0000 en hourly 1 http://wordpress.org/?v=3.1 Rigorous Arithmetic in the Arakelov Divisor Class Group of a Number Field. http://math.fontein.de/2010/07/27/rigorous-arithmetic-in-the-arakelov-divisor-class-group-of-a-number-field/ http://math.fontein.de/2010/07/27/rigorous-arithmetic-in-the-arakelov-divisor-class-group-of-a-number-field/#comments Tue, 27 Jul 2010 09:50:37 +0000 Felix Fontein http://math.fontein.de/?p=778 This year at the IX. Algorithmic Number Theory Symphosium, held in Nancy, I had a poster in the poster session. You can see it here (click to see a larger version):

You can also get a PDF version here (9.1 MB).
The poster discusses how to effectively compute in the Arakelov divisor class group \Pic^0(K) of a number field K, which is assumed to be totally real in the current implementation described in the poster, but the same method works as long as there is at least one real embedding of K. In case K is totally imaginary, the only thing which gets more complicated is doing comparisms. The arithmetic uses f-representations as the main tool, i.e. it allows to compute in the infrastructure of K.

]]> http://math.fontein.de/2010/07/27/rigorous-arithmetic-in-the-arakelov-divisor-class-group-of-a-number-field/feed/ 1 Infrastructures and Global Fields. http://math.fontein.de/infrastructures/ http://math.fontein.de/infrastructures/#comments Thu, 23 Jul 2009 05:59:40 +0000 Felix Fontein http://math.fontein.de/?page_id=259 The following posts give an introduction to infrastructures and how to obtain these from global fields:

  1. The Discrete Logarithm Problem and Generalizations.
  2. One-dimensional Infrastructures.
  3. Interpreting One-dimensional Infrastructures as Groups: f-Representations.
  4. n-dimensional Infrastructures.
  5. How to Obtain Reduction Maps for n-dimensional Infrastructures.
  6. Obtaining Infrastructures from Global Fields.

See also my article on infrastructures at Wikipedia.

]]> http://math.fontein.de/infrastructures/feed/ 1 Obtaining Infrastructures from Global Fields. http://math.fontein.de/2009/07/21/obtaining-infrastructures-from-global-fields/ http://math.fontein.de/2009/07/21/obtaining-infrastructures-from-global-fields/#comments Tue, 21 Jul 2009 09:39:48 +0000 Felix Fontein http://math.fontein.de/?p=196 Basics on Global Fields.

Let K be a global field, i.e. an algebraic number field or an algebraic function field with a finite constant field. In the first case, let k^* be the roots of unity and k = k^* \cup \{ 0 \}. In the latter case, let k be the exact field of constants.

Let S = \{ \frakp_1, \dots, \frakp_{n+1} \} be the set of infinite places of K. If K is a number field, the elements of S correspond to embeddings of K into \C up to complex conjugation. Define q := \exp(1), and for \frakp \in S let \sigma : K \to \C be a corresponding embedding. Then define \nu_\frakp(f) := -\log \abs{\sigma(f)} for f \in K^* and \deg \frakp := 1 if \sigma(K) \subseteq \R, or \deg \frakp := 2 otherwise, and define \G_\frakp := \R. If K is a function field, let q := \abs{k}, i.e. k = \F_q; in this case, there exists an element x \in K \setminus k whose poles are exactly the elements of S, i.e. are the places of K lying above the infinite place of k(x). In all cases, S is finite and non-empty.

For a non-archimedean place \frakp of K, let \calO_\frakp be the valuation ring and \frakm_\frakp its maximal idea, and denote the discrete valuation by \nu_\frakp. Then set \deg \frakp := \log_q \abs{\calO_\frakp / \frakm_\frakp} and \abs{f}_\frakp := q^{-\nu_\frakp(f) \deg \frakp}, f \in K. Define \G_\frakp := \Z. In the number field case, let \G := \R, and otherwise \G := \Z.

Denote the set of places of K by \calP_K. The divisor group of K is \Div(K) := \coprod_{\frakp \in \calP} \G_\frakp, and for D = \sum_{\frakp \in \calP_K} n_\frakp \frakp define \deg D := \sum_{\frakp \in \calP_K} n_\frakp \deg \frakp. This is a homomorphism \deg : \Div(K) \to \G; denote its kernel by \Div^0(K). For f \in K^*, (f) := \sum_{\frakp \in \calP_K} \nu_\frakp(f) \frakp \in \Div^0(K) is a principal divisor; let the group of all these be denoted by \Princ(K). Then \Pic(K) := \Div(K) / \Princ(K) is the divisor class group of K and \Pic^0(K) := \Div^0(K) / \Princ(K) its degree zero part.

The support of a divisor D = \sum_{\frakp \in \calP_K} n_\frakp \frakp is the set \support(D) = \{ \frakp \in \calP_K \mid n_\frakp \neq 0 \}. Consider the subgroups \Div_{fin}(K) :={} & \{ D \in \Div(K) \mid \support(D) \cap S = \emptyset \} \\ \text{and} \qquad \Div_\infty(K) :={} & \{ D \in \Div(K) \mid \support(D) \subseteq S \}; then \Div(K) = \Div_{fin}(K) \oplus \Div_\infty(K). Moreover, let \Div_\infty^0(K) := \Div^0(K) \cap \Div_\infty(K). The set \calO := \calO_S := \{ f \in K \mid \nu_\frakp(f) \ge 0 \text{ for all } \frakp \in S \} is a Dedekind domain, whose maixmal ideals correspond to the places in \calP_K \setminus S. Moreover, the fractional ideal group \Id(\calO_S) is isomorphic to \Div_{fin}(K) by \divisor(\fraka) = \sum_{\frakp \not\in S} n_\frakp \frakp, in case \fraka = \prod_{\frakp \not\in S} (\frakm_\frakp \cap \calO_S)^{-n_\frakp}; the inverse is given by the restriction of Formula does not parse: \ideal : \Div(K) \to \Id(\calO_S), \sum n_\frakp \frakp \mapsto \prod_{\frakp \not\in S} (\frakm_\frakp \cap \calO_S)^{-n_\frakp} to \Div_{fin}(K). The group of fractional principal ideals \PId(\calO_S) equals Formula does not parse: \ideal(\Princ(K)). The quotient \Id(\calO_S) / \PId(\calO_S) is the ideal class group \Pic(\calO_S) of \calO_S. Putting all these things together, we get the following diagram with exact rows and columns: \displaystyle \xymatrix{ & 0 \ar[d] & 0 \ar[d] & 0 \ar[d] & \\ 0 \ar[r] & \calO_S^* / k^* \ar[r] \ar[d] & \Div^0_\infty(K) \ar[r] \ar[d] & T \ar[r] \ar[d] & 0 \\ 0 \ar[r] & K^* / k^* \ar[r] \ar[d] & \Div^0(K) \ar[r] \ar[d] & \Pic^0(K) \ar[r] \ar[d] & 0 \\ 0 \ar[r] & K^* / \calO_S^* \ar[r] \ar[d] & \Id(\calO_S) \ar[r] \ar[d] & \Pic(\calO_S) \ar[r] \ar[d] & 0 \\ & 0 & H \ar@{=}[r] \ar[d] & H \ar[d] & \\ & & 0 & 0 & } Here, T and H are essentially defined by the diagram, i.e. are the kernels and cokernels of the respective maps. In the number field case, H = 0, and in the function field case, H \cong (\deg \frakp \mid \frakp \in \calP_K) / (\deg \frakp \mid \frakp \in S).

A Geometry of Numbers in Global Fields.

Let \fraka \in \Id(\calO_S) and t_1, \dots, t_{n+1} \in \G. Define \displaystyle B(\fraka, (t_1, \dots, t_{n+1})) := \{ f \in \fraka \mid \forall i : \abs{f}_{\frakp_i} \le q^{t_i \deg \frakp_i} \}. If D := \divisor(\fraka) + \sum_{i=1}^{n+1} t_i \frakp_i \in \Div(K) and L(D) is the Riemann-Roch space of D, then L(D) = B(\fraka, (t_1, \dots, t_{n+1})). In particular, the set is finite and invariant under multiplication by elements of k; in case K is a function field, L(D) is a finite-dimensional k-vector space, whose dimension is described by the Riemann-Roch theorem. In the number field case, we can make statements on L(D) with Minkowski’s Lattice Point Theorem.

Consider the map \displaystyle \Psi : K^* \to \G^n, \quad f \mapsto (-\nu_{\frakp_1}(f), \dots, -\nu_{\frakp_n}(f)). Then \Lambda := \Psi(\calO^*) \cong \Z^n is a lattice by Dirichlet’s Unit Theorem, and \ker \Psi|_{\calO^*} = k^*. We get \calO^* \cong k^* \times \Z^n, and n is called the unit rank of \calO_S. This \Lambda will be the lattice for our n-dimensional infrastructure.

Reduced Ideals.

The elements of X will be principal reduced fractional ideals, modulo an equivalence relation. We begin by defining minima, which are similar to the ones introduced in the previous post for lattices.

Definition.
Let \fraka \in \Id(\calO_S) and \mu \in \fraka \setminus \{ 0 \}. We say that \mu is a minimum of \fraka if every f \in \fraka \setminus \{ 0 \} with \abs{f}_{\frakp_i} \le \abs{\mu}_{\frakp_i} for all i satisfies \abs{f}_{\frakp_i} = \abs{\mu}_{\frakp_i} for all i. Denote the set of all minima of \fraka by \calC(\fraka).

Using them, we can define reduced ideals:

Definition.
An ideal \fraka \in \Id(\calO_S) is said to be reduced if 1 \in \fraka is a minimum. Write \Red_S(K) for the set of all reduced ideals of \calO_S. For \frakb \in \Id(\calO_S) let \Red_S(\frakb) := \{ \fraka \in \Red_S(K) \mid \exists f \in K^* : f \fraka = \frakb \}.

The equivalence relation we need is defined by \displaystyle \fraka \sim_S \fraka' :\Leftrightarrow \exists f \in K^* : \fraka = f \fraka' \wedge \forall \frakp \in S : \abs{f}_\frakp = 1 for \fraka, \fraka' \in \Id(\calO_S). We then get the following results:

Theorem.
  1. We have that \Red_S(K) is a finite set.
  2. In case \deg \frakp = 1 for some \frakp \in S, we get \fraka \sim_S \fraka' for \fraka, \fraka' \in \Red(K) if, and only if, \fraka = \fraka'.
  3. We have that \calO^* acts on \calC(\fraka) by multiplication.
  4. The map \displaystyle \calC(\fraka) / \calO^* \to \Red(\fraka), \quad \mu \calO^* \mapsto \frac{1}{\mu} \fraka is a bijection.
  5. If \fraka \in \Red(K) and \frakb \in \Id(\calO) satisfies \fraka \sim_S \frakb, then \frakb \in \Red(\fraka).
□

The proofs of these and the following results or hints to the proofs can be found here. We next construct the map d:

Theorem (Infrastructure, Part I).
Fix an ideal \fraka \in \Id(\calO). Define X_\fraka := \Red(\fraka)/_{\sim_S} and define \displaystyle d_\fraka : X \to \G^n / \Lambda, \quad [\tfrac{1}{\mu} \fraka]_{\sim_S} \mapsto \Psi(\mu) + \Lambda. Then d_\fraka is well-defined and injective.
□

For a, a' \in K^*, write \displaystyle a \sim_S a' :\Longleftrightarrow \forall \frakp \in S : \abs{a}_\frakp = \abs{a'}_\frakp. Define \hat{X} := \calC(\fraka)/_{\sim_S} and \displaystyle \hat{d} : \hat{X} \to \G^n, \quad [\mu]_\sim \mapsto \Psi(\mu). Then (\hat{X}, \hat{d}) is the unrolled version of (X, d): if \pi : \G^n \to \G^n / \Lambda, x \mapsto x + \Lambda is the projection, and \psi : \hat{X} \to X, [\mu]_\sim \mapsto [\frac{1}{\mu} \fraka]_\sim, then the following diagram commutes: \displaystyle \xymatrix{ \hat{X} \ar[d]_{\psi} \ar[r]^{\hat{d}} & \G^n \ar[d]^{\pi} \\ X \ar[r]_{d} & \G^n/\Lambda } In particular, \hat{d}(\hat{X}) is the set \hat{X} from the previous post.

The Reduction Map, f-Representations, and the Infrastructure.

We proceed by defining f-representations, as giving these is equivalent to give a reduction map. Fix an ideal \fraka \in \Id(\calO_S).

First, define for f, f' \in K^* \displaystyle f \le_S f' :\Longleftrightarrow (\abs{f}_{\frakp_{n+1}}, \abs{f}_{\frakp_1}, \dots, \abs{f}_{\frakp_n}) \le_{\ell ex} (\abs{f'}_{\frakp_{n+1}}, \abs{f'}_{\frakp_1}, \dots, \abs{f'}_{\frakp_n}), where \le_{\ell ex} is the lexicographic order on \R^{n+1}.

Definition.
A tuple ([\frakb]_{\sim_S}, (t_1, \dots, t_n)) \in \Red_S(\fraka)/_{\sim_S} \times \G^n is said to be an f-representation if 1 is a smallest element of \displaystyle B(\frakb, (t_1, \dots, t_n, 0)) \setminus \{ 0 \} with respect to \le. Denote the set of all f-representations by \fRep(\fraka).

One quickly sees that this is well-defined. We have two auxilliary results:

Lemma (Uniqueness).
Let A = ([\frakb]_{\sim_S}, (t_1, \dots, t_n)) \in \fRep(\fraka) and f \in K^* such that \displaystyle B = ([\tfrac{1}{f} \frakb]_{\sim_S}, (t_1 + \nu_{\frakp_1}(f), \dots, t_n + \nu_{\frakp_n}(f))) \in \fRep(\fraka). Then \abs{f}_\frakp = 1 for all \frakp \in S, i.e. A = B.
□
Lemma (Reduction).
Let v = (v_1, \dots, v_n) \in \G^n. Then there exists a smallest \ell \in \G such that B_\ell := B(\fraka, (v_1, \dots, v_n, \ell)) \setminus \{ 0 \} \neq \emptyset. If \mu is minimal with respect to \le in that B_\ell, then \displaystyle ([\tfrac{1}{\mu} \fraka]_{\sim_S}, (v_1 + \nu_{\frakp_1}(\mu), \dots, v_n + \nu_{\frakp_n}(\mu))) \in \fRep(\fraka) and \Phi(\mu) + (v_1 + \nu_{\frakp_1}(\mu), \dots, v_n + \nu_{\frakp_n}(\mu)) + \Lambda = v + \Lambda.
□

From that, we get the following result:

Theorem (Infrastructure, Part II).
Let \fraka \in \Id(\calO). Then the map \Phi :{} & \fRep(\fraka) \to \G^n / \Lambda \\ & ([\tfrac{1}{\mu} \fraka]_{\sim_S}, (t_1, \dots, t_n)) \mapsto \Psi(\mu) + (t_1, \dots, t_n) + \Lambda is a bijection.
□

This allows to equip \fRep(\fraka) with a group operation. We will see that the group operation of \fRep(\calO_S) can be described in a very explicit form. This extends to a broader interpretation of the infrastructure, whence we will do this in the next section.

Before ending this section, we want to state a result which shows that f-representations are small.

Theorem.
Let ([\frakb]_{\sim_S}, (t_1, \dots, t_n)) \in \fRep(\fraka), then \divisor(\frakb) \ge 0, t_i \ge 0 for all i and \displaystyle \deg \divisor(\fraka) + \sum_{i=1}^n t_i \deg \frakp_i \le \kappa, where \displaystyle \kappa := \begin{cases} g + \deg \frakp_{n+1} - 1 & \text{if } K \text{ is a function field} \\ s \log \tfrac{2}{\pi} + \tfrac{1}{2} \log \abs{\Delta} & \text{if } K \text{ is a number field;} \end{cases} here, g is the genus of K in case K is a function field, and in case K is a number field, s denotes the number of places of degree two and \Delta is the discriminant of \calO_S.
□

Therefore, f-representations are small.

The Infrastructure and the Divisor Class Group.

Assume for a moment that \deg \frakp_{n+1} = 1, or that K is a number field. Then we have a short exact sequence \displaystyle \xymatrix{ 0 \ar[r] & T \ar[r] & \Pic^0(K) \ar[r] & \Pic(\calO_S) \ar[r] & 0, } and T \cong \G^n / \Lambda \cong \fRep(\fraka). This means that the divisor class group \Pic^0(K) is covered by copies of \G^n/\Lambda, where the copies are indexed by the elements of the divisor class group. If \fraka and \fraka' are in the same ideal class, X_\fraka and X_{\fraka'} differ by a translation, i.e. they give essentially the same infrastructure; in fact, \fRep(\fraka) = \fRep(\fraka'). Hence, one could get the idea to cover \Pic^0(K) by \fRep(\fraka), where \fraka ranges over the distinct ideal classes, i.e. by \fRep(K) := \bigcup_{\fraka \in \Id(\calO_S)} \fRep(\fraka). It turns out that this is indeed the case, and the arithmetic on \fRep(\calO_S) and \Pic^0(K) turn out to be the same under the bijection we get.

In case K is a function field and \deg \frakp_{n+1} > 1, we have T \not\cong \G^n / \Lambda in general (this is the case if, and only if, \deg \frakp_{n+1} = \gcd(\deg \frakp_1, \dots, \frakp_n, \frakp_{n+1})), and \Pic^0(K) \to \Pic(\calO_S) does not needs to be surjective. It would be nice to change the above sequence to \displaystyle \xymatrix{ 0 \ar[r] & \G^n/\Lambda \ar[r] & \Pic^0(K) \ar[r] & \Pic(\calO_S) \ar[r] & 0 } in any case, but this is not possible with \Pic^0(K) as it is; we have to replace it by something bigger. It turns out that the right replacement is \Pic(K) / \ggen{[\frakp_{n+1}]}, which is canonically isomorphic to \Pic^0(K) in case \deg \frakp_{n+1} = \gcd(\deg \frakp \mid \frakp \in \calP_K). We then get the diagram \displaystyle \xymatrix{ 0 \ar[r] & T \ar[r] \ar@{^(->}[d] & \Pic^0(K) \ar@{^(->}[d] \ar[r] & \Pic(\calO_S) \ar@{=}[d] & \\ 0 \ar[r] & \G^n/\Lambda \ar[r] & \Pic(K) / \ggen{[\frakp_{n+1}]} \ar[r] & \Pic(\calO_K) \ar[r] & 0 } with exact rows.

The complete result is stated in the following theorem:

Theorem (Infrastructure, Part III).
  1. Let K be a number field. Then the map \Phi :{} & \fRep(K) \to \Pic^0(K), \\ & ([\frakb]_{\sim_S}, (t_1, \dots, t_n)) \mapsto \biggl[ \divisor(\frakb) + \sum_{i=1}^n t_i \frakp_i - \frac{\dots}{\deg \frakp_{n+1}} \frakp_{n+1} \biggr], where \dots equals \deg \divisor(\frakb) + \sum_{i=1}^n t_i \deg \frakp_i, is a bijection.
  2. Let K be a function field. Then the map \Phi :{} & \fRep(K) \to \Pic(K) / \ggen{[\frakp_{n+1}]}, \\ & ([\frakb]_{\sim_S}, (t_1, \dots, t_n)) \mapsto \biggl[ \divisor(\frakb) + \sum_{i=1}^n t_i \frakp_i \biggr] + \ggen{[\frakp_{n+1}]} is a bijection.
Moreover, \Phi|_{\fRep(\calO_S)} is a group homomorphism, where the group structure on \fRep(\calO_S) is the one induced by the bijection \fRep(\calO_S) \to \G^n/\Lambda.
□

Finally, we explicitly describe the group operation induced by this bijection on \fRep(K) without using the bijection itself.

Theorem.
Let \Phi be the bijection from the previous theorem, and let A = ([\fraka]_{\sim_S}, (t_1, \dots, t_n)), A' = ([\fraka']_{\sim_S}, (t'_1, \dots, t'_n)) \in \fRep(K).
  1. Set B_\ell := B(\fraka \fraka', (t_1 + t'_1, \dots, t_n + t'_n, \ell)) \setminus \{ 0 \} for \ell \in \G. There exists a minimal \ell with B_\ell \neq \emptyset, and if \mu is a smallest element of B_\ell with respect to \le, we get \displaystyle B := ([\tfrac{1}{\mu} \fraka \fraka']_{\sim_S}, (t_i + t'_i + \nu_{\frakp_i}(\mu))_{i=1,\dots,n}) \in \fRep(K) with \Phi(A) + \Phi(A') = \Phi(B).
  2. Set B_\ell := B(\fraka^{-1}, (-t_1, \dots, -t_n, \ell)) \setminus \{ 0 \} for \ell \in \G. There exists a minimal \ell with B_\ell \neq \emptyset, and if \mu is a smallest element of B_\ell with respect to \le, we get \displaystyle C := ([\tfrac{1}{\mu} \fraka^{-1}]_{\sim_S}, (-t_i + \nu_{\frakp_i}(\mu))_{i=1,\dots,n}) \in \fRep(K) with -\Phi(A) = \Phi(C).

This shows that the n-dimensional infrastructure we defined has a very close connection to the arithmetic of the divisor class group. This connection was first shown for real hyperelliptic curves by H.-G. Rück and S. Paulus, “Real and Imaginary Quadratic Representations of Hyperelliptic Function Fields”. The first relation between the infrastructure of number fields and the Arakelov divisor class group was described by R. Schoof in his paper Computing Arakelov class groups.

What about… Baby Steps?

As I mentioned, there is no known construction for baby steps in general n-dimensional infrastructures, but there exists a construction for infrastructures obtained from global fields. I want to describe this construction here.

For i \in \{ 1, \dots, n + 1 \} and \fraka \in \Red(K), consider \displaystyle B_\ell := \biggl\{ f \in \fraka \;\biggm|\begin{matrix} \abs{f}_{\frakp_j} \le 1 \text{ for all } j \neq i, \\ \exists j' : \abs{f}_{\frakp_{j'}} < 1, \; \abs{f}_{\frakp_i} \le \ell \end{matrix} \biggr\} \setminus \{ 0 \} for \ell > 0. There exists a minimal \ell such that B_\ell \neq \emptyset. In case \deg \frakp_i = 1, B_\ell contains exactly one k^*-orbit, which gives a unique element \mu \in B_\ell. Otherwise, one has to add an order (lexicographic order as \le above) to chose an element. In any case, define \bs_i([\fraka]_{\sim_S}) := [\frac{1}{\mu} \fraka]_{\sim_S}; then this gives a function \Red(K) \to \Red(K) resp. \Red(\frakb) \to \Red(\frakb) for any \frakb \in \Id(\calO). Opposed to the one-dimensional case, this function neither has to be injective nor surjective, as examples below will show.

We begin with a “small” example: the infrastructure (X_{\calO_S}, d_{\calO_S}) of the function field defined by y^3 = x^6 + x^5 + x^4 + 4 x^2 over \F_7. The red arrows show \bs_1, the blue arrows \bs_2 and the green arrows \bs_3. The small black circles denote usual minima, the larger black circles denote elements of \Lambda, and the shaded areas denote translates of an fundamental parallelepiped of \Lambda:

\setlength{\unitlength}{12cm}\psset{unit=12cm}\begin{picture}(1,1)(0,0)\put(0,0){\white\line(1,0){0.001}}\put(1,1){\white\line(-1,0){0.001}}\put(0,0){\begin{pspicture}(0,0)(1,1) \begin{psclip}{\psframe[linestyle=none](0,0)(1,1)} \pspolygon[linewidth=0pt,fillstyle=solid,fillcolor=lightgray,linecolor=white](0.712334, 1.783083)(0.342881, 1.536781)(0.589183, 0.921026)(0.958636, 1.167328) \pspolygon[linewidth=0pt,fillstyle=solid,fillcolor=lightgray,linecolor=white](-0.026571, 1.290479)(-0.396024, 1.044177)(-0.149722, 0.428423)(0.219731, 0.674724) \pspolygon[linewidth=0pt,fillstyle=solid,fillcolor=lightgray,linecolor=white](0.589183, 0.921026)(0.219731, 0.674724)(0.466032, 0.058970)(0.835485, 0.305272) \pspolygon[linewidth=0pt,fillstyle=solid,fillcolor=lightgray,linecolor=white](-0.149722, 0.428423)(-0.519175, 0.182121)(-0.272873, -0.433634)(0.096580, -0.187332) \pspolygon[linewidth=0pt,fillstyle=solid,fillcolor=lightgray,linecolor=white](1.204938, 0.551573)(0.835485, 0.305272)(1.081787, -0.310483)(1.451240, -0.064181) \pspolygon[linewidth=0pt,fillstyle=solid,fillcolor=lightgray,linecolor=white](0.466032, 0.058970)(0.096580, -0.187332)(0.342881, -0.803087)(0.712334, -0.556785) \psline[linewidth=0.333pt,linecolor=darkgray](0.557594, 1.000000)(0.589183, 0.921026) \psline[linewidth=0.333pt,linecolor=darkgray](0.089620, 1.000000)(0.219731, 0.674724) \psline[linewidth=0.333pt,linecolor=darkgray](0.707644, 1.000000)(0.589183, 0.921026) \psline[linewidth=0.333pt,linecolor=darkgray](0.589183, 0.921026)(0.835485, 0.305272) \psline[linewidth=0.333pt,linecolor=darkgray](0.589183, 0.921026)(0.219731, 0.674724) \psline[linewidth=0.333pt,linecolor=darkgray](0.219731, 0.674724)(0.466032, 0.058970) \psline[linewidth=0.333pt,linecolor=darkgray](0.219731, 0.674724)(0.000000, 0.528237) \psline[linewidth=0.333pt,linecolor=darkgray](0.000000, 0.054117)(0.021647, 0.000000) \psline[linewidth=0.333pt,linecolor=darkgray](1.000000, 0.414948)(0.835485, 0.305272) \psline[linewidth=0.333pt,linecolor=darkgray](0.835485, 0.305272)(0.957594, 0.000000) \psline[linewidth=0.333pt,linecolor=darkgray](0.835485, 0.305272)(0.466032, 0.058970) \psline[linewidth=0.333pt,linecolor=darkgray](0.466032, 0.058970)(0.489620, 0.000000) \psline[linewidth=0.333pt,linecolor=darkgray](0.466032, 0.058970)(0.377578, 0.000000) \pscircle(0.466032, 0.921026){0.01} \pscircle(0.096580, 0.674724){0.01} \pscircle(0.096580, 0.921026){0.01} \pscircle(0.712334, 0.674724){0.01} \pscircle(0.712334, 0.797875){0.01} \pscircle(0.958636, 0.674724){0.01} \pscircle(0.835485, 0.797875){0.01} \pscircle(0.342881, 0.428423){0.01} \pscircle(0.342881, 0.551573){0.01} \pscircle(0.589183, 0.428423){0.01} \pscircle(0.466032, 0.551573){0.01} \pscircle(0.712334, 0.305272){0.01} \pscircle(0.589183, 0.797875){0.01} \pscircle(0.589183, 0.921026){0.01} \pscircle(0.589183, 0.921026){0.01} \pscircle(0.589183, 0.921026){0.013} \pscircle(0.589183, 0.921026){0.016} \pscircle(0.712334, 0.551573){0.01} \pscircle(0.219731, 0.182121){0.01} \pscircle(0.096580, 0.305272){0.01} \pscircle(0.342881, 0.058970){0.01} \pscircle(0.219731, 0.551573){0.01} \pscircle(0.219731, 0.674724){0.01} \pscircle(0.219731, 0.674724){0.01} \pscircle(0.219731, 0.674724){0.013} \pscircle(0.219731, 0.674724){0.016} \pscircle(0.342881, 0.305272){0.01} \pscircle(0.958636, 0.058970){0.01} \pscircle(0.958636, 0.182121){0.01} \pscircle(0.835485, 0.182121){0.01} \pscircle(0.835485, 0.305272){0.01} \pscircle(0.835485, 0.305272){0.01} \pscircle(0.835485, 0.305272){0.013} \pscircle(0.835485, 0.305272){0.016} \pscircle(0.466032, 0.058970){0.01} \pscircle(0.466032, 0.058970){0.01} \pscircle(0.466032, 0.058970){0.013} \pscircle(0.466032, 0.058970){0.016} \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.466032, 1.290479)(0.546080, 1.111910)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.096580, 1.044177)(0.176628, 0.865608)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.342881, 1.044177)(0.472190, 0.994917)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.466032, 0.921026)(0.527608, 0.927184)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.466032, 1.167328)(0.539923, 1.050335)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(-0.026571, 0.797875)(0.102737, 0.748615)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.096580, 0.674724)(0.158155, 0.680882)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.096580, 0.921026)(0.170470, 0.804033)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.712334, 0.674724)(0.792382, 0.496156)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.712334, 0.797875)(0.773910, 0.804033)(0.835485, 0.797875) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.958636, 0.674724)(1.087944, 0.625464)(1.204938, 0.551573) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.835485, 0.797875)(0.903218, 0.742457)(0.958636, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.342881, 0.428423)(0.422930, 0.249854)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.342881, 0.551573)(0.404457, 0.557731)(0.466032, 0.551573) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.589183, 0.428423)(0.718492, 0.379162)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.466032, 0.551573)(0.533765, 0.496156)(0.589183, 0.428423) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.712334, 0.305272)(0.773910, 0.311429)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.589183, 0.797875)(0.650759, 0.804033)(0.712334, 0.797875) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.589183, 0.921026)(0.835485, 0.945656)(1.081787, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.712334, 0.551573)(0.786225, 0.434580)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(-0.026571, 0.182121)(0.053477, 0.003552)(0.096580, -0.187332) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(-0.026571, 0.305272)(0.035004, 0.311429)(0.096580, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.219731, 0.182121)(0.349039, 0.132860)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.096580, 0.305272)(0.164313, 0.249854)(0.219731, 0.182121) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.342881, 0.058970)(0.404457, 0.065127)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.219731, 0.551573)(0.281306, 0.557731)(0.342881, 0.551573) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.219731, 0.674724)(0.466032, 0.699355)(0.712334, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.342881, 0.305272)(0.416772, 0.188278)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(-0.149722, 0.428423)(0.096580, 0.453053)(0.342881, 0.428423) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(-0.026571, 0.058970)(0.047319, -0.058024)(0.096580, -0.187332) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.958636, 0.058970)(1.038684, -0.119599)(1.081787, -0.310483) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.958636, 0.182121)(1.020211, 0.188278)(1.081787, 0.182121) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.835485, 0.182121)(0.897061, 0.188278)(0.958636, 0.182121) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.835485, 0.305272)(1.081787, 0.329902)(1.328089, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkred]{->}(0.466032, 0.058970)(0.712334, 0.083600)(0.958636, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.466032, 0.921026)(0.398299, 0.976444)(0.342881, 1.044177) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.096580, 0.674724)(0.028847, 0.730142)(-0.026571, 0.797875) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.096580, 0.921026)(-0.155880, 0.957971)(-0.396024, 1.044177) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.712334, 0.674724)(0.644601, 0.730142)(0.589183, 0.797875) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.712334, 0.797875)(0.644601, 0.853293)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.958636, 0.674724)(0.761595, 0.779403)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.835485, 0.797875)(0.706177, 0.847136)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(1.081787, 0.551573)(1.014054, 0.606991)(0.958636, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(1.081787, 0.797875)(0.829328, 0.834821)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.342881, 0.428423)(0.275148, 0.483840)(0.219731, 0.551573) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.342881, 0.551573)(0.275148, 0.606991)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.589183, 0.428423)(0.392142, 0.533101)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.466032, 0.551573)(0.336724, 0.600834)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.712334, 0.305272)(0.644601, 0.360690)(0.589183, 0.428423) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.589183, 0.797875)(0.521450, 0.853293)(0.466032, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.589183, 0.921026)(0.502978, 1.161170)(0.466032, 1.413630) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.712334, 0.551573)(0.459875, 0.588519)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.219731, 0.182121)(0.022689, 0.286799)(-0.149722, 0.428423) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.096580, 0.305272)(-0.032729, 0.354532)(-0.149722, 0.428423) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.342881, 0.058970)(0.275148, 0.114388)(0.219731, 0.182121) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.219731, 0.551573)(0.151998, 0.606991)(0.096580, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.219731, 0.674724)(0.133525, 0.914869)(0.096580, 1.167328) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.342881, 0.305272)(0.090422, 0.342217)(-0.149722, 0.428423) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.958636, 0.058970)(0.890903, 0.114388)(0.835485, 0.182121) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.958636, 0.182121)(0.890903, 0.237539)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(1.204938, 0.058970)(1.007896, 0.163648)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(1.081787, 0.182121)(0.952478, 0.231381)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(1.328089, 0.182121)(1.075629, 0.219066)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.589183, -0.064181)(0.521450, -0.008763)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.835485, -0.187332)(0.638444, -0.082654)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.712334, -0.064181)(0.583026, -0.014921)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.835485, 0.182121)(0.767752, 0.237539)(0.712334, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.835485, 0.305272)(0.749279, 0.545416)(0.712334, 0.797875) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.958636, -0.064181)(0.706177, -0.027236)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.466032, -0.064181)(0.398299, -0.008763)(0.342881, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkgreen]{->}(0.466032, 0.058970)(0.379827, 0.299114)(0.342881, 0.551573) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.712334, 1.290479)(0.669231, 1.099595)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.589183, 1.413630)(0.613813, 1.167328)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.835485, 1.167328)(0.724649, 1.031862)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.096580, 1.044177)(0.102737, 0.982602)(0.096580, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.342881, 1.044177)(0.299779, 0.853293)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.219731, 1.167328)(0.244361, 0.921026)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.466032, 0.921026)(0.355197, 0.785560)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.096580, 0.674724)(-0.014256, 0.539258)(-0.149722, 0.428423) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.096580, 0.921026)(0.041162, 0.853293)(-0.026571, 0.797875) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.712334, 0.674724)(0.718492, 0.613149)(0.712334, 0.551573) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.712334, 0.797875)(0.718492, 0.736300)(0.712334, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.958636, 0.674724)(0.915533, 0.483840)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.835485, 0.797875)(0.860115, 0.551573)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(1.081787, 0.551573)(0.970951, 0.416107)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.958636, 1.044177)(0.780067, 0.964129)(0.589183, 0.921026) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(1.081787, 0.797875)(1.026369, 0.730142)(0.958636, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.342881, 0.428423)(0.349039, 0.366847)(0.342881, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.342881, 0.551573)(0.349039, 0.489998)(0.342881, 0.428423) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.589183, 0.428423)(0.546080, 0.237539)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.466032, 0.551573)(0.490663, 0.305272)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.712334, 0.305272)(0.601498, 0.169806)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.589183, 0.797875)(0.410614, 0.717827)(0.219731, 0.674724) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.589183, 0.921026)(0.595341, 0.859451)(0.589183, 0.797875) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.712334, 0.551573)(0.656916, 0.483840)(0.589183, 0.428423) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.219731, 0.182121)(0.176628, -0.008763)(0.096580, -0.187332) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.096580, 0.305272)(0.121210, 0.058970)(0.096580, -0.187332) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.342881, 0.058970)(0.232046, -0.076496)(0.096580, -0.187332) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.219731, 0.551573)(0.041162, 0.471525)(-0.149722, 0.428423) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.219731, 0.674724)(0.225888, 0.613149)(0.219731, 0.551573) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.342881, 0.305272)(0.287464, 0.237539)(0.219731, 0.182121) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.958636, 0.058970)(0.964794, -0.002606)(0.958636, -0.064181) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.958636, 0.182121)(0.964794, 0.120545)(0.958636, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(1.204938, 0.428423)(1.026369, 0.348374)(0.835485, 0.305272) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.835485, 0.182121)(0.656916, 0.102073)(0.466032, 0.058970) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.835485, 0.305272)(0.841643, 0.243696)(0.835485, 0.182121) \pscurve[arrowsize=1.5pt 3,linecolor=darkblue]{->}(0.466032, 0.058970)(0.472190, -0.002606)(0.466032, -0.064181) \end{psclip} \end{pspicture}}\end{picture}

Unfortunately, the second example is too large for WordPress.

]]> http://math.fontein.de/2009/07/21/obtaining-infrastructures-from-global-fields/feed/ 0