arXiv research

We study geometric properties of stabilisers in the handlebody group. We find that stabilisers of meridians are undistorted, while stabilisers of primitive curves or annuli are exponentially distorted for large enough genus.

Common positive stabilisation found for isotopic contact structures.

The stabilisation height of a fibre surface in the 3-sphere is the minimal number of Hopf plumbing operations needed to attain a stable fibre surface from the initial surface. We show that families of fibre surfaces related by iterated Stallings twists have unbounded stabilisation height.

Study of tree automorphisms via arc-stabilizers.

Bayesian neural networks (BNNs) have developed into useful tools for probabilistic modelling due to recent advances in variational inference enabling large scale BNNs. However, BNNs remain brittle and hard to train, especially: (1) when using deep architectures consisting of many hidden layers and (2) in situations wit…

The theory of multilayer networks is in its early stages, and its development provides vital methods for understanding complex systems. Multilayer networks, in their multiplex form, have been introduced within the last three years to analysing the structure of financial systems, and existing studies have modelled and e…

New proof of Giroux Correspondence for tight contact 3-manifolds.

Study Swan modules and homotopy types, resolving Wall and Dyer questions.

In dimension 3 and above, Bredon cohomology gives an acurate purely algebraic description of the minimal dimension of the classifying space for actions of a group with stabilisers in any given family of subgroups. For some Coxeter groups and the family of virtually cyclic subgroups we show that the Bredon cohomological…

We consider components of Hurwitz moduli space of G-Galois covers and set up a powerful algebraic framework to study the set of corresponding equivalence classes of monodromy maps. Within that we study geometric stabilisation by various G-covers branched over the disc. Our results addresses the problem to decide equiva…

New method stabilizes GAN training by solving ODEs.

Study stable equivalence relations on 4-manifolds, proving homotopy equivalent manifolds with abelian fundamental group are stably diffeomorphic.

It is one of the most important facts in 4-dimensional topology that not every spherical homology class of a 4-manifold can be represented by an embedded sphere. In 1978, M. Freedman and R. Kirby showed that in the simply connected case, many of the obstructions to constructing such a sphere vanish if one modifies the …

If $Σ$ and $Σ'$ are homotopic embedded surfaces in a $4$-manifold then they may be related by a regular homotopy (at the expense of introducing double points) or by a sequence of stabilisations and destabilisations (at the expense of adding genus). This naturally gives rise to two integer-valued notions of distance bet…

The study examines the realizability of a 4-manifold invariant for homeomorphisms.

Smoothly isotopic surfaces in a 4-manifold are stable isotopic if trivial in the 2-homology.

We prove a neighbourhood theorem for arbitrary knots in contact 3-manifolds. As an application we show that two topologically isotopic Legendrian knots in a contact 3-manifold become Legendrian isotopic after suitable stabilisations.

Contact Lie algebras have specific properties related to stabilizers and invariant polynomials.

We are interested in comparing properties of symplectic mapping class groups of symplectic manifolds of dimension four or higher with properties of classical mapping class groups of surfaces. For $n \geq 2$, consider a configuration of Lagrangian $S^n$s in a Weinstein domain $M^{2n}$. If it is analogous, in some sense …

We prove that the group of diffeomorphisms of the interval $[0,1]$ contains surface groups whose action on $(0,1)$ has no global fix point, is topologically transitive, and such that only countably many points of the interval $(0,1)$ have non-trivial stabiliser.

Using basic properties of one-sided Heegaard splittings, a direct proof that geometrically compressible one-sided splittings of RP^3 are stabilised is given. The argument is modelled on that used by Waldhausen to show that two-sided splittings of S^3 are standard.

Newly characterizes the Standard Model gauge group using spinors and geometry.

New findings on group actions and stabilizers of infinite sets.

Abstract: Rational decomposition of homeomorphism spaces for manifolds.

New method classifies spin 4-manifolds using Kervaire-Milnor invariant.

For primes $p$, we investigate an $\mathbb{F}_p$-version of simplicial volume and compare these invariants with their siblings over other coefficient rings. We will also consider the associated gradient invariants, obtained by stabilisation along finite coverings. Throughout, we will discuss the relation between such s…

Study of automorphisms and splittings of special groups, showing infinite groups under certain conditions.

Given a group action on a simplicial complex such that each simplex stabiliser admits a cocompact model of classifying space for proper actions, we give conditions implying the existence of a cocompact model of classifying space for proper actions for the whole group. This is used to generalise previous combination res…

Study of associative submanifolds in Berger space SO(5)/SO(3).

The brain optimizes memory by forgetting what's predictable, improving generalization.

We prove a homological stability theorem for moduli spaces of manifolds of dimension $2n$, for attaching handles of index at least $n$, after these manifolds have been stabilised by countably many copies of $S^n \times S^n$. Combined with previous work of the authors, we obtain an analogue of the Madsen--Weiss theorem …

An almost Robinson structure on an $n$-dimensional Lorentzian manifold $(\mcM,g)$, where $n=2m+ε$, $ε\in \{ 0 ,1 \}$, is a complex $m$-plane distribution $\mcN$ that is totally null with respect to the complexified metric, and intersects its complex conjugate in a real null line distribution $\mcK$, say. When $\mcN$ an…

We discuss the construction of Sp(2)Sp(1)-structures whose fundamental form is closed. In particular, we find 10 new examples of 8-dimensional nilmanifolds that admit an invariant closed 4-form with stabiliser Sp(2)Sp(1). Our constructions entail the notion of SO(4)-structures on 7-manifolds. We present a thorough inve…

A recent paper suggests that Deep Neural Networks can be protected from gradient-based adversarial perturbations by driving the network activations into a highly saturated regime. Here we analyse such saturated networks and show that the attacks fail due to numerical limitations in the gradient computations. A simple s…

We describe a method to classify crystallographic tilings of the Euclidean and hyperbolic planes by tiles whose stabiliser group contains translation isometries or whose topology is not that of a closed disk. We tackle this problem from two different viewpoints, one with constructive techniques to enumerate such tiling…

Study fibrations over $S^2$ with same singularities, showing monodromies are equivalent up to direct sums.

The goal of this paper is to give a conjectural census of complex hyperbolic sporadic groups. We prove that only finitely many of these sporadic groups are lattices. We also give a conjectural list of all lattices among sporadic groups, and for each group in the list we give a conjectural presentation, as well as a lis…

The affine diffeomorphism group $\mathrm{Aff}(S,q)$ of a half-translation surface $(S,q)$ comprise the self-diffeomorphisms with constant differential away from the singularities. This group coincides with the stabiliser of the associated Teichmüller disc under the action of the mapping class group on Teichmüller space…

The virtual Betti number conjecture states that any hyperbolic three-manifold has a finite cover with positive first Betti number. We show that this would follow if it were known that the derived series of the fundamental group $G$ of a hyperbolic three-manifold satisfies a certain stability property. The stability pro…

We will present proofs for two conjectures stated in arXiv:1808.08073. The first one is that for an arbitrary manifold $W$, the homotopy classes of proper maps $W\times\mathbb{R}^n\to\mathbb{R}^{k+n}$ stabilise as $n\to\infty$, and the second one is that in a stable range there is a Pontryagin--Thom type bijection for …

The paper explores non-amenability in infinite-type surfaces and graphs.

Let M be a surface (possibly nonorientable) with punctures and/or boundary components. The paper is a study of ``geometric subgroups'' of the mapping class group of M, that is subgroups corresponding to inclusions of subsurfaces (possibly disconnected). We characterise the subsurfaces which lead to virtually abelian ge…

In this paper, we consider infinite-dimensional port-Hamiltonian systems with in-domain actuation by means of an approach based on Stokes-Dirac structures as well as in a framework that exploits an underlying jet-bundle structure. In both frameworks, a dynamic controller based on the energy-Casimir method is derived in…

We study actions of Lie supergroups, in particular, the hitherto elusive notion of orbits through odd (or more general) points. Following categorical principles, we derive a conceptual framework for their treatment and therein prove general existence theorems for the isotropy (or stabiliser) supergroups and orbits thro…

We show that for groups acting acylindrically on simplicial trees the $K$- and $L$-theoretic Farrell-Jones Conjecture relative to the family of subgroups consisting of virtually cyclic subgroups and all subconjugates of vertex stabilisers holds. As an application, for amalgamated free products acting acylindrically on …

We provide in this note two relevant examples of Lagrangian cobordisms. The first one gives an example of two exact Lagrangian submanifolds which cannot be composed in an exact fashion. The second one is an example of an exact Lagrangian cobordism on which all primitive of the Liouville form is not constant on the nega…

Following findings by Ormerod and Mounfield, Wright rises the problem whether a power or an exponential law describes the distribution of occurrences of economic recession periods. In order to clarify the controversy a different set of GDP data is hereby examined. The conclusion about a power law distribution of recess…

Study on high-dimensional solid tori reveals infinite generation in their diffeomorphism groups.