Cohomology of arithmetic groups and Eisenstein series (I) - some geometric aspects at infinity