we prove in this work the trace and trace lifting theorems for the sobolev spaces associated with a system of hörmander’s vectors fields of order 2. the case of non-degenerate characteristic points for left invariant vector fields on the heisenberg group is also studied.

let $\pi$ be a cuspidal automorphic representation of $\mathrm{gl}_n(\mathbb{a}_{\mathbb{q}})$ with non-vanishing cohomology. under a certain local non-vanishing assumption we prove the rationality of the values of the automorphic $l$-function attached to $\pi$ at critical points. conjecturally, any motivic $l$-function coincides with an $l$-function attached to an automorphic representation on $\mathrm{gl}_n$, hence, our result corresponds to a conjecture of deligne on critical values of motivic $l$-functions.

given a compact $n$-dimensional immersed riemannian manifold $m^n$ in some euclidean space we prove that if the hausdorff dimension of the singular set of the gauss map is small, then $m^n$ is homeomorphic to the sphere $s^n$.

also, we define a concept of finite geometrical type and prove that finite geometrical type hypersurfaces with a small set of points of zero gauss–kronecker curvature are topologically the sphere minus a finite number of points. a characterization of the $2n$-catenoid is obtained.

in this article we compare different conditions on abelian schemes with real multiplication which occur in the integral models of the hilbert–blumenthal shimura variety considered by rapoport, deligne, pappas and kottwitz. we show that the models studied by deligne/pappas and kottwitz are isomorphic over $\mathrm{spec}\mathbb{z}_{(p)}$. we also examine the associated local models and prove that they are equal.