In the framework of Quantum Field Theory, we provide a rigorous, operator algebraic notion of entanglement entropy associated with a pair of open double cones O⊂O~\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$$O \subset {\widetilde{O}}$$\end{document} of the spacetime, where the closure of O is contained in O~\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\widetilde{O}}$$\end{document}. Given a QFT net A\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\mathcal {A}}$$\end{document} of local von Neumann algebras A(O)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\mathcal {A}}(O)$$\end{document}, we consider the von Neumann entropy SA(O,O~)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$$S_{\mathcal {A}}(O, {\widetilde{O}})$$\end{document} of the restriction of the vacuum state to the canonical intermediate type I factor for the inclusion of von Neumann algebras A(O)⊂A(O~)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\mathcal {A}}(O)\subset {\mathcal {A}}({\widetilde{O}})$$\end{document} (split property). We show that this canonical entanglement entropy SA(O,O~)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$$S_{\mathcal {A}}(O, {\widetilde{O}})$$\end{document} is finite for the chiral conformal net on the circle generated by finitely many free Fermions (here double cones are intervals). To this end, we first study the notion of von Neumann entropy of a closed real linear subspace of a complex Hilbert space, that we then estimate for the local free fermion subspaces. We further consider the lower entanglement entropy S̲A(O,O~)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\underline{S}}_{\mathcal {A}}(O, {\widetilde{O}})$$\end{document}, the infimum of the vacuum von Neumann entropy of F\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\mathcal {F}}$$\end{document}, where F\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\mathcal {F}}$$\end{document} here runs over all the intermediate, discrete type I von Neumann algebras. We prove that S̲A(O,O~)\documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\underline{S}}_{\mathcal {A}}(O, {\widetilde{O}})$$\end{document} is finite for the local chiral conformal net generated by finitely many commuting U(1)-currents.
