arXiv research

Classifies geodesic-preserving bijections in Thurston geometries.

I prove the two-dimensional pseudo-Riemannian version of the projective Obata conjecture stating that on a closed manifold different from the round sphere every projective (i.e., geodesic-preserving) vector field is Killing.

We give a complete list of normal forms for the 2-dimensional metrics that admit a transitive Lie pseudogroup of geodesic-preserving transformations and we show that these normal forms are mutually non-isometric. This solves a problem posed by Sophus Lie.

Paper extends tree bijection for hyperbolic surfaces without requiring cusps.

We prove that there exists a geometric bijection between the sets of adjoint and coadjoint orbits of a semidirect product, provided a similar bijection holds for particular subgroups. We also show that under certain conditions the homotopy types of any two orbits in bijection with each other are the same. We apply our …

We show that normalising flows become pathological when used to model targets whose supports have complicated topologies. In this scenario, we prove that a flow must become arbitrarily numerically noninvertible in order to approximate the target closely. This result has implications for all flow-based models, and espec…

A bijection proves a polynomial volume for genus-0 hyperbolic surfaces with boundaries.

Proves Poincaré duality for Hopf algebroids with bijective antipode.

The sl_3 spider is a diagrammatic category used to study the representation theory of the quantum group U_q(sl_3). The morphisms in this category are generated by a basis of non-elliptic webs. Khovanov- Kuperberg observed that non-elliptic webs are indexed by semistandard Young tableaux. They establish this bijection v…

We identify causal models with unobserved confounding using bijective generation mechanisms.

Spray-invariant sets maintain geodesics on infinite-dimensional manifolds.

We show that any multiplicative bijection between the algebras of differentiable functions, defined on differentiable manifolds of positive dimension, is an algebra isomorphism, given by composition with a unique diffeomorphism.

Improved ANN-based Monte Carlo simulation for Higgs decay events.

Given a pair of number fields with isomorphic rings of adeles, we construct bijections between objects associated to the pair. For instance we construct an isomorphism of Brauer groups that commutes with restriction. We additionally construct bijections between central simple algebras, maximal orders, various Galois co…

Abstract: Bijection strengthened to Morita equivalence integrating Poisson and Cartan-Dirac structures.

The Hopf fibration has inspired any number of geometric structures in physical systems, in particular in chiral liquid crystalline materials. Because the Hopf fibration lives on the three sphere, $\mathbb{S}^3$, some method of projection or distortion must be employed to realize textures in flat space. Here, we explore…

Proves bijection between smooth conformal immersions and immersions.

The classical Fundamental Theorem of Affine Geometry states that for $n\geq 2$, any bijection of $n$-dimensional Euclidean space that maps lines to lines (as sets) is given by an affine map. We consider an analogous characterization of affine automorphisms for compact quotients, and establish it for tori: A bijection o…

For all $k\in]0,1[$, we construct a canonical bijection between the space of ramified coverings of the sphere and the space of complete immersed surfaces in $3$-dimensional hyperbolic space of finite area and of constant extrinsic curvature equal to $k$. We show, furthermore, that this bijection restricts to a homeomor…

Let $X$ be a topological space and $f:X\to X$ a bijection. Let ${\mathcal C}(X,f)$ be a set of integers such that an integer $n$ is an element of ${\mathcal C}(X,f)$ if and only if the bijection $f^n:X\to X$ is continuous. A subset $S$ of the set of integers ${\mathbb Z}$ is said to be realizable if there is a topologi…

We introduce an equivalence relation, called stable equivalence, on knot diagrams and closed curves on surfaces. We give bijections between the set of abstract knots, the set of virtual knots, and the set of the stable equivalence classes of knot diagrams on surfaces. Using these bijections, we define concordance and l…

Normalising flows (NFS) map two density functions via a differentiable bijection whose Jacobian determinant can be computed efficiently. Recently, as an alternative to hand-crafted bijections, Huang et al. (2018) proposed neural autoregressive flow (NAF) which is a universal approximator for density functions. Their fl…

We classify the torsion pairs in a tube category and show that they are in bijection with maximal rigid objects in the extension of the tube category containing the Pruefer and adic modules. We show that the annulus geometric model for the tube category can be extended to the larger category and interpret torsion pairs…

We prove that isomorphism classes of principal bundles over a diffeological space are in bijection to certain maps on its free loop space, both in a setup with and without connections on the bundles. The maps on the loop space are smooth and satisfy a "fusion" property with respect to triples of paths. Our bijections a…

The projective curvature tensor $P$ is invariant under a geodesic preserving transformation on a semi-Riemannian manifold. It is well known that $P$ is not a generalized curvature tensor and hence it possesses different geometric properties than other generalized curvature tensors. The main object of the present paper …

Novel mathematical approach using resurgent analysis reveals new structures in complex Chern-Simons theory.

Method flattens complex surfaces with consistent density and shape.

We prove a Lipschitz-Volume rigidity theorem in Alexandrov geometry, that is, if a 1-Lipschitz map $f\colon X=\amalg X_\ell\to Y$ between Alexandrov spaces preserves volume, then it is a path isometry and an isometry when restricted to the interior of $X$. We furthermore characterize the metric structure on $Y$ with re…

New framework improves model reliability under distribution shifts.

Virtual braids are a combinatorial generalization of braids. We present abstract braids as equivalence classes of braid diagrams on a surface, joining two distinguished boundary components. They are identified up to isotopy, compatibility, stability and Reidemeister moves. We show that virtual braids are in a bijective…

A bijection preserving horocycles/hypercycles is an isometry in hyperbolic plane.

Study on opers over complex manifolds of dimension one.

We construct a conformally invariant vector bundle connection such that its equation of parallel transport is a first order system that gives a prolongation of the conformal Killing equation on differential forms. Parallel sections of this connection are related bijectively to solutions of the conformal Killing equatio…

Study on K3 surfaces' collapsing and special Kähler structures.

The paper calculates graph Ricci curvature and finds properties of specific graph types.

New proof for knot state-sum formula using bijection between states.

Characterizes smiles in delta satisfying specific conditions.

We introduce an asymmetric distance function, which we call the `left Hausdorff distance function', on the space of geodesic laminations on a closed hyperbolic surface of genus at least 2. This distance is an asymmetric version of the Hausdorff distance between compact subsets of a metric space. We prove a rigidity res…

Define web algebras for annular SL(2) and SL(3) using foam TQFTs.

For a Lie-Rinehart algebra (A,L), generators for the Gerstenhaber algebra Λ_A L correspond bijectively to right (A,L)-connections on A in such a way that B-V structures correspond to right (A,L)-module structures on A. When L is projective as an A-module, given an exact generator \partial, the homology of the B-V algeb…

A handlebody-link is a disjoint union of embeddings of handlebodies in $S^3$ and an HL-homotopy is an equivalence relation on handlebody-links generated by self-crossing changes. The second author and Ryo Nikkuni classified the set of HL-homotopy classes of 2-component handlebody-links completely using the linking numb…

Separating high-dimensional data like images into independent latent factors, i.e independent component analysis (ICA), remains an open research problem. As we show, existing probabilistic deep generative models (DGMs), which are tailor-made for image data, underperform on non-linear ICA tasks. To address this, we prop…

The first purpose of this note is to comment on a recent article of Bursztyn, Lima and Meinrenken, in which it is proved that if M is a smooth submanifold of a manifold V, then there is a bijection between germs of tubular neighborhoods of M and germs of "Euler-like" vector fields on V. We shall explain how to approach…

We study natural bases for two constructions of the irreducible representation of the symmetric group corresponding to $[n,n,n]$: the {\em reduced web} basis associated to Kuperberg's combinatorial description of the spider category; and the {\em left cell basis} for the left cell construction of Kazhdan and Lusztig. I…

We generalize geometric prequantization of symplectic manifolds to differentiable stacks. Our approach is atlas-independent and provides a bijection between isomorphism classes of principal circle bundles (with or without connections) and second cohomology groups of certain chain complexes.

We consider the family of harmonic measures on a lamination $\mathcal{L}$ of a compact space $X$ by locally symmetric spaces $L$ of noncompact type, i.e. $L\simeq Γ_L\backslash G/K$. We establish a natural bijection between these measures and the measures on an associated lamination foliated by $G$-orbits, $\hat{\mathc…

Interprets SL3-web intersections on surfaces.

By the SYZ construction, a mirror pair $(X,\check{X})$ of a complex torus $X$ and a mirror partner $\check{X}$ of the complex torus $X$ is described as the special Lagrangian torus fibrations $X \rightarrow B$ and $\check{X} \rightarrow B$ on the same base space $B$. Then, by the SYZ transform, we can construct a simpl…