arXiv subjects

Peter Feller

Publications and source records attributed to Peter Feller.

At least 19 recordsLinked to original sources

arXiv2026

Seifert surfaces in the four-ball and composition of binary quadratic forms

We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms that arise as the Seifert forms of pairs of disjoint Seifert surfaces of genus one. The main ingredient of the proof is number-theoretic and of independent interest. It establishes a new connection between the Bhargava cube and the geometric approach to Gauss composition via planes in the space of two-by-two matrices. In particular, we obtain a geometric recipe that given any two binary quadratic forms finds a Bhargava cube that gives rise to their composition.

math.GT↗

arXiv2025

Homogeneous braids are visually prime

We show that closures of homogeneous braids are visually prime, addressing a question of Cromwell. The key technical tool for the proof is the following criterion concerning primeness of open books, which we consider to be of independent interest. For open books of 3-manifolds the property of having no fixed essential arcs is preserved under essential Murasugi sums with a strictly right-veering open book, if the plumbing region of the original open book veers to the left. We also provide examples of open books in S^3 demonstrating that primeness is not necessarily preserved under essential Murasugi sum, in fact not even under stabilizations a.k.a. Hopf plumbings. Furthermore, we find that trefoil plumbings need not preserve primeness. In contrast, we establish that figure-eight knot plumbings do preserve primeness.

math.GT↗

arXiv2025

Monodromies of surfaces in 3-manifolds, right-veeringness, and primeness of links

Extending the notion of monodromies associated with open books of $3$-manifolds, we consider monodromies for all incompressible surfaces in $3$-manifolds as partial self-maps of the arc set of the surfaces. We use them to develop a primeness criterion for incompressible surfaces constructed as iterative Murasugi sums in irreducible $3$-manifolds. We also consider a suitable notion of right-veeringness for monodromies of incompressible surfaces. We show strongly quasipositive surfaces are right-veering, thereby generalizing the corresponding result for open books and providing a proof that does not draw on contact geometry. In fact, we characterize when all elements of a family of incompressible surfaces that is closed under positive stabilization are right-veering. The latter also offers a new perspective on the characterization of tight contact structures via right-veeringness as first established by Honda, Kazez, and Matić. As an application to links in $S^3$, we prove visual primeness of a large class of links, the so-called alternative links. This subsumes all prior visual primeness results related to Cromwell's conjecture. The application is enabled by the fact that all links in $S^3$ arise as the boundary of incompressible surfaces, whereas classical open book theory is restricted to fibered links -- those links that arise as the boundary of the page of an open book.

math.GT↗

arXiv2025

The Dehn twist coefficient for big and small mapping class groups

We study a quasimorphism, which we call the Dehn twist coefficient (DTC), from the mapping class group of a surface (with a chosen compact boundary component) that generalizes the well-studied fractional Dehn twist coefficient (FDTC) to surfaces of infinite type. Indeed, for surfaces of finite type the DTC coincides with the FDTC. We provide a characterization of the DTC as the unique homogeneous quasimorphism satisfying certain positivity conditions. This characterization is new even for the classical finite-type case and requires minimal input beyond elementary topology. The FDTC has image contained in $\mathbb{Q}$. In contrast to this, we find that for some surfaces of infinite type the DTC has image all of $\mathbb{R}$. To see this we provide a new construction of maps with irrational rotation behavior for some surfaces of infinite type with a countable space of ends or even just one end. In fact, we find that the DTC is the right tool to detect irrational rotation behavior, even for surfaces without boundary.

math.GT↗

arXiv2024

Effective hyperbolization and length bounds for Heegaard splittings

We consider 3-manifolds given as Heegaard splittings $M=H^-\cup_ΣH^+$ with the aim to describe the hyperbolic metric of $M$ under topological conditions on the splitting guaranteeing that the manifold is hyperbolic. In particular, given a suitable "sufficiently incompressible" curve $γ\subsetΣ$, we show (without appealing to Geometrization) that $M$ is hyperbolic and we compute the length of $γ$ in terms of the projection coefficients of the disk sets, up to a uniform multiplicative error.

math.GT↗

arXiv2024

The twisting number of a ribbon knot is bounded below by its doubly slice genus

The twisting number of a ribbon knot $K$ is the minimal number of tangle replacements on the symmetry axis of $J \# -J$ for any knot $J$ that is required to produce a symmetric union diagram of $K$. We prove that the twisting number is bounded below by the doubly slice genus and produce examples of ribbon knots with arbitrarily high twisting number, addressing a problem of Tanaka. As an application, we determine hitherto unknown doubly slice genera of some knots with 12 crossings.

math.GT↗

arXiv2023

Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space

We provide three 3-dimensional characterizations of the Z-slice genus of a knot, the minimal genus of a locally-flat surface in 4-space cobounding the knot whose complement has cyclic fundamental group: in terms of balanced algebraic unknotting, in terms of Seifert surfaces, and in terms of presentation matrices of the Blanchfield pairing. This result generalizes to a knot in an integer homology 3-sphere and surfaces in certain simply connected signature zero 4-manifolds cobounding this homology sphere. Using the Blanchfield characterization, we obtain effective lower bounds for the Z-slice genus from the linking pairing of the double branched covering of the knot. In contrast, we show that for odd primes p, the linking pairing on the first homology of the p-fold branched covering is determined up to isometry by the action of the deck transformation group on said first homology. As an application of the new upper and lower bounds, we complete the calculation of the Z-slice genus for all prime knots with crossing number up to 12.

math.GT↗

arXiv2023

Hyperbolic Heegaard splittings and Dehn twists

We consider the family of Heegaard splittings of genus $g$ at least two which are defined via a gluing map that is the $n$-th power of the Dehn twist along a curve that satisfies a natural topological assumption, namely pared acylindricity. We show that if $n$ is at least 14, then the Heegaard splitting has a hyperbolic metric for which the simple closed curve defining the Dehn twist is a closed geodesic of length at least $1.24/(n^2g)$ and at most $37.5/n^2$

math.GT↗

arXiv2023

Asymptotics of the smooth $A_n$-realization problem

We solve an asymptotic variant of a smooth version of the $A_n$-realization problem for plane curves. As an application, we determine the cobordism distance between torus links of type $T(d,d)$ and $T(2,N)$ up to an error of at most $3d$. We also discuss the limits of knot theoretic approaches aimed at solving the $A_n$-realization problem.

math.GT↗

arXiv2022

Bouquets of curves in surfaces

We characterise when a set of simple closed curves in an orientable surface forms a bouquet, in terms of relations between the corresponding Dehn twists.

math.GT↗

arXiv2022

Squeezed Knots

Squeezed knots are those knots that appear as slices of genus-minimizing oriented smooth cobordisms between positive and negative torus knots. We show that this class of knots is large and discuss how to obstruct squeezedness. The most effective obstructions appear to come from quantum knot invariants, notably including refinements of the Rasmussen invariant due to Lipshitz-Sarkar and Sarkar-Scaduto-Stoffregen involving stable cohomology operations on Khovanov homology.

math.GT↗

arXiv2022

The slice-Bennequin inequality for the fractional Dehn twist coefficient

We characterize the fractional Dehn twist coefficient (FDTC) on the $n$-stranded braid group as the unique homogeneous quasimorphism to the real numbers of defect at most 1 that equals 1 on the positive full twist and vanishes on the $(n-1)$-stranded braid subgroup. In a different direction, we establish that the slice-Bennequin inequality holds with the FDTC in place of the writhe. In other words, we establish an affine linear lower bound for the smooth slice genus of the closure of a braid in terms of the braid's FDTC. We also discuss connections between these two seemingly unrelated results. In the appendix we provide a unifying framework for the slice-Bennequin inequality and its counterpart for the FDTC.

math.GT↗

arXiv2022

Uniform models and short curves for random 3-manifolds

We provide two constructions of hyperbolic metrics on 3-manifolds with Heegaard splittings that satisfy certain topological conditions, which both apply to random Heegaard splittings with asymptotic probability 1. These constructions provide a lot of control on the resulting metric, allowing us to prove various results about the coarse growth rate of geometric invariants, such as diameter and injectivity radius, and about arithmeticity and commensurability in families of random 3-manifolds. For example, we show that the diameter of a random Heegaard splitting grows coarsely linearly in the length of the associated random walk. The constructions only use tools from the deformation theory of Kleinian groups, that is, we do not rely on the solution of the Geometrization Conjecture by Perelman. In particular, we give a proof of Maher's result that random 3-manifolds are hyperbolic that bypasses Geometrization.

math.GT↗

arXiv2022

On the values taken by slice torus invariants

We study the space of slice-torus invariants. In particular we characterize the set of values that slice-torus invariants may take on a given knot in terms of the stable smooth slice genus. Our study reveals that the resolution of the local Thom conjecture implies the existence of slice torus invariants without having to appeal to any explicit construction from a knot homology theory.

math.GT↗

arXiv2021

Almost positive links are strongly quasipositive

We prove that any link admitting a diagram with a single negative crossing is strongly quasipositive. This answers a question of Stoimenow's in the (strong) positive. As a second main result, we give simple and complete characterizations of link diagrams with quasipositive canonical surface (the surface produced by Seifert's algorithm). As applications, we determine which prime knots up to 13 crossings are strongly quasipositive, and we confirm the following conjecture for knots that have a canonical surface realizing their genus: a knot is strongly quasipositive if and only if the Bennequin inequality is an equality.

math.GT↗

arXiv2021

The $\mathbb{Z}$-genus of boundary links

The $\mathbb{Z}$-genus of a link $L$ in $S^3$ is the minimal genus of a locally flat, embedded, connected surface in $D^4$ whose boundary is $L$ and with the fundamental group of the complement infinite cyclic. We characterise the $\mathbb{Z}$-genus of boundary links in terms of their single variable Blanchfield forms, and we present some applications. In particular, we show that a variant of the shake genus of a knot, the $\mathbb{Z}$-shake genus, equals the $\mathbb{Z}$-genus of the knot.

math.GT↗

arXiv2021

Existence of Embeddings of Smooth Varieties into Linear Algebraic Groups

We prove that every smooth affine variety of dimension $d$ embeds into every simple algebraic group of dimension at least $2d+2$. We do this by establishing the existence of embeddings of smooth affine varieties into the total space of certain principal bundles. For the latter we employ and build upon parametric transversality results for flexible affine varieties due to Kaliman. By adapting a Chow-group-based argument due to Bloch, Murthy, and Szpiro, we show that our result is optimal up to a possible improvement of the bound to $2d+1$. In order to study the limits of our embedding method, we use rational homology group calculations of homogeneous spaces and we establish a domination result for rational homology of complex smooth varieties.

math.AG↗

arXiv2021

Non-orientable slice surfaces and inscribed rectangles

We discuss differences between genera of smooth and locally-flat non-orientable surfaces in the 4-ball with boundary a given torus knot or 2-bridge knot. In particular, we establish that a result by Batson on the smooth non-orientable 4-genus of torus knots does not hold in the locally-flat category. We further show that certain families of torus knots are not the boundary of an embedded Möbius band in the 4-ball and other 4-manifolds. Our investigation of non-orientable surfaces with boundary a given torus knot is motivated by our approach to unify the proof of the existence of inscribed squares and of inscribed rectangles with aspect ratio $\sqrt3$ in Jordan curves with a regularity condition. This generalizes a result by Hugelmeyer for smooth Jordan curves.

math.GT↗