\documentclass{amsart}

\usepackage[all]{xy}

% Theorem environments.
%
\theoremstyle{plain}
\newtheorem{theorem}[subsection]{Theorem}
\newtheorem{proposition}[subsection]{Proposition}
\newtheorem{lemma}[subsection]{Lemma}

\theoremstyle{definition}
\newtheorem{definition}[subsection]{Definition}
\newtheorem{example}[subsection]{Example}
\newtheorem{exercise}[subsection]{Exercise}
\newtheorem{situation}[subsection]{Situation}
\newtheorem{conjecture}[subsection]{Conjecture}

\theoremstyle{remark}
\newtheorem{remark}[subsection]{Remark}
\newtheorem{remarks}[subsection]{Remarks}

\numberwithin{equation}{subsection}


% Nonsense
\setcounter{MaxMatrixCols}{20}

\author{Joe}
\author{Mike}
\author{Rankeya}
\author{Tabes}
\author{John}

\thanks{Results in this paper were obtained during an REU at
Columbia Universtity led by A.J. de Jong in the summer of 2012.}

\begin{document}

\title{Free and very free morphisms into a Fermat hypersurface}

\maketitle

\input intro.tex
\input split.tex
\input numer.tex
\input deg45.tex
\input deg8f.tex
\input deg9v.tex

\bibliography{bibli}
\bibliographystyle{amsalpha}

\end{document}
