This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015) (preloaded format=latex 2016.1.25)  16 MAY 2016 16:57
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**noheighttwo16
(./noheighttwo16.tex
LaTeX2e <2015/01/01>
Babel <3.9l> and hyphenation patterns for 79 languages loaded.
(/usr/local/texlive/2015/texmf-dist/tex/latex/amscls/amsart.cls
Document Class: amsart 2015/03/04 v2.20.2
\linespacing=\dimen102
\normalparindent=\dimen103
\normaltopskip=\skip41
(/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2013/01/14 v2.14 AMS math features
\@mathmargin=\skip42

For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen104
))
(/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen105
)
(/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count79
LaTeX Info: Redefining \frac on input line 210.
\uproot@=\count80
\leftroot@=\count81
LaTeX Info: Redefining \overline on input line 306.
\classnum@=\count82
\DOTSCASE@=\count83
LaTeX Info: Redefining \ldots on input line 378.
LaTeX Info: Redefining \dots on input line 381.
LaTeX Info: Redefining \cdots on input line 466.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen106
LaTeX Font Info:    Redeclaring font encoding OML on input line 566.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 567.
\macc@depth=\count84
\c@MaxMatrixCols=\count85
\dotsspace@=\muskip10
\c@parentequation=\count86
\dspbrk@lvl=\count87
\tag@help=\toks15
\row@=\count88
\column@=\count89
\maxfields@=\count90
\andhelp@=\toks16
\eqnshift@=\dimen107
\alignsep@=\dimen108
\tagshift@=\dimen109
\tagwidth@=\dimen110
\totwidth@=\dimen111
\lineht@=\dimen112
\@envbody=\toks17
\multlinegap=\skip43
\multlinetaggap=\skip44
\mathdisplay@stack=\toks18
LaTeX Info: Redefining \[ on input line 2665.
LaTeX Info: Redefining \] on input line 2666.
)
LaTeX Font Info:    Try loading font information for U+msa on input line 388.

(/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
)
(/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
)
\copyins=\insert233
\abstractbox=\box28
\listisep=\skip45
\c@part=\count91
\c@section=\count92
\c@subsection=\count93
\c@subsubsection=\count94
\c@paragraph=\count95
\c@subparagraph=\count96
\c@figure=\count97
\c@table=\count98
\abovecaptionskip=\skip46
\belowcaptionskip=\skip47
\captionindent=\dimen113
\thm@style=\toks19
\thm@bodyfont=\toks20
\thm@headfont=\toks21
\thm@notefont=\toks22
\thm@headpunct=\toks23
\thm@preskip=\skip48
\thm@postskip=\skip49
\thm@headsep=\skip50
\dth@everypar=\toks24
)
(/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols
)
(/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/epsfig.sty
Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)

(/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks25
)
(/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2014/10/28 v1.0p Standard LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/graphics.cfg
File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
)
Package graphics Info: Driver file: dvips.def on input line 94.

(/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/dvips.def
File: dvips.def 2014/10/14 v3.0j Driver-dependent file (DPC,SPQR)
))
\Gin@req@height=\dimen114
\Gin@req@width=\dimen115
)
\epsfxsize=\dimen116
\epsfysize=\dimen117
)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing:
catcodes, docmode,
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xyrecat.tex)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.8.9 <2013/10/06>
 Copyright (c) 1991-2013 by Kristoffer H. Rose <krisrose@tug.org> and others
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state,
\X@c=\dimen118
\Y@c=\dimen119
\U@c=\dimen120
\D@c=\dimen121
\L@c=\dimen122
\R@c=\dimen123
\Edge@c=\toks26
\X@p=\dimen124
\Y@p=\dimen125
\U@p=\dimen126
\D@p=\dimen127
\L@p=\dimen128
\R@p=\dimen129
\Edge@p=\toks27
\X@origin=\dimen130
\Y@origin=\dimen131
\X@xbase=\dimen132
\Y@xbase=\dimen133
\X@ybase=\dimen134
\Y@ybase=\dimen135
\X@min=\dimen136
\Y@min=\dimen137
\X@max=\dimen138
\Y@max=\dimen139
\lastobjectbox@=\box29
\zerodotbox@=\box30
\almostz@=\dimen140
 direction,
\d@X=\dimen141
\d@Y=\dimen142
\K@=\count99
\KK@=\count100
\Direction=\count101
\K@dXdY=\dimen143
\K@dYdX=\dimen144
\xyread@=\read1
\xywrite@=\write3
\csp@=\count102
\quotPTK@=\dimen145

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks28
\connectobjectbox@@=\box31
 objects,
\styletoks@=\toks29
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xyall.tex
 Xy-pic option: All features v.3.8
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.12 curve,
\crv@cnt@=\count103
\crvpts@=\toks30
\splinebox@=\box32
\splineval@=\dimen146
\splinedepth@=\dimen147
\splinetol@=\dimen148
\splinelength@=\dimen149
 circles,
\L@=\dimen150
 loaded)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.14 loaded)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xycmtip.tex
 Xy-pic option: Computer Modern tip extension v.3.7
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xytips.tex
 Xy-pic option: More Tips extension v.3.11 loaded) loaded)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xyline.tex
 Xy-pic option: Line styles extension v.3.10
\xylinethick@=\dimen151
 loaded)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xyrotate.tex
 Xy-pic option: Rotate and Scale extension v.3.8 loaded)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xycolor.tex
 Xy-pic option: Colour extension v.3.11 loaded)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xymatrix.tex
 Xy-pic option: Matrix feature v.3.14
\Row=\count104
\Col=\count105
\queue@=\toks31
\queue@@=\toks32
\qcount@=\count106
\qcount@@=\count107
\matrixsize@=\count108
 loaded)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
(/usr/local/texlive/2015/texmf-dist/tex/generic/xypic/xygraph.tex
 Xy-pic option: Graph feature v.3.11 loaded) loaded)
\c@prop=\count109
 (./noheighttwo16.aux)
\openout1 = `noheighttwo16.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 188.
LaTeX Font Info:    ... okay on input line 188.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 188.
LaTeX Font Info:    ... okay on input line 188.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 188.
LaTeX Font Info:    ... okay on input line 188.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 188.
LaTeX Font Info:    ... okay on input line 188.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 188.
LaTeX Font Info:    ... okay on input line 188.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 188.
LaTeX Font Info:    ... okay on input line 188.
LaTeX Font Info:    Try loading font information for U+msa on input line 188.

(/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
)
LaTeX Font Info:    Try loading font information for U+msb on input line 188.

(/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
) [1] [2]
[3] [4] [5]
LaTeX Font Info:    Try loading font information for U+euf on input line 519.
 (/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/ueuf.fd
File: ueuf.fd 2013/01/14 v3.01 Euler Fraktur
)
[6]
Overfull \hbox (8.18312pt too wide) in paragraph at lines 559--562
\OT1/cmr/bx/n/12 Proposition 4.1. \OT1/cmr/m/it/12 With the above no-ta-tion, t
he mor-phism $\OML/cmm/m/it/12 L \OMS/cmsy/m/n/12 ! \U/msb/m/n/12 P\OT1/cmr/m/n
/12 (\OML/cmm/m/it/12 k[]=V\OT1/cmr/m/n/12 )$\OT1/cmr/m/it/12 ,
 []

[7] [8]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 724.

 (/usr/local/texlive/2015/texmf-dist/tex/latex/base/omscmr.fd
File: omscmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <12> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 724.
 [9]
[10] [11] [12]
Overfull \hbox (6.22252pt too wide) in paragraph at lines 957--960
\OT1/cmr/m/it/12 upon sim-ply tran-si-tively by the ker-nel of $[]\OT1/cmr/m/n/
12 (\OML/cmm/m/it/12 X\OT1/cmr/m/n/12 ) \OMS/cmsy/m/n/12 ! []\OT1/cmr/m/n/12 (\
OML/cmm/m/it/12 H[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 X; \OMS/cmsy/m/n/12 I[]\OT
1/cmr/m/n/12 (2)))$\OT1/cmr/m/it/12 . 
 []

[13]
Overfull \hbox (1.17923pt too wide) in paragraph at lines 1024--1028
\OT1/cmr/bx/n/12 Proposition 6.5. \OT1/cmr/m/it/12 The mor-phisms [] and [] in-
duce iso-mor-phisms
 []


Overfull \hbox (18.28989pt too wide) in paragraph at lines 1039--1045
\OT1/cmr/m/n/12 rated di-ag-o-nal, this is enough to de-duce the van-ish-ing of
 $[]([](\OML/cmm/m/it/12 ^^L\OT1/cmr/m/n/12 )\OML/cmm/m/it/12 ; \U/msb/m/n/12 G
[]\OT1/cmr/m/n/12 )$.
 []

[14]
Overfull \hbox (5.91206pt too wide) in paragraph at lines 1166--1166
[] 
 []

[15] [16] [17] [18]
File: components.eps Graphic file (type eps)
 <components.eps> [19]
File: components2.eps Graphic file (type eps)
 <components2.eps>
Overfull \hbox (10.3029pt too wide) in paragraph at lines 1415--1418
\OT1/cmr/m/n/12 In par-tic-u-lar, $\OML/cmm/m/it/12 X$ \OT1/cmr/m/n/12 is D-sem
istable ex-cept at one point, where $\OML/cmm/m/it/12 X[]; X[]; X[]; X[]$
 []

[20] [21] <xymatrix 2x2 154> [22] <xymatrix 3x2 230> <xymatrix 3x2 230>
[23] [24] [25] [26] <xymatrix 5x2 416> [27] <xymatrix 5x4 584> <xymatrix 5x4
584>
Underfull \vbox (badness 2671) has occurred while \output is active []

 [28]
[29] [30] [31] [32]
Overfull \hbox (1.90994pt too wide) detected at line 2374
\OMS/cmsy/m/n/12 ^^@\OML/cmm/m/it/12 A[]A[] \OMS/cmsy/m/n/12 ^^@ \OML/cmm/m/it/
12 A[]A[] \OT1/cmr/m/n/12 + 2\OML/cmm/m/it/12 A[]A[]A[] \OT1/cmr/m/n/12 = \OML/
cmm/m/it/12 au[] \OT1/cmr/m/n/12 + 2\OML/cmm/m/it/12 buv \OT1/cmr/m/n/12 + \OML
/cmm/m/it/12 cv[];  a; b; c \OMS/cmsy/m/n/12 2 \OT1/cmr/m/n/12 ^^@(\OMS/cmsy/m/
n/12 O[]\OT1/cmr/m/n/12 (5))\OML/cmm/m/it/12 :
 []

[33] [34] [35]
Underfull \hbox (badness 10000) in paragraph at lines 2559--2564
[]\OT1/cmr/m/n/10 A. Beauville, \OT1/cmr/m/it/10 Le groupe de mon-odromie des f
amilles uni-verselles
 []


Underfull \vbox (badness 10000) has occurred while \output is active []

 [36]
[37] (./noheighttwo16.aux) ) 
Here is how much of TeX's memory you used:
 4455 strings out of 493090
 51453 string characters out of 6134868
 166569 words of memory out of 5000000
 7727 multiletter control sequences out of 15000+600000
 17079 words of font info for 69 fonts, out of 8000000 for 9000
 1302 hyphenation exceptions out of 8191
 34i,33n,32p,270b,558s stack positions out of 5000i,500n,10000p,200000b,80000s

Output written on noheighttwo16.dvi (37 pages, 142068 bytes).