\documentclass[11 pt]{article} \usepackage{amsmath,amsthm,amsfonts,amssymb,titlesec} \usepackage{hyperref} \usepackage{tikz} \usepackage{verbatim} \usepackage{accents} \usepackage[citestyle=alphabetic,bibstyle=alphabetic,backend=bibtex]{biblatex} \usepackage{todonotes} \usepackage[american]{babel} \usepackage{fancyhdr} \hypersetup{colorlinks=false} \usetikzlibrary{calc, decorations.pathreplacing,shapes.misc} \usetikzlibrary{decorations.pathmorphing} \usepackage[left=1in,top=1in,right=1in]{geometry} \usepackage[capitalize]{cleveref} \newcommand{\mathcolorbox}[2]{\colorbox{#1}{$\displaystyle #2$}} \newcommand{\xxx}{T base with combinatorial potential data } \newcommand{\Xxx}{T base with combinatorial potential data } \newcommand{\xxxc}{combinatorial potential stratified space } \newcommand{\Xxxc}{combinatorial potential stratified space } \newcommand{\argument}{symplectic character } \newcommand{\arguments}{symplectic characters } \newcommand{\snip}[2]{#1} \newtheorem{theorem}{Theorem}[section] \newtheorem{lem}[theorem]{Lemma} \newtheorem{lemma}[theorem]{Lemma} \newtheorem{proposition}[theorem]{Proposition} \newtheorem{corollary}[theorem]{Corollary} \newtheorem{conjecture}[theorem]{Conjecture} \newtheorem{notation}[theorem]{Notation} \newtheorem{question}[theorem]{Question} \theoremstyle{remark} \newtheorem{rem}[theorem]{Remark} \newtheorem{remark}[theorem]{Remark} \crefname{rem}{Remark}{Remarks} \Crefname{rem}{Remark}{Remarks} \newtheorem{exercise}[theorem]{Exercise} \newtheorem{example}[theorem]{Example} \newenvironment{construction}{}{} \newenvironment{exposition}{}{} \newenvironment{application}{}{} \theoremstyle{definition} \newtheorem{df}[theorem]{Definition} \newtheorem{definition}[theorem]{Definition} \titleformat*{\section}{\normalsize \bfseries \filcenter} \titleformat*{\subsection}{\normalsize \bfseries } \newtheorem{mainthm}{Theorem} \Crefname{mainthm}{Theorem}{Theorems} \newtheorem{maincor}[mainthm]{Corollary} \Crefname{maincor}{Corollary}{Corollaries} \renewcommand*{\themainthm}{\Alph{mainthm}} \makeatletter \def\namedlabel#1#2{\begingroup \def\@currentlabel{#2}% \label{#1}\endgroup } \makeatother \fancypagestyle{firstpage}{% \fancyhf{} \renewcommand\headrulewidth{0pt} \fancyfoot[R]{Original text at \texttt{ \href{http://jeffhicks.net/snippets/index.php?tag=con_polterovichSurgery}{snippets/con\_polterovichSurgery}}} } \newcommand{\wt}{\widetilde} \newcommand{\wh}{\widehat} \newcommand{\wb}{\overline} \newcommand{\bb}{\mathbb} \newcommand{\scr}{\mathscr} \newcommand{\RR}{\mathbb R} \newcommand{\ZZ}{\mathbb Z} \newcommand{\CC}{\mathbb C} \newcommand{\TT}{\mathbb T} \newcommand{\NN}{\mathbb N} \newcommand{\PP}{\mathbb P} \newcommand{\LL}{\mathbb L} \newcommand{\II}{\mathbb I} \newcommand{\CP}{\mathbb{CP}} \newcommand{\del}{\nabla} \newcommand{\pp}{\mathbf{m}} \newcommand{\into}{\hookrightarrow} \newcommand{\emprod}{m} \newcommand{\tensor}{\otimes} \renewcommand{\Re}{\text{Re}} \renewcommand{\Im}{\text{Im}} \newcommand{\eps}{\varepsilon} \newcommand{\CF}{CF^\bullet} \newcommand{\HF}{HF^\bullet} \newcommand{\SH}{SH^\bullet} \newcommand{\core}{\mathfrak{c}} \newcommand{\cocore}{\mathfrak{u}} \newcommand{\stp}{\mathfrak{f}} \newcommand{\li}{i} \newcommand{\ot}{\leftarrow} \newcommand{\Spinc}{\text{Spin}^c} \newcommand{\ev}{ev} \newcommand{\st}{\;:\;} \newcommand{\OP}{\mathcal O_{\mathbb P^1}} \newcommand{\OPP}{\mathcal O_{\mathbb P\times \mathbb P}} \newcommand{\gentime}{\text{\ClockLogo}} \newcommand{\q}{m} \newcommand{\HeF}{\widehat{CF}^\bullet} \newcommand{\HHeF}{\widehat{HF}^\bullet} \newcommand{\p}{\eta} \DeclareMathOperator{\id}{id} \DeclareMathOperator{\cone}{cone} \DeclareMathOperator{\dg}{dg} \DeclareMathOperator{\Hom}{Hom} \DeclareMathOperator{\Log}{Log} \DeclareMathOperator{\Conn}{Conn} \DeclareMathOperator{\Sym}{Sym} \DeclareMathOperator{\Flux}{Flux} \DeclareMathOperator{\Crit}{Crit} \DeclareMathOperator{\ind}{ind} \DeclareMathOperator{\codim}{codim} \DeclareMathOperator{\sgn}{sgn} \DeclareMathOperator{\Ext}{Ext} \DeclareMathOperator{\TropB}{TropB} \DeclareMathOperator{\weight}{wt} \DeclareMathOperator{\Span}{span} \DeclareMathOperator{\Coh}{Coh} \DeclareMathOperator{\Pic}{Pic} \DeclareMathOperator{\Fuk}{Fuk} \DeclareMathOperator{\str}{star} \DeclareMathOperator{\Ob}{Ob} \DeclareMathOperator{\grad}{grad} \DeclareMathOperator{\Supp}{Supp} \DeclareMathOperator{\Bl}{Bl} \DeclareMathOperator{\Spec}{Spec} \DeclareMathOperator{\Tw}{Tw} \DeclareMathOperator{\Int}{Int} \DeclareMathOperator{\Arg}{\mathbf{M}}\begin{filecontents}{references.bib} @article{ballard2012hochschild, title={Hochschild dimensions of tilting objects}, author={Ballard, Matthew and Favero, David}, journal={International Mathematics Research Notices}, volume={2012}, number={11}, pages={2607--2645}, year={2012}, publisher={OUP} } @article{craw2007explicit, title={Explicit methods for derived categories of sheaves}, author={Craw, Alastair}, publisher={Citeseer} } @article{weinstein1971symplectic, title={Symplectic manifolds and their {L}agrangian submanifolds}, author={Weinstein, Alan}, journal={Advances in Mathematics}, volume={6}, number={3}, pages={329--346}, year={1971}, publisher={Academic Press} } @article{hanlon2022aspects, title={Aspects of functoriality in homological mirror symmetry for toric varieties}, author={Hanlon, A and Hicks, J}, journal={Advances in Mathematics}, volume={401}, pages={108317}, year={2022}, publisher={Elsevier} } @article{biran2013lagrangian, title={{L}agrangian cobordism. {I}}, author={Biran, Paul and Cornea, Octav}, journal={Journal of the American Mathematical Society}, volume={26}, number={2}, pages={295--340}, year={2013} } @article{tanaka2016fukaya, title={The Fukaya category pairs with Lagrangian cobordisms}, author={Tanaka, Hiro Lee}, journal={arXiv preprint arXiv:1607.04976}, year={2016} } @book{seidel2008fukaya, title={Fukaya categories and Picard-Lefschetz theory}, author={Seidel, Paul}, volume={10}, year={2008}, publisher={European Mathematical Society} } @article{seidel2003long, title={A long exact sequence for symplectic {F}loer cohomology}, author={Seidel, Paul}, journal={Topology}, volume={42}, pages={1003--1063}, year={2003} } @article{da2001lectures, title={Lectures on symplectic geometry}, author={da Silva, Ana Cannas}, journal={Lecture Notes in Mathematics}, volume={1764}, year={2001}, publisher={Springer} } @article{polterovich1991surgery, title={The surgery of {L}agrange submanifolds}, author={Polterovich, Leonid}, journal={Geometric \& Functional Analysis GAFA}, volume={1}, number={2}, pages={198--210}, year={1991}, publisher={Springer} } @misc{perutz2008handleslide, doi = {10.48550/ARXIV.0801.0564}, url = {https://arxiv.org/abs/0801.0564}, author = {Perutz, Timothy}, keywords = {Symplectic Geometry (math.SG), Geometric Topology (math.GT), FOS: Mathematics, FOS: Mathematics, 53D12; 53D40; 57M27; 32U40}, title = {Hamiltonian handleslides for {H}eegaard {F}loer homology}, publisher = {arXiv}, year = {2008}, copyright = {Assumed arXiv.org perpetual, non-exclusive license to distribute this article for submissions made before January 2004} } @incollection{audin1994symplectic, title={Symplectic rigidity: {L}agrangian submanifolds}, author={Audin, Mich{\`e}le and Lalonde, Fran{\c{c}}ois and Polterovich, Leonid}, booktitle={Holomorphic curves in symplectic geometry}, pages={271--321}, year={1994}, publisher={Springer} } @phdthesis{oancea2003suite, title={La suite spectrale de {L}eray-{S}erre en homologie de {F}loer des vari{\'e}t{\'e}s symplectiques compactes {\`a} bord de type contact}, author={Oancea, Alexandru}, year={2003}, school={Universit{\'e} Paris Sud-Paris XI} } @article{abouzaid2010geometric, title={A geometric criterion for generating the {F}ukaya category}, author={Abouzaid, Mohammed}, journal={Publications Math{\'e}matiques de l'IH{\'E}S}, volume={112}, pages={191--240}, year={2010} } @article{viterbo1999functors, title={Functors and computations in {F}loer homology with applications, I}, author={Viterbo, Claude}, journal={Geometric \& Functional Analysis GAFA}, volume={9}, number={5}, pages={985--1033}, year={1999}, publisher={Springer} } @misc{stacks-project, author = {The {Stacks project authors}}, title = {The Stacks project}, howpublished = {\url{https://stacks.math.columbia.edu}}, year = {2022}, } @article{wendlbeginner, title={A beginner’s overview of symplectic homology}, author={Wendl, Chris}, journal={Preprint. www. mathematik. hu-berlin. de/wendl/pub/SH. pdf} } @article{seidel2006biased, title={A biased view of symplectic cohomology}, author={Seidel, Paul}, journal={Current developments in mathematics}, volume={2006}, number={1}, pages={211--254}, year={2006}, publisher={International Press of Boston} } @article{arnol1980lagrange, title={{L}agrange and {L}egendre cobordisms. I}, author={Arnol'd, Vladimir Igorevich}, journal={Funktsional'nyi Analiz i ego Prilozheniya}, volume={14}, number={3}, pages={1--13}, year={1980}, publisher={Russian Academy of Sciences} } @article{fukaya2007lagrangian, title={{L}agrangian intersection {F}loer theory-anomaly and obstruction, chapter 10}, author={Fukaya, K and Oh, YG and Ohta, H and Ono, K}, journal={Preprint, can be found at http://www. math. kyoto-u. ac. jp/\~{} fukaya/Chapter10071117. pdf}, year={2007} } @article{biran2014lagrangian, title={Lagrangian cobordism and Fukaya categories}, author={Biran, Paul and Cornea, Octav}, journal={Geometric and functional analysis}, volume={24}, number={6}, pages={1731--1830}, year={2014}, publisher={Springer} } @article{bourgeois2009symplectic, title={Symplectic homology, autonomous {H}amiltonians, and {M}orse-{B}ott moduli spaces}, author={Bourgeois, Fr{\'e}d{\'e}ric and Oancea, Alexandru}, journal={Duke mathematical journal}, volume={146}, number={1}, pages={71--174}, year={2009}, publisher={Duke University Press} } @incollection{auroux2014beginner, title={A beginner’s introduction to {F}ukaya categories}, author={Auroux, Denis}, booktitle={Contact and symplectic topology}, pages={85--136}, year={2014}, publisher={Springer} } @article{singer1933three, title={Three-dimensional manifolds and their {H}eegaard diagrams}, author={Singer, James}, journal={Transactions of the American Mathematical Society}, volume={35}, number={1}, pages={88--111}, year={1933}, publisher={JSTOR} } @article{ozsvath2004holomorphic, title={Holomorphic disks and three-manifold invariants: properties and applications}, author={Ozsv{\'a}th, Peter and Szab{\'o}, Zolt{\'a}n}, journal={Annals of Mathematics}, pages={1159--1245}, year={2004}, publisher={JSTOR} } @article{ozsvath2004introduction, title={An introduction to {H}eegaard {F}loer homology}, author={Ozsv{\'a}th, Peter and Szab{\'o}, Zolt{\'a}n}, journal={{F}loer homology, gauge theory, and low-dimensional topology}, volume={5}, pages={3--27}, year={2004} } @article{fet1952variational, title={Variational problems on closed manifolds}, author={Fet, Abram Il'ich}, journal={Matematicheskii Sbornik}, volume={72}, number={2}, pages={271--316}, year={1952}, publisher={Russian Academy of Sciences, Steklov Mathematical Institute of Russian~…} }\end{filecontents} \addbibresource{references.bib}\begin{document} \title{Lagrangian connect sum } \maketitle \thispagestyle{firstpage}We will now look at some ways to glue together new Lagrangian submanifolds from old. A source of inspiration for us will be from smooth topology, where tools such as surgery, Morse theory, and cobordisms provide methods for generating new manifolds. An example where we can take a method from topology and directly import it into symplectic geometry is connect sum for Lagrangian curves inside of surfaces. In this setting, two Lagrangian curves which intersect at a point are modified at the point of intersection to produce a connected Lagrangian submanifold. See \cref{fig:polterovichSurgery}. The Polterovich connect sum is a generalization of this surgery to higher dimensions, which smooths out a transverse intersection between two Lagrangian submanifolds. The idea of construction is to take a \underline{\href{https://jeffhicks.net/snippets/index.php?tag=lemma:straightening}{ standard model for the transverse intersection}}, then construct a model neck in that canonical neighborhood. \begin{figure} \label{fig:polterovichSurgery} \centering \begin{tikzpicture} \draw[dashed] (0,0) circle[radius=2]; \draw (-2,0) -- (2,0) (0,2) -- (0,-2); \node at (-1,1) {$U$}; \node[right] at (0,1) {$L_1=i\mathbb R$}; \node[below] at (-1,0) {$L_0=\mathbb R$};\begin{scope}[shift={(5.5,0)}] \draw[dashed] (0,0) circle[radius=2]; \node at (-1,1) {$U$}; \node[below] at (-1,0) {$L_0\#L_1$}; \draw (-2,0) .. controls (-1.5,0) and (-1.5,0) .. (-1,0) .. controls (-0.5,0) and (0,0.5) .. (0,1) .. controls (0,1.5) and (0,1.5) .. (0,2) ; \draw (2,0) .. controls (1.5,0) and (1.5,0) .. (1,0) .. controls (0.5,0) and (0,-0.5) .. (0,-1) .. controls (0,-1.5) and (0,-1.5) .. (0,-2); \end{scope} \end{tikzpicture} \caption{The connect sum of two Lagrangian curves in a surface} \end{figure}\begin{proposition}\cite{polterovich1991surgery} \label{prp:polterovichSurgery} Let $L_1, L_2\subset X$ be two Lagrangian submanifolds intersecting transversely at a single point $p$. Then there exists a Lagrangian submanifold $L_1\#_p L_2\subset X$ which \begin{itemize} \item topologically is the connect sum of $L_1$ and $L_2$ at $p$. \item Agrees with $L_1\cup L_2$ outside of a small neighborhood of $p$ in the sense that \[L_1\#_p L_2|_{X\setminus U}=L_2\cup L_2|_{X\setminus U}.\] \end{itemize} \end{proposition} \begin{proof} \label{prf:polterovichSurgery} There exists a \underline{\href{https://jeffhicks.net/snippets/index.php?tag=lem:straightening}{ standard model}} of two Lagrangian submanifolds intersecting transversely at a point. Therefore, it suffices to construct a Lagrangian surgery neck for the standard intersection neighborhood $X=\CC^n$, $L_1=\RR^n$ and $L_2=\jmath\RR^n$. We start by picking a \emph{surgery profile curve}, \begin{align*} \gamma: [-R, R] \to& \CC\\ t\mapsto& (a(t)+\jmath b(t)) \end{align*} with the property that $a(t), b(t)$ are non-decreasing, and there exists a value $t_0$ so that \begin{itemize} \item $\gamma(t)=t$ for $t< t_0$, and \item $\gamma(t)=\jmath t$ for $t>t_0$. \end{itemize} We denote the are bounded between the real axis, imaginary axis, and curve $\gamma$ by $\lambda$. An example is drawn in \cref{fig:polterovichSurgeryProfile}. \begin{figure} \label{fig:polterovichSurgeryProfile} \centering \begin{tikzpicture} \fill[fill=gray!20] (-1.5,0) .. controls (-0.5,0) and (-0.5,0) .. (0,0) .. controls (0,0.5) and (0,0.5) .. (0,1.5) .. controls (0,0.5) and (-0.5,0) .. (-1.5,0); \draw (0,3) -- (0,-3); \draw (3,0) -- (-3, 0); \draw[red] (-3, 0)--(-1.5,0) (0,1.5)--(0, 3); \draw[red] (-1.5,0) .. controls (-0.5,0) and (0,0.5) .. (0,1.5); \node[above left] at (-0.5,0.5) {$a(t)+\jmath b(t)$}; \node[above right] at (1.5,0) {$c$}; \draw[dotted] (0,0) ellipse (1.5 and 1.5); \draw[dotted] (0,0) ellipse (2.5 and 2.5); \draw[->] (-2,-2.5) .. controls (-1.5,-2) and (-0.25,-0.4) .. (-0.25,0.1); \node at (-2.55,-2.5) {width}; \end{tikzpicture}\caption{Surgery Profile for Polterovich surgery} \end{figure}This data provides a construction for the Lagrangian surgery neck: \[ L_1\#_\gamma L_2:=\left\{(\gamma(t)\cdot x_1,\ldots, \gamma(t)\cdot x_n) \text{ such that } x_i \in \RR^n,t\in \RR, \sum_{i} x_i^2=1\right\}. \] Note that when $t < t_0$ this parameterizes $(\RR\setminus B_r(0))\subset \CC^n$, and when $t > t_0$ the chart parameterizes $(\jmath \RR \setminus B_r(0))\subset \CC^n$. Therefore, this construction satisfies the condition that the surgery Lagrangian agrees with the surgery components outside of a small neighborhood of the surgery point. This Lagrangian has the topology of $S^{n-1}\times \RR$, which is the local model for the connect sum $\RR^n\#_0\RR^n$. Then \cref{prp:polterovichSurgery} follows by taking $L_1\#_\gamma L_2$ for any suitable choice of $\gamma$. \end{proof} The order of the summands plays an important role in Lagrangian surgery, as rarely are the Lagrangian $L_1\#L_2$ and $L_2\#L_1$ isotopic. The surgery construction does not uniquely specify \emph{the} Lagrangian surgery of two Lagrangian submanifolds, different choices of curves $\gamma$ produce different Lagrangian submanifolds. Given a Lagrangian isotopy $\li_t: L\to C$ we associate \underline{\href{https://jeffhicks.net/snippets/index.php?tag=def:flux}{ flux cohomology class}} $\Flux_{\li_t}\in H^1(L)$. We can similarly associate a flux class to a Lagrangian surgery. A given surgery profile curve $\gamma$ can be extended to a family of Lagrangian surgery profiles by scaling the profile curve by a parameter $s$. This gives us a family of surgeries $L_1\#_{s\gamma} L_2$, which are Lagrangian isotopic. The flux of the surgery is defined to be the flux of this isotopy. \begin{proposition} \label{prp:fluxOfSurgery} Let $L_0, L_1$ be two Lagrangian submanifolds which intersect transversely at a point, and let $U$ be a neighborhood of the point in which we implant a surgery neck. Suppose two profile curves $\gamma_0, \gamma_1$ have the same flux $\lambda$. Then there exists a Hamiltonian supported on $U$ whose time one identifies $L_1\#_{\gamma_0} L_2$ and $L_1\#_{\gamma_1} L_2$.\end{proposition} The flux of $\gamma$ is the area bounded by $\gamma$ and the two axis. This is sometimes called the width or neck-width of the surgery. We will write $L_1\#_{\lambda}L_2$ a Lagrangian connect sum determined by a surgery profile curve with flux $\lambda$. \begin{example} \label{exm:polterovichSurgery} We now visualize the Polterovich surgery for Lagrangian sections of $T^*\RR^n$. The Lagrangians which we consider are two sections of the cotangent bundle. Let $L_1$ be the graph of $d(q_1^2+ \cdots+ q_n^2)$, and let $L_2$ be the graph of $d(-q_1^2-\cdots -q_n^2)$. In dimension 2, we can then draw $L_1\# L_2$ and $L_2\# L_1$ as multisections of the cotangent bundle. These multisections are sketched in \cref{fig:surgeryDim4}. Note that one of surgeries creates a Lagrangian which has a ``neck'' visible in the projection to the base of the cotangent bundle. The other surgery is generically a double-section of the cotangent bundle, except over the fiber of the intersection point where it is instead an $S^1$. \begin{figure} \label{fig:surgeryDim4} \centering \begin{tikzpicture}[scale=.7] \begin{scope}[shift={(-12.5,1)}] \draw (-5,5) rectangle (5,-5); \node at (3,4) {$L_1= d(x^2_1+x_2^2)$}; \begin{scope} \draw (-3,0)--(3,0) (0,3)--(0,-3); \foreach \r in { .5, 1,1.5, 2,2.5, 3} { \foreach \t in {0,...,36} { \draw[->, red] ({\r * cos(10*\t)},{ \r * sin(10*\t) })-- ({1.1*\r * cos(10*\t)},{ 1.1*\r * sin(10*\t) }); %\draw[->, blue] ({\r * cos(10*\t)},{ \r * sin(10*\t) })-- ({0.9*\r * cos(10*\t)},{ 0.9*\r * sin(10*\t) }); } } \end{scope} \end{scope} \begin{scope}[shift={(-12.5,-11.5)}] \draw (-5,5) rectangle (5,-5); \node at (3,4) {$L_2=d(-x^2_1-x_2^2)$}; \begin{scope} \draw (-3,0)--(3,0) (0,3)--(0,-3); \foreach \r in { .5, 1,1.5, 2,2.5, 3} { \foreach \t in {0,...,36} { %\draw[->, red] ({\r * cos(10*\t)},{ \r * sin(10*\t) })-- ({1.1*\r * cos(10*\t)},{ 1.1*\r * sin(10*\t) }); \draw[->, blue] ({\r * cos(10*\t)},{ \r * sin(10*\t) })-- ({0.9*\r * cos(10*\t)},{ 0.9*\r * sin(10*\t) }); } } \end{scope} \end{scope} \begin{scope}[] \begin{scope}[shift={(0,1)}] \draw (-5,5) rectangle (5,-5); \node at (3,4) {$L_1\#L_2$ in $\mathbb R^2$}; \begin{scope} \draw (-3,0)--(3,0) (0,3)--(0,-3); \foreach \r in { .5, 1,1.5, 2} { \foreach \t in {0,...,36} { \draw[->, red] ({(\r+1) * cos(10*\t)},{ (\r+1) * sin(10*\t) })-- ({(1.1*\r +1)* cos(10*\t)},{ (1.1*\r+1) * sin(10*\t) }); \draw[->, blue] ({(\r+1) * cos(10*\t)},{ (\r+1) * sin(10*\t) })-- ({(0.9*\r+1) * cos(10*\t)},{( 0.9*\r +1)* sin(10*\t) }); } } \end{scope} \end{scope} \begin{scope}[shift={(0,-11.5)}] \draw (-5,5) rectangle (5,-5); \node at (3,4) {$L_1\#L_2$ in $T^*_0\mathbb R^2$}; \begin{scope} \draw (-3,0)--(3,0) (0,3)--(0,-3); \foreach \r in {.5, 1,1.5, 2,2.5, 3} { \foreach \t in {0,...,36} { \draw[->, red] ({\r * cos(10*\t)},{ \r * sin(10*\t) })-- ({(\r+.2) * cos(10*\t)},{ (\r+.2) * sin(10*\t) }); \draw[->, blue] ({\r * cos(10*\t)},{ \r * sin(10*\t) })-- ({(\r-.2) * cos(10*\t)},{ (\r-.2) * sin(10*\t) }); } } \end{scope} \end{scope} \end{scope} \end{tikzpicture}\caption{Lagrangian surgery of two sections of \(T^*\RR^2\)} \end{figure} \end{example} \printbibliography \end{document}