\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Elliptic Cohomology I}

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{contents_2}{Contents}\dotfill \pageref*{contents_2} \linebreak
\noindent\hyperlink{1_abelian_varieties_in_spectral_algebraic_geometry}{1 Abelian Varieties in Spectral Algebraic Geometry}\dotfill \pageref*{1_abelian_varieties_in_spectral_algebraic_geometry} \linebreak
\noindent\hyperlink{2_moduli_of_elliptic_curves}{2 Moduli of Elliptic Curves}\dotfill \pageref*{2_moduli_of_elliptic_curves} \linebreak
\noindent\hyperlink{3_cartier_duality}{3 Cartier Duality}\dotfill \pageref*{3_cartier_duality} \linebreak
\noindent\hyperlink{4_biextensions_and_the_fouriermukai_transform}{4 Biextensions and the Fourier-Mukai Transform}\dotfill \pageref*{4_biextensions_and_the_fouriermukai_transform} \linebreak
\noindent\hyperlink{5_duality_theory_for_abelian_varieties}{5 Duality Theory for Abelian Varieties}\dotfill \pageref*{5_duality_theory_for_abelian_varieties} \linebreak
\noindent\hyperlink{6_divisible_groups}{6 $p$-Divisible Groups}\dotfill \pageref*{6_divisible_groups} \linebreak
\noindent\hyperlink{7_the_serretate_theorem}{7 The Serre-Tate Theorem}\dotfill \pageref*{7_the_serretate_theorem} \linebreak


This entry is about the text

\begin{itemize}%
\item [[Jacob Lurie]], \emph{Elliptic Cohomology I: Spectral Abelian Varieties}, (\href{http://www.math.harvard.edu/~lurie/papers/Elliptic-I.pdf}{pdf})

\end{itemize}
It is described as the first in a series of papers whose ultimate aim is to carry out the details of the program outlined in [[A Survey of Elliptic Cohomology]].

This first paper provides a discussion of abelian varieties in the setting of [[spectral algebraic geometry]]. It sets out to answer the question:

\begin{quote}%
What does it mean to give an elliptic curve (or, more generally, an abelian variety) over a cohomology theory $A$? To what extent do such objects behave like their counterparts in classical algebraic geometry?


\end{quote}
It is followed up by the further parts

\begin{itemize}%
\item [[Jacob Lurie]], \emph{Elliptic Cohomology II: Orientations}, 2018. 288pp (\href{http://www.math.harvard.edu/~lurie/papers/Elliptic-II.pdf}{pdf})


\item [[Jacob Lurie]], \emph{Elliptic Cohomology III: Tempered Cohomology}, 2019. 286pp (\href{http://www.math.harvard.edu/~lurie/papers/Elliptic-III-Tempered.pdf}{pdf})


\item [[Jacob Lurie]], \emph{Elliptic Cohomology IV: Equivariant elliptic cohomology}, to appear.



\end{itemize}
\hypertarget{contents_2}{}\subsubsection*{{Contents}}\label{contents_2}

\hypertarget{1_abelian_varieties_in_spectral_algebraic_geometry}{}\paragraph*{{1 Abelian Varieties in Spectral Algebraic Geometry}}\label{1_abelian_varieties_in_spectral_algebraic_geometry}

\begin{itemize}%
\item 1.1 Varieties over $E_{\infty}$-Rings
\item 1.2 Abelian Group Objects of $\infty$-Categories
\item 1.3 Commutative Monoid Objects of $\infty$-Categories
\item 1.4 Abelian Varieties
\item 1.5 Strict Abelian Varieties

\end{itemize}
\hypertarget{2_moduli_of_elliptic_curves}{}\paragraph*{{2 Moduli of Elliptic Curves}}\label{2_moduli_of_elliptic_curves}

\begin{itemize}%
\item 2.1 Comparing Abelian Varieties with Strict Abelian Varieties
\item 2.2 Deformation Theory of Abelian Varieties
\item 2.3 Deformation Theory of Strict Abelian Varieties
\item 2.4 The Moduli Stack of Elliptic Curves

\end{itemize}
\hypertarget{3_cartier_duality}{}\paragraph*{{3 Cartier Duality}}\label{3_cartier_duality}

\begin{itemize}%
\item 3.1 Coalgebra Objects of $\infty$-Categories
\item 3.2 Duality between Algebra and Coalgebra Objects
\item 3.3 Bialgebra Objects of $\infty$-Categories
\item 3.4 The Spectrum of a Bialgebra
\item 3.5 The Affine Line
\item 3.6 Smash Products of $E_{\infty}$-Spaces
\item 3.7 The Cartier Dual of a Functor
\item 3.8 Duality for Bialgebras
\item 3.9 Duality for Hopf Algebras

\end{itemize}
\hypertarget{4_biextensions_and_the_fouriermukai_transform}{}\paragraph*{{4 Biextensions and the Fourier-Mukai Transform}}\label{4_biextensions_and_the_fouriermukai_transform}

\begin{itemize}%
\item 4.1 Line Bundles and Invertible Sheaves
\item 4.2 Biextensions of Abelian Varieties
\item 4.3 Digression: Tannaka Duality
\item 4.4 Biextensions: Tannakian Perspective
\item 4.5 Categorical Digression
\item 4.6 The Convolution Product
\item 4.7 The Fourier-Mukai Transform

\end{itemize}
\hypertarget{5_duality_theory_for_abelian_varieties}{}\paragraph*{{5 Duality Theory for Abelian Varieties}}\label{5_duality_theory_for_abelian_varieties}

\begin{itemize}%
\item 5.1 Perfect Biextensions
\item 5.2 Dualizing Sheaves
\item 5.3 Multiplicative Line Bundles
\item 5.4 The Functor $\mathcal{P}ic^0_X$
\item 5.5 Representability of the Functor $\mathcal{P}ic^m_X$
\item 5.6 Existence of the Dual Abelian Variety

\end{itemize}
\hypertarget{6_divisible_groups}{}\paragraph*{{6 $p$-Divisible Groups}}\label{6_divisible_groups}

\begin{itemize}%
\item 6.1 Finite Flat Group Schemes
\item 6.2 Epimorphisms and Monomorphisms
\item 6.3 Cartier Duality for Finite Flat Group Schemes
\item 6.4 $p$-Torsion Objects of $\infty$-Categories
\item 6.5 $p$-Divisible Groups
\item 6.6 Cartier Duality for $p$-Divisible Groups
\item 6.7 The $p$-Divisible Group of a Strict Abelian Variety
\item 6.8 Comparison of Duality Theories

\end{itemize}
\hypertarget{7_the_serretate_theorem}{}\paragraph*{{7 The Serre-Tate Theorem}}\label{7_the_serretate_theorem}

\begin{itemize}%
\item 7.1 Deformation Theory of the Functor $R \mapsto BT_h(R)$
\item 7.2 The Case of a Trivial Square-Zero Extension
\item 7.3 Proof of the Serre-Tate Theorem
\item 7.4 Application: Lifting Abelian Varieties from Classical to Spectral Algebraic Geometry

\end{itemize}
category: reference

[[!redirects Elliptic Cohomology I: Spectral Abelian Varieties]]



\end{document}