\documentclass[a4paper,10pt,leqno]{scrartcl} \usepackage{zb-basics} \usepackage{scrlayer-scrpage} \usepackage{hyperref} \hypersetup{colorlinks=true,allcolors=[rgb]{0,.289,.6}} \begin{document} % display copyright in footer \pagestyle{scrheadings} \setkomafont{pageheadfoot}{ \rmfamily \footnotesize \color[rgb]{.5,.5,.5} } \lofoot{% \copyright{} \the\year{} FIZ Karlsruhe GmbH } \cofoot{} \rofoot{Page \thepage} \setlength{\parindent}{0cm} \setlength{\parskip}{1ex} \setlength{\parfillskip}{0pt plus 1fill} \setlength{\footheight}{19pt} \newsavebox{\citationbox} \newdimen{\msclen} \frenchspacing \section*{LaTeX-Template for zbMATH Open Reviews} \subsection*{Purpose of this template} This template shows how your review will look like at zbMATH Open. You can test whether your LaTeX-code will compile properly on our system. However, be aware that there might be manual changes to your review and its published version on zbMATH Open will look slightly different than on this template. \subsection*{How to use this template} Delete all the text in \texttt{zb-review.tex} and write your review into this file. If you want, you can change the metadata information at \texttt{zb-metadata.tex}. This is optional and just gives you a feeling how the final pdf at zbmath.org will look like. Finally, compile \texttt{zb-main.tex} using XeLaTeX. \vspace{2ex} \subsection*{LaTeX Format} Please prepare your review in standard LaTeX. You might use functions and macros from the following packages: \begin{itemize}[nosep] \item \href{https://www.ams.org/arc/resources/amslatex-about.html}{amsmath, amsfonts, amssymb} \item \href{https://ctan.org/pkg/stmaryrd}{stmaryrd} \item \href{https://ctan.org/pkg/mathrsfs}{mathrsfs} \item \href{https://ctan.org/pkg/tikz-cd}{tikz-cd} \item \href{https://ctan.org/pkg/mathtools}{mathtools} \item \href{https://ctan.org/pkg/gensymb}{gensymb} \item \href{https://ctan.org/pkg/textcomp}{textcomp} \end{itemize} Furthermore, you might use the macros defined in zb-basics.sty, that are: \begin{itemize}[nosep] \item \verb|\Im| and \verb|\Re| for the imaginary and real part of a complex number, for example, \(\Re(x+iy)=x\) and \(\Im(x+iy)=y\). \item \verb|\Aut| for the automorphism group of a set, e.g., \(\Aut(X)\) for a set \(X\). \item \verb|\Hom| for the hom-Functor, e.g., \(\Hom(A,B)\) stands for the set of homomorphisms from a set \(A\) to a set \(B\). \item \verb|\ran| for the range or image of a vector space, e.g., \(\ker A = \left(\ran A^*\right)^\bot\). \item \verb|\1| for the indicator function of a set, e.g. \[\1_A = \begin{cases}1 &\text{if }x\in A\\ 0 &\text{if }x\notin A \end{cases}.\] \item \verb|\fint| for \(\fint\), e.g., \[\fint_A u(y)\,d\mu(y)=\frac{1} {\mu(A)}\int_A u(y)\,d\mu(y)\] \item \verb|\Sha| for the Tate–Shafarevich group $\Sha(A/K)$ of an abelian variety \(A\) defined over a number field \(K\). \end{itemize} Please do not use any self-defined macros or packages not listed above. If you feel that there is a missing package that we should add, please let us know. Our PDFs are compiled using XeLaTeX, which supports unicode characters in the source files. Unicode allows the user to include accents and special characters coming from different Asian and European languages. For example you may enter accented characters directly (e.g., \verb|Lévy| instead of \verb|L\'evy|). However, please avoid including unicode characters in mathematical mode. For example, when you type Greek characters for variables please use \verb|\(\beta\)| or \verb|$\beta$| obtaining \(\beta\), instead of typing the unicode character directly. Please do not include tables, large diagrams, drawings or formulas of minor importance. Use alternative fonts (bold, italics etc.) only if necessary, e.g., in formulas or for highlighting the authors of cited publications. \subsection*{Mathematical Typesetting} When writing equations or diagrams please avoid the automatic numbering environments and replace them with their "*" analogues. For example, use \verb|\begin{equation*} \end{equation*}| instead of \verb|\begin{equation} \end{equation}|. The numbers on equations, definitions, diagrams, etc. should be set manually. You can do this by typing, for instance, \verb|\tag{1}| or \verb|\tag{*}|. For example \begin{verbatim} \begin{equation*} \sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6} \tag{1}\label{eq:1} \end{equation*} \end{verbatim} gives \begin{equation*} \sum_{n=1}^\infty \frac{1}{n^2}=\frac{\pi^2}{6} \tag{1}\label{eq:1} \end{equation*} An equation can be referenced via \verb|\ref{key}| if it is labeled by \verb|\label{key}|. The formula above can be referenced via \verb|\ref{eq:1}|: Equation~\ref{eq:1} was proven by Leonhard Euler in his paper \textit{De summis serierum reciprocarum}. For inline mathematical formula we prefer to use \verb|\(...\)| over \verb|$...$|. Similarly, we recommend to use \verb|\[...\]| instead of \verb|$$...$$|. \paragraph{Matrices} We give a short description how to type matrices with \texttt{amsmath}. For more details we refer to the documentation of \href{https://www.ams.org/arc/resources/amslatex-about.html}{amsmath} on ctan. \texttt{amsmath} provides several environments for matrices using different brackets. For example the code \begin{verbatim} \[ \begin{pmatrix} a & b \\ c & d \end{pmatrix}\quad \begin{matrix} a & b \\ c & d \end{matrix}\quad \begin{bmatrix} a & b \\ c & d \end{bmatrix}\quad \begin{Bmatrix} a & b \\ c & d \end{Bmatrix}\quad \begin{vmatrix} a & b \\ c & d \end{vmatrix} \quad \begin{Vmatrix} a & b \\ c & d \end{Vmatrix} \] \end{verbatim} generates these four matrices \[ \begin{pmatrix} a & b \\ c & d \end{pmatrix}\quad \begin{matrix} a & b \\ c & d \end{matrix}\quad \begin{bmatrix} a & b \\ c & d \end{bmatrix}\quad \begin{Bmatrix} a & b \\ c & d \end{Bmatrix}\quad \begin{vmatrix} a & b \\ c & d \end{vmatrix} \quad \begin{Vmatrix} a & b \\ c & d \end{Vmatrix}. \] If you want to use a matrix in inline math mode, then you might use \verb|\smallmatrix|, e.g. \(\left(\begin{smallmatrix} 1&2\\ 3&4 \end{smallmatrix}\right)\) is typed via \begin{verbatim} \(\left(\begin{smallmatrix} 1&2\\ 3&4 \end{smallmatrix}\right)|\). \end{verbatim} Observe that you have to add your own deliminator to the smallmatrix environment, here we use \verb|\left(| and \verb|\right)|. \paragraph{Commutative Diagrams} The package \texttt{tikz-cd} is designed to draw commutative diagrams. They are constructed inside \verb|\begin{tikzcd}...\end{tikzcd}|. Its usage is similar to the one of tables (\verb|&| for columns and \verb|\\| for rows). Arrows are drawn using the command \verb|\arrow[options]|. The direction of an arrow is specified by a string of characters \texttt{r}, \texttt{l}, \texttt{u}, \texttt{d} (right, left, up, down) and labels are added using quotes \texttt{"