Lattices inside matrix groups $SL_2(K)$ I am currently a second year undergraduate majoring in math and our university is offering an opportunity for undergraduates to do a project over the summer break. I have spoken to my professor who is offering this particular project, but he says there aren't a lot of easily accessible material. 
Here's the project title: 
Lattices inside matrix groups.
Project description: Let $G$ be a group of matrices such as the special linear group $SL_2(K)$
over a field $K$. An important class of subgroups of $G$ is the class of lattices: these are
subgroups of $G$ that are, roughly speaking, "not too big" and "not too small". The aim of
the project is to investigate the geometry of the space of all lattices inside $G$. This involves ideas from group theory, graph theory, algebraic geometry and linear algebra. The space of lattices is determined by solutions of certain polynomial equations, so the project will involve a mixture of theoretical ideas and concrete calculations.
So based on what this project is about, would someone be able to recommend to me any books about lattices or resources that would help me to prepare toward such a project? 
He also said reading things about topology, differential geometry and lie groups would also be good but it seems way to advanced for me. I haven't even touched analysis yet, though my professor mentions that this abstract algebra paper that I'm doing at the moment is sufficient background to undertake the project. 
In addition, as an introduction to lie groups and lie algebra, what resources or books would one recommend in order to prepare oneself for such a project? As far as book goes, I'm thinking either Naive Lie theory or Brian Hall's Lie Groups, Lie algebras and Representations. Any recommendations and experiences with either book would be helpful.
 A: This does not address your question directly but you asked about learning of Lie groups from Hall's book. I am using that book right now for a representation theory course and I highly recommend it. Some comments about the book/prerequisites that you may need to know:


Analysis: Being comfortable with topological notions of compactness, connectedness, convergence (this is very heavy in chapter 2) and of course know what a closed set is. In fact, the definition of a matrix Lie group given in Hall is a closed subgroup of $\textrm{GL}_n(\Bbb{C})$. By closed we mean of course with respect to the topology on $\Bbb{C}^{n^2}$ generated by the usual Euclidean metric. Concerning the topology of matrix Lie groups, you will learn that connectedness and path connectedness are equivalent. In fact the proof that a connected matrix Lie group $G$ being always path-connectedness uses the wonderful fact that any $g \in G$ can be written as $\exp{X_1}\ldots\exp{X_n}$ for $X_1,\ldots,X_n \in \mathfrak{g}$. $\mathfrak{g}$ is the Lie algebra of $G$.
Algebraic Topology: This is used in chapter 3, where there is a proof that for a simply connected matrix Lie group $G$, there is a Galois Correspondence thingy between Lie group homomorphisms and Lie algebra homomorphisms. In fact there is a really slick proof of this correspondence relying on a fact on covering spaces that given a simply connected space $X$ (namely $\pi_1(X) = 0$), there are no proper covering spaces of $X$.
Linear Algebra: Basic facts about complexifications of vector spaces (e.g. to complexify a real vector space $V$ you do the usual extension of scalars process of taking $V \otimes_\Bbb{R} \Bbb{C}$); in fact you should be familiar with the following facts:
    
    
*
    
*Given a vector space $V$ over a field $F$, an operator $T$ on $V$ is nilpotent iff there is a basis for $V$ such that $T$ in that basis is upper triangular with all zeros on the diagonal.
    
*Given an operator $T$ on a complex vector space, there is a basis for $V$ such that $T$ in that basis is upper triangular. Note that to prove fact 1. you cannot use fact 2. because 1. is true over any field (to my knowledge of characteristic 0).
    
*Variations of the Complex Spectral Theorem ( by this I mean the one that extends to beyond self-adjoint operators). This fact is very useful in proving things like the exponential map $\exp : \mathfrak{u}(n) \to U(n)$ is surjective.
    
*Familiarity with the Gram - Schmidt Process: This is actually very important because you can use it to prove that $\textrm{SL}_n(\Bbb{R})$ is connected. In fact it gives you your Iwasawa decomposition of $\textrm{GL}_n(\Bbb{C})$. This in  turn shows that $\textrm{GL}_n(\Bbb{C})$ is homotopy equivalent to $\textrm{U}(n)$ and so $\pi_1(\textrm{U}(n)) \cong \pi_1(\textrm{GL}_n(\Bbb{C}))$.


I would say that I have not studied the material that you are talking of but if you want just a general understanding of matrix Lie groups, I think chapters 1 - 3 of Hall is enough. Chapter 4 goes into representation theory and you may not need it for your project. In summary, I highly recommend Hall as an introductory text for matrix Lie groups because it is not necessary to know say what a manifold or a smooth immersion is in order to enjoy the book.  
