Related papers: Anti-classification for flows on two-tori
Elements of the tropical vertex group, introduced by Kontsevich and Soibelman, are formal families of symplectomorphisms of the 2-dimensional algebraic torus. We prove ordered product factorizations in the tropical vertex group are…
We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…
We discuss an experimental approach to open problems in toric geometry: are smooth projective toric varieties (i) projectively normal and (ii) defined by degree 2 equations? We discuss the creation of lattice polytopes defining smooth toric…
We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…
Surface bundles arising from periodic mapping classes may sometimes have non-isomorphic, but profinitely isomorphic fundamental groups. Pairs of this kind have been discovered by Hempel. This paper exhibits examples of nontrivial Hempel…
We provide algorithms for computing the Rochlin invariants of mod 2 homology spheres and mapping tori. This provides a unified framework for studying two families of maps: the Birman-Craggs maps of the Torelli group, and Sato's maps of the…
Given a smooth quasi-projective complex algebraic variety $\mathcal{S}$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $\mathcal{S}$ of degree $d$ in…
New elementary, self-contained proofs are presented for the topological and the smooth classification theorems of linear flows on finite-dimensional normed spaces. The arguments, and the examples that accompany them, highlight the…
In this paper we give an algebraic description of fundamental groups of orbits of circle-valued smooth functions from some subspace of the space of smooth functions with isolated singularities on $2$-torus $T^2$ with respect to the action…
This article studies the harmonicity of vector fields on Riemannian manifolds, viewed as maps into the tangent bundle equipped with a family of Riemannian metrics. Geometric and topological rigidity conditions are obtained, especially for…
To formalize calculations in linear algebra for the development of efficient algorithms and a framework suitable for functional programming languages and faster parallelized computations, we adopt an approach that treats elements of linear…
Let $f:T^2\to \mathbb{R}$ be Morse function on $2$-torus $T^2,$ and $\mathcal{O}(f)$ be the orbit of $f$ with respect to the right action of the group of diffeomorphisms $\mathcal{D}(T^2)$ on $C^{\infty}(T^2)$. Let also $\mathcal{O}_f(f,X)$…
We show that the embeddability relations for countable quandles and for countable fields of any given characteristic other than 2 are maximally complex in a strong sense: they are invariantly universal. This notion from the theory of Borel…
We prove the smoothness of the L^2-analytic torsion form on some fiber bundles with non-compact fibers of positive Novikov-Shubin invariant. We do so by generalizing the arguments of Azzali-Goette-Schick to an appropriate Sobolev space, and…
Infinite families of 3-dimensional closed graph manifolds and closed Seifert fibered spaces are exhibited, each member of which contains an essential torus not detected by ideal points of the variety of $\text{SL}_2(\mathbb{F})$-characters…
We find conditions under which the restriction of a divergence-free vector field $B$ to an invariant toroidal surface $S$ is linearisable. The main results are similar in conclusion to Arnold's Structure Theorems but require weaker…
It is well-known that a function on an open set in $\mathbb R^d$ is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance, a real…
We present a construction (and classification) of certain invariant 2-forms on the real symplectic group. They are used to define a symplectic form on the quotient by a maximal torus and to "lift" a symplectic structure from a symplectic…
A vector field s on a Riemannian manifold M is said to be harmonic if there exists a member of a 2-parameter family of generalised Cheeger-Gromoll metrics on TM with respect to which s is a harmonic section. If M is a simply-connected…
A basic problem in smooth dynamics is determining if a system can be distinguished from its inverse, i.e., whether a smooth diffeomorphism $T$ is isomorphic to $T^{-1}$. We show that this problem is sufficiently general that asking it for…