
For every positive, continuous and homogeneous function $f$ on the space of
currents on a compact surface $\overline{\Sigma}$, and for every compactly
supported filling current $\alpha$, we compute as $L \to \infty$, the number of
mapping classes $\phi$ so that $f(\phi(\alpha))\leq L$. As an application, when
the surface in question is closed, we prove a lattice counting theorem for
Teichm\"uller space equipped with the Thurston metric.

We construct an infinite discrete subgroup of the isometry group of $\mathbb
H^3$ with no finite quotients other than the trivial group.

We prove that the group of diffeomorphisms of the interval $[0,1]$ contains
surface groups whose action on $(0,1)$ has no global fix point, is
topologically transitive, and such that only countably many points of the
interval $(0,1)$ have nontrivial stabiliser.

We construct a geometric decomposition for the convex core of a thick
hyperbolic 3manifold M with bounded rank. Corollaries include upper bounds in
terms of rank and injectivity radius on the Heegaard genus of M and on the
radius of any embedded ball in the convex core of M.

We show that if the monodromy of a 3manifold M that fibers over the circle
has large translation distance in the curve complex, then the rank of the
fundamental group of M is 2g+1, where g is the genus of the fiber.

We prove that there are finite area flat surfaces whose Veech group is an
infinite cyclic group consisting of hyperbolic elements

Let $\gamma_0$ be a curve on a surface $\Sigma$ of genus $g$ and with $r$
boundary components and let $\pi_1(\Sigma)\curvearrowright X$ be a discrete and
cocompact action on some metric space. We study the asymptotic behavior of the
number of curves $\gamma$ of type $\gamma_0$ with translation length at most
$L$ on $X$. For example, as an application, we derive that for any finite
generating set $S$ of $\pi_1(\Sigma)$ the limit $$\lim_{L\to\infty}\frac
1{L^{6g6+2r}}\{\gamma\text{ of type }\gamma_0\text{ with }S\text{translation
length}\le L\}$$ exists and is positive. The main new technical tool is that
the function which associates to each curve its stable length with respect to
the action on $X$ extends to a (unique) continuous and homogenous function on
the space of currents. We prove that this is indeed the case for any action of
a torsion free hyperbolic group.

This note is about a type of quantitative density of closed geodesics on
closed hyperbolic surfaces. The main results are upper bounds on the length of
the shortest closed geodesic that $\varepsilon$fills the surface.

We give a necessary condition for a closed subset of $R^3$ to be the set of
critical points of some smooth function. In particular we obtain that for
example neither the Whitehead continuum nor the padic solenoid are such a
critical sets.

Let $S$ be a closed orientable hyperbolic surface, and let $\mathcal{O}(K,S)$
denote the number of mapping class group orbits of curves on $S$ with at most
$K$ selfintersections. Building on work of Sapir [16], we give upper and lower
bounds for $\mathcal{O}(K,S)$ which are both exponential in $\sqrt{K}$.

The geometric dimension for proper actions $\underline{\mathrm{gd}}(G)$ of a
group $G$ is the minimal dimension of a classifying space for proper actions
$\underline{E}G$. We construct for every integer $r\geq 1$, an example of a
virtually torsionfree Gromovhyperbolic group $G$ such that for every group
$\Gamma$ which contains $G$ as a finite index normal subgroup, the virtual
cohomological dimension $\mathrm{vcd}(\Gamma)$ of $\Gamma $ equals
$\underline{\mathrm{gd}}(\Gamma)$ but such that the outer automorphism group
$\mathrm{Out}(G)$ is virtually torsionfree, admits a cocompact model for
$\underline E\mathrm{Out}(G)$ but nonetheless has
$\mathrm{vcd}(\mathrm{Out}(G))\le\underline{\mathrm{gd}}(\mathrm{Out}(G))r$.

Suppose that $\Sigma$ is a hyperbolic surface and $f:\mathbb R_+\to\mathbb
R_+$ a monotonic function. We study the closure in the projective tangent
bundle $PT\Sigma$ of the set of all geodesics $\gamma$ satisfying
$I(\gamma,\gamma)\leq f(\ell_\Sigma(\gamma))$. For instance we prove that if
$f$ is unbounded and sublinear then this set has Hausdorff dimension strictly
bounded between 1 and 3.

Let $\Sigma$ be a hyperbolic surface. We study the set of curves on $\Sigma$
of a given type, i.e. in the mapping class group orbit of some fixed but
otherwise arbitrary $\gamma_0$. For example, in the particular case that
$\Sigma$ is a oncepunctured torus, we prove that the cardinality of the set of
curves of type $\gamma_0$ and of at most length $L$ is asymptotic to $L^2$
times a constant.

In this note we show that a bounded degree planar triangulation is recurrent
if and only if the set of accumulation points of some/any circle packing of it
is polar (that is, planar Brownian motion avoids it with probability 1). This
generalizes a theorem of He and Schramm [6] who proved it when the set of
accumulation points is either empty or a Jordan curve, in which case the graph
has one end. We also show that this statement holds for any straightline
embedding with angles uniformly bounded away from 0.

We prove that Kleinian groups whose limit sets are Cantor sets of Hausdorff
dimension $<1$ are free. On the other hand we construct for any $\epsilon>0$
examples of nonfree purely hyperbolic Kleinian groups whose limit set is a
Cantor set of Hausdorff dimension $<1+\epsilon$.

We prove that if $\Gamma$ is a lattice in a classical simple Lie group $G$,
then the symmetric space of $G$ is $\Gamma$equivariantly homotopy equivalent
to a proper cocompact $\Gamma$CW complex of dimension the virtual
cohomological dimension of $\Gamma$.

Boundedtype 3manifolds arise as combinatorially bounded gluings of
irreducible 3manifolds chosen from a finite list. We prove effective
hyperbolization and effective rigidity for a broad class of 3manifolds of
bounded type and large gluing heights. Specifically, we show the existence and
uniqueness of hyperbolic metrics on 3manifolds of bounded type and large
heights, and prove existence of a bilipschitz diffeomorphism to a combinatorial
model described explicitly in terms of the list of irreducible manifolds, the
topology of the identification, and the combinatorics of the gluing maps.

Benjamini and Schramm introduced the notion of distributional limit of a
sequence of graphs with uniformly bounded valence and studied such limits in
the case that the involved graphs are planar. We investigate distributional
limits of sequences of Riemannian manifolds with bounded curvature which
satisfy certain condition of quasiconformal nature. We then apply our results
to somewhat improve Benjamini's and Schramm's original result on the recurrence
of the simple random walk on limits of planar graphs. For instance, as an
application give a proof of the fact that for graphs in an expander family, the
genus of each graph is bounded from below by a linear function of the number of
vertices.

The main purpose of this article is to demonstrate three techniques for
proving algebraicity statements about circle packings. We give proofs of three
related theorems: (1) that every finite simple planar graph is the contact
graph of a circle packing on the Riemann sphere, equivalently in the complex
plane, all of whose tangency points, centers, and radii are algebraic, (2) that
every flat conformal torus which admits a circle packing whose contact graph
triangulates the torus has algebraic modulus, and (3) that if R is a compact
Riemann surface of genus at least 2, having constant curvature 1, which admits
a circle packing whose contact graph triangulates R, then R is isomorphic to
the quotient of the hyperbolic plane by a subgroup of PSL_2(real algebraic
numbers). The statement (1) is original, while (2) and (3) have been previously
proved in the Ph.D. thesis of McCaughan.
Our first proof technique is to apply Tarski's Theorem, a result from model
theory, which says that if an elementary statement in the theory of realclosed
fields is true over one realclosed field, then it is true over any real closed
field. This technique works to prove (1) and (2). Our second proof technique is
via an algebraicity result of Thurston on finite covolume discrete subgroups
of the orientationpreservingisometry group of hyperbolic 3space. This
technique works to prove (1). Our first and second techniques had not
previously been applied in this area. Our third and final technique is via a
lemma in real algebraic geometry, and was previously used by McCaughan to prove
(2) and (3). We show that in fact it may be used to prove (1) as well.

Let S be a closed surface of genus g >= 2 and z in S a marked point. We prove
that the subgroup of the mapping class group Map(S,z) corresponding to the
fundamental group pi_1(S,z) of the closed surface does not lift to the group of
diffeomorphisms of S fixing z. As a corollary, we show that the AtiyahKodaira
surface bundles admit no invariant flat connection, and obtain another proof of
Morita's nonlifting theorem.

We construct a Cantor set in S^3 whose complement admits a complete
hyperbolic metric.

We prove that the spectral gap of a finite planar graph $X$ is bounded by
$\lambda_1(X)\le C(\frac{\log(\diam X)}{\diam X})^2$ where $C$ depends only on
the degree of $X$. We then give a sequence of such graphs showing the the above
estimate cannot be improved. This yields a negative answer to a question of
Benjamini and Curien on the mixing times of the simple random walk on planar
graphs.

We show that, for any (symmetric) finite generating set of the Torelli group
of a closed surface, the probability that a random word is not pseudoAnosov
decays exponentially in terms of the length of the word.

Suppose that $X$ and $Y$ are surfaces of finite topological type, where $X$
has genus $g\geq 6$ and $Y$ has genus at most $2g1$; in addition, suppose that
$Y$ is not closed if it has genus $2g1$. Our main result asserts that every
nontrivial homomorphism $\Map(X) \to \Map(Y)$ is induced by an {\em
embedding}, i.e. a combination of forgetting punctures, deleting boundary
components and subsurface embeddings. In particular, if $X$ has no boundary
then every nontrivial endomorphism $\Map(X)\to\Map(X)$ is in fact an
isomorphism. As an application of our main theorem we obtain that, under the
same hypotheses on genus, if $X$ and $Y$ have finite analytic type then every
nonconstant holomorphic map $\CM(X)\to\CM(Y)$ between the corresponding moduli
spaces is a forgetful map. In particular, there are no such holomorphic maps
unless $X$ and $Y$ have the same genus and $Y$ has at most as many marked
points as $X$.

Anderson and Canary have shown that if the algebraic limit of a sequence of
discrete, faithful representations of a finitely generated group into PSL(2,C)
does not contain parabolics, then it is also the sequence's geometric limit. We
construct examples that demonstrate the failure of this theorem for certain
sequences of unfaithful representations, and offer a suitable replacement.