-
Notifications
You must be signed in to change notification settings - Fork 1
/
arrow37.mp
128 lines (100 loc) · 3.91 KB
/
arrow37.mp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
% tex/conc/mp/arrow37.mp 2012-4-10 Alan U. Kennington.
% $Id: tex/conc/mp/arrow37.mp 35363b858e 2012-04-10 00:40:28Z Alan U. Kennington $
% Tensor space duals and canonical multilinear maps. Showing isomorphisms.
input mapmax.mp
verbatimtex
\input akmath
etex
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
beginfig(1);
path pat[];
pair w[];
aa := 3.0cm;
bb := 1.50cm;
qqa := 0.39cm;
qqb := 0.70cm;
qqc := 0.70cm;
penA := 0.5bp;
sizeA := 3pt;
rat := 0.23;
ratt := 0.27;
ratB := 0.72;
ratC := 0.32;
ratD := 0.32;
dxA := 0.9bb;
ratA := 0.75qqb/bb;
w11 := (0,0);
w12 := w11 + (0,bb);
w13 := w12 + (0,bb);
w14 := w13 + (0,bb);
w19 := 0.5[w11,w13]+(-dxA,0);
w21 := w11 + (aa,0);
w22 := w21 + (0,bb);
w23 := w22 + (0,bb);
w24 := w23 + (0,bb);
w29 := 0.5[w21,w23]+(dxA,0);
%==============================================================================
% Multilinear maps from the V-spaces to K.
label(btex
\strut$\displaystyle\mathop{\times}\limits_{\alpha\in A}V_\alpha$ etex, w11);
label(btex \strut$\mlin((V_\alpha)_{\alpha\in A})$ etex, w12);
label(btex \strut$\botimesc\limits_{\alpha\in A}V_\alpha$ etex, w13);
label(btex \strut$\bigl(\botimesc\limits_{\alpha\in A}V_\alpha\bigr)^*$ etex,
w14);
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
pickup pencircle scaled penA;
S_arrowspaces(w11, w12, qqa, qqa, 0, black);
S_erd(w11, w12, qqa, qqa, 3, 0, black, black, sizeA, sizeA, penA, penA);
pickup pencircle scaled penA;
S_arrowspaces(w12, w13, qqa, qqa, 0, black);
S_erd(w12, w13, qqa, qqa, 1, 0, black, black, sizeA, sizeA, penA, penA);
pickup pencircle scaled penA;
S_arrowspaces(w13, w14, qqa, qqa, 0, black);
S_erd(w13, w14, qqa, qqa, 1, 0, black, black, sizeA, sizeA, penA, penA);
%==============================================================================
% Multilinear maps from the W-spaces to K.
label(btex
\strut$\displaystyle\mathop{\times}\limits_{\alpha\in A}V_\alpha^*$ etex, w21);
label(btex \strut$\mlin((V_\alpha^*)_{\alpha\in A})$ etex, w22);
label(btex \strut$\botimesc\limits_{\alpha\in A}V_\alpha^*$ etex, w23);
label(btex \strut$\bigl(\botimesc\limits_{\alpha\in A}V_\alpha^*\bigr)^*$ etex,
w24);
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
pickup pencircle scaled penA;
S_arrowspaces(w21, w22, qqa, qqa, 0, black);
S_erd(w21, w22, qqa, qqa, 3, 0, black, black, sizeA, sizeA, penA, penA);
pickup pencircle scaled penA;
S_arrowspaces(w22, w23, qqa, qqa, 0, black);
S_erd(w22, w23, qqa, qqa, 1, 0, black, black, sizeA, sizeA, penA, penA);
pickup pencircle scaled penA;
S_arrowspaces(w23, w24, qqa, qqa, 0, black);
S_erd(w23, w24, qqa, qqa, 1, 0, black, black, sizeA, sizeA, penA, penA);
%==============================================================================
% Cross-arrows.
pickup pencircle scaled penA;
S_arrowspaces(w11, w21, qqb, qqb, 0, black);
S_erd(w11, w21, qqb, qqb, 1, 0, black, black, sizeA, sizeA, penA, penA);
pickup pencircle scaled penA;
S_arrowspaces(w11, w22, qqc, qqc, 1, black);
S_arrowspaces(w21, w12, qqc, qqc, 1, black);
S_arrowspaces(w12, w23, qqc, qqc, 2, black);
S_arrowspaces(w22, w13, qqc, qqc, 2, black);
S_arrowspaces(w13, w24, qqc, qqc, 3, black);
S_arrowspaces(w23, w14, qqc, qqc, 3, black);
label.top(btex $\eta^T$ etex, rat[w11,w22]);
label.top(btex $\eta$ etex, rat[w21,w12]);
S_tiltlabel_top_up(btex iso etex, ratB[w12,w23], angle(w23-w12), 0pt);
S_tiltlabel_top_up(btex iso etex, ratB[w22,w13], angle(w22-w13), 0pt);
label.top(btex \strut$\bar\psi$ etex, rat[w12,w23]);
label.top(btex \strut$\psi$ etex, rat[w22,w13]);
S_tiltlabel_top_up(btex iso etex, ratD[w13,w24], angle(w23-w12), 0pt);
S_tiltlabel_top_up(btex iso etex, ratD[w23,w14], angle(w22-w13), 0pt);
pickup pencircle scaled penA;
pat1 := w11..w19..w13;
drawarrow (subpath(ratA,2-ratA) of pat1);
label.lft(btex $\mu$ etex, w19);
pat2 := w21..w29..w23;
drawarrow (subpath(ratA,2-ratA) of pat2);
label.rt(btex $\mu^*$ etex, w29);
endfig;
end