Consider a geodesic current $\mu$ on a closed surface $\Sigma$, as defined by Bonahon ("[The Geometry of Teichmüller space via geodesic currents](https://eudml.org/doc/143562)"). These are $\pi\_1(\Sigma)$-invariant measures on the space of geodesics on $\widetilde\Sigma$. It is well-known that $\mu$ can only have atoms at closed geodesics. We can also look at 1-dimensional subsets, namely *pencils* $P(a)$, the set of geodesics with one endpoint at $a \in \partial\widetilde\Sigma$. If $a$ is not one of the limit points of a closed geodesic, then $\mu(P(a)) = 0$; see, e.g., Martelli, "[An Introduction to Geometric Topology](https://arxiv.org/abs/1610.02592)", Proposition 8.2.8.


**Question.** What is an example of a geodesic current without atoms so that $\mu(P(a)) \ne 0$ (where $a$ is necessarily the endpoint of a closed geodesic)?



Geodesic current supported on a pencil?
No - this is impossible because any ergodic geodesic current either has purely non-atomic marginals or corresponds to a closed geodesic. Indeed, the quoted result from Martelli implies that if one of the marginals contains atoms then it has to be concentrated on the orbit of an endpoint of a periodic geodesic (actually, this is true for a compact negatively curved manifold in any dimension without requiring that the curvature be constant). The Birkhoff ergodic theorem in combination with the asymptotic convergence of the geodesics with the same endpoint then implies that the invariant measure coresponding to this current is the one concentrated on the periodic geodesic (this is the so-called "Hopf argument"). 


EDIT Following Lee Mosher's request I am adding more details concerning the definition of marginals in this situation. The marginals of a probability measure on a product space are its coordinate projections. However, geodesic currents are infinite measures, and just taking their coordinate projections would lead to trivially infinite measures (or, at least, to measures which are not Radon for discrete currents). What I meant was not marginals themselves, but rather their measure classes, which make perfect sense. Namely, one should take a finite reference measure $\lambda$ equivalent to the geodesic current; then the measure classes of its coordinate projections do not depend on the choice of $\lambda$. 


