arXiv research

Non-isomorphic groups with similar profinite completions found.

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.

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 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…

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

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 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…

New proof shows knot quandles of ribbon knots are distinct.

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…

Paper finds Hempel pairs distinguishable by Turaev-Viro invariants.

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

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

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…

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 …

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 …

Algorithm distinguishes Fuchsian groups with finite quotients.

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…

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…

Paper constructs infinitely many tangent functors on diffeological spaces.

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…

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 study explores rigidity in groups and their products, finding uncountable families of non-isomorphic subgroups.

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

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-…

Given a knot K we may construct a group G_n(K) from the fundamental group of K by adjoining an nth root of the meridian that commutes with the corresponding longitude. These "generalised knot groups" were introduced independently by Wada and Kelly, and contain the fundamental group as a subgroup. The square knot SK and…

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

Let G be a (real or complex) linear reductive algebraic group acting on an affine variety V. Let W be a subvariety. In this work we study how the G-orbits intersect W. We develop a criterion to determine when the intersection can be described as a finite union of orbits of a reductive subgroup. The conditions of the cr…

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…

A result from Gromov ensures the existence of a contact structure on any connected non-compact odd dimensional Lie group. But in general such structures are not invariant under left translations of the Lie group. The problem of finding which Lie groups admit a left invariant contact structure (contact Lie groups), is t…

Study of generalized vector bundles and their geometric tools.

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…

The paper extends ternary algebra concepts using cube roots of unity.

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, …

Let $\C(Γ)$ be the set of isomorphism classes of the finite groups that are homomorphic images of $Γ$. We investigate the extent to which $\C(Γ)$ determines $Γ$ when $Γ$ is a group of geometric interest. If $Γ_1$ is a lattice in ${\rm{PSL}}(2,\R)$ and $Γ_2$ is a lattice in any connected Lie group, then $\C(Γ_1) = \C(Γ_…

We exhibit new examples of double Kodaira fibrations by using finite Galois covers of a product $Σ_b \times Σ_b$, where $Σ_b$ is a smooth projective curve of genus $b \geq 2$. Each cover is obtained by providing an explicit group epimorphism from the pure braid group $\mathsf{P}_2(Σ_b)$ to some finite Heisenberg group.…

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…

In this paper we construct arbitrarily large families of smooth projective varieties and closed Riemannian manifolds that share many algebraic and analytic invariants. For instance, every non-arithmetic, closed hyperbolic $3$--manifold admits arbitrarily large collections of non-isometric finite covers which are strong…

Paper finds infinite pairs of fiber-type curves with same topology but different embeddings.

Study on Milnor fibrations of arrangements with trivial algebraic monodromy.

The paper establishes analogs of Stallings' theorem for group homomorphisms and their nilpotent quotients.

We introduce the notion of a relative spherical category. We prove that such a category gives rise to the generalized Kashaev and Turaev-Viro-type 3-manifold invariants defined in arXiv:1008.3103 and arXiv:0910.1624, respectively. In this case we show that these invariants are equal and extend to what we call a relativ…

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.