Researcher profile

Danny Calegari

Danny Calegari contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

Normal subgroups of big mapping class groups

Let S be a surface and let Mod(S,K) be the mapping class group of S permuting a Cantor subset K of S. We prove two structure theorems for normal subgroups of Mod(S,K). (Purity:) if S has finite type, every normal subgroup of Mod(S,K) either contains the kernel of the forgetful map to the mapping class group of S, or it is `pure', i.e. it fixes the Cantor set pointwise. (Inertia:) for any n element subset Q of the Cantor set, there is a forgetful map from the pure subgroup PMod(S,K) of Mod(S,K) to the mapping class group of (S,Q) fixing Q pointwise. If N is a normal subgroup of Mod(S,K) contained in PMod(S,K), its image N_Q is likewise normal. We characterize exactly which finite-type normal subgroups N_Q arise this way. Several applications and numerous examples are also given.

preprint2022arXiv

Sausages and Butcher Paper

For each $d>1$ the shift locus of degree $d$, denoted ${\mathcal S}_d$, is the space of normalized degree $d$ polynomials in one complex variable for which every critical point is in the attracting basin of infinity under iteration. It is a complex analytic manifold of complex dimension $d-1$. We are able to give an explicit description of ${\mathcal S}_d$ as a complex of spaces over a contractible $\tilde{A}_{d-2}$ building, and to describe the pieces in two quite different ways: 1. (combinatorial): in terms of dynamical extended laminations; or 2. (algebraic): in terms of certain explicit `discriminant-like' affine algebraic varieties. From this structure one may deduce numerous facts, including that ${\mathcal S}_d$ has the homotopy type of a CW complex of real dimension $d-1$; and that ${\mathcal S}_3$ and ${\mathcal S}_4$ are $K(π,1)$s. The method of proof is rather interesting in its own right. In fact, along the way we discover a new class of complex surfaces (they are complements of certain singular curves in ${\mathbb C}^2$) which are homotopic to locally CAT$(0)$ complexes; in particular they are $K(π,1)$s.

preprint2020arXiv

Nielsen realization for infinite-type surfaces

Given a finite subgroup G of the mapping class group of a surface S, the Nielsen realization problem asks whether G can be realized as a finite group of homeomorphisms of S. In 1983, Kerckhoff showed that for S a finite-type surface, any finite subgroup G may be realized as a group of isometries of some hyperbolic metric on S. We extend Kerckhoff's result to orientable, infinite-type surfaces. As applications, we classify torsion elements in the mapping class group of the plane minus a Cantor set, and also show that topological groups containing sequences of torsion elements limiting to the identity do not embed continuously into the mapping class group of S. Finally, we show that compact subgroups of the mapping class group of S are finite, and locally compact subgroups are discrete.

preprint2011arXiv

Immersed surfaces in the modular orbifold

A hyperbolic conjugacy class in the modular group PSL(2,Z) corresponds to a closed geodesic in the modular orbifold. Some of these geodesics virtually bound immersed surfaces, and some do not; the distinction is related to the polyhedral structure in the unit ball of the stable commutator length norm. We prove the following stability theorem: for every hyperbolic element of the modular group, the product of this element with a sufficiently large power of a parabolic element is represented by a geodesic that virtually bounds an immersed surface.

preprint2009arXiv

Combable functions, quasimorphisms, and the central limit theorem

A function on a discrete group is weakly combable if its discrete derivative with respect to a combing can be calculated by a finite state automaton. A weakly combable function is bicombable if it is Lipschitz in both the left and right invariant word metrics. Examples of bicombable functions on word-hyperbolic groups include (i) homomorphisms to Z (ii) word length with respect to a finite generating set (iii) most known explicit constructions of quasimorphisms (e.g. the Epstein-Fujiwara counting quasimorphisms) We show that bicombable functions on word-hyperbolic groups satisfy a central limit theorem: if \barϕ_n is the value of ϕon a random element of word length n (in a certain sense), there are E and σfor which there is convergence in the sense of distribution n^{-1/2}(\barϕ_n - nE) \to N(0,σ), where N(0,σ) denotes the normal distribution with standard deviation σ. As a corollary, we show that if S_1 and S_2 are any two finite generating sets for G, there is an algebraic number lambda_{1,2} depending on S_1 and S_2 such that almost every word of length n in the S_1 metric has word length nλ_{1,2} in the S_2 metric, with error of size O(\sqrt{n}).