arXiv research

Non-isomorphic groups with similar profinite completions found.

We give the classification of solvable and splitting Lie triple system and it turn that, up to isomorphism there exist 7 non isomorphic canonical Lie triple systems and 6 non isomorphic splitting canonical Lie triple systems and find the solvable Lie algebras associated.

We construct examples of knots that have isomorphic nth-order Alexander modules, but non-isomorphic nth-order linking forms, showing that the linking forms provide more information than the modules alone. This generalizes work of Trotter, who found examples of knots that have isomorphic classical Alexander modules, but…

An uncountable collection of arcs in S^3 is constructed, each member of which is wild precisely at its endpoints, such that the fundamental groups of their complements are non-trivial, pairwise non-isomorphic, and indecomposable with respect to free products. The fundamental group of the complement of a certain Fox-Art…

New knot quandles distinguish ribbon knots with isomorphic groups.

A triangulation of a punctured or pinched surface is irreducible if no edge can be shrunk without producing multiple edges or changing the topological type of the surface. The finiteness of the set of (non-isomorphic) irreducible triangulations of any punctured surface is established. Complete lists of irreducible tria…

Paper constructs infinitely many tangent functors on diffeological spaces.

In this paper, it is shown that non-isomorphic effective linear circle actions yield non-diffeomorphic differential structures on the corresponding orbit spaces.

PathNNs improve graph neural networks by distinguishing non-isomorphic graphs.

A holomorphic Engel structure determines a flag of distributions $\mathcal{W}\subset \mathcal{D}\subset \mathcal{E}$. We construct examples of Engel structures on $\mathbf{C}^4$ such that each of these distributions is hyperbolic in the sense that it has no tangent copies of $\mathbf{C}$. We also construct two infinite…

Graphs indistinguishable by GNNs are fully characterized.

We compute symmetry algebras of a system of two equations y^(k)=z^(l)=0, where 2<=k<l. It appears that there are many ways to convert such system of ODEs to an exterior differential system. They lead to different series of finite-dimensional symmetry algebras. For example, for (k,l)=(2,3) we get two non-isomorphic symm…

We construct several infinite families of nonnegatively curved manifolds of low cohomogeneity and small dimension which can be distinguished by their cohomology rings. In particular, we exhibit an infinite family of eight-dimensional cohomogeneity one manifolds of nonnegative curvature with pairwise non-isomorphic comp…

Using contact surgery we define families of contact structures on certain Seifert fibered three-manifolds. We prove that all these contact structures are tight using contact Ozsath-Szabo invariants. We use these examples to show that, given a natural number n, there exists a Seifert fibered three-manifold carrying at l…

A triangulation of a surface with fixed topological type is called irreducible if no edge can be contracted to a vertex while remaining in the category of simplicial complexes and preserving the topology of the surface. A complete list of combinatorial structures of irreducible triangulations is made by hand for the on…

We construct uncountably many discrete groups of type $FP$; in particular we construct groups of type $FP$ that do not embed in any finitely presented group. We compute the ordinary, $\ell^2$- and compactly-supported cohomology of these groups. For each $n\geq 4$ we construct a closed aspherical $n$-manifold that admit…

We prove the existence of a one-parameter family of nearly parallel $G_2$-structures on the manifold $S^3\times \mathbb R^4$, which are mutually non isomorphic and invariant under the cohomogeneity one action of the group $SU(2)^3$. This family connects the two locally homogeneous nearly parallel $G_2$-structures which…

We prove that every homomorphism from the fundamental group of a planar Peano continuum to the fundamental group of a planar or one-dimensional Peano continuum is induced by a continuous map up to conjugation. This is then used to provide a family of uncountable many planar Peano continua with pairwise non-isomorphic f…

We show that the presence of a plastikstufe induces a certain degree of flexibility in contact manifolds of dimension 2n+1>3. More precisely, we prove that every Legendrian knot whose complement contains a "nice" plastikstufe can be destabilized (and, as a consequence, is loose). As an application, it follows in certai…

We examine the local geometry of affine surfaces which are locally symmetric. There are 6 non-isomorphic local geometries. We realize these examples as Type A, Type B, and Type C geometries using a result of Opozda and classify the relevant geometries up to linear isomorphism. We examine the geodesic structures in this…

The study explores cohomological invariants and decomposes them into irreducible parts, focusing on zigzags.

In any connected non-compact semi-simple Lie group without factors locally isomorphic to SL_2(R), there can be only finitely many lattices (up to isomorphism) of a given covolume. We show that there exist arbitrarily large families of pairwise non-isomorphic arithmetic lattices of the same covolume. We construct these …

Thanks to a result of Lisca and Matic and a refinement by Plamenevskaya, it is known that on a 4-manifold with boundary Stein structures with non-isomorphic Spinc structures induce contact structures with distinct Ozsvath-Szabo invariants. Here we give an infinite family of examples showing that converse of Lisca-Matic…

The study constructs families of nilpotent Lie groups with geodesic orbit metrics.

We find a one-parameter family of non-isomorphic nilpotent Lie algebras $\mathfrak{g}_a$, with $a \in [0,\infty)$, of real dimension eight with (strongly non-nilpotent) complex structures. By restricting $a$ to take rational values, we arrive at the existence of infinitely many real homotopy types of $8$-dimensional ni…

Paper finds Hempel pairs distinguishable by Turaev-Viro invariants.

We generalize the very well known boundary operator of the ordinary singular homology theory, defined in many books about algebraic topology. We describe a variant of this ordinary simplicial boundary operator where the usual boundary (n-1)-simplices of each n-simplex are replaced by combinations of internal (n-1)- sim…

We give a generating set of the generalized Reidemeister moves for oriented singular links. We use it to introduce an algebraic structure arising from the study of oriented singular knots. We give some examples, including some non-isomorphic families of such structures over non-abelian groups. We show that the set of c…

New proof shows knot quandles of ribbon knots are distinct.

Following the general strategy proposed by G.Rybnikov, we present a proof of his well-known result, that is, the existence of two arrangements of lines having the same combinatorial type, but non-isomorphic fundamental groups. To do so, the Alexander Invariant and certain invariants of combinatorial line arrangements a…

The problem of classifying Einstein solvmanifolds, or equivalently, Ricci soliton nilmanifolds, is known to be equivalent to a question on the variety of n-dimensional complex nilpotent Lie algebra laws. Namely, one has to determine which GL(n)-orbits in this variety have a critical point of the squared norm of the mom…

Globally irreducible nodes (i.e. nodes whose branches belong to the same irreducible component) have mild effects on the most common topological invariants of an algebraic curve. In other words, adding a globally irreducible node (simple nodal degeneration) to a curve should not change them a lot. In this paper we stud…

We study triangulations $\cal T$ defined on a closed disc $X$ satisfying the following condition: In the interior of $X$, the valence of all vertices of $\cal T$ except one of them (the irregular vertex) is $6$. By using a flat singular Riemannian metric adapted to $\cal T$, we prove a uniqueness theorem when the valen…

Study shows connections between Jacobian torsors and Fermat curves.

We associate a two-step nilpotent Lie algebra to an arbitrary Schreier graph. We then use properties of the Schreier graph to determine necessary and sufficient conditions for this Lie algebra to extend to a three-step nilpotent Lie algebra. As an application, if we start with pairs of non-isomorphic Schreier graphs co…

New findings show fundamental group is not audible in spherical space forms.

New link homologies categorify Jones polynomial at odd prime powers.

Study models of Gödel Universe using Lie groups and Iwasawa decomposition.

The paper characterizes isomorphic covers of surfaces and applies it to distinguish representations.

Non-classical virtual knots may have non-isomorphic upper and lower quandles. We exploit this property to define the quandle difference invariant, which can detect non-classicality by comparing the numbers of homomorphisms into a finite quandle from a virtual knot's upper and lower quandles. The invariants for small-or…

Enhanced GNN with expanded attention window and partially random embeddings.

Study of generalized vector bundles and their geometric tools.

In the present paper, we show that many combinatorial and topological objects, such as maps, hypermaps, three-dimensional pavings, constellations and branched coverings of the two--sphere admit any given finite automorphism group. This enhances the already known results by Frucht, Cori -- Machì, Širáň -- Škoviera, and …

We prove that the Ricci flow g(t) starting at any metric on the euclidean space that is invariant by a transitive nilpotent Lie group N, can be obtained by solving an ODE for a curve of nilpotent Lie brackets. By using that this ODE is the negative gradient flow of a homogeneous polynomial, we obtain that g(t) is type-…

The only known examples of noncompact Einstein homogeneous spaces are standard solvmanifolds (special solvable Lie groups endowed with a left invariant metric), and according to a long standing conjecture, they might be all. The classification of Einstein solvmanifolds is equivalent to the one of Einstein nilradicals, …

In a previous work, the third named author found a combinatorics of line arrangements whose realizations live in the cyclotomic group of the fifth roots of unity and such that their non-complex-conjugate embedding are not topologically equivalent in the sense that they are not embedded in the same way in the complex pr…

Algorithm distinguishes Fuchsian groups with finite quotients.

A new aggregation strategy improves GNN performance and learning dynamics.