Vector Calculus for Tamed Dirichlet Spaces

In the language of L ∞ L^∞ -modules proposed by Gigli, we introduce a first order calculus on a topological Lusin measure space ( M , m ) (M,m) carrying a quasi-regular, strongly local Dirichlet form {U}{BOONDOX-cal}{m}{n}E { { {U}{BOONDOX-cal}{m}{n}E}} . Furthermore, we develop a second order calculus if ( M , {U}{BOONDOX-cal}{m}{n}E , m ) (M,{ { {U}{BOONDOX-cal}{m}{n}E}},m) is tamed by a signed measure in the extended Kato class in the sense of Erbar, Rigoni, Sturm and Tamanini. This allows us to define e.g. Hessians, covariant and exterior derivatives, Ricci curvature, and second fundamental form.