Aaron Fenyes

Papers

A dynamical perspective on shear-bend coordinates
“Twisted SL2(C) local systems on surfaces of finite type appear often in geometry and physics. Most of them arise geometrically as local systems of charts for pleated hyperbolic structures. Bonahon and Thurston's ‘shear-bend coordinates’ parameterize these local systems of charts. On a surface with punctures, Gaiotto, Hollands, Moore and Neitzke's "abelianization" process computes the shear-bend coordinates of a twisted SL2(C) local system without reference to its hyperbolic geometry. Using tools from dynamics, we'll generalize abelianization to compact surfaces, leading to a dynamical recipe for the shear-bend parameterization. This recipe lends itself well to numerical approximation, and it may clarify the changes of coordinates that relate different shear parameterizations.”
Warping geometric structures and abelianizing SL2(R) local systems
“The abelianization process of Gaiotto, Hollands, Moore, and Neitzke parameterizes SLK(C) local systems on a punctured surface by turning them into C× local systems, which have a much simpler moduli space. When applied to an SL2(R) local system describing a hyperbolic structure, abelianization produces an R× local system whose holonomies encode the shear parameters of the hyperbolic structure.
This dissertation extends abelianization to SL2(R) local systems on a compact surface, using tools from dynamics to overcome the technical challenges that arise in the compact setting. Thurston's shear parameterization of hyperbolic structures, which has its own technical subtleties on a compact surface, once again emerges as a special case.”
Limitations on cloning in classical mechanics
“In this paper, we show that a result precisely analogous to the traditional quantum no-cloning theorem holds in classical mechanics. This classical no-cloning theorem does not prohibit classical cloning, we argue, because it is based on a too-restrictive definition of cloning. Using a less popular, more inclusive definition of cloning, we give examples of classical cloning processes. We also prove that a cloning machine must be at least as complicated as the object it is supposed to clone.”

Presentations

Hyperbolic surfaces as singular flat surfaces
It’s long been known that a hyperbolic surface with a maximal measured geodesic lamination is the same thing, loosely speaking, as a half-translation surface: a singular flat surface with a geodesic foliation. I say “loosely” to mean that corresponding hyperbolic and half-translation surfaces are only identified up to isotopy. This talk presents a tighter version of this correspondence, due to Gupta, which maps each hyperbolic surface to its corresponding half-translation surface in a geometrically rigid way. Section 10 of “A dynamical perspective on shear-bend coordinates,” which covers much of the same material, might be a serviceable guide to what’s going on in the slides.
Deflating hyperbolic surfaces
This talk is an older and more accessible version of “Hyperbolic surfaces as singular flat surfaces,” presented in UT Austin’s Jr. Topology seminar. It uses the correspondence between hyperbolic and half-translation surfaces to illustrate the Gauss-Bonnet formula and introduce the correspondence between measured geodesic laminations and measured foliations.
Spectral networks craft hour
Spectral networks are tools for cutting up local systems on surfaces and reassembling them into more convenient ones. In this JMM 2017 talk, I show how they work by doing the most hands-on thing I can do with them: cutting up hyperbolic surfaces and reassembling them into flat ones. As an application, I reassemble a hyperbolic torus with a cusp into a flat torus with a cylindrical end, and use the contrast between the hyperbolic and flat structures to investigate the relationship between shear coordinates and Fenchel-Nielsen coordinates.
Potentially cluster-like coordinates from dense spectral networks
The space of GLK(C) local systems on a punctured surface has a natural cluster coordinate system, which was first described by Fock and Goncharov (2006), and can be computed through an elegant geometric construction introduced by Gaiotto, Hollands, Moore, and Neitzke (2013, 2013). This construction, in at least some cases, can be extended to surfaces without punctures, yielding an algebra of functions on the space of local systems that behaves like a “cluster algebra without clusters.” A very sketchy overview can be found on this poster, presented at a CRM workshop on the cluster-algebraic and integrable systems aspects of positive Grassmannians in July of 2015.
The Geometry of The Night Sky (or, An Ape Pointing at The Stars)
The night sky looks like a sphere (this is more subtle than it sounds), and the Lorentz group acts on it by Möbius transformations. This action gives an isomorphism between the Lorentz group and the Möbius group, so if you’re piloting a starship, you can work out your heading in spacetime from the positions of the stars. The slides, from a talk I gave at JMM 2015, mostly follow the text, although you’ll have to figure out for yourself how they line up. Either by chance or by necessity, the exposition here is very similar to the one in Penrose and Rindler's Spinors and space-time, so you can look there if you want to see a similar argument in a different style.

Notes

Where do alternating multilinear maps come from?
“Alternating multilinear maps, as the pointwise constituents of differential forms, play a fundamental role in differential geometry, while other kinds of multilinear maps—for example, symmetric ones—hardly show up at all. In these notes, I’ll try to illuminate the geometric nature of alternating maps by linking them to our intuitive concepts of volume and area.”
Farey Sets in Rn
If you take the lattice Z2, scale it by 1/n for each n from 1 to 40, and plot all the results on top of each other, you’ll see the picture to the left. It may look quite startling, but all its intricacy can be understood using just two basic ideas from number theory: Farey sequences and Bézout’s identity.
An illustrated proof of the Perron-Frobenius theorem
You may not know the Perron-Frobenius theorem’s name, but you probably know its deeds. It can be used to reason about the stability of Markov chains, the growth and decay of populations and economies, and the convergence of ranking schemes.* It also has a lovely geometric proof, an application of the Brouwer fixed-point theorem and the properties of projective transformations. These slides will walk you through the argument.
* To learn more, check out MacCluer’s “The Many Proofs and Applications of Perron’s Theorem” and Keener’s “The Perron-Frobenius Theorem and the Ranking of Football Teams.”
Matrix Algebra and Error-Correcting Codes
These notes started off as an enrichment piece for computer science and electrical engineering majors studying matrix algebra at UT Austin. They're meant to show how the tools you pick up in a first matrix algebra course—things like matrix multiplication, linear equations, column spaces, null spaces, bases, pivots, column operations, and inversion—can be used to design and implement error-correcting codes.
Relativity and Quantization
Quantum mechanics is full of relativistically invariant wave equations, like the Schrödinger and Klein-Gordon equations. One way to see why these equations are so useful is to look at their solution spaces as representations of the symmetry groups and observable algebras of free particles. If you’d like an introduction to the Klein-Gordon equation that skips the traditional hand-wringing about negative probabilities, you might like this one.
Classification of two-dimensional Frobenius and H*-algebras
“After a quick review of Frobenius and H*-algebras, I produce explicit constructions of all the two-dimensional algebras of these kinds.”