1: %\input diagrams.tex
2: \input pictex.tex %% Dovrebbe essere in path (altrimenti vedi in Doc)
3: \input dcpic.tex
4: \input graphicx.tex
5: %
6: % Bundle of my macros. Version 1.2.0.beta
7: % The best use is to paste all of them into the papers
8: % 1/8/2005
9: %
10:
11: %
12: % Fonts. Version 1.2.0.beta
13: % The best use is to paste all of them into the papers
14: % 1/8/2005
15: %
16: %
17: % History:
18: % 3 Agosto 2005: ChernSimons.tex
19: %
20: %%%%%%%%%%%%%%%%%%%%%%%%%%%%
21:
22: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
23: %% Font Types %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
24: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
25: \def\Serif{cmr}
26: \def\SerifBold{cmbx}
27: \def\SerifItalics{cmti}
28: \def\SerifSlanted{cmsl}
29: \def\SerifBoldItalics{cmbxti}
30: \def\SansSerif{cmss}
31: \def\SansSerifBold{cmssbx}
32: \def\SansSerifItalics{cmssi}
33: \def\SansSerifSlanted{cmssi}%%
34: \def\SansSerifBoldItalics{cmbxti}%%
35: \def\Math{cmmi}
36: \def\Symbols{cmsy}
37: \def\MathBold{cmmib}
38: \def\MoreSymbols{cmex}
39: \def\Typewriter{cmtt}
40: \def\Gothic{eufm}
41: \def\Double{msbm}
42:
43:
44: %% Font Declarations
45: %\font\tenbg=cmmib10%
46: %\def\bg{\tenbg}%
47: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
48: %%% 5 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
49: %%% %%%%%%%%%%%%%%%%%%%%%%
50: \font\fiveSerif= \Serif10 at 5pt
51: \font\fiveSerifBold= \SerifBold10 at 5pt
52: \font\fiveSerifItalics= \SerifItalics10 at 5pt
53: \font\fiveSerifSlanted= \SerifSlanted10 at 5pt
54: \font\fiveSerifBoldItalics= \SerifBoldItalics10 at 5pt
55: %
56: \font\fiveSansSerif= \SansSerif10 at 5pt
57: \font\fiveSansSerifBold= \SansSerifBold10 at 5pt
58: \font\fiveSansSerifItalics= \SansSerifItalics10 at 5pt
59: \font\fiveSansSerifSlanted= \SansSerifSlanted10 at 5pt
60: %
61: \font\fiveMath= \Math10 at 5pt
62: \font\fiveMathBold= \MathBold10 at 5pt
63: \font\fiveSymbols= \Symbols10 at 5pt
64: \font\fiveMoreSymbols= \MoreSymbols10 at 5pt
65: \font\fiveTypewriter= \Typewriter10 at 5pt
66: \font\fiveGothic= \Gothic10 at 5pt
67: \font\fiveDouble= \Double10 at 5pt
68:
69: %%% 7 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
70: %%% %%%%%%%%%%%%%%%%%%%%%%%
71: \font\sevenSerif= \Serif10 at 7pt
72: \font\sevenSerifBold= \SerifBold10 at 7pt
73: \font\sevenSerifItalics= \SerifItalics10 at 7pt
74: \font\sevenSerifSlanted= \SerifSlanted10 at 7pt
75: \font\sevenSerifBoldItalics=\SerifBoldItalics10 at 7pt
76: %
77: \font\sevenSansSerif= \SansSerif10 at 7pt
78: \font\sevenSansSerifBold= \SansSerifBold10 at 7pt
79: \font\sevenSansSerifItalics=\SansSerifItalics10 at 7pt
80: \font\sevenSansSerifSlanted=\SansSerifSlanted10 at 7pt
81: %
82: \font\sevenMath= \Math10 at 7pt
83: \font\sevenMathBold= \MathBold10 at 7pt
84: \font\sevenSymbols= \Symbols10 at 7pt
85: \font\sevenMoreSymbols= \MoreSymbols10 at 7pt
86: \font\sevenTypewriter= \Typewriter10 at 7pt
87: \font\sevenGothic= \Gothic10 at 7pt
88: \font\sevenDouble= \Double10 at 7pt
89:
90: %%% 8 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
91: %%% %%%%%%%%%%%%%%%%%%%%%%%%%
92: \font\eightSerif= \Serif10 at 8pt
93: \font\eightSerifBold= \SerifBold10 at 8pt
94: \font\eightSerifItalics= \SerifItalics10 at 8pt
95: \font\eightSerifSlanted= \SerifSlanted10 at 8pt
96: \font\eightSerifBoldItalics=\SerifBoldItalics10 at 8pt
97: %
98: \font\eightSansSerif= \SansSerif10 at 8pt
99: \font\eightSansSerifBold= \SansSerifBold10 at 8pt
100: \font\eightSansSerifItalics=\SansSerifItalics10 at 8pt
101: \font\eightSansSerifSlanted=\SansSerifSlanted10 at 8pt
102: %
103: \font\eightMath= \Math10 at 8pt
104: \font\eightMathBold= \MathBold10 at 8pt
105: \font\eightSymbols= \Symbols10 at 8pt
106: \font\eightMoreSymbols= \MoreSymbols10 at 8pt
107: \font\eightTypewriter= \Typewriter10 at 8pt
108: \font\eightGothic= \Gothic10 at 8pt
109: \font\eightDouble= \Double10 at 8pt
110:
111: %%% 10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
112: %%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
113: \font\tenSerif= \Serif10 at 10pt
114: \font\tenSerifBold= \SerifBold10 at 10pt
115: \font\tenSerifItalics= \SerifItalics10 at 10pt
116: \font\tenSerifSlanted= \SerifSlanted10 at 10pt
117: \font\tenSerifBoldItalics= \SerifBoldItalics10 at 10pt
118: %
119: \font\tenSansSerif= \SansSerif10 at 10pt
120: \font\tenSansSerifBold= \SansSerifBold10 at 10pt
121: \font\tenSansSerifItalics= \SansSerifItalics10 at 10pt
122: \font\tenSansSerifSlanted= \SansSerifSlanted10 at 10pt
123: %
124: \font\tenMath= \Math10 at 10pt
125: \font\tenMathBold= \MathBold10 at 10pt
126: \font\tenSymbols= \Symbols10 at 10pt
127: \font\tenMoreSymbols= \MoreSymbols10 at 10pt
128: \font\tenTypewriter= \Typewriter10 at 10pt
129: \font\tenGothic= \Gothic10 at 10pt
130: \font\tenDouble= \Double10 at 10pt
131:
132: %%% 12 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
133: %%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
134: \font\twelveSerif= \Serif10 at 12pt
135: \font\twelveSerifBold= \SerifBold10 at 12pt
136: \font\twelveSerifItalics= \SerifItalics10 at 12pt
137: \font\twelveSerifSlanted= \SerifSlanted10 at 12pt
138: \font\twelveSerifBoldItalics= \SerifBoldItalics10 at 12pt
139: %
140: \font\twelveSansSerif= \SansSerif10 at 12pt
141: \font\twelveSansSerifBold= \SansSerifBold10 at 12pt
142: \font\twelveSansSerifItalics= \SansSerifItalics10 at 12pt
143: \font\twelveSansSerifSlanted= \SansSerifSlanted10 at 12pt
144: %
145: \font\twelveMath= \Math10 at 12pt
146: \font\twelveMathBold= \MathBold10 at 12pt
147: \font\twelveSymbols= \Symbols10 at 12pt
148: \font\twelveMoreSymbols= \MoreSymbols10 at 12pt
149: \font\twelveTypewriter= \Typewriter10 at 12pt
150: \font\twelveGothic= \Gothic10 at 12pt
151: \font\twelveDouble= \Double10 at 12pt
152:
153: %%% 14 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
154: \font\fourteenSerif= \Serif10 at 14pt
155: \font\fourteenSerifBold= \SerifBold10 at 14pt
156: \font\fourteenSerifItalics= \SerifItalics10 at 14pt
157: \font\fourteenSerifSlanted= \SerifSlanted10 at 14pt
158: \font\fourteenSerifBoldItalics= \SerifBoldItalics10 at 14pt
159: %
160: \font\fourteenSansSerif= \SansSerif10 at 14pt
161: \font\fourteenSansSerifBold= \SansSerifBold10 at 14pt
162: \font\fourteenSansSerifSlanted= \SansSerifSlanted10 at 14pt
163: \font\fourteenSansSerifItalics= \SansSerifItalics10 at 14pt
164: %
165: \font\fourteenMath= \Math10 at 14pt
166: \font\fourteenMathBold= \MathBold10 at 14pt
167: \font\fourteenSymbols= \Symbols10 at 14pt
168: \font\fourteenMoreSymbols= \MoreSymbols10 at 14pt
169: \font\fourteenTypewriter= \Typewriter10 at 14pt
170: \font\fourteenGothic= \Gothic10 at 14pt
171: \font\fourteenDouble= \Double10 at 14pt
172:
173: %% Styles %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
174: %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
175: \def\NormalStyle{\parindent=5pt\parskip=3pt\normalbaselineskip=14pt%
176: \def\nt{\tenSerif}%
177: \def\rm{\fam0\tenSerif}%
178: \textfont0=\tenSerif\scriptfont0=\sevenSerif\scriptscriptfont0=\fiveSerif%text(\tenrm)
179: \textfont1=\tenMath\scriptfont1=\sevenMath\scriptscriptfont1=\fiveMath%math(\tenmi)
180: \textfont2=\tenSymbols\scriptfont2=\sevenSymbols\scriptscriptfont2=\fiveSymbols%symbol(\tensy)
181: \textfont3=\tenMoreSymbols\scriptfont3=\sevenMoreSymbols\scriptscriptfont3=\fiveMoreSymbols%ex(tenex)
182: \textfont\itfam=\tenSerifItalics\def\it{\fam\itfam\tenSerifItalics}%
183: \textfont\slfam=\tenSerifSlanted\def\sl{\fam\slfam\tenSerifSlanted}%
184: \textfont\ttfam=\tenTypewriter\def\tt{\fam\ttfam\tenTypewriter}%
185: \textfont\bffam=\tenSerifBold%
186: \def\bf{\fam\bffam\tenSerifBold}\scriptfont\bffam=\sevenSerifBold\scriptscriptfont\bffam=\fiveSerifBold%
187: %
188: \def\cal{\tenSymbols}%
189: \def\greekbold{\tenMathBold}%
190: \def\gothic{\tenGothic}%
191: \def\Bbb{\tenDouble}%
192: \def\LieFont{\tenSerifItalics}%
193: %
194: \nt\normalbaselines\baselineskip=14pt%
195: }
196:
197:
198: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
199: %%%%%%%%%%%%%%%%%%%%%%
200: \def\TitleStyle{\parindent=0pt\parskip=0pt\normalbaselineskip=15pt%
201: \def\nt{\fourteenSansSerifBold}%
202: \def\rm{\fam0\fourteenSansSerifBold}%
203: \textfont0=\fourteenSansSerifBold\scriptfont0=\tenSansSerifBold\scriptscriptfont0=\eightSansSerifBold%text(\fourteenrm)
204: \textfont1=\fourteenMath\scriptfont1=\tenMath\scriptscriptfont1=\eightMath%math(\fourteenmi)
205: \textfont2=\fourteenSymbols\scriptfont2=\tenSymbols\scriptscriptfont2=\eightSymbols%symbol(\fourteensy)
206: \textfont3=\fourteenMoreSymbols\scriptfont3=\tenMoreSymbols\scriptscriptfont3=\eightMoreSymbols%ex(fourteenex)
207: \textfont\itfam=\fourteenSansSerifItalics\def\it{\fam\itfam\fourteenSansSerifItalics}%
208: \textfont\slfam=\fourteenSansSerifSlanted\def\sl{\fam\slfam\fourteenSerifSansSlanted}%
209: \textfont\ttfam=\fourteenTypewriter\def\tt{\fam\ttfam\fourteenTypewriter}%
210: \textfont\bffam=\fourteenSansSerif%
211: \def\bf{\fam\bffam\fourteenSansSerif}\scriptfont\bffam=\tenSansSerif\scriptscriptfont\bffam=\eightSansSerif%
212: %
213: \def\cal{\fourteenSymbols}%
214: \def\greekbold{\fourteenMathBold}%
215: \def\gothic{\fourteenGothic}%
216: \def\Bbb{\fourteenDouble}%
217: \def\LieFont{\fourteenSerifItalics}%
218: %
219: \nt\normalbaselines\baselineskip=15pt%
220: }
221:
222: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
223: %%%%%%%%%%%%%%%%%%%%%
224: \def\PartStyle{\parindent=0pt\parskip=0pt\normalbaselineskip=15pt%
225: \def\nt{\fourteenSansSerifBold}%
226: \def\rm{\fam0\fourteenSansSerifBold}%
227: \textfont0=\fourteenSansSerifBold\scriptfont0=\tenSansSerifBold\scriptscriptfont0=\eightSansSerifBold%text(\fourteenrm)
228: \textfont1=\fourteenMath\scriptfont1=\tenMath\scriptscriptfont1=\eightMath%math(\fourteenmi)
229: \textfont2=\fourteenSymbols\scriptfont2=\tenSymbols\scriptscriptfont2=\eightSymbols%symbol(\fourteensy)
230: \textfont3=\fourteenMoreSymbols\scriptfont3=\tenMoreSymbols\scriptscriptfont3=\eightMoreSymbols%ex(fourteenex)
231: \textfont\itfam=\fourteenSansSerifItalics\def\it{\fam\itfam\fourteenSansSerifItalics}%
232: \textfont\slfam=\fourteenSansSerifSlanted\def\sl{\fam\slfam\fourteenSerifSansSlanted}%
233: \textfont\ttfam=\fourteenTypewriter\def\tt{\fam\ttfam\fourteenTypewriter}%
234: \textfont\bffam=\fourteenSansSerif%
235: \def\bf{\fam\bffam\fourteenSansSerif}\scriptfont\bffam=\tenSansSerif\scriptscriptfont\bffam=\eightSansSerif%
236: %
237: \def\cal{\fourteenSymbols}%
238: \def\greekbold{\fourteenMathBold}%
239: \def\gothic{\fourteenGothic}%
240: \def\Bbb{\fourteenDouble}%
241: \def\LieFont{\fourteenSerifItalics}%
242: %
243: \nt\normalbaselines\baselineskip=15pt%
244: }
245:
246: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
247: %%%%%%%%%%%%%%%%%%%%%
248: \def\ChapterStyle{\parindent=0pt\parskip=0pt\normalbaselineskip=15pt%
249: \def\nt{\fourteenSansSerifBold}%
250: \def\rm{\fam0\fourteenSansSerifBold}%
251: \textfont0=\fourteenSansSerifBold\scriptfont0=\tenSansSerifBold\scriptscriptfont0=\eightSansSerifBold%text(\fourteenrm)
252: \textfont1=\fourteenMath\scriptfont1=\tenMath\scriptscriptfont1=\eightMath%math(\fourteenmi)
253: \textfont2=\fourteenSymbols\scriptfont2=\tenSymbols\scriptscriptfont2=\eightSymbols%symbol(\fourteensy)
254: \textfont3=\fourteenMoreSymbols\scriptfont3=\tenMoreSymbols\scriptscriptfont3=\eightMoreSymbols%ex(fourteenex)
255: \textfont\itfam=\fourteenSansSerifItalics\def\it{\fam\itfam\fourteenSansSerifItalics}%
256: \textfont\slfam=\fourteenSansSerifSlanted\def\sl{\fam\slfam\fourteenSerifSansSlanted}%
257: \textfont\ttfam=\fourteenTypewriter\def\tt{\fam\ttfam\fourteenTypewriter}%
258: \textfont\bffam=\fourteenSansSerif%
259: \def\bf{\fam\bffam\fourteenSansSerif}\scriptfont\bffam=\tenSansSerif\scriptscriptfont\bffam=\eightSansSerif%
260: %
261: \def\cal{\fourteenSymbols}%
262: \def\greekbold{\fourteenMathBold}%
263: \def\gothic{\fourteenGothic}%
264: \def\Bbb{\fourteenDouble}%
265: \def\LieFont{\fourteenSerifItalics}%
266: %
267: \nt\normalbaselines\baselineskip=15pt%
268: }
269:
270: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
271: %%%%%%%%%%%%%%%%%%%%%
272: \def\SectionStyle{\parindent=0pt\parskip=0pt\normalbaselineskip=13pt%
273: \def\nt{\twelveSansSerifBold}%
274: \def\rm{\fam0\twelveSansSerifBold}%
275: \textfont0=\twelveSansSerifBold\scriptfont0=\eightSansSerifBold\scriptscriptfont0=\eightSansSerifBold%text(\fourteenrm)
276: \textfont1=\twelveMath\scriptfont1=\eightMath\scriptscriptfont1=\eightMath%math(\fourteenmi)
277: \textfont2=\twelveSymbols\scriptfont2=\eightSymbols\scriptscriptfont2=\eightSymbols%symbol(\fourteensy)
278: \textfont3=\twelveMoreSymbols\scriptfont3=\eightMoreSymbols\scriptscriptfont3=\eightMoreSymbols%ex(fourteenex)
279: \textfont\itfam=\twelveSansSerifItalics\def\it{\fam\itfam\twelveSansSerifItalics}%
280: \textfont\slfam=\twelveSansSerifSlanted\def\sl{\fam\slfam\twelveSerifSansSlanted}%
281: \textfont\ttfam=\twelveTypewriter\def\tt{\fam\ttfam\twelveTypewriter}%
282: \textfont\bffam=\twelveSansSerif%
283: \def\bf{\fam\bffam\twelveSansSerif}\scriptfont\bffam=\eightSansSerif\scriptscriptfont\bffam=\eightSansSerif%
284: %
285: \def\cal{\twelveSymbols}%
286: \def\bg{\twelveMathBold}%
287: \def\gothic{\twelveGothic}%
288: \def\Bbb{\twelveDouble}%
289: \def\LieFont{\twelveSerifItalics}%
290: %
291: \nt\normalbaselines\baselineskip=13pt%
292: }
293:
294: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
295: \def\SubSectionStyle{\parindent=0pt\parskip=0pt\normalbaselineskip=13pt%
296: \def\nt{\twelveSansSerifItalics}%
297: \def\rm{\fam0\twelveSansSerifItalics}%
298: \textfont0=\twelveSansSerifItalics\scriptfont0=\eightSansSerifItalics\scriptscriptfont0=\eightSansSerifItalics%
299: \textfont1=\twelveMath\scriptfont1=\eightMath\scriptscriptfont1=\eightMath%
300: \textfont2=\twelveSymbols\scriptfont2=\eightSymbols\scriptscriptfont2=\eightSymbols%
301: \textfont3=\twelveMoreSymbols\scriptfont3=\eightMoreSymbols\scriptscriptfont3=\eightMoreSymbols%
302: \textfont\itfam=\twelveSansSerif\def\it{\fam\itfam\twelveSansSerif}%
303: \textfont\slfam=\twelveSansSerifSlanted\def\sl{\fam\slfam\twelveSerifSansSlanted}%
304: \textfont\ttfam=\twelveTypewriter\def\tt{\fam\ttfam\twelveTypewriter}%
305: \textfont\bffam=\twelveSansSerifBold%
306: \def\bf{\fam\bffam\twelveSansSerifBold}\scriptfont\bffam=\eightSansSerifBold\scriptscriptfont\bffam=\eightSansSerifBold%
307: %
308: \def\cal{\twelveSymbols}%
309: \def\greekbold{\twelveMathBold}%
310: \def\gothic{\twelveGothic}%
311: \def\Bbb{\twelveDouble}%
312: \def\LieFont{\twelveSerifItalics}%
313: %
314: \nt\normalbaselines\baselineskip=13pt%
315: }
316:
317: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
318: %%%%%%%%%%%%%%%%%%
319: \def\AuthorStyle{\parindent=0pt\parskip=0pt\normalbaselineskip=14pt%
320: \def\nt{\tenSerif}%
321: \def\rm{\fam0\tenSerif}%
322: \textfont0=\tenSerif\scriptfont0=\sevenSerif\scriptscriptfont0=\fiveSerif%text(\tenrm)
323: \textfont1=\tenMath\scriptfont1=\sevenMath\scriptscriptfont1=\fiveMath%math(\tenmi)
324: \textfont2=\tenSymbols\scriptfont2=\sevenSymbols\scriptscriptfont2=\fiveSymbols%symbol(\tensy)
325: \textfont3=\tenMoreSymbols\scriptfont3=\sevenMoreSymbols\scriptscriptfont3=\fiveMoreSymbols%ex(tenex)
326: \textfont\itfam=\tenSerifItalics\def\it{\fam\itfam\tenSerifItalics}%
327: \textfont\slfam=\tenSerifSlanted\def\sl{\fam\slfam\tenSerifSlanted}%
328: \textfont\ttfam=\tenTypewriter\def\tt{\fam\ttfam\tenTypewriter}%
329: \textfont\bffam=\tenSerifBold%
330: \def\bf{\fam\bffam\tenSerifBold}\scriptfont\bffam=\sevenSerifBold\scriptscriptfont\bffam=\fiveSerifBold%
331: %
332: \def\cal{\tenSymbols}%
333: \def\greekbold{\tenMathBold}%
334: \def\gothic{\tenGothic}%
335: \def\Bbb{\tenDouble}%
336: \def\LieFont{\tenSerifItalics}%
337: %
338: \nt\normalbaselines\baselineskip=14pt%
339: }
340:
341:
342: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
343: %%%%%%%%%%%%%%%%%%
344: \def\AddressStyle{\parindent=0pt\parskip=0pt\normalbaselineskip=14pt%
345: \def\nt{\eightSerif}%
346: \def\rm{\fam0\eightSerif}%
347: \textfont0=\eightSerif\scriptfont0=\sevenSerif\scriptscriptfont0=\fiveSerif%text(\tenrm)
348: \textfont1=\eightMath\scriptfont1=\sevenMath\scriptscriptfont1=\fiveMath%math(\tenmi)
349: \textfont2=\eightSymbols\scriptfont2=\sevenSymbols\scriptscriptfont2=\fiveSymbols%symbol(\tensy)
350: \textfont3=\eightMoreSymbols\scriptfont3=\sevenMoreSymbols\scriptscriptfont3=\fiveMoreSymbols%ex(tenex)
351: \textfont\itfam=\eightSerifItalics\def\it{\fam\itfam\eightSerifItalics}%
352: \textfont\slfam=\eightSerifSlanted\def\sl{\fam\slfam\eightSerifSlanted}%
353: \textfont\ttfam=\eightTypewriter\def\tt{\fam\ttfam\eightTypewriter}%
354: \textfont\bffam=\eightSerifBold%
355: \def\bf{\fam\bffam\eightSerifBold}\scriptfont\bffam=\sevenSerifBold\scriptscriptfont\bffam=\fiveSerifBold%
356: %
357: \def\cal{\eightSymbols}%
358: \def\greekbold{\eightMathBold}%
359: \def\gothic{\eightGothic}%
360: \def\Bbb{\eightDouble}%
361: \def\LieFont{\eightSerifItalics}%
362: %
363: \nt\normalbaselines\baselineskip=14pt%
364: }
365:
366:
367: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
368: %%%%%%%%%%%%%%%%%%
369: \def\AbstractStyle{\parindent=0pt\parskip=0pt\normalbaselineskip=12pt%
370: \def\nt{\eightSerif}%
371: \def\rm{\fam0\eightSerif}%
372: \textfont0=\eightSerif\scriptfont0=\sevenSerif\scriptscriptfont0=\fiveSerif%text(\tenrm)
373: \textfont1=\eightMath\scriptfont1=\sevenMath\scriptscriptfont1=\fiveMath%math(\tenmi)
374: \textfont2=\eightSymbols\scriptfont2=\sevenSymbols\scriptscriptfont2=\fiveSymbols%symbol(\tensy)
375: \textfont3=\eightMoreSymbols\scriptfont3=\sevenMoreSymbols\scriptscriptfont3=\fiveMoreSymbols%ex(tenex)
376: \textfont\itfam=\eightSerifItalics\def\it{\fam\itfam\eightSerifItalics}%
377: \textfont\slfam=\eightSerifSlanted\def\sl{\fam\slfam\eightSerifSlanted}%
378: \textfont\ttfam=\eightTypewriter\def\tt{\fam\ttfam\eightTypewriter}%
379: \textfont\bffam=\eightSerifBold%
380: \def\bf{\fam\bffam\eightSerifBold}\scriptfont\bffam=\sevenSerifBold\scriptscriptfont\bffam=\fiveSerifBold%
381: %
382: \def\cal{\eightSymbols}%
383: \def\greekbold{\eightMathBold}%
384: \def\gothic{\eightGothic}%
385: \def\Bbb{\eightDouble}%
386: \def\LieFont{\eightSerifItalics}%
387: %
388: \nt\normalbaselines\baselineskip=12pt%
389: }
390:
391: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
392: \def\RefsStyle{\parindent=0pt\parskip=0pt%
393: \def\nt{\eightSerif}%
394: \def\rm{\fam0\eightSerif}%
395: \textfont0=\eightSerif\scriptfont0=\sevenSerif\scriptscriptfont0=\fiveSerif%text(\tenrm)
396: \textfont1=\eightMath\scriptfont1=\sevenMath\scriptscriptfont1=\fiveMath%math(\tenmi)
397: \textfont2=\eightSymbols\scriptfont2=\sevenSymbols\scriptscriptfont2=\fiveSymbols%symbol(\tensy)
398: \textfont3=\eightMoreSymbols\scriptfont3=\sevenMoreSymbols\scriptscriptfont3=\fiveMoreSymbols%ex(tenex)
399: \textfont\itfam=\eightSerifItalics\def\it{\fam\itfam\eightSerifItalics}%
400: \textfont\slfam=\eightSerifSlanted\def\sl{\fam\slfam\eightSerifSlanted}%
401: \textfont\ttfam=\eightTypewriter\def\tt{\fam\ttfam\eightTypewriter}%
402: \textfont\bffam=\eightSerifBold%
403: \def\bf{\fam\bffam\eightSerifBold}\scriptfont\bffam=\sevenSerifBold\scriptscriptfont\bffam=\fiveSerifBold%
404: %
405: \def\cal{\eightSymbols}%
406: \def\greekbold{\eightMathBold}%
407: \def\gothic{\eightGothic}%
408: \def\Bbb{\eightDouble}%
409: \def\LieFont{\eightSerifItalics}%
410: %
411: \nt\normalbaselines\baselineskip=10pt%
412: }
413:
414:
415:
416: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
417: %%%%%%%%%%%%%%%%%%%
418: \def\ClaimStyle{\parindent=5pt\parskip=3pt\normalbaselineskip=14pt%
419: \def\nt{\tenSerifSlanted}%
420: \def\rm{\fam0\tenSerifSlanted}%
421: \textfont0=\tenSerifSlanted\scriptfont0=\sevenSerifSlanted\scriptscriptfont0=\fiveSerifSlanted%text(\tenrm)
422: \textfont1=\tenMath\scriptfont1=\sevenMath\scriptscriptfont1=\fiveMath%math(\tenmi)
423: \textfont2=\tenSymbols\scriptfont2=\sevenSymbols\scriptscriptfont2=\fiveSymbols%symbol(\tensy)
424: \textfont3=\tenMoreSymbols\scriptfont3=\sevenMoreSymbols\scriptscriptfont3=\fiveMoreSymbols%ex(tenex)
425: \textfont\itfam=\tenSerifItalics\def\it{\fam\itfam\tenSerifItalics}%
426: \textfont\slfam=\tenSerif\def\sl{\fam\slfam\tenSerif}%
427: \textfont\ttfam=\tenTypewriter\def\tt{\fam\ttfam\tenTypewriter}%
428: \textfont\bffam=\tenSerifBold%
429: \def\bf{\fam\bffam\tenSerifBold}\scriptfont\bffam=\sevenSerifBold\scriptscriptfont\bffam=\fiveSerifBold%
430: %
431: \def\cal{\tenSymbols}%
432: \def\greekbold{\tenMathBold}%
433: \def\gothic{\tenGothic}%
434: \def\Bbb{\tenDouble}%
435: \def\LieFont{\tenSerifItalics}%
436: %
437: \nt\normalbaselines\baselineskip=14pt%
438: }
439:
440: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
441: %%%%%%%%%%%%%%%%%%
442: \def\ProofStyle{\parindent=5pt\parskip=3pt\normalbaselineskip=14pt%
443: \def\nt{\tenSerifSlanted}%
444: \def\rm{\fam0\tenSerifSlanted}%
445: \textfont0=\tenSerif\scriptfont0=\sevenSerif\scriptscriptfont0=\fiveSerif%text(\tenrm)
446: \textfont1=\tenMath\scriptfont1=\sevenMath\scriptscriptfont1=\fiveMath%math(\tenmi)
447: \textfont2=\tenSymbols\scriptfont2=\sevenSymbols\scriptscriptfont2=\fiveSymbols%symbol(\tensy)
448: \textfont3=\tenMoreSymbols\scriptfont3=\sevenMoreSymbols\scriptscriptfont3=\fiveMoreSymbols%ex(tenex)
449: \textfont\itfam=\tenSerifItalics\def\it{\fam\itfam\tenSerifItalics}%
450: \textfont\slfam=\tenSerif\def\sl{\fam\slfam\tenSerif}%
451: \textfont\ttfam=\tenTypewriter\def\tt{\fam\ttfam\tenTypewriter}%
452: \textfont\bffam=\tenSerifBold%
453: \def\bf{\fam\bffam\tenSerifBold}\scriptfont\bffam=\sevenSerifBold\scriptscriptfont\bffam=\fiveSerifBold%
454: %
455: \def\cal{\tenSymbols}%
456: \def\greekbold{\tenMathBold}%
457: \def\gothic{\tenGothic}%
458: \def\Bbb{\tenDouble}%
459: \def\LieFont{\tenSerifItalics}%
460: %
461: \nt\normalbaselines\baselineskip=14pt%
462: }
463:
464:
465: %
466: % Various Libraries. Version 1.2.0.beta
467: % The best use is to paste all of them into the papers
468: % 1/8/2005
469: %
470:
471: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
472: %%%%%% Utilities %%%%%%
473: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
474:
475: % Definition modes %
476: \def\ModeYes{yes}
477: \def\ModeNo{no}
478:
479: \def\ModeUndef{undefined}
480:
481: \def\ModeTrue{true}
482: \def\ModeFalse{false}
483:
484: \def\ModeOk{ok}
485: \def\ModeKo{ko}
486: %%%%%%%%%%%%
487:
488: \def\nx{\noexpand}
489: \def\ni{\noindent}
490: \def\newpage{\vfill\eject}
491:
492: \def\ss{\vskip 5pt}
493: \def\ms{\vskip 10pt}
494: \def\bs{\vskip 20pt}
495: \def\hs{\vskip 40pt}
496:
497: \def\,{\mskip\thinmuskip}
498: \def\!{\mskip-\thinmuskip}
499: \def\>{\mskip\medmuskip}
500: \def\;{\mskip\thickmuskip}
501:
502: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
503: %%%%%% Bibliography %%%%%%
504: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
505: %
506: % Usage:
507: % [\SetModeAuto]
508: % ...
509: % \bib{libro1}{L.Fatibene, ...}
510: % \bib{libro2}{L.Fatibene, ...}
511: % ...
512: % (see \ref{libro2} and \ref{libro1})
513: % ...
514: % \ShowBiblio
515: %
516:
517: % Definition modes %
518: \def\refsModePost{post}
519: \def\refsModeAuto{auto}
520:
521: \def\dbRefsSatusModeOk{ok}
522: \def\dbRefsSatusModeError{error}
523: \def\dbRefsSatusModeWarning{warning}
524: \def\dbRefsSatusModeInfo{info}
525: %%%%%%%%%%%%
526:
527: \newcount\BNUM
528: \BNUM=0
529:
530:
531: \def\refs{}
532:
533:
534: \def\SetModePost{\xdef\refsMode{\refsModePost}} % Items are numbered by Citation order
535: \def\SetModeAuto{\xdef\refsMode{\refsModeAuto}} % Items are numbered by Insertion order
536: \SetModePost
537:
538: \def\dbRefsStatusOk{%
539: \xdef\dbRefsStatus{\dbRefsSatusModeOk}%
540: \xdef\dbRefsError{\ModeNo}%
541: \xdef\dbRefsWarning{\ModeNo}%
542: \xdef\dbRefsInfo{\ModeNo}%
543: }
544:
545:
546: \def\dbRefs{%
547: }
548:
549:
550: \def\dbRefsGet#1{%
551: \xdef\found{N}\xdef\ikey{#1}\dbRefsStatusOk%
552: \xdef\key{\ModeUndef}\xdef\tag{\ModeUndef}\xdef\tail{\ModeUndef}%
553: \dbRefs%
554: }
555:
556:
557: \def\NextRefsTag{%
558: \global\advance\BNUM by 1%
559: }
560: \def\ShowTag#1{{\bf [#1]}}
561:
562:
563: \def\dbRefsInsert#1#2{%
564: \dbRefsGet{#1}%
565: \if\found Y %
566: \xdef\dbRefsStatus{\dbRefsSatusModeWarning}%
567: \xdef\dbRefsWarning{record is already there}%
568: \xdef\dbRefsInfo{record not inserted}%
569: \else%
570: \toks2=\expandafter{\dbRefs}%
571: \ifx\refsMode\refsModeAuto \NextRefsTag
572: \xdef\dbRefs{%
573: \the\toks2 \nx\xdef\nx\dbx{#1}%
574: \nx\ifx\nx\ikey %
575: \nx\dbx\nx\xdef\nx\found{Y}%
576: \nx\xdef\nx\key{#1}%
577: \nx\xdef\nx\tag{\the\BNUM}%
578: \nx\xdef\nx\tail{#2}%
579: \nx\fi}%
580: \global\xdef\refs{\refs \ss\ni[\the\BNUM]\ #2\par}%%%%
581: \fi%
582: \ifx\refsMode\refsModePost
583: \xdef\dbRefs{%
584: \the\toks2 \nx\xdef\nx\dbx{#1}%
585: \nx\ifx\nx\ikey %
586: \nx\dbx\nx\xdef\nx\found{Y}%
587: \nx\xdef\nx\key{#1}%
588: \nx\xdef\nx\tag{\ModeUndef}%
589: \nx\xdef\nx\tail{#2}%
590: \nx\fi}%
591: \fi%
592: \fi%
593: }
594:
595:
596: \def\dbRefsEdit#1#2#3{\dbRefsGet{#1}%
597: \if\found N
598: \xdef\dbRefsStatus{\dbRefsSatusModeError}%
599: \xdef\dbRefsError{record is not there}%
600: \xdef\dbRefsInfo{record not edited}%
601: \else%
602: \toks2=\expandafter{\dbRefs}%
603: \xdef\dbRefs{\the\toks2%
604: \nx\xdef\nx\dbx{#1}%
605: \nx\ifx\nx\ikey\nx\dbx %
606: \nx\xdef\nx\found{Y}%
607: \nx\xdef\nx\key{#1}%
608: \nx\xdef\nx\tag{#2}%
609: \nx\xdef\nx\tail{#3}%
610: \nx\fi}%
611: \fi%
612: }
613:
614:
615:
616: \def\bib#1#2{\RefsStyle\dbRefsInsert{#1}{#2}%
617: \ifx\dbRefsStatus\dbRefsSatusModeWarning %
618: \message{^^J}%
619: \message{WARNING: Reference [#1] is doubled.^^J}%
620: \fi%
621: }
622:
623:
624: \def\ref#1{\dbRefsGet{#1}%
625: \ifx\found N %
626: \message{^^J}%
627: \message{ERROR: Reference [#1] unknown.^^J}%
628: \ShowTag{??}%
629: \else%
630: \ifx\tag\ModeUndef \NextRefsTag%
631: \dbRefsEdit{#1}{\the\BNUM}{\tail}%
632: \dbRefsGet{#1}%
633: \global\xdef\refs{\refs \ss\ni [\tag]\ \tail\par}%%%%
634: \fi
635: \ShowTag{\tag}%
636: \fi%
637: }
638:
639:
640: \def\ShowBiblio{\bs\Ensure{\SectionEnsure}%
641: {\SectionStyle\ni References}%
642: {\RefsStyle\refs}%
643: }
644:
645:
646: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
647: %%%%%% Label DB %%%%%%
648: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
649: \newcount\CHANGES
650: \CHANGES=0
651: \def\AuxFile{7}
652: \def\PreventDoubleOn{\xdef\PreventDoubleLabel{\ModeYes}}
653: \def\PreventDoubleOff{\xdef\PreventDoubleLabel{\ModeNo}}
654: \PreventDoubleOn
655:
656: \def\StoreLabel#1#2{\xdef\itag{#2}% Mantiene FileAux e ritorna #2 in \itag
657: \ifx\PreModeStatus\ModeNo %
658: \message{^^J}%
659: \errmessage{You can't use Check without starting with OpenPreMode (and finishing with ClosePreMode)^^J}%
660: \else%
661: \immediate\write\AuxFile{\nx\dbLabelPreInsert{#1}{\itag}}%
662: \dbLabelGet{#1}%
663: \ifx\itag\tag %
664: \else%
665: \global\advance\CHANGES by 1%
666: \xdef\itag{(?.??)}%
667: \fi%
668: \fi%
669: }
670:
671: \def\PreModeStatus{\ModeNo}
672:
673: \def\OpenPreMode{\edef\PreModeStatus{\ModeYes}
674: \immediate\openin\AuxFile=PreLabels.def
675: \ifeof \AuxFile
676: \else
677: \immediate\closeout\AuxFile
678: \input PreLabels.def
679: \fi
680: \immediate\openout\AuxFile=PreLabels.def
681: }
682:
683: \def\ClosePreMode{\immediate\closeout\AuxFile%
684: \ifnum\CHANGES=0%
685: \message{^^J}%
686: \message{**********************************^^J}%
687: \message{** NO CHANGES TO THE AuxFile **^^J}%
688: \message{**********************************^^J}%
689: \else%
690: \message{^^J}%
691: \message{**************************************************^^J}%
692: \message{** PLAEASE TYPESET IT AGAIN (\the\CHANGES) **^^J}%
693: \errmessage{**************************************************^^ J}%
694: \fi%
695: \edef\PreModeStatus{\ModeNo}%
696: }
697:
698:
699: \def\dbLabelSatusModeOk{ok}
700: \def\dbLabelSatusModeError{error}
701: \def\dbLabelSatusModeWarning{warning}
702: \def\dbLabelSatusModeInfo{info}
703:
704: \def\dbLabelStatusOk{%
705: \xdef\dbLabelStatus{\dbLabelSatusModeOk}%
706: \xdef\dbLabelError{\ModeNo}%
707: \xdef\dbLabelWarning{\ModeNo}%
708: \xdef\dbLabelInfo{\ModeNo}%
709: }
710:
711:
712: \def\dbLabel{%
713: }
714:
715: \def\dbLabelGet#1{%
716: \xdef\found{N}\xdef\ikey{#1}\dbLabelStatusOk%
717: \xdef\key{\ModeUndef}\xdef\tag{\ModeUndef}\xdef\pre{\ModeUndef}%
718: \dbLabel%
719: }
720:
721:
722: \def\ShowLabel#1{%
723: \dbLabelGet{#1}%
724: \ifx\tag \ModeUndef %
725: \global\advance\CHANGES by 1%
726: (?.??)%
727: \else%
728: \tag%
729: \fi%
730: }
731:
732: \def\dbLabelPreInsert#1#2{\dbLabelGet{#1}%
733: \if\found Y %
734: \xdef\dbLabelStatus{\dbLabelSatusModeWarning}%
735: \xdef\dbLabelWarning{Label is already there}%
736: \xdef\dbLabelInfo{Label not inserted}%
737: \message{^^J}%
738: \errmessage{Double pre definition of label [#1]^^J}%
739: \else%
740: \toks2=\expandafter{\dbLabel}%
741: \xdef\dbLabel{%
742: \the\toks2 \nx\xdef\nx\dbx{#1}%
743: \nx\ifx\nx\ikey %
744: \nx\dbx\nx\xdef\nx\found{Y}%
745: \nx\xdef\nx\key{#1}%
746: \nx\xdef\nx\tag{#2}%
747: \nx\xdef\nx\pre{\ModeYes}%
748: \nx\fi}%
749: \fi%
750: }
751:
752:
753: \def\dbLabelInsert#1#2{\dbLabelGet{#1}%
754: \xdef\itag{#2}%
755: \dbLabelGet{#1}%
756: \if\found Y %
757: \ifx\tag\itag %
758: \else%
759: \ifx\PreventDoubleLabel\ModeYes %
760: \message{^^J}%
761: \errmessage{Double definition of label [#1]^^J}%
762: \else%
763: \message{^^J}%
764: \message{Double definition of label [#1]^^J}%
765: \fi%
766: \fi%
767: \xdef\dbLabelStatus{\dbLabelSatusModeWarning}%
768: \xdef\dbLabelWarning{Label is already there}%
769: \xdef\dbLabelInfo{Label not inserted}%
770: \else%
771: \toks2=\expandafter{\dbLabel}%
772: \xdef\dbLabel{%
773: \the\toks2 \nx\xdef\nx\dbx{#1}%
774: \nx\ifx\nx\ikey %
775: \nx\dbx\nx\xdef\nx\found{Y}%
776: \nx\xdef\nx\key{#1}%
777: \nx\xdef\nx\tag{#2}%
778: \nx\xdef\nx\pre{\ModeNo}%
779: \nx\fi}%
780: \fi%
781: }
782:
783:
784:
785: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
786: %%%%%% Numbering %%%%%%
787: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
788:
789: \newcount\PART
790: \newcount\CHAPTER
791: \newcount\SECTION
792: \newcount\SUBSECTION
793: \newcount\FNUMBER
794: %\newdimen\TOBOTTOM
795: %\newdimen\LIMIT
796:
797: \PART=0
798: \CHAPTER=0
799: \SECTION=0
800: \SUBSECTION=0
801: \FNUMBER=0
802:
803: \def\LastPart{\ModeUndef}
804: \def\LastChapter{\ModeUndef}
805: \def\LastSection{\ModeUndef}
806: \def\LastSubSection{\ModeUndef}
807: \def\LastClaim{\ModeUndef}
808: \def\Last{\ModeUndef}
809:
810: \newdimen\TOBOTTOM
811: \newdimen\LIMIT
812:
813: \def\Ensure#1{\ \par\ \immediate\LIMIT=#1\immediate\TOBOTTOM=\the\pagegoal\advance\TOBOTTOM by -\pagetotal%
814: \ifdim\TOBOTTOM<\LIMIT\newpage \else%
815: \vskip-\parskip\vskip-\parskip\vskip-\baselineskip\fi}
816:
817: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
818: \def\PartLabel{\the\PART}
819: \def\NewPart#1{\global\advance\PART by 1%
820: \bs\ni{\PartStyle Part \PartLabel:}
821: \bs\ni{\PartStyle #1}\newpage%
822: \CHAPTER=0\SECTION=0\SUBSECTION=0\FNUMBER=0%
823: \gdef\Left{#1}%
824: \global\edef\Last{\PartLabel}%
825: \global\edef\LastPart{\PartLabel}%
826: \global\edef\LastChapter{\ModeUndef}%
827: \global\edef\LastSection{\ModeUndef}%
828: \global\edef\LastSubSection{\ModeUndef}%
829: \global\edef\LastClaim{\ModeUndef}}
830: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
831: \def\ChapterLabel{\the\CHAPTER}
832: \def\NewChapter#1{\global\advance\CHAPTER by 1%
833: \bs\ni{\ChapterStyle Chapter \ChapterLabel: #1}\ms%
834: \SECTION=0\SUBSECTION=0\FNUMBER=0%
835: \gdef\Left{#1}%
836: \global\edef\Last{\ChapterLabel}%
837: \global\edef\LastChapter{\ChapterLabel}%
838: \global\edef\LastSection{\ModeUndef}%
839: \global\edef\LastSubSection{\ModeUndef}%
840: \global\edef\LastClaim{\ModeUndef}}
841: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
842: \def\SectionEnsure{3cm}
843: \def\NewSection#1{\Ensure{\SectionEnsure}\gdef\SectionLabel{\the\SECTION}\global\advance\SECTION by 1%
844: \bs\ni{\SectionStyle \SectionLabel.\ #1}\ss%
845: \SUBSECTION=0\FNUMBER=0%
846: \gdef\Left{#1}%
847: \global\edef\Last{\SectionLabel}%
848: \global\edef\LastSection{\SectionLabel}%
849: \global\edef\LastSubSection{\ModeUndef}%
850: \global\edef\LastClaim{\ModeUndef}}
851: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
852: \def\NewAppendix#1#2{\Ensure{\SectionEnsure}\gdef\SectionLabel{#1}\global\advance\SECTION by 1%
853: \bs\ni{\SectionStyle Appendix \SectionLabel.\ #2}\ss%
854: \SUBSECTION=0\FNUMBER=0%
855: \gdef\Left{#2}%
856: \global\edef\Last{\SectionLabel}%
857: \global\edef\LastSection{\SectionLabel}%
858: \global\edef\LastSubSection{\ModeUndef}%
859: \global\edef\LastClaim{\ModeUndef}}
860: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
861: \def\Acknowledgements{\Ensure{\SectionEnsure}\gdef\SectionLabel{}%
862: \bs\ni{\SectionStyle Acknowledgments}\ss%
863: \SECTION=0\SUBSECTION=0\FNUMBER=0%
864: \gdef\Left{}%
865: \global\edef\Last{\ModeUndef}%
866: \global\edef\LastSection{\ModeUndef}%
867: \global\edef\LastSubSection{\ModeUndef}%
868: \global\edef\LastClaim{\ModeUndef}}
869: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
870: \def\SubSectionEnsure{2cm}
871: \def\SubSectionLabel{\ifnum\SECTION>0 \the\SECTION.\fi\the\SUBSECTION}
872: \def\NewSubSection#1{\Ensure{\SubSectionEnsure}\global\advance\SUBSECTION by 1%
873: \ms\ni{\SubSectionStyle #1}\ss%
874: \global\edef\Last{\SubSectionLabel}%
875: \global\edef\LastSubSection{\SubSectionLabel}}
876: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
877: \def\SetNumberingModeN{\def\ClaimLabel{(\the\FNUMBER)}}
878: \def\SetNumberingModeSN{\def\ClaimLabel{(\ifnum\SECTION>0 \SectionLabel.\fi%
879: \the\FNUMBER)}}
880: \def\SetNumberingModeCSN{\def\ClaimLabel{(\ifnum\CHAPTER>0 \the\CHAPTER.\fi%
881: \ifnum\SECTION>0 \SectionLabel.\fi%
882: \the\FNUMBER)}}
883:
884: \def\NewClaim{\global\advance\FNUMBER by 1%
885: \ClaimLabel%
886: \global\edef\LastClaim{\ClaimLabel}%
887: \global\edef\Last{\ClaimLabel}}
888: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
889: \def\ShowLabels{\xdef\ShowLabelsMode{\ModeYes}}
890: \def\HideLabels{\xdef\ShowLabelsMode{\ModeNo}}
891: \HideLabels
892:
893: \def\fn{\eqno{\NewClaim}}
894: \def\fl#1{%
895: \ifx\ShowLabelsMode\ModeYes%
896: %\eqno{\relax\hbox to 1cm{\NewClaim\hbox{[#1]}}}%
897: \eqno{{\buildrel{\hbox{\AbstractStyle[#1]}}\over{\hfill\NewClaim}}}%
898: \else%
899: \eqno{\NewClaim}%
900: \fi%
901: \dbLabelInsert{#1}{\ClaimLabel}}
902: \def\fprel#1{\global\advance\FNUMBER by 1\StoreLabel{#1}{\ClaimLabel}%
903: \ifx\ShowLabelsMode\ModeYes%
904: %\eqno{\relax\hbox to 1cm{ .\itag\hbox{[#1]}}}%
905: \eqno{{\buildrel{\hbox{\AbstractStyle[#1]}}\over{\hfill.\itag}}}%
906: \else%
907: \eqno{\itag}%
908: \fi%
909: }
910:
911: \def\cn{\NewClaim}
912: \def\cl#1{\global\advance\FNUMBER by 1\dbLabelInsert{#1}{\ClaimLabel}%
913: \ifx\ShowLabelsMode\ModeYes%
914: ${\buildrel{\hbox{\AbstractStyle[#1]}}\over{\hfill\ClaimLabel}}$%
915: \else%
916: $\ClaimLabel$%
917: \fi%
918: }
919: \def\cprel#1{\global\advance\FNUMBER by 1\StoreLabel{#1}{\ClaimLabel}%
920: \ifx\ShowLabelsMode\ModeYes%
921: ${\buildrel{\hbox{\AbstractStyle[#1]}}\over{\hfill.\itag}}$%
922: \else%
923: $\itag$%
924: \fi%
925: }
926: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
927:
928:
929: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
930: %%%%%% Sidebars %%%%%%
931: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
932:
933: \parindent=7pt
934: \leftskip=2cm
935: \newcount\SideIndent
936: \newcount\SideIndentTemp
937: \SideIndent=0
938: \newdimen\SectionIndent
939: \SectionIndent=-8pt
940:
941: \def\sidebar{\vrule height15pt width.2pt }
942: \def\endcorner{\hbox{\hbox{\vrule height6pt width.2pt}\vbox to6pt{\vfill\hbox
943: to4pt{\leaders\hrule height0.2pt\hfill}}}}
944: \def\begincorner{\hbox{\hbox{\vrule height6pt width.2pt}\vbox to6pt{\hbox
945: to4pt{\leaders\hrule height0.2pt\hfill}}}}
946: \def\endbegincorner{\hbox{\vbox to15pt{\endcorner\vskip-6pt\begincorner\vfill}}}
947: \def\SideShow{\SideIndentTemp=\SideIndent \ifnum \SideIndentTemp>0
948: \loop\sidebar\hskip 2pt \advance\SideIndentTemp by-1\ifnum \SideIndentTemp>1 \repeat\fi}
949:
950: \def\BeginSection{{\vbadness 100000 \par\ni\hskip\SectionIndent%
951: \SideShow\vbox to 15pt{\vfill\begincorner}}\global\advance\SideIndent by1\vskip-10pt}
952:
953: \def\EndSection{{\vbadness 100000 \par\ni\global\advance\SideIndent by-1%
954: \hskip\SectionIndent\SideShow\vbox to15pt{\endcorner\vfill}\vskip-10pt}}
955:
956: \def\EndBeginSection{{\vbadness 100000\par\ni%
957: \global\advance\SideIndent by-1\hskip\SectionIndent\SideShow
958: \vbox to15pt{\vfill\endbegincorner}}%
959: \global\advance\SideIndent by1\vskip-10pt}
960:
961:
962: \def\ShowBeginCorners#1{%
963: \SideIndentTemp =#1 \advance\SideIndentTemp by-1%
964: \ifnum \SideIndentTemp>0 %
965: \vskip-15truept\hbox{\kern 2truept\vbox{\hbox{\begincorner}%
966: \ShowBeginCorners{\SideIndentTemp}\vskip-3truept}}%
967: \fi%
968: }
969:
970: \def\ShowEndCorners#1{%
971: \SideIndentTemp =#1 \advance\SideIndentTemp by-1%
972: \ifnum \SideIndentTemp>0 %
973: \vskip-15truept\hbox{\kern 2truept\vbox{\hbox{\endcorner}%
974: \ShowEndCorners{\SideIndentTemp}\vskip 2truept}}%
975: \fi%
976: }
977:
978: \def\BeginSections#1{{\vbadness 100000 \par\ni\hskip\SectionIndent%
979: \SideShow\vbox to 15pt{\vfill\ShowBeginCorners{#1}}}\global\advance\SideIndent by#1\vskip-10pt}
980:
981: \def\EndSections#1{{\vbadness 100000 \par\ni\global\advance\SideIndent by-#1%
982: \hskip\SectionIndent\SideShow\vbox to15pt{\vskip15pt\ShowEndCorners{#1}\vfill}\vskip-10pt}}
983:
984: \def\EndBeginSections#1#2{{\vbadness 100000\par\ni%
985: \global\advance\SideIndent by-#1%
986: \hbox{\hskip\SectionIndent\SideShow\kern-2pt%
987: \vbox to15pt{\vskip15pt\ShowEndCorners{#1}\vskip4pt\ShowBeginCorners{#2}}}}%
988: \global\advance\SideIndent by#2\vskip-10pt}
989:
990:
991: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
992: %%%%%% Margin notes %%%%%%
993: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
994:
995: \def\LeftMargine#1{{\par\ni\hbox{\vbox to3truecm{\parindent=0pt\parshape=1%
996: -6truecm 5.5truecm{\AbstractStyle#1}\vfill}\hfill}\vskip-3truecm\vskip-1pt}}
997:
998: \def\RightMargine#1{{\par\ni\hbox{\vbox to3truecm{\parindent=0pt\parshape=1%
999: -6truecm 5.5truecm{\AbstractStyle#1}\vfill}\hfill}\vskip-3truecm\vskip-1pt}}
1000:
1001: \def\Margine#1{\LeftMargine{#1}}
1002: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1003:
1004: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1005:
1006: %
1007: % Macros. Version 1.2.0.beta
1008: % The best use is to paste all of them into the papers
1009: % 1/8/2005
1010: %
1011:
1012: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1013: %%%%%% Greek %%%%%%
1014: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1015:
1016: \def\al{\alpha}
1017: \def\be{\beta}
1018: \def\de{\delta}
1019: \def\ga{\gamma}
1020: \def\up{\upsilon}
1021: \def\ep{\epsilon}
1022: \def\io{\iota}
1023: \def\te{\theta}
1024: \def\la{\lambda}
1025: \def\ze{\zeta}
1026: \def\om{\omega}
1027: \def\si{\sigma}
1028: \def\vp{\varphi}
1029: \def\vpi{\varpi}
1030: \def\ka{\kappa}
1031: \def\vs{\varsigma}
1032: \def\vr{\varrho}
1033:
1034: \def\De{\Delta}
1035: \def\Ga{\Gamma}
1036: \def\Te{\Theta}
1037: \def\La{\Lambda}
1038: \def\Om{\Omega}
1039: \def\Si{\Sigma}
1040: \def\Up{\Upsilon}
1041:
1042: \def\boldGa{\hbox{\greekbold\char "00}}
1043: \def\boldDe{\hbox{\greekbold\char "01}}
1044: \def\boldTe{\hbox{\greekbold\char "02}}
1045: \def\boldLa{\hbox{\greekbold\char "03}}
1046: \def\boldXi{\hbox{\greekbold\char "04}}
1047: \def\boldPi{\hbox{\greekbold\char "05}}
1048: \def\boldSi{\hbox{\greekbold\char "06}}
1049: \def\boldUp{\hbox{\greekbold\char "07}}
1050: \def\boldPhi{\hbox{\greekbold\char "08}}
1051: \def\boldPsi{\hbox{\greekbold\char "09}}
1052: \def\boldOm{\hbox{\greekbold\char "0A}}
1053:
1054: \def\boldal{\hbox{\greekbold\char "0B}}
1055: \def\boldbe{\hbox{\greekbold\char "0C}}
1056: \def\boldga{\hbox{\greekbold\char "0D}}
1057: \def\boldde{\hbox{\greekbold\char "0E}}
1058: \def\boldep{\hbox{\greekbold\char "0F}}
1059: \def\boldze{\hbox{\greekbold\char "10}}
1060: \def\boldeta{\hbox{\greekbold\char "11}}
1061: \def\boldte{\hbox{\greekbold\char "12}}
1062: \def\boldio{\hbox{\greekbold\char "13}}
1063: \def\boldka{\hbox{\greekbold\char "14}}
1064: \def\boldla{\hbox{\greekbold\char "15}}
1065: \def\boldmu{\hbox{\greekbold\char "16}}
1066: \def\boldnu{\hbox{\greekbold\char "17}}
1067: \def\boldxi{\hbox{\greekbold\char "18}}
1068: \def\boldpi{\hbox{\greekbold\char "19}}
1069: \def\boldrho{\hbox{\greekbold\char "1A}}
1070: \def\boldsi{\hbox{\greekbold\char "1B}}
1071: \def\boldtau{\hbox{\greekbold\char "1C}}
1072: \def\boldup{\hbox{\greekbold\char "1D}}
1073: \def\boldphi{\hbox{\greekbold\char "1E}}
1074: \def\boldchi{\hbox{\greekbold\char "1F}}
1075: \def\boldpsi{\hbox{\greekbold\char "20}}
1076: \def\boldom{\hbox{\greekbold\char "21}}
1077: \def\boldvep{\hbox{\greekbold\char "22}}
1078: \def\boldvte{\hbox{\greekbold\char "23}}
1079: \def\boldvpi{\hbox{\greekbold\char "24}}
1080: \def\boldvrho{\hbox{\greekbold\char "25}}
1081: \def\boldvsi{\hbox{\greekbold\char "26}}
1082: \def\boldvphi{\hbox{\greekbold\char "27}}
1083:
1084: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1085: %%%%%% Cal %%%%%%
1086: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1087: \def\calA{{\hbox{\cal A}}}
1088: \def\calU{{\hbox{\cal U}}}
1089: \def\calB{{\hbox{\cal B}}}
1090: \def\calC{{\hbox{\cal C}}}
1091: \def\calP{{\hbox{\cal P}}}
1092: \def\calL{{\hbox{\cal L}}}
1093: \def\calE{{\hbox{\cal E}}}
1094: \def\calW{{\hbox{\cal W}}}
1095:
1096: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1097: %%%%%% gothic %%%%%%
1098: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1099: \def\su{{\hbox{\gothic su}}}
1100: \def\gl{{\hbox{\gothic gl}}}
1101: \def\gotg{{\hbox{\gothic g}}}
1102: \def\spin{{\hbox{\gothic spin}}}
1103: \def\slC{{\hbox{\gothic sl}}} % to prevent \sl redefinition
1104:
1105: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1106: %%%%%% Bbb %%%%%%
1107: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1108: \def\one{{\hbox{\Bbb I}}}
1109: \def\A{{\hbox{\Bbb A}}}
1110: \def\R{{\hbox{\Bbb R}}}
1111: \def\C{{\hbox{\Bbb C}}}
1112: \def\P{{\hbox{\Bbb P}}}
1113: \def\E{{\hbox{\Bbb E}}}
1114: \def\H{{\hbox{\Bbb H}}}
1115: \def\Z{{\hbox{\Bbb Z}}}
1116: \def\F{{\hbox{\Bbb F}}}
1117: \def\V{{\hbox{\Bbb V}}}
1118: \def\R{{\hbox{\Bbb R}}}
1119: \def\T{{\hbox{\Bbb T}}}
1120: \def\S{{\hbox{\Bbb S}}}
1121: \def\Q{{\hbox{\Bbb Q}}}
1122: \def\K{{\hbox{\Bbb K}}}
1123:
1124: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1125: %%%%%% MathRoman %%%%%%
1126: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1127: \def\Tr{{\hbox{Tr}}}
1128: \def\Con{{\hbox{Con}}}
1129: \def\Aut{{\hbox{Aut}}}
1130: \def\Div{{\hbox{Div}}}
1131: \def\ad{{\hbox{ad}}}
1132: \def\Ad{{\hbox{Ad}}}
1133: \def\Re{{\hbox{Re}}}
1134: \def\Im{{\hbox{Im}}}
1135: \def\Spin{{\hbox{Spin}}}
1136: \def\SO{{\hbox{SO}}}
1137: \def\SU{{\hbox{SU}}}
1138: \def\SL{{\hbox{SL}}}
1139: \def\GL{{\hbox{GL}}}
1140: \def\det{{\hbox{det}}}
1141: \def\Hom{{\hbox{Hom}}}
1142: \def\End{{\hbox{End}}}
1143: \def\Euc{{\hbox{Euc}}}
1144: \def\Lor{{\hbox{Lor}}}
1145: \def\Diff{{\hbox{Diff}}}
1146: \def\di{{\hbox{d}}}
1147: \def\id{{\hbox{\rm id}}}
1148:
1149: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1150: %%%%%% OtherSymbols %%%%%%
1151: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1152: \def\ip{\hbox to4pt{\leaders\hrule height0.3pt\hfill}\vbox to8pt{\leaders\vrule width0.3pt\vfill}\kern 2pt}
1153: % inner product
1154: \def\QDE{\hfill\hbox{\ }\vrule height4pt width4pt depth0pt}
1155: \def\del{\partial}
1156: \def\na{\nabla}
1157: \def\inter{\cap}
1158: \def\Lie{\hbox{\LieFont \$}}
1159:
1160: \def\arr{\rightarrow}
1161: \def\harr{\hookrightarrow}
1162: \def\then{\Rightarrow}
1163: \def\semidirect{\hbox{\Bbb \char111}}
1164: \def\binomial#1#2{\left(\matrix{#1\cr #2\cr}\right)}
1165:
1166:
1167: %
1168: % Format. Version 1.2.0.beta
1169: % The best use is to paste all of them into the papers
1170: % 1/8/2005
1171: %
1172:
1173: \def\DEFINITION{\ClaimStyle\ni{\bf Definition: }}
1174: \def\DEFINITIONn{\ClaimStyle\ni{\bf Definition \cn: }}
1175: \def\DEFINITIONl#1{\ClaimStyle\ni{\bf Definition \cl{#1}: }}
1176: \def\DEFINITIONprel#1{\ClaimStyle\ni{\bf Definition \cprel{#1}: }}
1177: \def\ENDDEFINITION{\NormalStyle}
1178:
1179: \def\PROPOSITION{\ClaimStyle\ni{\bf Proposition: }}
1180: \def\PROPOSITIONn{\ClaimStyle\ni{\bf Proposition \cn: }}
1181: \def\PROPOSITIONl#1{\ClaimStyle\ni{\bf Proposition \cl{#1}: }}
1182: \def\PROPOSITIONprel#1{\ClaimStyle\ni{\bf Proposition \cprel{#1}: }}
1183: \def\ENDPROPOSITION{\NormalStyle}
1184:
1185: \def\PROPERTY{\ClaimStyle\ni{\bf Property: }}
1186: \def\PROPERTYn{\ClaimStyle\ni{\bf Property \cn: }}
1187: \def\PROPERTYl#1{\ClaimStyle\ni{\bf Property \cl{#1}: }}
1188: \def\PROPERTYprel#1{\ClaimStyle\ni{\bf Property \cprel{#1}: }}
1189: \def\ENDPROPERTY{\NormalStyle}
1190:
1191: \def\LEMMA{\ClaimStyle\ni{\bf Lemma: }}
1192: \def\LEMMAn{\ClaimStyle\ni{\bf Lemma \cn: }}
1193: \def\LEMMAl#1{\ClaimStyle\ni{\bf Lemma \cl{#1}: }}
1194: \def\LEMMAprel#1{\ClaimStyle\ni{\bf Lemma \cprel{#1}: }}
1195: \def\ENDLEMMA{\NormalStyle}
1196:
1197: \def\COROLLARY{\ClaimStyle\ni{\bf Corollary: }}
1198: \def\COROLLARYn{\ClaimStyle\ni{\bf Corollary \cn: }}
1199: \def\COROLLARYl#1{\ClaimStyle\ni{\bf Corollary \cl{#1}: }}
1200: \def\ENDCOROLLARY{\NormalStyle}
1201:
1202: \def\THEOREM{\ClaimStyle\ni{\bf Theorem: }}
1203: \def\THEOREMr#1{\ClaimStyle\ni{\bf Theorem (#1): }}
1204: \def\THEOREMn{\ClaimStyle\ni{\bf Theorem \cn: }}
1205: \def\THEOREMl#1{\ClaimStyle\ni{\bf Theorem \cl{#1}: }}
1206: \def\THEOREMprel#1{\ClaimStyle\ni{\bf Theorem \cprel{#1}: }}
1207: \def\ENDTHEOREM{\NormalStyle}
1208:
1209: \def\PROOF{\ProofStyle\ni{\bf Proof: }}
1210: \def\ENDPROOF{\hfill\QDE\NormalStyle}
1211:
1212: \def\pagenumbers{\footline={\hss\tenrm\folio\hss}}
1213: \def\cases#1{\left\{\eqalign{#1}\right.}
1214: %%%%%%%%%%%%%%%%%%%%
1215: \NormalStyle
1216: \SetNumberingModeSN
1217: \PreventDoubleOn
1218:
1219:
1220: \long\def\title#1{\centerline{\TitleStyle\ni#1}}
1221: \long\def\author#1{\ms\centerline{\AuthorStyle by {\it #1}}}
1222: \long\def\moreauthor#1{\centerline{\AuthorStyle {\it #1}}}
1223: \long\def\address#1{\ss\centerline{\AddressStyle #1}\par}
1224: \long\def\moreaddress#1{\centerline{\AddressStyle #1}\par}
1225: \def\abstract{\ms\leftskip 3cm\rightskip .5cm\AbstractStyle{\bf \ni Abstract:}\ }
1226: \def\endabstract{\par\leftskip 2cm\rightskip 0cm\NormalStyle\ss}
1227:
1228: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1229: \SetNumberingModeSN
1230: %\ShowLabels
1231:
1232:
1233: \def\file#1{{\tt #1}}
1234: \def\so{{\gothic so}}
1235: \def\calH{{\hbox{\cal H}}}
1236: \def\calG{{\hbox{\cal G}}}
1237: \def\calK{{\hbox{\cal K}}}
1238: \def\calD{{\hbox{\cal D}}}
1239: \def\scalD{{\hbox{\cal D}}}
1240: \def\N{{\hbox{\Bbb N}}}
1241: \def\sSU{{\hbox{SU}}}
1242: \def\Loop{{\hbox{Loop}}}
1243: \def\Hoop{{\hbox{Hoop}}}
1244: \def\Sym{{\hbox{Sym}}}
1245: \def\sR{{\R}}
1246: \def\dCor{dCor}
1247: \def\epm{\hbox{$^\pm$}}
1248: \def\dunion{\coprod}
1249:
1250: \def\nab#1{{\buildrel #1\over \na}}
1251: \def\frac[#1/#2]{\hbox{$#1\over#2$}}
1252: \def\Frac#1#2{{#1\over#2}}
1253: \def\({\left(}
1254: \def\){\right)}
1255: \def\[{\left[}
1256: \def\]{\right]}
1257: \def\^#1{{}^{#1}_{\>\cdot}}
1258: \def\_#1{{}_{#1}^{\>\cdot}}
1259: \def\Label=#1{{\buildrel {\hbox{\fiveSerif \ShowLabel{#1}}}\over =}}
1260: \def\<{\kern -1pt}
1261:
1262: \bib{OurAshtekar}{L.\ Fatibene, M.\ Francaviglia, {\it Spin Structures on Manifolds and Ashtekar Variables},Int. J. Geom. Methods Mod. Phys. {\bf 2}(2) (2005), 147-157}
1263:
1264: \bib{Book}{L.\ Fatibene, M.\ Francaviglia, {\it Natural and gauge natural formalism for classical field theories. A geometric perspective including spinors and gauge theories}, Kluwer Academic Publishers, Dordrecht, 2003}
1265:
1266: \bib{Samuel}{J.\ Samuel, {\it Is Barbero's Hamiltonian Formulation a Gauge Theory of Lorentzian Gravity?}, Class.\ Quantum Grav.\ {\it 17}, 2000, 141-148}
1267:
1268: \bib{Holst}{S.\ Holst, {\it Barbero's Hamiltonian Derived from a Generalized Hilbert-Palatini Action},
1269: Phys.\ Rev.\ {\bf D53}, 5966, 1996}
1270:
1271: \bib{RovelliBook}{C.\ Rovelli, {\it Quantum Gravity}, Cambridge University Press, Cambridge, 2004}
1272:
1273: \bib{RovelliBI}{A.\ Perez, C.\ Rovelli, {\it Physical effects of the Immirzi parameter},
1274: Phys.\ Rev.\ {\bf D73}, 044013, 2006}
1275:
1276: \bib{gr-qc/0404018}{A.\ Ashtekar, J.\ Lewandowski,
1277: {\it Background Independent Quantum Gravity: a Status Report}, gr-qc/0404018}
1278:
1279: \bib{Thiemann}{T.\ Thiemann, {\it Introduction to Modern Canonical Quantum general Relativity};
1280: gr-qc/0110034}
1281:
1282: \bib{Barbero}{F.\ Barbero, {\it Real Ashtekar variables for Lorentzian signature space-time},
1283: Phys.\ Rev.\ {\it D51}, 5507, 1996}
1284:
1285: \bib{Immirzi}{G.\ Immirzi, {\it Quantum Gravity and Regge Calculus},
1286: Nucl.\ Phys.\ Proc.\ Suppl.\ {\bf 57}, 65-72}
1287:
1288: \bib{KobaNu}{S.\ Kobayashi, K.\ Nomizu,
1289: {\it Foundations of differential geometry},
1290: John Wiley \& Sons, Inc., New York, 1963 USA}
1291:
1292: \bib{Antonsen}{F.\ Antonsen, M.S.N.\ Flagga, {\it Spacetime Topology (I) - Chirality and the Third Stiefel-Whitney Class}, Int.\ J.\ Th.\ Phys.\ {\bf 41}(2), 2002}
1293:
1294: \bib{Milnor}{J.W.\ Milnor, J.\ Stasheff, {\it Characteristic classes}, Princeton University Press, 1974}
1295:
1296: \bib{Bombelli}{L.Bombelli,
1297: {Lagrangian Formulation}, in: {\it New Perspectives in Canonical Gravity},
1298: Eds. A.Ashtekar, Bibliopolis (Napoli, 1988)}
1299:
1300: \bib{Thie2006}{T. Thiemann,
1301: {\it LoopQuantumGravity: An InsideView}, hep-th/0608210}
1302:
1303:
1304:
1305: \NormalStyle
1306: \NormalStyle
1307: \def\SelfDualEquivalenceAPP{A}
1308:
1309: \title{On a Covariant Formulation of the Barbero-Immirzi Connection}
1310:
1311: \author{L. Fatibene$^{1, 2}$, M. Francaviglia$^{1, 2, 3}$, C. Rovelli$^{4}$}
1312:
1313: \address{$^1$ Department of Mathematics, University of Torino (Italy)}
1314:
1315: \moreaddress{$^2$ INFN- Iniziativa Specifica Na12}
1316:
1317: \moreaddress{$^3$ ESG - University of Cosenza (Italy)}
1318:
1319: \moreaddress{${}^4$ Centre de Physique Th\'eorique de Luminy%
1320: \footnote{$^\dagger$}{Unit\'e mixte de recherche (UMR 6207) du CNRS et des Universit\'es
1321: de Provence (Aix-Marseille I), de la M\'editerran\'ee (Aix-Marseille
1322: II) et du Sud (Toulon-Var); laboratoire affili\'e \`a la FRUMAM (FR
1323: 2291).}, Universit\'e de la M\'editerran\'ee, F-13288 Marseille, EU}
1324:
1325:
1326: \abstract
1327: The Barbero-Immirzi (BI) connection, as usually introduced out of a spin connection, is a global object though it does not transform properly as a genuine connection with respect to generic spin transformations, unless quite specific and suitable gauges are imposed.
1328: We shall here investigate whether and under which global conditions a (properly transforming and {\it hence} global ) $\SU(2)$-connection can be canonically defined in a gauge covariant way.
1329: Such $\SU(2)$-connection locally agrees with the usual BI connection and it can be defined on pretty general bundles; in particular triviality is not assumed.
1330: As a by-product we shall also introduce a global covariant $\SU(2)$-connection over the whole spacetime (while for technical reasons the BI connection in the standard formulation is just introduced on a space slice) which restricts to the usual BI connection on a space slice.
1331: \endabstract
1332:
1333:
1334: %
1335: %
1336: %
1337: %
1338: \NewSection{Introduction}
1339:
1340: Loop Quantum Gravity (LQG) is usually introduced by starting from the selfdual formulation of GR; see \ref{RovelliBook}, \ref{gr-qc/0404018}, \ref{Thiemann} and references quoted therein.
1341: In order to avoid complexification in the Lorentzian case (and the consequent reality constraints) the framework goes through a (parametrical) canonical transformation in the Hamiltonian formulation defining a new one--parameter family of connections collectively called the {\it Barbero-Immirzi} (BI) connection.
1342: The Immirzi parameter which appears in the canonical transformation, and hence in the new variable field, does not affect vacuum field equations, while it appears in the equations when coupling to spinors (see \ref{RovelliBI}).
1343: It is hence a physical parameter which in LQG is later fixed by considering black hole entropy and assuming that the standard classical entropy, i.e.\ one quarter of the horizon area, is reproduced in the classical limit by microstate counting.
1344:
1345: The BI connection is a generic $\SU(2)$-gauge connection on a $3d$ surface $S\subset M$ (where the Hamiltonian boundary conditions are set) in the $4d$ spacetime $M$.
1346: The BI connection so obtained is {\it global} since, by some topological coincidences based on the groups and spacetime dimensions involved, the $\SU(2)$-principal bundles (below denoted by ${}^+\<\Si$) over a (orientable, compact) $3d$ base $S$ on which BI connection is defined are necessarily trivial; see \ref{Thiemann} and references quoted therein.
1347:
1348: However, the BI connection is constructed out of a generic spin connection defined on $M$.
1349: The spin connection has its own transformation rules with respect to spin transformations and it induces
1350: spin transformations for the BI connection. Unfortunately, such induced transformations rules are {\it not}
1351: in general the expected transformation rules for a good $\SU(2)$-connection.
1352: In general, the induced transformation rules of the BI connection so obtained do not even factorize
1353: through an action of $\SU(2)$; they are and remain transformation rules just with respect to the spin group.
1354:
1355: The situation is similar to the following simpler ``toy model'': let us consider $\R^2$ with a fixed global Cartesian coordinate system and two global {\it scalar} functions $(f, g)$.
1356: It is obvious that, in {\it that} global coordinate system, the two functions do in fact define a global ``vector field'' $X(x)=f(x)\> i+g(x)\>j$ (where $(i,j)$ are the natural basis of tangent vectors induced by coordinates).
1357: However, since $(f,g)$ are scalars, the ``vector field'' $X$ depends on the coordinates chosen. In a different coordinate system, in fact, the same functions define a different ``vector field''. Or equivalently, the transformation rules of the scalar functions induce transformations rules for the {\it ``vector field''} which are not the correct ones for the components of a vector field.
1358:
1359: In the literature concerning LQG, once the BI connection is introduced and recognized as a global object on the $\SU(2)$-bundle ${}^+\<\Si$, canonical quantization is developed for such a $\SU(2)$-reduced theory.
1360: Depending on the approach, the transformation rules are not considered (i.e.~one is concerned with the local formalism) or
1361: the object is {\it promoted} to be a good $\SU(2)$-connection.
1362: At least, a particular gauge fixing is understood to provide a drastic simplification of transition functions.
1363: In either cases, the relation between gauge transformations of the reduced BI model and the original spin model is lost (or at least well hidden) forever.
1364:
1365: We shall show hereafter that this current situation can be considerably improved under many viewpoints by simply writing in the appropriate bundles the objects involved in the constructions.
1366: This setting will enhance a better control on the covariance issues and the BI connection will be defined as a manifestly ``good'' $\SU(2)$-connection.
1367: As a consequence of the improved transformation rules we shall be able to go through the BI construction not only on a given space slice (i.e.~on the bundle ${}^+\<\Si$ where Hamiltonian framework is set and hence where BI connection is usually defined) but also on spacetime (i.e.~on the bundle which will be below denoted by ${}^+\<\<P$).
1368: The reduced BI connection on ${}^+\<\Si$ will be hence defined as the restriction of the spacetime counterpart of the BI connection defined on ${}^+\<\<P$ which will in turn provide a ``spacetime interpretation'' of the reduced BI connection on ${}^+\<\Si$.
1369:
1370: The price which we need to pay for this improvement is a new formulation of GR based on a new structure bundle;
1371: the new formulation is locally {\it identical} to the old one, though differences are hidden in the global structure of the group of spin transformations and in some globality issues.
1372: For this reason we shall not discuss hereafter dynamics, which is locally unchanged
1373: with respect to the usual framework. Holst's action (see \ref{Holst}) has exactly the same expression, though written on the new bundle (denoted below by $\hat P$). It induces the same field equations and the Hamiltonian formalism is performed in the same way.
1374: The final output is a model for the BI connection on ${}^+\<\Si$ with the same field equations to be implemented. The only differences with respect to the standard formulation are that the new BI connection is now {\it by construction} a good $\SU(2)$-connection and no gauge fixing is needed;
1375: in fact, the construction is manifestly gauge covariant.
1376: As noted in \ref{RovelliBook}, LQG is the quantization of these equations; thus no news in the quantization procedure either.
1377:
1378: We shall hereafter consider the Euclidean case first. In the Euclidean sector the BI connection is of course not needed, since the selfdual connection is already real.
1379: However, the BI connection can be defined as in the Lorentzian case and it is affected by similar problems.
1380:
1381:
1382:
1383:
1384:
1385:
1386: \NewSection{Notation and Selfdual Formulation}
1387:
1388: We shall here review the standard setting for the selfdual formulation. This will fix notation for later discussion.
1389:
1390: The selfdual formulation relies on a Lie algebra duality defined on $\spin(4)$ which allows us to split it as the product of two copies of the algebra $\su(2)$. Since we are going to discuss gauge connections (which are defined on principal bundles) we need to go deeper into the duality and start from the duality at group level. By a well-known fact in group theory, we have the following natural group splitting:
1391: $$
1392: p:\Spin(4)\arr \SU(2)\times\SU(2)
1393: \qquad\qquad
1394: p_\pm:\Spin(4)\arr \SU(2)
1395: \fl{GroupDuality}$$
1396: The group projections $p_\pm$ are defined so that $p(S)=(p_+(S), p_-(S))$.
1397: We shall systematically use this canonical group isomorphism to identify an element in $\Spin(4)$ with a pair of elements in $\SU(2)$.
1398: Such morphism does extend to the algebra and induces by projection on the first (second) factor the splitting in the (anti)selfdual part of the elements of the algebra $\spin(4)$
1399: $$
1400: T_e p_\pm:\spin(4)\arr \su(2)
1401: \fn$$
1402: These projections trivially extend to objects valued in the Lie algebras, such as the connections.
1403: Let now $P$ be a $\Spin(4)$-principal bundle over a $m=4$ dimensional manifold $M$. Once a local trivialization (also known as a {\it gauge}) of $P$ is choosen, a point in $P$ is locally denoted by $(x, S_+, S_-)$ (with $x\in M$ and $S_+, S_-\in \SU(2)$).
1404: The group of gauge transformations (or changes of gauge fixing, depending on the active or passive viewpoint) is implemented as the group of principal automorphisms $\Aut(P)$ which locally read as
1405: $$
1406: \cases{
1407: &x'= f(x)\cr
1408: &(S'_+,S'_-) = \(\phi_+(x) \cdot S_+, \phi_-(x) \cdot S_-\) \cr
1409: %&S'_2= \vp_2(x) \cdot S_2 \cr
1410: }
1411: \qquad\qquad
1412: \phi_+(x), \phi_-(x)\in \SU(2)
1413: \fn$$
1414: Notice that gauge transformations in $\Aut(P)$ project over spacetime diffeomorphisms in $\Diff(M)$ (though of course there is no global gauge invariant embedding of spacetime diffeomorphisms in $\Aut(P)$).
1415: However, vertical gauge transformations in $\Aut_V(P)$, namely gauge transformations projecting on spacetime identity (i.e.~$x'=x$), are globally defined and they will be called {\it pure gauge transformations}.
1416:
1417: Let us fix a basis of vertical right invariant vector fields $\si_{ab}$ on $P$; a connection on $P$ is locally represented as
1418: $$
1419: \eqalign{
1420: &\om= \di x^\mu\otimes \( \del_\mu -\om^{ab}_\mu(x) \si_{ab}\) \cr
1421: &\quad\hbox{or equivalently}
1422: \>
1423: \tilde\om= \({\bar \Ad}^{ab}_{\>cd}\> \om^{cd}_\mu(x) \di x^\mu + \te^{ab}_L\)\otimes T_{ab}
1424: }
1425: \fn$$
1426: where $T_{ab}$ is a basis of the Lie algebra $\spin(4)$, $\te_L=\te^{ab}_L\otimes T_{ab}$ is the corresponding basis of left invariant $1$-forms on $P$ with values in the Lie algebra $\spin(4)$ (also known as the Maurer-Cartan form).
1427: We refer to \ref{Book} for the global intrinsic notation; hereafter we shall be concerned with the connection coefficients $\om^{ab}_\mu(x) $.
1428: Let us now consider a gauge transformation $\Phi\in\Aut(P)$ locally expressed as $(x, \si)\mapsto (f(x), \phi(x)\cdot \si)$ with $\phi(x)=(\phi_+(x), \phi_-(x))\in \Spin(4)$; the connection coefficients transform as
1429: $$
1430: \om'{}^{ab}_\mu=\bar J^\nu_\mu \ell^a_c(\phi)\>\(\om^{cd}_\nu\> \ell^b_d(\phi)+ \di_\nu \ell^c_d(\phi^{-1})\eta^{db}\)
1431: \fl{SpinConnectionTranformationRules}$$
1432: where $\bar J^\nu_\mu$ denotes the inverse Jacobian of the spacetime diffeomorphism $f$ and
1433: $\ell: \Spin(4) \arr \SO(4)$ is the covering map exhibiting the spin group as a double covering of the corresponding orthogonal group. Here $\eta^{db}$ denotes the (inverse) Minkowski metric of the relevant signature; since in this case the signature is $(4,0)$ then $\eta^{db}\equiv\de^{db}$.
1434:
1435: We stress that, from a local viewpoint, when one defines global connections the transformation rules \ShowLabel{SpinConnectionTranformationRules} are in fact a relevant part of the definition.
1436:
1437: For later convenience, notice that the group $\SU(2)$ is in fact canonically isomorphic to $\Spin(3)$ and let us denote its covering map by $\la:\SU(2)\arr \SO(3)$.
1438:
1439:
1440: Standard GR formalism deals with a {\it spin connection} $\om^{ab}_\mu$ on a given $\Spin(4)$-principal bundle $P$ over the spacetime $M$ and a {\it frame field} $e_a$ (also called a {\it tetrad}). Here we shall forget about the frame (for which we refer to \ref{RovelliBook}, \ref{OurAshtekar}) and pay attention to the connection only.
1441: Let us here just remind for completeness that, as shown in \ref{OurAshtekar}, the role of tetrads is essential to define Hamiltonian framework avoiding gauge fixings (or {\it a priori} fixing a foliation) which would spoil manifest gauge covariance.
1442: In fact, the selfdual formulation of GR leaves the antiselfdual part of the connection undetermined;
1443: one can use antiselfdual gauge freedom (which is irrelevat to the framework) to ``adapt the frame''
1444: to the Cauchy surface $S\subset M$.
1445: Equivalently, this is acheived without any gauge fixing once ``frames'' are properly regarded as gauge natural objects; see \ref{OurAshtekar} for details.
1446:
1447: When the selfdual connection is introduced one should first of all define a $\SU(2)$-principal bundle out of $P$. This can be easily done by using the group homomorphism \ShowLabel{GroupDuality}.
1448: The bundle $P$ is characterized by its cocycle of transition functions
1449: $\psi_{\la\be}:U_{\al\be}\arr\Spin(4)$;
1450: this cocycle can be projected onto a $\SU(2)$ cocycle
1451: $p_+\circ \psi_{\la\be}:U_{\al\be}\arr\SU(2)$ which in turn defines a unique (up to bundle isomorphisms) $\SU(2)$-principal bundle ${}^+\<\<P$. We refer to \ref{Book} for details.
1452: The situation can be summarized by the following commutative diagram:
1453: $$
1454: \begindc{\commdiag}[1]
1455: \obj(40,80)[P1]{$P$}
1456: \obj(110,80)[+P2]{$^+\<\<P$}
1457: \obj(40,30)[M1]{$M$}
1458: \obj(110,30)[M2]{$M$}
1459: %
1460: \mor{P1}{M1}{}
1461: \mor{+P2}{M2}{}
1462: %
1463: \mor{P1}{+P2}{$p_+$}
1464: \mor{M1}{M2}{}[\atleft, \solidline] \mor(40,33)(110,33){}[\atleft, \solidline]
1465: \enddc
1466: \qquad
1467: \begindc{\commdiag}[1]
1468: \obj(70,80)[P1]{$(x, S_+, S_-)$}
1469: \obj(150,80)[+P2]{$(x, S_+)$}
1470: \obj(30,30)[ghost]{}
1471: %
1472: \mor{P1}{+P2}{$p_+$}
1473: \enddc
1474: \fn$$
1475:
1476: Now the standard definition of the selfdual connection
1477: $$
1478: {}^+\<\om^k_\mu= \frac[1/2]\ep^k{}_{ij}\> \om^{ij}_\mu+ \om^{0k}_\mu
1479: \fl{SelfdualConnection}$$
1480: does in fact define a connection of the bundle ${}^+\<\<P$; in particular, the transformation rules
1481: of $\om$ induce transformation rules for ${}^+\<\<\om$ which read as (see Appendix
1482: $\SelfDualEquivalenceAPP$)
1483: $$
1484: {}^+\<\om'{}^{k}_\mu=\bar J^\nu_\mu \>\( \la^k_i(\phi_+){}^+\<\<\om^{i}_\nu
1485: -\frac[1/2]\ep^{kj}{}_{i} \la^i_l(\phi_+)\di_\nu \bar\la^l_j(\phi_+)\)
1486: \fl{SelfdualConnectionTransformationRules}$$
1487: We stress that the transformation rules \ShowLabel{SelfdualConnectionTransformationRules} emerge by very special algebraic facts which heavily rely on the specific form \ShowLabel{SelfdualConnection}
1488: of the selfdual connection. In particular, the transformation rules of ${}^+\<\om^{k}_\mu$ just depend on the selfdual $\SU(2)$ part of the spin group.
1489: In other words, despite it is defined in terms of a $\Spin(4)$ field $\om^{ab}_\mu$, the selfdual connection
1490: ${}^+\<\om{}^{k}_\mu$ is in fact a $\SU(2)$-field.
1491:
1492:
1493: In the Lorentzian sector one is forced to use a complexification of the spin group ---in order to keep resorting to the group isomorphism \ShowLabel{GroupDuality} though in its complexified form--- and consequently is forced to complexification of the bundles and of the coefficients of the selfdual connection which are defined by
1494: $$
1495: {}^+\<\<\om^k_\mu= \frac[1/2]\ep^k{}_{ij}\> \om^{ij}_\mu+i \om^{0k}_\mu
1496: \fl{LorentzianSelfdualConnection}$$
1497:
1498:
1499: In either signature, once the selfdual connection is defined, the action (see \ref{Bombelli})
1500: $$
1501: L_+(e, j^1{}^+\om)= {}^+\<R^{ab}\land e^c \land e^d \>\ep_{abcd}= p_i^{ab} F^{i}_{\mu\nu} e_a^\mu e_b^\nu \> \sqrt{g}\> \di s
1502: \fn$$
1503: is considered as a replacement of the standard Hilbert-Einstein action. This action just depends on the selfdual connection (the selfdual part of the curvature ${}^+\<R^{ab}$ coincides in fact with the curvature $F^{i}$ of the selfdual connection).
1504: The corresponding field equations are equivalent to the standard GR equation; see \ref{RovelliBook}, \ref{gr-qc/0404018} and references quoted therein.
1505:
1506: The Hamiltonian formulation goes through the choice of an embedded Cauchy surface $i:S\arr M$;
1507: let us then choose a coordinate system $k^A$ on $S$ so that the canonical inclusion is locally given by functions $x(k)$.
1508: By means of a standard construction one can pull-back (i.e.\ {\it restrict}) bundles on $M$ to $S\subset M$ obtaining the following situation:
1509: $$
1510: \begindc{\commdiag}[1]
1511: \obj(40,80)[P1]{$P$}
1512: \obj(110,80)[+P2]{$^+P$}
1513: \obj(10,50)[Si3]{$\Si$}
1514: \obj(70,50)[+Si4]{$^+\Si$}
1515: \obj(40,30)[M1]{$M$}
1516: \obj(110,30)[M2]{$M$}
1517: \obj(10,0)[S3]{$S$}
1518: \obj(70,0)[S4]{$S$}
1519: %
1520: \mor{P1}{M1}{}
1521: \mor{+P2}{M2}{}
1522: \mor{Si3}{S3}{}
1523: \mor{+Si4}{S4}{}
1524: %
1525: \mor{P1}{+P2}{$p_+$}
1526: \mor{M1}{M2}{}[\atleft, \solidline] \mor(40,33)(110,33){}[\atleft, \solidline]
1527: \mor{S3}{S4}{}[\atleft, \solidline] \mor(10,3)(70,3){}[\atleft, \solidline]
1528: \mor{S3}{M1}{}[\atleft, \injectionarrow]
1529: \mor{S4}{M2}{}[\atleft, \injectionarrow]
1530: \mor{Si3}{P1}{}[\atleft, \injectionarrow]
1531: \mor{+Si4}{+P2}{}[\atleft, \injectionarrow]
1532: \mor{Si3}{+Si4}{$\pi_+$}
1533: \enddc
1534: \qquad
1535: \begindc{\commdiag}[1]
1536: \obj(70,150)[P1]{$(x(k), S_+, S_-)$}
1537: \obj(180,150)[+P2]{$(x(k), S_+)$}
1538: \obj(20,100)[Si3]{$(k, S_+, S_-)$}
1539: \obj(120,100)[+Si4]{$(k, S_+)$}
1540: \obj(70,70)[ghost]{}
1541: %
1542: \mor{P1}{+P2}{$p_+$}
1543: \mor{Si3}{P1}{}[\atleft, \injectionarrow]
1544: \mor{+Si4}{+P2}{}[\atleft, \injectionarrow]
1545: \mor{Si3}{+Si4}{$\pi_+$}
1546: \enddc
1547: \fn$$
1548: The new bundles $\Si$ and ${}^+\<\Si$ are principal bundles over $S$ with structure groups $\Spin(4)$
1549: and $\SU(2)$, respectively. We refer to \ref{Book} for technicalities.
1550:
1551: The selfdual connection ${}^+\<\<\om^k_\mu$ on ${}^+\<\<P$ canonically induces by restriction
1552: a selfdual connection ${}^+\<\<\om^k_A(k)= {}^+\<\<\om^k_\mu(x(k))\>\del_Ax^\mu(k)$ on ${}^+\<\Si$.
1553: This restricted selfdual connection ${}^+\<\<\om^k_A(k)$ (together with the densitised triad field $E_k^A(k)$ induced by the frame; see \ref{RovelliBook}, \ref{OurAshtekar}) are canonical variables for the Hamiltonian formalism which is the starting point for LQG.
1554:
1555:
1556:
1557:
1558: \NewSection{Barbero-Immirzi Connection}
1559:
1560: In this Section we shall review the standard setting for the Barbero-Immirzi connection.
1561: Again this is for notation fixing. Global issues and the new framework for BI connection are postponed to the following Sections.
1562:
1563: In order to avoid complexification in the Lorentzian case a parametrical canonical transformation was introduced in the Hamiltonian formulation. The transformation defines new real variables:
1564: $$
1565: A^k_A := \frac[1/2]\ep^k{}_{ij}\> \om^{ij}_A +\ga\om^{0k}_A
1566: \qquad\quad\ga\in \R-\{0\}
1567: \fl{BIConnection}$$
1568: namely the BI connection. Here we set $\om^{ab}_A=\om^{ab}_\mu \>\del_Ax^\mu$ for the objects restricted to $S$.
1569: Let us also define the field
1570: $$
1571: K^k_A := \om^{0k}_A
1572: \fl{BIK}$$
1573: Notice that definitions \ShowLabel{BIConnection} and \ShowLabel{BIK} are given on $S\subset M$;
1574: if one had to repeat the construction on $M$ we stress that ``canonical transformations''
1575: are {\it undefined} at spacetime level and in general the bundle ${}^+\<\<P$ does not need to be trivial so that one would need to discuss transformation rules and/or gauge fixings to restore manifest gauge covariance.
1576:
1577: Notice also that for $\ga=\pm1$ the BI connection reduces to the (anti)selfdual (Euclidean) connection.
1578: The case $\ga=\pm1$ is degenerate in many algebraic viewpoints and it is usually considered separately. Hereafter $\ga$ is then assumed to have a real value different from $\ga\not=0, \pm1$.
1579:
1580: Barbero (see \ref{Barbero}) proposed new variables for the Lorentzian case, obtained by setting $\ga=1$ in \ShowLabel{BIConnection} while Immirzi later extended the definition of \ref{Barbero} to a whole one-parameter family of connections (see \ref{Immirzi}).
1581:
1582: The quantities $A^k_A $ define a global object on ${}^+\<\Si$ which is necessarily trivial.
1583: However, the original connection $\om^{ab}_\mu$ has its own transformation rules
1584: \ShowLabel{SpinConnectionTranformationRules} which in turn prescribe transformation rules of the
1585: objects $(A^k_A, K^k_A)$.
1586: One obtains:
1587: $$
1588: \eqalign{
1589: A'{}^i_A =& \bar J^B_A\Big[
1590: \(\frac[1/2]\ep^i{}_{jk} \ell^j_m \ell^k_l \ep^{ml}{}_h
1591: +\ga \ell^0_m\ell^i_l\ep^{ml}{}_h\) A^h_B+\cr
1592: &+\frac[1/2]\ep^i{}_j{}^k \ell^j_0 \di_B \bar \ell^0_k
1593: +\frac[1/2]\ep^i{}_j{}^k \ell^j_m \di_B \bar \ell^m_k
1594: +\ga \ell^0_m\di_B \bar\ell^m_j\eta^{ji}
1595: +\ga \ell^0_0\di_B \bar\ell^0_j\eta^{ji}+\cr
1596: &+\ep^i{}_{jk} \ell^j_0\ell ^k_m K^m_B
1597: +\ga\(\ell^0_0 \ell ^i_h
1598: -\ell^0_h\ell^i_0
1599: -\frac[1/2]\ep^i{}_{jk} \ell^j_m\ell ^k_l\ep^{ml}{}_h
1600: \)K^h_B+\cr
1601: &-\ga^2\ep^{mj}{}_h \ell^0_m\ell^i_j K^h_B
1602: \Big]\cr
1603: K'{}^i_A=& \bar J^B_A\Big[
1604: \(\ell^0_0\ell^i_k-\ell^0_k\ell^i_0\)K^k_B
1605: -\ga \ell^0_k\ell^i_j\ep^{kj}{}_l K^l_B
1606: + \ell^0_k\ell^i_j\ep^{kj}{}_l A^l_B+\cr
1607: &+\(\ell^0_0\di_B \bar\ell^0_j +\ell^0_k\di_B \bar\ell^k_j\)\eta^{ji}
1608: \Big]\cr
1609: }
1610: \fl{BadTransformationRules}$$
1611: which are definitely different from the transformation rules of a connection unless (as we shall see in next Section) a very specific form for the gauge transformation is assumed.
1612: We stress that $\ell^0_0$, $\ell^i_0$, $\ell^0_i$, $\ell^i_j$ denote the blocks of $\ell^a_b\in \SO(4)$
1613: and hence no specific form can be assumed in general.
1614: One can try with some explicit generic element of $\Spin(4)$ to show that extra terms in
1615: \ShowLabel{BadTransformationRules} do not vanish in general.
1616: Because of this, one cannot assume $A^k_A$ (as a function of $\om^{ab}_A$) to be a global $\SU(2)$-connection, even considering the triviality of ${}^+\<\Si$.
1617:
1618: On the other hand, as we shall see in the next Sections, one has to be careful in considering gauge transformations of a special form; globality of such special transformations needs to be carefully discussed since it might in principle impose topological restrictions on $M$ and $P$.
1619:
1620: The dynamics is then described by the following Holst action (see \ref{gr-qc/0404018}, \ref{Holst} and references quoted therein):
1621: $$
1622: L_\ga= \frac[1/4\ka]R^{ab} \land e^c\land e^d \ep_{abcd}
1623: +\frac[1/2\ka\ga]R^{ab} \land e_a \land e_b
1624: \fn$$
1625: which induces Lagrangian field equations. Then the theory is recasted into Hamiltonian form written in terms of the new variables $(A^k_A, E_k^A)$ and canonical quantization can be started.
1626:
1627:
1628:
1629:
1630:
1631:
1632:
1633:
1634: \NewSection{Covariance of the BI Connection}
1635:
1636: Until now we just reviewed the standard setting. Now we shall investigate the covariance properties of the BI connection.
1637:
1638: The new setting relies on a nice algebraic fact: {\it if we could} restrict the spin group to
1639: the subgroup $\si=(S_+, S_+)$ (i.e.~the diagonal form with respect to the (anti)selfdual decomposition)
1640: then we easily could prove that
1641: $$
1642: \ell(\si)=\(\matrix{
1643: 1 & 0 \cr
1644: 0 & \la(S_+)\cr
1645: }\)
1646: \fl{SU2SpecialForm}$$
1647: Notice that the subgroup $\si=(S_+, S_+)$ is an isomorphic embedding of $\SU(2)$ within $\Spin(4)$.
1648:
1649: For elements in this simpler form the extra terms in \ShowLabel{BadTransformationRules}
1650: do in fact vanish and the transformation rules obtained are the appropriate ones for a $\SU(2)$-connection:
1651: $$
1652: \eqalign{
1653: A'{}^i_A =& \bar J^B_A\Big[
1654: \frac[1/2]\ep^i{}_{jk} \la^j_m \la^k_l \ep^{mn}{}_h A^h_B
1655: +\frac[1/2]\ep^i{}_j{}^l \la^j_m \di_B \bar \la^m_l
1656: %+\cr&
1657: +\ga\(\la^i_h
1658: -\frac[1/2]\ep^i{}_{jk} \la^j_m\la^k_l\ep^{ml}{}_h
1659: \)K^h_B\Big]=\cr
1660: =&\bar J^B_A\Big[
1661: \la^i_j A^j_B
1662: +\frac[1/2]\ep^i{}_j{}^l \la^j_m \di_B \bar \la^m_l
1663: %+\cr&
1664: +\ga\(\la^i_h
1665: -\la^i_h
1666: \)K^h_B\Big]=\cr
1667: =&\bar J^B_A\Big[
1668: \la^i_j A^j_B
1669: +\frac[1/2]\ep^i{}_j{}^l \la^j_m \di_B \bar \la^m_l\Big]\cr
1670: &\cr
1671: K'{}^i_A=& \bar J^B_A \la^i_j K^j_B\cr
1672: }
1673: \fl{GoodTransformationRulesBI}$$
1674:
1675: Hence we should only investigate when under and which conditions one is allowed to consider the subgroup of gauge transformations in the form $\si=(S, S)$. The issue is not trivial since the local expression for a $\Spin(4)$-gauge transformation $\phi$ as a pair of $\SU(2)$-gauge transformations $\phi=(\phi_+, \phi_-)$ does in fact depend on the trivialization chosen on $P$.
1676: Even tuning $\phi_+=\phi_-$ in a given trivialization this form has no intrinsic meaning;
1677: when the trivialization is changed the special form is not preserved in general.
1678:
1679: In fact, transition functions of $P$ are in general of the form $(\vp_+, \vp_-)$ so that in the new trivialization the same gauge transformation is generated by
1680: $(\vp_+\cdot\phi_+, \vp_-\cdot\phi_+)$ which is not in the special form any longer.
1681:
1682: The only case in which the special subgroup is intrinsic is when $P$ has some special trivialization
1683: with transition functions in the special form $\vp_+=\vp_-$.
1684: When this happens one says that $P$ admits a reduction from the group $\Spin(4)$ to the group $\SU(2)$, or in short a $\SU(2)$-reduction; see \ref{KobaNu}.
1685: This corresponds to ask that one can cover the whole spacetime with patches choosing a local gauge in each patch such that all transition functions among different local gauges are in the special form $(\vp_+, \vp_+)$.
1686:
1687: Of course one could {\it assume} $P$ to have such $\SU(2)$-reduction, which usually restricts the allowed $P$ and possibly imposes topological restrictions on $M$.
1688: We shall show hereafter that one can always explicitly define out of $P$ a new bundle $\hat P$ having such a $\SU(2)$-reduction.
1689:
1690: We shall not investigate here in the Euclidean case whether the new bundle $\hat P$ is in fact different (i.e.~non-isomorphic) from $P$. In the Euclidean sector we are considerably less confident than in the Lorentzian case about which topological restrictions are ``physically reasonable'' for the ``spacetime'' $M$.
1691: For this reason we choose to assume as less as possible about $M$ and $P$.
1692:
1693: The canonical prescription for defining $\hat P$ again relies on a group homorphism
1694: $$
1695: \begindc{\commdiag}[1]
1696: \obj(10,10)[Spin]{$\Spin(4)$}
1697: \obj(60,10)[SU]{$\SU(2)$}
1698: \obj(110,10)[SUxSU]{$\Spin(4)$}
1699: %
1700: \mor{Spin}{SU}{}
1701: \mor{SU}{SUxSU}{$\be$}
1702: %
1703: \obj(10,30)[spin]{$(S_+, S_-)$}
1704: \obj(60,30)[sU]{$S_+$}
1705: \obj(110,30)[sUxSU]{$(S_+, S_+)$}
1706: %
1707: \mor{spin}{sU}{}
1708: \mor{sU}{sUxSU}{}
1709: %
1710: \enddc
1711: \fn$$
1712: Using the group homomorphism $\be$ we can map the transition functions of ${}^+\<\<P$
1713: to define a new cocycle $\be\circ\vp_+$ with values in $\Spin(4)$.
1714: Using this new cocycle we can define (uniquely up to isomorphisms) a new bundle $\hat P$.
1715: The construction is summarized by the following diagram
1716: $$
1717: \begindc{\commdiag}[1]
1718: \obj(40,80)[P1]{$P$}
1719: \obj(110,80)[+P2]{$^+P$}
1720: \obj(180,80)[hP3]{$\hat P$}
1721: \obj(10,50)[Si3]{$\Si$}
1722: \obj(70,50)[+Si4]{$^+\Si$}
1723: \obj(140,50)[hSi5]{$\hat\Si$}
1724: \obj(40,30)[M1]{$M$}
1725: \obj(110,30)[M2]{$M$}
1726: \obj(180,30)[M3]{$M$}
1727: \obj(10,0)[S3]{$S$}
1728: \obj(70,0)[S4]{$S$}
1729: \obj(140,0)[S5]{$S$}
1730: %
1731: \mor{P1}{M1}{}
1732: \mor{+P2}{M2}{}
1733: \mor{hP3}{M3}{}
1734: \mor{Si3}{S3}{}
1735: \mor{+Si4}{S4}{}
1736: \mor{hSi5}{S5}{}
1737: %
1738: \mor{P1}{+P2}{$p_+$}
1739: \mor{+P2}{hP3}{}
1740: \mor{M1}{M2}{}[\atleft, \solidline] \mor(40,33)(110,33){}[\atleft, \solidline]
1741: \mor{M2}{M3}{}[\atleft, \solidline] \mor(110,33)(180,33){}[\atleft, \solidline]
1742: \mor{S3}{S4}{}[\atleft, \solidline] \mor(10,3)(70,3){}[\atleft, \solidline]
1743: \mor{S4}{S5}{}[\atleft, \solidline] \mor(70,3)(140,3){}[\atleft, \solidline]
1744: \mor{S3}{M1}{}[\atleft, \injectionarrow]
1745: \mor{S4}{M2}{}[\atleft, \injectionarrow]
1746: \mor{S5}{M3}{}[\atleft, \injectionarrow]
1747: \mor{Si3}{P1}{}[\atleft, \injectionarrow]
1748: \mor{+Si4}{+P2}{}[\atleft, \injectionarrow]
1749: \mor{hSi5}{hP3}{}[\atleft, \injectionarrow]
1750: \mor{Si3}{+Si4}{$\pi_+$}
1751: \mor{+Si4}{hSi5}{}
1752: \enddc
1753: \fn$$
1754: where as usual we also restricted on the space slice by defining the bundle $\hat \Si$.
1755:
1756: We stress that the bundle $\hat P$ has {\it by construction} a trivialization with transition functions in the special form $(\vp_+, \vp_+)$. This is in fact explicitly induced by a trivialization on the bundle ${}^+\<\<P$.
1757: On the bundle $\hat P$ we can globally define the subgroup of gauge transformations in the special form $(\phi_+, \phi_+)$. We shall denote this subgroup as $\Aut({}^+\<\<P)\subset \Aut(\hat P)$ since it is an isomorphic image of the group of all gauge transformations on ${}^+\<\<P$.
1758:
1759: Now if $\te^{ab}_\mu$ is a connection on $\hat P$ we can set
1760: $$
1761: \cases{
1762: &\A^i_A= \frac[1/2]\ep^i{}_{jk}\> \te^{jk}_A +\ga\te^{0i}_A\cr
1763: &\K^i_A= \te^{0i}_A\cr
1764: }
1765: \fn$$
1766: Because of the particular form of the transition functions on $\hat\Si$, by going through what we said above we can consider transformation rules of $(\A^i_A, \K^i_A)$ with respect to the transformation rules in $\Aut({}^+\<\<P)\subset \Aut(\hat P)$.
1767: By simply resorting to \ShowLabel{GoodTransformationRulesBI} we easily prove that $\A^i_A$ transforms as a $\SU(2)$-connection.
1768: Analogously we can prove $\K^i_A$ to be a $\su(2)$-valued $1$-form.
1769:
1770: We stress that the bundles $P$ and $\hat P$ are locally isomorphic.
1771: Consequently, we can consider either the Hilbert-Einstein action, or the selfdual action, or the Holst action on $\hat P$ obtaining field equations locally equivalent to the corresponding field equations on $P$.
1772:
1773: Hence there is no evident local difference between the model written on $P$ and the model written on $\hat P$. However, when the BI connection is defined starting from $\hat P$ the result is a proper $\SU(2)$-connection on ${}^+\<\Si$.
1774: On ${}^+\<\Si$ we hence have two models: the selfdual and the BI models.
1775: Both are models for a generic $\SU(2)$-connection on ${}^+\<\Si$.
1776: The first is obtained out of a spin connection $\om$ on $P$, while the second is obtained out of a spin connection $\te$ on $\hat P$.
1777:
1778: If we are in the specific case in which $P$ and $\hat P$ are globally isomorphic, i.e.~$P$ allows a (global) $\SU(2)$-reduction, then $\hat P$ is to be understood as exhibiting such reduction: of course in this case there is a one-to-one correspondence between connections on $P$ and connections on $\hat P$
1779:
1780:
1781:
1782: \NewSection{Spacetime Interpretation of the BI Connection}
1783:
1784: Notice that in the previous Section we never resorted to the triviality of the bundle ${}^+\<\Si$.
1785: In fact the construction works perfectly also at spacetime level by defining a $\SU(2)$-connection
1786: directly on ${}^+\<\<P$, i.e.:
1787: $$
1788: \cases{
1789: &\A^i_\mu= \frac[1/2]\ep^i{}_{jk}\> \te^{jk}_\mu +\ga\te^{0i}_\mu\cr
1790: &\K^i_\mu= \te^{0i}_\mu\cr
1791: }
1792: \fn$$
1793: In some sense $\A^i_\mu$ does here provide a spacetime counterpart to the usual spatial BI connection $\A^i_A$. The derivation for transformation rules (with respect to the $\SU(2)$-gauge transformations) of these fields is very similar to what we have done in the previous Section.
1794: The BI connection $\A^i_\mu$ is in fact a $\SU(2)$-connection on ${}^+\<\<P$; it is defined out of a spin connection on $\hat P$ and it restricts to the usual BI connection on ${}^+\<\Si$.
1795:
1796: Samuel (see \ref{Samuel}) provided an argument to claim that {\it the Barbero's connection cannot be interpreted as a spacetime connection}.
1797: Of course it is difficult to precisely and rigorously determine what was exactly meant there by {\it spacetime interpretation}, while \ref{gr-qc/0404018} is more explicit in reporting Samuel's paper, claiming that it is impossible to obtain the Barbero-Immirzi connection as a restriction of a suitable spacetime connection.
1798: Despite we agree with Thiemann who refers (see \ref{Thie2006}) to the problem as an {\it aesthetical} one, meaning that
1799: it would not spoil the mathematical consistency of the theory, we believe that a precise understanding of the geometric origin of fields provides better insight on the structure of the theory
1800:
1801: We precisely proved above that the BI $\SU(2)$-connection on ${}^+\<\Si$ is obtained by restricting the spacetime $\SU(2)$-connection $\A^i_\mu$ defined on ${}^+\<\<P$; however, $\A^i_A$ is not the restriction of a spacetime {\it spin} connection, of course.
1802: Whether this responds or contradicts Samuel's claim is something we leave to the reader consideration since, in any case, it has no crucial importance here.
1803: What is important, however, is that there is for sure a spacetime interpretation of the appropriate global form of the BI connection.
1804:
1805: We think, instead, that it is instructive to try showing how Samuel's counterexample fits into our framework.
1806: In Samuel's example Minkowski spacetime was considered with two different slicings;
1807: one is the usual $t=c$ slicing, while the other is obtained by a pointwise spin transformation (obtaining some sort of hyperbolic slices).
1808: The two slicings are defined so that there exists a particular loop $\al$ lying on a slice in both slicings.
1809:
1810: A frame $\hat e_a$ is choosen to be adapted to the first slicing and, by means of the pointwise spin transformation, a new frame $e_a$ adapted to the second slicing is obtained.
1811: Then the two frames induce two spin connections which in turn define two different BI connections, each adapted to one slicing.
1812: These two spin connections are of course connected by a spin transformation (related precisely to the pointwise spin transformation used for the frames). The argument ends by computing the trace of the holonomy along $\al$ with respect to the two BI connections so obtained. The result does in fact depend on the slicing while the trace of the holonomy of a spacetime connection is expected to be independent of the slicing.
1813: The bundles involved in the constructions are all trivial and $P$ coincides with its counterpart $\hat P$.
1814: However, the spin transformation used is locally determined by a pointwise element of $\Spin(4)$.
1815: We stress that such transformation is not in the special form $(\vp_+, \vp_+)$.
1816: In our construction the BI connection on ${}^+\<\<P$ is a $\SU(2)$-connection;
1817: hence the two spin connections presented in \ref{Samuel} are gauge equivalent with respect to the gauge group $\Spin(4)$, while the corresponding BI connections are not gauge equivalent
1818: with respect to the smaller gauge group $\SU(2)$.
1819:
1820: In other words, the BI connection is a $\SU(2)$-object, not a $\Spin(4)$-object.
1821: One of the best perspectives to look at the BI framework is exactly the need to provide a $\SU(2)$-formulation of GR already at spacetime level, variously dropping or using the antiselfdual part of the spin group.
1822: Again whether this provides a satisfactory spacetime interpretation of the BI connection is left to the reader.
1823: In any case, we believe that it explains why one should not expect the same trace-holonomy for the two spacetime connections; the two connections are not gauge equivalent with respect to their gauge group $\SU(2)$.
1824:
1825:
1826:
1827:
1828:
1829: \NewSection{Lorentzian case}
1830:
1831: Most of the results obtained for an Euclidean connection do in fact rely on the special form
1832: \ShowLabel{SU2SpecialForm}.
1833:
1834: In the Lorentzian case the relevant spin group is $\Spin(3,1)\simeq \SL(2, \C)$ which is in fact the ``complexification'' of the group $\SU(2)$. Thus we have a canonical group embedding
1835: $\iota:\SU(2)\arr \Spin(3,1)$ exhibiting $\SU(2)$ as a real section of $\Spin(3,1)$.
1836:
1837: We do in fact re-obtain results similar to the Euclidean case considered above by noticing that, under very reasonable assumptions, the spin bundle $P$ does in fact allow a $\SU(2)$-reduction relative to the group homomorphism $\iota:\SU(2)\arr \Spin(3,1)$:
1838: $$
1839: \begindc{\commdiag}[1]
1840: \obj(110,80)[+P2]{$^+P$}
1841: \obj(180,80)[hP3]{$P$}
1842: \obj(70,50)[+Si4]{$^+\Si$}
1843: \obj(140,50)[hSi5]{$\Si$}
1844: \obj(110,30)[M2]{$M$}
1845: \obj(180,30)[M3]{$M$}
1846: \obj(70,0)[S4]{$S$}
1847: \obj(140,0)[S5]{$S$}
1848: %
1849: \mor{+P2}{M2}{}
1850: \mor{hP3}{M3}{}
1851: \mor{+Si4}{S4}{}
1852: \mor{hSi5}{S5}{}
1853: %
1854: \mor{+P2}{hP3}{}
1855: \mor{M2}{M3}{}[\atleft, \solidline] \mor(110,33)(180,33){}[\atleft, \solidline]
1856: \mor{S4}{S5}{}[\atleft, \solidline] \mor(70,3)(140,3){}[\atleft, \solidline]
1857: \mor{S4}{M2}{}[\atleft, \injectionarrow]
1858: \mor{S5}{M3}{}[\atleft, \injectionarrow]
1859: \mor{+Si4}{+P2}{}[\atleft, \injectionarrow]
1860: \mor{hSi5}{hP3}{}[\atleft, \injectionarrow]
1861: \mor{+Si4}{hSi5}{}
1862: \enddc
1863: \fn$$
1864:
1865: In dimension four the reduction is related to the third Stiefel-Whitney class of $M$ (see \ref{Antonsen} and references quoted therein).
1866: Such class is trivial when both the first and the second Stiefel-Whitney classes are trivial (which can be proved by using Steenrod square operators in cohomology; see \ref{Milnor}).
1867: On the other hand, the first and second Stiefel-Whitney classes of $M$ are already assumed to be trivial to allow spin structures on $M$ (which are needed to define spinors, which of course exist in our spacetime).
1868:
1869: As in the Euclidean case gauge transformations on ${}^+\<\<P$ induce a subgroup $\Aut({}^+\<\<P)\subset \Aut(P)$ of gauge transformations on $P$. Then the elements $\si$ in this subgroup induce Lorentz transformations which are in the simplified form
1870: $$
1871: \ell(\si)=\(\matrix{
1872: 1 & 0 \cr
1873: 0 & \la(\si)\cr
1874: }\)
1875: \fn$$
1876: This allows to prove easily that
1877: $$
1878: \cases{
1879: &\A^i_\mu= \frac[1/2]\ep^i{}_{jk}\> \te^{jk}_\mu +\ga\te^{0i}_\mu\cr
1880: &\K^i_\mu= \te^{0i}_\mu\cr
1881: }
1882: \fn$$
1883: are again well-behaving fields, regardless of the signature and without complexifications of the connection $\te$.
1884:
1885:
1886: Some differences between the Euclidean and the Lorentzian formulation still exist;
1887: for example we loose the beatifully explicit construction of the $\SU(2)$-reduction in the Euclidean case (which is here just proven to exist).
1888: Then the slice $S\subset M$ has to be spacelike with respect to the frame which is part of the field configuration (if not the residual triad field defined on $S$ would not be a $\SU(2)$-field itself; see \ref{OurAshtekar}).
1889: This means that one fixes a slice and then restricts the configurations allowing just frames for which the slice is spacelike. Different configurations are obtained for different choices of the initial slice.
1890: A single slice covers a whole set of possible configurations so that, with a countable number of choices,
1891: all possible configurations are obtained.
1892: However, each local framework defined in this way is real and geometrically well-defined.
1893:
1894: \
1895:
1896:
1897: \NewSection{Conclusions and Perspectives}
1898:
1899: We have provided a global geometric framework to introduce the BI connection and understand its global properties.
1900: We have also shown that the BI connection does in fact appear as the restriction of a global $\SU(2)$-connection defined on the whole spacetime.
1901: The construction does not rely on the possible triviality of the principal bundle which encodes the gauge structure of the model nor it resorts to gauge fixings which would spoil manifest gauge covariance.
1902: On the contrary, the construction relies on the existence of a $\SU(2)$-reduction which is the correct mathematical structure to be considered.
1903:
1904: We believe that this framework might help to investigate the global gauge structure of the theory and the relations among different gauge groups $ \Spin(4)$, $\Spin(1,3)$, $\SU(2)$ which appear in LQG.
1905: These groups encode the covariance properties of GR and a better control on their mutal relations might provide a suitable framework to clarify the covariance issues which are sometimes still under
1906: discussion in LQG.
1907:
1908: Finally, the spacetime interpretations of the objects appearing in LQG might help in clarifying the issues connected to the semiclassical limits of LQG.
1909:
1910: Future investigations will be devoted to clarify the role of the field $\K^i_\mu$.
1911: In fact, thanks to the spacetime fields here introduced $(\A^i_\mu, \K^i_\mu)$, one can
1912: pull-back the Holst's action to ${}^+\<\<P$ obtaining a good $\SU(2)$ formulation for GR at a spacetime level. The results are in progress and they will form the core of a forthcoming paper on this subject.
1913:
1914:
1915:
1916:
1917:
1918:
1919:
1920: \NewAppendix{\SelfDualEquivalenceAPP}{Transformation Rules of Different Fields in GR}
1921:
1922: We shall here list the transformation rules of the objects which have been used to provide different descriptions of the GR.
1923:
1924: The spin connection on $P$ is described by coefficients $\om^{ab}_\mu$ which transform as
1925: shown in \ShowLabel{SpinConnectionTranformationRules}.
1926:
1927: The bundle ${}^+\<\<P$ is a principal bundle with group $\SU(2)\equiv \Spin(3)$; hence a connection on it is described by coefficients $\om^{ij}_\mu(x)$ ($i,j=1,2,3$ are skewsymmetric indices) transforming as
1928: $$
1929: \om'{}^{ij}_\mu=\bar J^\nu_\mu \la^i_m\>\(\om^{mn}_\nu\> \la^j_n+ \di_\nu \bar\la^m_n\eta^{nj}\)
1930: \fn$$
1931: All along the paper, connections on ${}^+\<\<P$ have been represented by coefficients
1932: $\om^{k}_\mu=\frac[1/2]\ep^k{}_{ij} \om^{ij}_\mu$. They transform as
1933: $$
1934: \eqalign{
1935: \om'{}^{k}_\mu=& \frac[1/2]\ep^k{}_{ij} \om'{}^{ij}_\mu=
1936: \frac[1/2]\ep^k{}_{ij}\bar J^\nu_\mu \la^i_m\>\(\om^{mn}_\nu\> \la^j_n+ \di_\nu \bar\la^m_n\eta^{nj}\)=\cr
1937: =&
1938: \bar J^\nu_\mu \(\la^i_j\>\om^{j}_\nu-\frac[1/2]\ep^{kj}{}_{i} \la^i_l\di_\nu \bar\la^l_j\)
1939: }
1940: \fl{A2}$$
1941: The information contained in the spin connection $\om^{ab}_\mu$ can be expressed in a number of equivalent ways.
1942:
1943:
1944: \NewSubSection{Barbero-Immirzi connection}
1945:
1946: The spin connection is described by $24=6\times 4$ functions.
1947: We can split the same information as $(A^i_\mu, K^i_\mu)$ which are $(3\times 4) \oplus (3\times 4)$ functions; see \ShowLabel{BIConnection} and \ShowLabel{BIK}. The map $\om^{ab}_\mu\mapsto (A^i_\mu, K^i_\mu)$ is invertible for every $\ga\not=0$ and the new objects have a global meaning if the spin bundle $P$ has a $\SU(2)$-reduction; see \ShowLabel{GoodTransformationRulesBI} for transformation rules.
1948:
1949:
1950: \NewSubSection{Selfdual Connection}
1951:
1952: The (anti)selfdual connection ${}^\pm\<\om^i_\mu$ are again $(3\times 4) \oplus (3\times 4)$ functions.
1953: The transformations rules of ${}^\pm\<\om^i_\mu$ are obtained in general (without resorting to a $\SU(2)$-reduction of $P$).
1954:
1955: Let us consider the transformations rules of $\om^{ab}_\mu$ with respect to a gauge transformation $(S_+, S_-)$ and let us denote by $\la$ the $\SO(3)$ transformation induced by $S_\pm$;
1956: then the transformation rules for ${}^\pm\<\om^{i}_\mu$ are (see \ShowLabel{A2})
1957: $$
1958: {}^\pm\<\om'{}^{i}_\mu=\bar J^\nu_\mu \(\la^i_j\>{}^\pm\<\om^{j}_\nu-\frac[1/2]\ep^{kj}{}_{i} \la^i_l\\di_\nu \bar\la^l_j\)
1959: \fn$$
1960: The check of the necessary identities was performed by using MapleTensor package.
1961:
1962:
1963:
1964: \NewSubSection{Deformed connection}
1965:
1966: In the analysis of Holst's action (which is not carried out here) is useful to introduce
1967: $$
1968: {}^\ga\<\om^{ab}_\mu = \frac[1/2] \ep\^a\^b{}_{cd} \om^{cd}_\mu +\ga\om^{ab}_\mu
1969: \fn$$
1970: These are again $6\times 4$ independent functions. They are not in general the components of a $\Spin(4)$-connection.
1971: In the Euclidean case, the transformations are invertible for $\ga\not=\pm 1$ (while in the Lorentzian case they are invertible for any real nonzero value; of course invertibility would be lost for $\ga=\pm i$).
1972: Of course for $\ga=\pm1$ the Euclidean (anti)selfdual connection is obtained.
1973:
1974: We also have
1975: $$
1976: \cases{
1977: &{}^\ga\<\om^{0i}_\mu = A^i_\mu\cr
1978: &{}^\ga\<\om^{ij}_\mu = \ep^{ij}{}_{k} \(\ga A^k_\mu +(1-\ga^2) K^k_\mu\)\cr
1979: }
1980: \fn$$
1981: Notice how the selfdual formalism is dealt differently with respect to the BI case.
1982: In the (anti)selfdual case one uses the equivalent variables ${}^\pm\<\om^i_\mu$, while
1983: in the Holst's case one uses ${}^\ga\<\om^{ab}_\mu $ (for a single value of $\ga$) which are in fact non-degenerate for $\ga\not=\pm 1$.
1984: Finally, in the BI setting we use $(A^i_\mu, K^i_\mu)$ as variables.
1985: The ultimate reason for different strategies is due to algebraic degeneracy of the (anti)selfdual case.
1986:
1987:
1988:
1989:
1990:
1991: \Acknowledgements
1992:
1993: One of us (LF) thanks Google for pointing out so efficiently the paper \ref{Antonsen}.
1994:
1995: This work is partially supported by MIUR: PRIN 2005 on ``Leggi di conservazione e termodinamica in meccanica dei continui e teorie di campo''. We also acknowledge the contribution of INFN (Iniziativa Specifica NA12) and the local research founds of Dipartimento di Matematica of Torino University.
1996:
1997:
1998:
1999:
2000: \ShowBiblio
2001:
2002: \end
2003:
2004:
2005:
2006:
2007:
2008:
2009: