First of all, we want a logical source file, that any user can easily adapt to his wishes (use of other page size, other fonts, just to name some examples). The layout at this moment is not so important. Hence one should try to keep the typesetting commands as simple and as standard as possible, and preferably no spacing commands at all should be done `by hand'.
We want the participants to understand what they are typing. A good reason for this is that one has to know what types of objects one is dealing with, in order to choose the proper font. For example, an underlined F that represents a sheaf should be typeset as \mathcal{F}, and a handwritten X that denotes a formal scheme should be typeset as \goth{X}.
Do not edit outside your part unless you have a good reason. It won't have any effect anyway, as I will copy-paste only your parts into the master file. So, in fact, you are free to edit the header, but keep in mind that what you type has to work with the header of the skeleton.
Do not add macros (i.e., \newcommands etc.). If you want one, ask me (email) to put one in the header of the skeleton. See here for the list of macros in the skeleton. Of course, you can also just read the header of the skeleton. Most notations in math mode that are based on abbreviations (to be typeset in roman) such as `an' (for analytification), `Gal' (for Galois group) are in the list of macros (\an and \Gal, for example). In such cases the name of the macro is the piece of text that should appear, unless this is impossible (e.g., \divisor for `div' for divisor of a function). If such a notation is not available as a macro, use \mathrm{...} or ask me to make a macro.
Text that is emphasized, either by underlining inside a context that is not underlined, or not underlined in a context that is underlined, should be typeset using \emph{}. In the last case, the doubly emphasized text will appear upright in a slanted context. For environments such as theorems and such, the emphasizing is automatic. Italic corrections are automatic, using \emph{}.
Formulas. Underlined symbols in formulas have to be typeset in a suitable font. As a general rule, this means bold, script (i.e., calligraphic), gothic, or blackboard bold, depending on what type of object is concerned. See here for a list of types of objects and how they should be typeset, and here for a dvi file explaining how to typeset the notations from the `index des notations' of SGA 1.
Use \begin{enumerate}\item[...] ..... \end{enumerate} for lists within theorems and such, when appropriate.
For spacing in math mode, if necessary, use `\,', `\:', `\;', `\quad' or `\qquad'. Example: in a displayed equation, with some text on the same line, you can have `...., \qquad\text{avec $S'=...$)'.
For the colon in the notation `f: X --> Y' use \colon (e.g., f\colon X\to Y).
(Co)Homology. Use the macro \H. Example: \H^1(X,\mathcal{F}). Similarly, for right derived functors, use \R.
For footnotes (they appear as (*) in the text) use the \footnote{} command. Footnotes are then numbered within each exposé.
Inverse and direct limits: \varinjlim and \varprojlim can be used, together with \underset. For example: \underset{i}{\varinjlim}.
For the squiggly arrow (\leadsto in TeX) that indicates what a map does with elements of a set: use \mapsto. Example: $f\colon X \to Y$, $x\mapsto f(x)$.
Spectral sequence notation: use \Rightarrow, or \Longrightarrow, or their left versions.
Internal references in the book: use \ref{}. For example: \ref{I.3.7}, which produces `3.7'. Note that all numbered sections and theorems and such have been labeled in this format: the number of the exposé in Roman, followed by the numbers given in the book, separated by dots. However, note that the number produced by \ref does not contain that of the chapter. So if you want to get `I.3.7', then you type `I.\ref{I.3.7}'.
References to the bibliography of the exposé: type by hand: [1] for example.
Opposite category: use ^\circ. Example: \cal{C}^\circ.
Use `\ell' for handwritten or script l's, and `l' for ordinary typed l's.
For blackboard bold mu (used for roots of unity), use \Bbb{\mu} (this gives the same result as \mu, but that might improve some day).
Use \No for `N^o' (N with superscript o) used for `Numéro'. Example: \No~2.
Use ties to prevent line breaks at all inappropriate places (remember that a user should be able to modify the page width and still get a reasonable result). Example: `......de $B$ sur~$A$.' will not be broken between `sur' and `$A$'.
For left superscripts there is a macro \leftexp (see below).
If you have a question, send me an email (or first ask somebody that you have around). For example, I can imagine that one hesitates with the dual of \mathit{\Omega}_{X/S} on page 73, which I think should be \goth{g}_{X/S}.
A word about documentation for TeX and LaTeX. The main source is the CTAN archive. Each reasonable TeX distribution should come with a lot of documentation, directly available on your computer. For example, on my computer, the documentation of the teTeX distribution is accessible from /usr/share/texmf/doc/index.html. For your convenience, here is a link to a full reference manual of LaTeX2e commands in dvi format.
Accented characters. Since we are typing a french text, it is easier to type the accented characters as such. Even when using a keyboard without accented characters, you can type them in emacs using the iso-accents-mode (the use of the package isolatin1 makes it possible to run latex on such a source file). You can switch back and forth between between TeX format ({\'e}) and iso-format (é) with the commands iso-tex2iso and iso-iso2tex.
The header contains commands that load, among others, the following packages:
\xymatrix{S \ar[r] & X \ar@<2pt>[r]\ar@<-2pt>[r] & Y \ar@<4pt>[r] \ar[r] \ar@<-4pt>[r] & Z} \xymatrix{X\times Y\times Z\ar@<8pt>[r]^-{f}\ar@<-2pt>[r]^-{g}\ar@<-6pt>[r]_-{h} &S}
A few words on fonts in LaTeX2e. A font consists of three attributes: a family (rm (roman), ssf (sans serif) or tt (typewriter)), a shape (up (up), it (italic), sl (slanted), sc (small caps)), and a series (md (medium), bf (bold face)). Each command such as \textrm, \textup, \textmd changes just one of the three attributes. For example, the \textup{} command in $\Hom_\text{\textup{$k$-alg}}(A,B)$ ensures that `alg' is typeset in upshape, even if the surrounding environment is slanted (as in a theorem).
In math mode, the commands that change the font attributes are of the form \mathrm, \mathit, etc. For convenience, the old LaTeX 2.09 commands \rm, \it, \bf and \cal have been redefined to be \mathrm, \mathit, etc. Note that they have to be used as `\rm{Hom}' and not as `{\rm Hom}' (in the last case, only the H of Hom will be in roman). Their use in textmode will now lead to an error message.
Back to the typesetting rules, the typesetting indications, the top of this page, the previous page.
name | definition | use |
\an | \mathrm{an} | superscript for analytic spaces etc. |
\Aut | \DeclareMathOperator{\Aut}{Aut} | group of automorphisms |
\SheafAut | \DeclareMathOperator{\SheafAut}{\mathbf{Aut}} | sheaf of automorphism groups |
\cart | \newcommand{\cart}{\mathrm{cart}} | abbreviation of cartesian |
\Cat | \newcommand{\Cat}{\mathbf{Cat}} | category of categories |
\codim | \DeclareMathOperator{\codim}{codim} | codimension |
\Coker | \DeclareMathOperator{\Coker}{Coker} | cokernel |
\coprof | \DeclareMathOperator{\coprof}{coprof} | coprofondeur |
\divisor | \DeclareMathOperator{\divisor}{\mathrm{div}} | for divisor of a function |
\Ens | \newcommand{\Ens}{\mathbf{Ens}} | category of sets |
\et | \newcommand{\et}{\mathrm{\acute{e}t}} | abbreviation of étale, used in sub and superscripts |
\Ext | \DeclareMathOperator{\Ext}{Ext} | for Ext groups |
\Fer | \DeclareMathOperator{\Fer}{Fer} | set of closed subsets of a topological space |
\Fib | \newcommand{\Fib}{\mathrm{Fib}} | occurs in definition of fibered category |
\Fl | \DeclareMathOperator{\Fl}{\mathrm{Fl}} | arrows of a category |
\CatFl | \DeclareMathOperator{\CatFl}{\mathbf{Fl}} | category of arrows of a category |
\Gl | \DeclareMathOperator{\Gl}{Gl} | general linear group |
\gr | \DeclareMathOperator{\gr}{gr} | graded |
\Gal | \DeclareMathOperator{\Gal}{Gal} | abbreviation for Galois group |
\H | \renewcommand{\H}{\mathrm{H}} | for (co)homology; replaces an existing \H, of what I do not know what it does |
\Hom | \DeclareMathOperator{\Hom}{Hom} | set of morphisms |
\SheafHom | \DeclareMathOperator{\SheafHom}{\mathbf{Hom}} | sheaf of sets of morphisms, or category of functors between two categories |
\hop | \DeclareMathOperator{\hop}{hop} | page 424 (what is it?) |
\id | \newcommand{\id}{\mathrm{id}} | identity morphism |
\Im | \renewcommand{\Im}{\mathrm{Im}} | abbreviation of image; replaces old \Im (Imaginary part of complex number) |
\Isom | \DeclareMathOperator{\Isom}{Isom} | set of isomorphisms |
\SheafIsom | \DeclareMathOperator{\SheafIsom}{\mathbf{Isom}} | sheaf version of set of isomorphisms |
\k | \renewcommand{\k}{\mathrm{k}} | for residue field of local ring |
\Ker | \DeclareMathOperator{\Ker}{Ker} | abbreviation for kernel |
\Lim | \DeclareMathOperator*{\Lim}{Lim} | for limits (injective and projective); one can also use \varinjlim and \varprojlim |
\Ob | \DeclareMathOperator{\Ob}{\mathrm{Ob}} | objects of a category |
\Ouv | \DeclareMathOperator{\Ouv}{Ouv} | set of open subsets of a topological space |
\Pic | \DeclareMathOperator{\Pic}{Pic} | for Picard group |
\Pro | \DeclareMathOperator{\Pro}{Pro} | category of Pro-objects |
\Prodash | \DeclareMathOperator{\Prodash}{Pro-} | category of Pro-objects |
\prof | \DeclareMathOperator{\prof}{prof} | abbreviation of profondeur |
\Proj | \DeclareMathOperator{\Proj}{Proj} | for projective scheme |
\Quot | \DeclareMathOperator{\Quot}{Quot} | abbreviation of Quotient |
\R | \DeclareMathOperator{\R}{R} | for right derivation of functors |
\red | \newcommand{\red}{\mathrm{r\acute{e}d}} | abbreviation of réduit (reduced closed subscheme, morphisms between) |
\Sch | \newcommand{\Sch}{\mathbf{Sch}} | category of schemes |
\Symp | \DeclareMathOperator{\Symp}{Sp} | symplectic group |
\Spec | \DeclareMathOperator{\Spec}{Spec} | for spectrum of a ring |
\Supp | \DeclareMathOperator{\Supp}{Supp} | abbreviation of support; for the support of a sheaf |
\tame | \newcommand{\tame}{\mathrm{t}} | abbreviation of tame; for tame fundamental group etc. |
\Tor | \DeclareMathOperator{\Tor}{Tor} | derived functors of tensor product |
\trace | \DeclareMathOperator{\trace}{tr} | abbreviation of trace |
\Univ | \newcommand{\Univ}{\mathbf{Univ}} | universe |
\leftexp | \newcommand{\leftexp}[2]{{\vphantom{#2}}^{#1}{#2}} | \leftexp{e}{F} produces a left superscript eF |
\isomto | \newcommand{\isomto}{\overset{\sim}{\rightarrow}} | rightarrow with a tilde on top, for isomorphism |
\isomfrom | \newcommand{\isomfrom}{\overset{\sim}{\leftarrow}} | leftarrow with a tilde on top, for isomorphism |
The macro \Bbb is defined as follows: \renewcommand{\Bbb}{\mathbb}.
\CC | \newcommand{\CC}{\Bbb{C}} | complex numbers |
\GG | \newcommand{\GG}{\Bbb{G}} | for multiplicative/additive group |
\LL | \newcommand{\LL}{\Bbb{L}} | finite set of primes |
\NN | \newcommand{\NN}{\Bbb{N}} | natural numbers |
\PP | \newcommand{\PP}{\Bbb{P}} | for projective space |
\newcommand{\QQ}{\Bbb{Q}} | rational numbers | |
\RR | \newcommand{\RR}{\Bbb{R}} | real numbers |
\VV | \newcommand{\VV}{\Bbb{V}} | vector bundle associated to sheaf of modules |
\ZZ | \newcommand{\ZZ}{\Bbb{Z}} | integers |
Back to the typesetting rules, the typesetting indications, the top of this page, the previous page.
formal scheme | \goth | \goth{X} |
ideals in rings, in lower case | \goth | \goth{n}, \goth{p} |
sheaf | \cal | \cal{F} |
`greek' sheaf | \it | \it{\Omega} |
category | \cal | \cal{E}, unless standard such as \Ens, \Sch |
stack (champ) | \cal | \cal{F} |
analytic space | \goth | \goth{X} |
Notation for fundamental groups. Most handwritten pi's in the text should become `\pi', but some, also handwritten, wider and straighter (see page 132) should become `\Pi'. The difference is that \pi is a topological group, whereas \Pi is a pro-group in a galois category.