Searcharxiv⌕ Search

arXiv subjects

Claudius Zibrowius

Publications and source records attributed to Claudius Zibrowius.

17 recordsLinked to original sources
arXiv2026

Benchmarks in Leipzig

Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers. Most of the work was done during the 3-day workshop *Benchmarks in Leipzig* with 35 participants at the Max Planck Institute for Mathematics in the Sciences in Leipzig, Germany. We present the resulting collection of 100 questions. We evaluated these questions in three stages: a single attempt by five state-of-the-art LLMs, followed by a 20-runs-per-model evaluation with three of these models, and finally a 3-run attempt with two heavy-thinking models. After Stage 1, 41 questions remained completely unsolved; after Stage 2, this count dropped to 16; and we concluded Stage 3 with only 2 unsolved questions. This demonstrates that the mathematical reasoning capabilities of LLMs are becoming impressive.

math.HO↗
arXiv2026

On mutation invariance in Khovanov homology

We show that reduced Khovanov homology over any field is invariant under component-preserving Conway mutation. Our proof relies on strong geography restrictions for a certain Khovanov multicurve invariant associated with Conway tangles that we introduced in previous work [arXiv:1910.14584]. Applying ideas from homological mirror symmetry, we give a full classification of the components of this invariant.

math.GT↗
arXiv2024

Khovanov homology and refined bounds for Gordian distances

From Khovanov homology, we extract a new lower bound for the Gordian distance of knots, which combines and strengthens the previously existing bounds coming from Rasmussen invariants and from torsion invariants. We also improve the bounds for the proper rational Gordian distance.

math.GT↗
arXiv2023

Heegaard Floer multicurves of double tangles

We describe a simple formula for computing the Heegaard Floer multicurve invariant of double tangles from the Heegaard Floer multicurve invariant of knot complements. A comparison with a similar multicurve invariant for Conway tangles in the setting of Khovanov homology confirms that knot Floer homology and Khovanov homology behave very differently under satellite operations, echoing recent observations from arXiv:2208.13612. We also obtain a new characterisation of L-space knots in terms of Heegaard Floer A-link satellites. Along the way, we find the first example of a satellite knot whose knot Floer homology is thin.

math.GT↗
arXiv2022

Rasmussen invariants of Whitehead doubles and other satellites

We prove formulae for the $\mathbb{F}_2$-Rasmussen invariant of satellite knots of patterns with wrapping number 2, using the multicurve technology for Khovanov and Bar-Natan homology developed by Kotelskiy, Watson, and the second author. A new concordance homomorphism, which is independent of the Rasmussen invariant, plays a central role in these formulae. We also explore whether similar formulae hold for the Ozsv\'ath-Szab\'o invariant $\tau$.

math.GT↗
arXiv2022

A mnemonic for the Lipshitz-Ozsváth-Thurston correspondence

When $\mathbf{k}$ is a field, type D structures over the algebra $\mathbf{k}[u,v]/(uv)$ are equivalent to immersed curves decorated with local systems in the twice-punctured disk. Consequently, knot Floer homology, as a type D structure over $\mathbf{k}[u,v]/(uv)$, can be viewed as a set of immersed curves. With this observation as a starting point, given a knot $K$ in $S^3$, we realize the immersed curve invariant $\widehat{\mathit{HF}}(S^3 \smallsetminus \mathringν(K))$ [arXiv:1604.03466] by converting the twice-punctured disk to a once-punctured torus via a handle attachment. This recovers a result of Lipshitz, Ozsváth, and Thurston [arXiv:0810.0687] calculating the bordered invariant of $S^3 \smallsetminus \mathringν(K)$ in terms of the knot Floer homology of $K$.

math.GT↗
arXiv2022

Khovanov multicurves are linear

In previous work we introduced a Khovanov multicurve invariant $\operatorname{\widetilde{Kh}}$ associated with Conway tangles. Applying ideas from homological mirror symmetry we show that $\operatorname{\widetilde{Kh}}$ is subject to strong geography restrictions: Every component of the invariant is linear, in the sense that it admits a lift to a curve homotopic to a straight line in an appropriate planar cover of the tangle boundary.

math.GT↗
arXiv2021

Cosmetic operations and Khovanov multicurves

We prove an equivariant version of the Cosmetic Surgery Conjecture for strongly invertible knots. Our proof combines a recent result of Hanselman with the Khovanov multicurve invariants $\widetilde{\operatorname{Kh}}$ and $\widetilde{\operatorname{BN}}$. We apply the same techniques to reprove a result of Wang about the Cosmetic Crossing Conjecture and split links. Along the way, we show that $\widetilde{\operatorname{Kh}}$ and $\widetilde{\operatorname{BN}}$ detect if a Conway tangle is split.

math.GT↗
arXiv2021

Thin links and Conway spheres

When restricted to alternating links, both Heegaard Floer and Khovanov homology concentrate along a single diagonal $\delta$-grading. This leads to the broader class of thin links that one would like to characterize without reference to the invariant in question. We provide a relative version of thinness for tangles and use this to characterize thinness via tangle decompositions along Conway spheres. These results bear a strong resemblance to the L-space gluing theorem for three-manifolds with torus boundary. Our results are based on certain immersed curve invariants for Conway tangles, namely the Heegaard Floer invariant $\operatorname{HFT}$ and the Khovanov invariant $\operatorname{\widetilde{Kh}}$ that were developed by the authors in previous works.

math.GT↗
arXiv2021

Khovanov homology and strong inversions

There is a one-to-one correspondence between strong inversions on knots in the three-sphere and a special class of four-ended tangles. We compute the reduced Khovanov homology of such tangles for all strong inversions on knots with up to 9 crossings, and discuss these computations in the context of earlier work by the second author. In particular, we provide a counterexample to [Conjecture 29, arXiv:1311.1085] as well as a refinement of and additional evidence for [Conjecture 28, arXiv:1311.1085].

math.GT↗
arXiv2020

Khovanov invariants via Fukaya categories: the tangle invariants agree

Given a pointed 4-ended tangle $T \subset D^3$, there are two Khovanov theoretic tangle invariants, $\unicode{1044}_1(T)$ from [arXiv:1910.1458] and $L_T$ from [arXiv:1808.06957], which are twisted complexes over the Fukaya category of the boundary 4-punctured sphere $(S^2,4\text{pt})=\partial (D^3, T)$. We prove that these two invariants are the same.

math.GT↗
arXiv2019

Immersed curves in Khovanov homology

We give a geometric interpretation of Bar-Natan's universal invariant for the class of tangles in the 3-ball with four ends: we associate with such 4-ended tangles $T$ multicurves $\widetilde{\operatorname{BN}}(T)$, that is, collections of immersed curves with local systems in the 4-punctured sphere. These multicurves are tangle invariants up to homotopy of the underlying curves and equivalence of the local systems. They satisfy a gluing theorem which recovers the reduced Bar-Natan homology of links in terms of wrapped Lagrangian Floer theory. Furthermore, we use $\widetilde{\operatorname{BN}}(T)$ to define two immersed curve invariants $\widetilde{\operatorname{Kh}}(T)$ and $\operatorname{Kh}(T)$, which satisfy similar gluing theorems that recover reduced and unreduced Khovanov homology of links, respectively. As a first application, we prove that Conway mutation preserves reduced Bar-Natan homology over the field with two elements and Rasmussen's $s$-invariant over any field. As a second application, we give a geometric interpretation of Rozansky's categorification of the two-stranded Jones-Wenzl projector. This allows us to define a module structure on reduced Bar-Natan and Khovanov homologies of infinitely twisted knots, generalizing a result by Benheddi.

math.GT↗
arXiv2019

On symmetries of peculiar modules; or, $\delta$-graded link Floer homology is mutation invariant

We investigate symmetry properties of peculiar modules, a Heegaard Floer invariant of 4-ended tangles which the author introduced in [arXiv:1712.05050]. In particular, we give an almost complete answer to the geography problem for components of peculiar modules of tangles. As a main application, we show that Conway mutation preserves the hat flavour of the relatively $\delta$-graded Heegaard Floer theory of links.

math.GT↗
arXiv2019

Peculiar modules for 4-ended tangles

With a 4-ended tangle $T$, we associate a Heegaard Floer invariant $\operatorname{CFT^\partial}(T)$, the peculiar module of $T$. Based on Zarev's bordered sutured Heegaard Floer theory, we prove a glueing formula for this invariant which recovers link Floer homology $\operatorname{\widehat{HFL}}$. Moreover, we classify peculiar modules in terms of immersed curves on the 4-punctured sphere. In fact, based on an algorithm of Hanselman, Rasmussen and Watson, we prove general classification results for the category of curved complexes over a marked surface with arc system. This allows us to reinterpret the glueing formula for peculiar modules in terms of Lagrangian intersection Floer theory on the 4-punctured sphere. We then study some applications: firstly, we show that peculiar modules detect rational tangles. Secondly, we give short proofs of various skein exact triangles. Thirdly, we compute the peculiar modules of the 2-stranded pretzel tangles $T_{2n,-(2m+1)}$ for $n,m>0$ using nice diagrams. We then observe that these peculiar modules enjoy certain symmetries which imply that mutation of the tangles $T_{2n,-(2m+1)}$ preserves $δ$-graded, and for some orientations even bigraded link Floer homology.

math.GT↗
arXiv2019

Kauffman states and Heegaard diagrams for tangles

We define polynomial tangle invariants $\nabla_T^s$ via Kauffman states and Alexander codes and investigate some of their properties. In particular, we prove symmetry relations for $\nabla_T^s$ of 4-ended tangles and deduce that the multivariable Alexander polynomial is invariant under Conway mutation. The invariants $\nabla_T^s$ can be interpreted naturally via Heegaard diagrams for tangles. This leads to a categorified version of $\nabla_T^s$: a Heegaard Floer homology $\widehat{\operatorname{HFT}}$ for tangles, which we define as a bordered sutured invariant. We discuss a bigrading on $\widehat{\operatorname{HFT}}$ and prove symmetry relations for $\widehat{\operatorname{HFT}}$ of 4-ended tangles that echo those for $\nabla_T^s$.

math.GT↗
arXiv2017

On a Heegaard Floer theory for tangles

The purpose of this thesis is to define a "local" version of Ozsváth and Szabó's Heegaard Floer homology $\operatorname{\widehat{HFL}}$ for links in the 3-dimensional sphere, i.e. a Heegaard Floer homology $\operatorname{\widehat{HFT}}$ for tangles in the closed 3-ball. After studying basic properties of $\operatorname{\widehat{HFT}}$ and its decategorified tangle invariant $\nabla_T^s$, we prove a glueing theorem in terms of Zarev's bordered sutured Floer homology, which endows $\operatorname{\widehat{HFT}}$ with an additional glueing structure. For 4-ended tangles, we repackage this glueing structure into certain curved complexes $\operatorname{CFT}^\partial$, which we call peculiar modules. This allows us to easily recover oriented and unoriented skein relations for $\operatorname{\widehat{HFL}}$. Our peculiar modules enjoy some symmetry properties, which support a conjecture about $δ$-graded mutation invariance of $\operatorname{\widehat{HFL}}$. In fact, we show that any two links related by mutation about a $(2,-3)$-pretzel tangle have the same $δ$-graded link Floer homology. In the last part of this thesis, we explore the relationship between peculiar modules and twisted complexes in the fully wrapped Fukaya category of the 4-punctured sphere. This thesis is accompanied by two Mathematica packages. The first is a tool for computing the generators of $\operatorname{\widehat{HFT}}$ and its decategorified tangle invariant $\nabla_T^s$. The second allows us to compute Zarev's bordered sutured Floer invariants of any bordered sutured manifold using nice diagrams.

math.GT↗