Quantum field theory in curved space-times a general mathematical framework