CyberSec Research

We study oplax colimits of stable categories, of hermitian categories and of Poincar\'e categories in nice cases. This allows us to produce a categorical model of the assembly map of a bordism-invariant functor of Poincar\'e categories which is also a Verdier projection, whose kernel we explicitly describe. As a direct application, we generalize the Shaneson splitting for bordism-invariant functors of Poincar\'e categories proved by Calm\`es-Dotto-Harpaz-Hebestreit-Land-Moi-Nardin-Nikolaus-Steimle to allow for twists. We also show our methods can tackle their general twisted Shaneson splitting of Poincar\'e-Verdier localizing invariants which specifies to a twisted Bass-Heller-Swan decomposition for the underlying stable categories, generalizing part of recent work of Kirstein-Kremer.

In his seminal work \cite{Ri96}, Rivin characterized finite ideal polyhedra in three-dimensional hyperbolic space. However, the characterization of infinite ideal polyhedra, as proposed by Rivin, has remained a long-standing open problem. In this paper, we introduce the combinatorial Ricci flow for infinite ideal circle patterns, a discrete analogue of Ricci flow on non-compact Riemannian manifolds, and prove a characterization of such circle patterns under certain combinatorial conditions. Our results provide affirmative solutions to Rivin's problem.

In this paper, we develop techniques to study the Hausdorff dimensions of non-conical and Myrberg limit sets for groups acting on negatively curved spaces. We establish maximality of the Hausdorff dimension of the non-conical limit set of $G$ in the following cases. 1. $M$ is a finite volume complete Riemannian manifold of pinched negative curvature and $G$ is an infinite normal subgroups of infinite index in $\pi_1(M)$. 2. $G$ acts on a regular tree $X$ with $X/G$ infinite and amenable (dimension 1). 3. $G$ acts on the hyperbolic plane $\mathbb H^2$ such that $\mathbb H^2/G$ has Cheeger constant zero (dimension 2). 4. $G$ is a finitely generated geometrically infinite Kleinian group (dimension 3). We also show that the Hausdorff dimension of the Myrberg limit set is the same as the critical exponent, confirming a conjecture of Falk-Matsuzaki.

The variation operator associated with an isolated hypersurface singularity is a classical topological invariant that relates relative and absolute homologies of the Milnor fiber via a non trivial isomorphism. Here we work with a topological version of this operator that deals with proper arcs and closed curves instead of homology cycles. Building on the classical framework of geometric vanishing cycles, we introduce the concept of vanishing arcsets as their counterpart using this geometric variation operator. We characterize which properly embedded arcs are sent to geometric vanishing cycles by the geometric variation operator in terms of intersections numbers of the arcs and their images by the geometric monodromy. Furthermore, we prove that for any distinguished collection of vanishing cycles arising from an A'Campo's divide, there exists a topological exceptional collection of arcsets whose variation images match this collection.

A thick link is a link in Euclidean three-space such that each component of the link lies at distance at least 1 from every other component. Strengthening the notion of thickness, we define a thickly embedded link to be a thick link whose open radius-1/2 normal disk bundles of all components are embedded. The Gehring ropelength problem asks how large the sum of the lengths of the components of a thick (respectively thickly embedded) link must be, given the link homotopy (respectively isotopy) class of the link. A thick homotopy (isotopy) is a link homotopy (isotopy) of a thick (thickly embedded) link that preserves thickness throughout, and such that during the homotopy the total length of the link never exceeds the initial total length. These notions of thick homotopy and isotopy are more permissive than other notions of physical link isotopies in which the length of each individual component must remain constant (no "length trading"). We construct an explicit example of a thickly embedded 4-component link which is topologically split but cannot be split by a thick homotopy, and thick links in every homotopy class with 2 components that are non-global local minima for ropelength. This is the first time such local minima for ropelength have been explicitly constructed. In particular, we construct a thick 2-component link in the link homotopy class of the unlink which cannot be split through a thick homotopy.

We prove the existence of families of distinct isotopy classes of physical unknots through the key concept of parametrised thickness. These unknots have prescribed length, tube thickness, a uniform bound on curvature, and cannot be disentangled into a thickened round circle by an isotopy that preserves these constraints throughout. In particular, we establish the existence of \emph{gordian unknots}: embedded tubes that are topologically trivial but geometrically locked, confirming a long-standing conjecture. These arise within the space $\mathcal{U}_1$ of thin unknots in $\mathbb{R}^3$, and persist across a stratified family $\{ \mathcal{U}_\tau \}_{\tau \in [0,2]}$, where $\tau$ denotes the tube diameter, or thickness. The constraints on curvature and self-distance fragment the isotopy class of the unknot into infinitely many disconnected components, revealing a stratified structure governed by geometric thresholds. This unveils a rich hierarchy of geometric entanglement within topologically trivial configurations.

We solve two open problems of Valeriy Bardakov about Cayley graphs of racks and graph-theoretic realizations of right quasigroups. We also extend Didier Caucal's classification of labeled Cayley digraphs to right quasigroups and related algebraic structures like quandles. First, we characterize markings of graphs that realize racks. As an application, we construct rack-theoretic (di)graph invariants from permutation representations of graph automorphism groups. We describe how to compute these invariants with general results for path graphs and cycle graphs. Second, we show that all right quasigroups are realizable by edgeless graphs and complete (di)graphs. Using Schreier (di)graphs, we also characterize Cayley (di)graphs of right quasigroups Q that realize Q. In particular, all racks are realizable by their full Cayley (di)graphs. Finally, we give a graph-theoretic characterization of labeled Cayley digraphs of right-cancellative magmas, right-divisible magmas, right quasigroups, racks, quandles, involutory racks, and kei.

The main open problem in geometric knot theory is to provide a tabulation of knots based on an energy criterion, with the goal of presenting this tabulation in terms of global energy minimisers within isotopy classes, often referred to as ideal knots. Recently, the first examples of minimal length diagrams and their corresponding length values have been determined by Ayala, Kirszenblat, and Rubinstein. This article is motivated by the scarcity of examples despite several decades of intense research. Here, we compute the minimal ribbonlength for some well-known knot diagrams, including the Salomon knot and the Turk's head knot. We also determine the minimal ribbonlength for the granny knot and square knot using a direct method. We conclude by providing the ribbonlength for infinite classes of critical ribbon knots, along with conjectures aimed at relating ribbonlength to knot invariants in pursuit of a metric classification of knots.

Lipshitz, Ozsv\'ath, and Thurston extend the theory of bordered Heegaard Floer homology to compute $\mathbf{CF}^-$. Like with the hat theory, their minus invariants provide a recipe to compute knot invariants associated to satellite knots. We combinatorially construct the weighted $A_\infty$-modules associated to the $(p, 1)$-cable. The operations on these modules count certain classes of inductively constructed decorated planar graphs. This description of the weighted $A_\infty$-modules provides a combinatorial proof of the $A_\infty$ structure relations for the modules. We further prove a uniqueness property for the modules we construct: any weighted extensions of the unweighted $U = 0$ modules have isomorphic associated type D modules.

This article explores surface-group representations into the complex hyperbolic group $\mathrm{PU}(2,1)$ and presents domination results for a special class of representations called $T$-bent representations. Let $S_{g,k}$ be a punctured surface of negative Euler characteristic. We prove that for a $T$-bent representation $\rho: \pi_1(S_{g,k}) \rightarrow \mathrm{PU}(2,1)$, there exists a discrete and faithful representation $\rho_0: \pi_1(S_{g,k}) \rightarrow \mathrm{PO}(2,1)$ that dominates $\rho$ in the Bergman translation length spectrum, while preserving the lengths of the peripheral loops.

In this paper, we answer some natural questions on symmetrisation and more general combinations of Finsler metrics, with a view towards applications to Funk and Hilbert geometries and to metrics on Teichm{\"u}ller spaces. For a general non-symmetric Finsler metric on a smooth manifold, we introduce two different families of metrics, containing as special cases the arithmetic and the max symmetrisations respectively of the distance functions associated with these Finsler metrics. We are interested in various natural questions concerning metrics in such a family, regarding its geodesics, its completeness, conditions under which such a metric is Finsler, the shape of its unit ball in the case where it is Finsler, etc. We address such questions in particular in the setting of Funk and Hilbert geometries, and in that of the Teichm{\"u}ller spaces of several kinds of surfaces, equipped with Thurstonlike asymmetric metrics.

We construct infinitely many smoothly slice knots having topological slice discs that are non-approximable by smooth slice discs.

We prove injectivity of the canonical map from singular homology to measure homology for certain ``mildly wild" spaces, that is, certain spaces not having the homotopy type of a CW-complex, but having countable fundamental groups.

Let $M$ be an aspherical oriented closed connected manifold with universal cover $\widetilde{M}\to M$ and let $\Gamma=\pi_1(M)\curvearrowright (X,\mu)$ be a measure preserving action on a standard Borel probability space. We consider singular foliated simplices on the measured foliation $\Gamma\backslash(\widetilde{M}\times X)$ defined by Sauer and we compare the \emph{real singular foliated homology} with classic singular homology. We introduce a notion of \emph{foliated fundamental class} and we prove that its norm coincides with the simplicial volume of $M$. Then we consider the dual cochain complex and define the \emph{singular foliated bounded cohomology}, proving that it is isometrically isomorphic to the measurable bounded cohomology of the action $\Gamma\curvearrowright X$. As a consequence of the duality principle we deduce a vanishing criteria for the simplicial volume in terms of the vanishing of the bounded cohomology of p.m.p actions and of their transverse groupoids.

Let $N_g$ be a closed non-orientable surface of genus $g\geq 3$. Let $\operatorname{Homeo}_0(N_g,\mu)$ be the identity component of the group of measure-preserving homeomorphisms of $N_g$. In this work we prove that the third bounded cohomology of $\operatorname{Homeo}_0(N_g,\mu)$ is infinite dimensional.

Geometry problem solving (GPS) represents a critical frontier in artificial intelligence, with profound applications in education, computer-aided design, and computational graphics. Despite its significance, automating GPS remains challenging due to the dual demands of spatial understanding and rigorous logical reasoning. Recent advances in large models have enabled notable breakthroughs, particularly for SAT-level problems, yet the field remains fragmented across methodologies, benchmarks, and evaluation frameworks. This survey systematically synthesizes GPS advancements through three core dimensions: (1) benchmark construction, (2) textual and diagrammatic parsing, and (3) reasoning paradigms. We further propose a unified analytical paradigm, assess current limitations, and identify emerging opportunities to guide future research toward human-level geometric reasoning, including automated benchmark generation and interpretable neuro-symbolic integration.

We study cosmetic surgeries on a knot in a homology sphere. Several constraints on knots and surgery slopes to admit such surgeries are given. Our main ingredient is the rational surgery formula of the Casson--Walker invariant for 2-component links in the 3-sphere.

Since the work of Mirzakhani \& Petri \cite{Mirzakhani_petri_2019} on random hyperbolic surfaces of large genus, length statistics of closed geodesics have been studied extensively. We focus on the case of random hyperbolic surfaces with cusps, the number $n_g$ of which grows with the genus $g$. We prove that if $n_g$ grows fast enough and we restrict attention to special geodesics that are \emph{tight}, we recover upon proper normalization the same Poisson point process in the large-$g$ limit for the length statistics. The proof relies on a recursion formula for tight Weil-Petersson volumes obtained in \cite{budd2023topological} and on a generalization of Mirzakhani's integration formula to the tight setting.