Theory and applications of holomorphic functions on algebraic varieties over arbitrary ground fields