BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Martin Lustig

Martin Lustig appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GRmath.GTmath.DS

Catalog footprint

What is connected

21works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

21 published item(s)

preprint2022arXiv

How do topological entropy and factor complexity behave under monoid morphisms and free group basis changes ?

For any non-erasing free monoid morphism $σ: \cal A^* \to \cal B^*$, and for any subshift $X \subset \cal A^\Z$ and its image subshift $Y = σ(X) \subset \cal B^\Z$, the associated complexity functions $p_X$ and $p_Y$ are shown to satisfy: there exist constants $c, d, C > 0$ such that $$c \cdot p_X(d \cdot n) \,\, \leq \,\, p_Y(n) \,\, \leq \,\, C \cdot p_X(n)$$ holds for all sufficiently large integers $n \in \N$, provided that $σ$ is recognizable in $X$. If $σ$ is in addition letter-to-letter, then $p_Y$ belongs to $Θ(p_X)$ (and conversely). Otherwise, however, there are examples where $p_X$ is not in $\cal O(p_Y)$. It follows that in general the value $h_X$ of the topological entropy of $X$ is not preserved when applying a morphism $σ$ to $X$, even if $σ$ is recognizable in $X$. As a consequence, there is no meaningful way to define the topological entropy of a current on a free group $F_N$; only the distinction of currents $μ$ with topological entropy $h_{\tiny\supp(μ)} = 0$ and $h_{\tiny\supp(μ)} > 0$ is well defined.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Nielsen Equivalence in Fuchsian groups

In this paper we give a complete classification of minimal generating systems in a very general class of Fuchsian groups G. This class includes for example any G which has at least seven non-conjugate cyclic subgroups of order greater than 2. In particular, the well known problematic cases where G has characteristic exponents equal to 2 are not excluded. We classify generating systems up to Nielsen equivalence; this notion is strongly related to Heegaard splittings of 3-manifolds. The results of this paper provide in particular the tools for a rather general extension of previous work of the authors and others, on the isotopy classification of such splittings in Seifert fibered spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Graph towers, laminations and their invariant measures

In this paper we present a combinatorial machinery, consisting of a graph tower $\overleftarrow Γ$ and vector towers $\overleftarrow v$ on $\overleftarrow Γ$, which allows us to efficiently describe all invariant measures $μ= μ^{\overleftarrow v}$ on any given shift space over a finite alphabet. The new technology admits a number of direct applications, in particular concerning invariant measures on non-primitive substitution subshifts, minimal subshifts with many ergodic measures, or an efficient calculation of the measure of a given cylinder. It also applies to currents on a free group $F_N$, and in particular the set of projectively fixed currents under the action of a (possibly reducible) endomorphism $φ: F_N \to F_N$ is determined, when $φ$ is represented by a train track map.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Cannon-Thurston fibers for iwip automorphisms of $F_N$

For any atoroidal iwip $ϕ\in Out(F_N)$ the mapping torus group $G_ϕ=F_N\rtimes_ϕ<t>e$ is hyperbolic, and the embedding $ι: F_N \overset{\lhd}{\longrightarrow} G_ϕ$ induces a continuous, $F_N$-equivariant and surjective {\em Cannon-Thurston map} $\hat ι: \partial F_N \to \partial G_ϕ$. We prove that for any $ϕ$ as above, the map $\hat ι$ is finite-to-one and that the preimage of every point of $\partial G_ϕ$ has cardinality $\le 2N$. We also prove that every point $S\in \partial G_ϕ$ with $\ge 3$ preimages in $\partial F_N$ has the form $(wt^m)^\infty$ where $w\in F_N, m\ne 0$, and that there are at most $4N-5$ distinct $F_N$-orbits of such {\em singular} points in $\partial G_ϕ$ (for the translation action of $F_N$ on $\partial G_ϕ$). By contrast, we show that for $k=1,2$ there are uncountably many points $S\in \partial G_ϕ$ (and thus uncountably many $F_N$-orbits of such $S$) with exactly $k$ preimages in $\partial F_N$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Dual automorphisms of free groups

For any choice of a basis $\cal A$ the free group $F_N$ of finite rank $N \geq 2$ can be canonically identified with the set $F(\cal A)$ of reduced words in $\cal A\cup \cal A^{-1}$. However, such a word $w \in F(\cal A)$ admits a second interpretation, namely as cylinder $C^1_w \subset \partial F_N$. The subset of $\partial F_N$ defined by $C^1_w$ depends not only on the element of $F_N$ given by the word $w$, but also on the chosen basis $\cal A$. In particular one has in general, for $Φ\in \Aut(F_N)$: $$Φ(C^1_w) \neq C^1_{Φ(w)}$$ Indeed, the image of a cylinder under an automorphism $Φ\in \Aut(F_N)$ is in general not a cylinder, but a finite union of cylinders: $$Φ(C^1_w)=C^{1}_U := \bigcup_{u_i \in U} C^1_{u_i}$$ In his thesis the first author has given an efficient algorithm and a formula how to determine such a (uniquely determined) finite {\em reduced} set $U = U(w) \subset F_N$. We use those to define the dual automorphism $Φ_{\cal A}^*$ by setting $Φ_{\cal A}^*(w) = U(w)$. \smallskip \noindent {\bf Theorem:} {\it For any $Φ\in \Aut(F_N)$ there are at most 2N distinct finite subsets $U_i \subset F_N$ such that for any $w = y_1 ... y_r \in F_A$ there is one of them, say $U_{i(w)}$, with $$Φ_{\cal A}^*(w) = Φ(w) U_{i(w)}\, ,$$ and $U_{i(w)}$ depends only on the last letter $y_r \in \CA \cup \CA^{-1}$. Furthermore, the seize of each $U_{i}$ is bounded by $2^t$, where $t \geq 0$ is the number of Nielsen automorphisms in any decomposition of $Φ$ as product of basis permutations, basis inversions and elementary Nielsen automorphisms.}

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Invariant laminations for irreducible automorphisms of free groups

For every atoroidal iwip automorphism $ϕ$ of $F_N$ (i.e. the analogue of a pseudo-Anosov mapping class) it is shown that the algebraic lamination dual to the forward limit tree $T_+(ϕ)$ is obtained as "diagonal closure" of the support of the backward limit current $μ_-(ϕ)$. This diagonal closure is obtained through a finite procedure in analogy to adding diagonal leaves from the complementary components to the stable lamination of a pseudo-Anosov homeomorphism. We also give several new characterizations as well as a structure theorem for the dual lamination of $T_+(ϕ)$, in terms of Bestvina-Feighn-Handel's "stable lamination" associated to $ϕ$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Tree-irreducible automorphisms of free groups

We introduce a new class of automorphisms $φ$ of the non-abelian free group $F_N$ of finite rank $N \geq 2$ which contains all iwips (= fully irreducible automorphisms), but also any automorphism induced by a pseudo-Anosov homeomorphism of a surface with arbitrary many boundary components. More generally, there may be subgroups of $F_N$ of rank $\geq 2$ on which $φ$ restricts to the identity. We prove some basic facts about such {\em tree-irreducible} automorphisms, and show that, together with Dehn twist automorphisms, they are the natural basic building blocks from which any automorphism of $\FN$ can be constructed in a train track set-up. We then show: {\bf Theorem:} {\it Every tree-irreducible automorphism of $F_N$ has induced North-South dynamics on the Thurston compactification $\bar{\rm CV}_N$ of Outer space.} Finally, we define a "blow-up" construction on the vertices of a train track map, which, starting from iwips, produces tree-irreducible automorphisms which in general are not iwip.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Domains of proper discontinuity on the boundary of Outer space

Motivated by the work of McCarthy and Papadopoulos for subgroups of mapping class groups, we construct domains of proper discontinuity in the compactified Outer space and in the projectivized space of geodesic currents for any "sufficiently large" subgroup of $Out(F_N)$ (that is, a subgroup containing a hyperbolic iwip). As a corollary we prove that for $N\ge 3$ the action of $Out(F_N)$ on the subset of $\mathbb PCurr(F_N)$ consisting of all projectivized currents with full support is properly discontinuous.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Stabilizers of $\mathbb R$-trees with free isometric actions of $F_N$

We prove that if $T$ is an $\mathbb R$-tree with a minimal free isometric action of $F_N$, then the $Out(F_N)$-stabilizer of the projective class $[T]$ is virtually cyclic. For the special case where $T=T_+(ϕ)$ is the forward limit tree of an atoroidal iwip element $ϕ\in Out(F_N)$ this is a consequence of the results of Bestvina, Feighn and Handel, via very different methods. We also derive a new proof of the Tits alternative for subgroups of $Out(F_N)$ containing an iwip (not necessarily atoroidal): we prove that every such subgroup $G\le Out(F_N)$ is either virtually cyclic or contains a free subgroup of rank two. The general case of the Tits alternative for subgroups of $Out(F_N)$ is due to Bestvina, Feighn and Handel.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Are large distance Heegaard splittings generic ?

In a previous paper we introduced a notion of "genericity" for countable sets of curves in the curve complex of a surface S, based on the Lebesgue measure on the space of projective measured laminations in S. With this definition we prove that for each fixed g > 1 the set of irreducible genus g Heegaard splittings of high distance is generic, in the set of all irreducible Heegaard splittings. Our definition of "genericity" is different and more intrinsic then the one given via random walks.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Ping-pong and Outer space

We prove that if $ϕ,ψ\in Out(F_N)$ are hyperbolic iwips (irreducible with irreducible powers) such that $<ϕ,ψ>\le Out(F_N)$ is not virtually cyclic then some high powers of $ϕ$ and $ψ$ generate a free subgroup of rank two, all of whose nontrivial elements are again hyperbolic iwips. Being a hyperbolic iwip element of $Out(F_N)$ is strongly analogous to being a pseudo-Anosov element of a mapping class group, so the above result provides analogs of "purely pseudo-Anosov" free subgroups of $Out(F_N)$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

$\R$-trees, dual laminations, and compact systems of partial isometries

Let $\FN$ be a free group of finite rank $N \geq 2$, and let $T$ be an $\R$-tree with a very small, minimal action of $\FN$ with dense orbits. For any basis $\CA$ of $\FN$ there exists a {\em heart} $K_{\CA} \subset \bar T$ (= the metric completion of $T$) which is a compact subtree that has the property that the dynamical system of partial isometries $a_{i} : K_{\CA} \cap a_{i} K_{\CA} \to a_{i}\inv K_{\CA} \cap K_{\CA}$, for each $a_{i} \in \CA$, defines a tree $T_{(K_{\CA}, \CA)}$ which contains an isometric copy of $T$ as minimal subtree.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Geometric Intersection Number and analogues of the Curve Complex for free groups

For the free group $F_{N}$ of finite rank $N \geq 2$ we construct a canonical Bonahon-type continuous and $Out(F_N)$-invariant \emph{geometric intersection form} \[ <, >: \bar{cv}(F_N)\times Curr(F_N)\to \mathbb R_{\ge 0}. \] Here $\bar{cv}(F_N)$ is the closure of unprojectivized Culler-Vogtmann's Outer space $cv(F_N)$ in the equivariant Gromov-Hausdorff convergence topology (or, equivalently, in the length function topology). It is known that $\bar{cv}(F_N)$ consists of all \emph{very small} minimal isometric actions of $F_N$ on $\mathbb R$-trees. The projectivization of $\bar{cv}(F_N)$ provides a free group analogue of Thurston's compactification of the Teichmüller space. As an application, using the \emph{intersection graph} determined by the intersection form, we show that several natural analogues of the curve complex in the free group context have infinite diameter.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Horizontal Dehn Surgery and genericity in the curve complex

We introduce a general notion of "genericity" for countable subsets of a space with Borel measure, and apply it to the set of vertices in the curve complex of a surface S, interpreted as subset of the space of projective measured laminations in S, equipped with its natural Lebesgue measure. We prove that, for any 3-manifold M, the set of curves c on a Heegaard surface S in M, such that every non-trivial Dehn twist at c yields a Heegaard splitting of high distance, is generic in the set of all essential simple closed curves on S. Our definition of "genericity" is different and more intrinsic than alternative such existing notions, given e.g. via random walks or via limits of quotients of finite sets.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Intersection form, laminations and currents on free groups

Let $F_N$ be a free group of rank $N\ge 2$, let $μ$ be a geodesic current on $F_N$ and let $T$ be an $\mathbb R$-tree with a very small isometric action of $F_N$. We prove that the geometric intersection number $<T, μ>$ is equal to zero if and only if the support of $μ$ is contained in the dual algebraic lamination $L^2(T)$ of $T$. Applying this result, we obtain a generalization of a theorem of Francaviglia regarding length spectrum compactness for currents with full support. As another application, we define the notion of a \emph{filling} element in $F_N$ and prove that filling elements are "nearly generic" in $F_N$. We also apply our results to the notion of \emph{bounded translation equivalence} in free groups.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

$\R$-trees and laminations for free groups I: Algebraic laminations

This paper is the first of a sequence of three papers, where the concept of an $\mathbb R$-tree dual to a measured geodesic lamination in a hyperbolic surface is generalized to arbitrary $\mathbb R$-trees provided with a (very small) action of the free group $F_N$ of finite rank $N\geq 2$ by isometries. Three different definitions are given and they are proved to be equivalent. We also describe the topology and Out$(F_N)$-action on the space of laminations.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Non-unique ergodicity, observers' topology and the dual algebraic lamination for $\R$-trees

We continue in this article the study of laminations dual to very small actions of a free group F on R-trees. We prove that this lamination determines completely the combinatorial structure of the R-tree (the so-called observers' topology). On the contrary the metric is not determined by the lamination, and an R-tree may be equipped with different metrics which have the same observers' topology.

0 citations0 reviewsNo code linkedOpen access