Type problem, the first eigenvalue and Hardy inequalities | Synapse