Source author record

David Bachman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GT math.DG

Catalog footprint

Research overview

13works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Cohomology fractals

We introduce cohomology fractals; these are certain images associated to a cohomology class on a hyperbolic three-manifold. They include images made entirely from circles, and also images with no geometrically simple features. They are closely related to limit sets of kleinian groups, but have some key differences. As a consequence, we can zoom in almost any direction to arbitrary depth in real time. We present an implementation in the setting of ideal triangulations using ray-casting.

preprint2016arXiv

Computing Heegaard genus is NP-hard

We show that {\sc Heegaard Genus $\leq g$ }, the problem of deciding whether a triangulated 3-manifold admits a Heegaard splitting of genus less than or equal to $g$ , is NP-hard. The result follows from a quadratic time reduction of the NP-complete problem {\sc CNF-SAT} to {\sc Heegaard Genus $\leq g$ }.

preprint2013arXiv

Almost normal surfaces with boundary

We show that a strongly irreducible and boundary-strongly irreducible surface can be isotoped to be almost normal in a triangulated 3-manifold.

preprint2013arXiv

Heegaard structure respects complicated JSJ decompositions

Let $M$ be a 3-manifold with torus boundary components $T_1$ and $T_2$ . Let $ϕ\colon T_1 \to T_2$ be a homeomorphism, $M_ϕ$ the manifold obtained from $M$ by gluing $T_1$ to $T_2$ via the map $ϕ$ , and $T$ the image of $T_1$ in $M_ϕ$ . We show that if $ϕ$ is "sufficiently complicated" then any incompressible or strongly irreducible surface in $M_ϕ$ can be isotoped to be disjoint from $T$ . It follows that every Heegaard splitting of a 3-manifold admitting a "sufficiently complicated" JSJ decomposition is an amalgamation of Heegaard splittings of the components of the JSJ decomposition.

preprint2013arXiv

Normalizing Topologically Minimal Surfaces III: Bounded Combinatorics

We show that there are a finite number of possible pictures for a surface in a tetrahedron with local index $n$ . Combined with previous results, this establishes that any topologically minimal surface can be transformed into one with a particular normal form with respect to any triangulation.

preprint2013arXiv

Surfaces that become isotopic after Dehn filling

We show that after generic filling along a torus boundary component of a 3-manifold, no two closed, 2-sided, essential surfaces become isotopic, and no closed, 2-sided, essential surface becomes inessential. That is, the set of essential surfaces (considered up to isotopy) survives unchanged in all suitably generic Dehn fillings. Furthermore, for all but finitely many non-generic fillings, we show that two essential surfaces can only become isotopic in a constrained way.

preprint2012arXiv

A Geometric Approach to Differential Forms

This is a draft of a textbook on differential forms. The primary target audience is sophmore level undergraduates enrolled in what would traditionally be a course in vector calculus. Later chapters will be of interest to advaced undergraduate and beginning graduate students. Applications include brief introductions to Maxwell's equations, foliations and contact structures, and DeRham cohomology.

preprint2012arXiv

Normalizing Topologically Minimal Surfaces I: Global to Local Index

We show that in any triangulated 3-manifold, every index n topologically minimal surface can be transformed to a surface which has local indices (as computed in each tetrahedron) that sum to at most n. This generalizes classical theorems of Kneser and Haken, and more recent theorems of Rubinstein and Stocking, and is the first step in a program to show that every topologically minimal surface has a normal form with respect to any triangulation.

preprint2012arXiv

Normalizing Topologically Minimal Surfaces II: Disks

We show that a topologically minimal disk in a tetrahedron with index $n$ is either a normal triangle, a normal quadrilateral, or a normal helicoid with boundary length 4(n+1). This mirrors geometric results of Colding and Minicozzi.

preprint2012arXiv

Stabilizing and destabilizing Heegaard splittings of sufficiently complicated 3-manifolds

Let M_1 and M_2 be compact, orientable 3-manifolds with incompressible boundary, and M the manifold obtained by gluing with a homeomorphism $ϕ:\bdy M_1 \to \bdy M_2$. We analyze the relationship between the sets of low genus Heegaard splittings of M_1, M_2, and M, assuming the map ϕis "sufficiently complicated." This analysis yields counter-examples to the Stabilization Conjecture, a resolution of the higher genus analogue of a conjecture of Gordon, and a result about the uniqueness of expressions of Heegaard splittings as amalgamations.

preprint2009arXiv

Topological Index Theory for Surfaces in 3-Manifolds

The disk complex of a surface in a 3-manifold is used to define its {\it topological index}. Surfaces with well-defined topological index are shown to generalize well-known classes, such as incompressible, strongly irreducible, and critical surfaces. The main result is that one may always isotope a surface $H$ with topological index $n$ to meet an incompressible surface $F$ so that the sum of the indices of the components of $H \setminus N(F)$ is at most $n$ . This theorem and its corollaries generalize many known results about surfaces in 3-manifolds, and often provides more efficient proofs. The paper concludes with a list of questions and conjectures, including a natural generalization of Hempel's {\it distance} to surfaces with topological index $\ge 2$ .

preprint2006arXiv

Connected sums of unstabilized Heegaard splittings are unstabilized

Let M_1 and M_2 be closed, orientable 3-manifolds. Let H_i denote a Heegaard surface in M_i. We prove that if H_1 # H_2 comes from stabilizing a lower genus splitting of M_1 # M_2 then either H_1 or H_2 comes from stabilizing a lower genus splitting. If H_i and G_i are non-isotopic Heegaard surfaces in M_i, and H_i is unstabilized, then we show H_1 # H_2 is not isotopic to G_1 # G_2 in M_1 # M_2. The former result answers a question of C. Gordon (Problem 3.91 from Kirby's problem list).

preprint2004arXiv

Large embedded balls and Heegaard genus in negative curvature

We show if M is a closed, connected, orientable, hyperbolic 3-manifold with Heegaard genus g then g >= 1/2 cosh(r) where r denotes the radius of any isometrically embedded ball in M. Assuming an unpublished result of Pitts and Rubinstein improves this to g >= 1/2 cosh(r) + 1/2. We also give an upper bound on the volume in terms of the flip distance of a Heegaard splitting, and describe isoperimetric surfaces in hyperbolic balls.

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.

David Bachman

Research overview

Is this your work?

13 publications

Cohomology fractals

Computing Heegaard genus is NP-hard

Almost normal surfaces with boundary

Heegaard structure respects complicated JSJ decompositions

Normalizing Topologically Minimal Surfaces III: Bounded Combinatorics

Surfaces that become isotopic after Dehn filling

A Geometric Approach to Differential Forms

Normalizing Topologically Minimal Surfaces I: Global to Local Index

Normalizing Topologically Minimal Surfaces II: Disks

Stabilizing and destabilizing Heegaard splittings of sufficiently complicated 3-manifolds

Topological Index Theory for Surfaces in 3-Manifolds

Connected sums of unstabilized Heegaard splittings are unstabilized

Large embedded balls and Heegaard genus in negative curvature

See the researcher in context

Building this map preview