arXiv research

For random elements in free groups, we find a rank and set of subgroups.

We observe that a sharp result on the exponential growth rate of the number of primitive elements exists for the free group on two generators.

Decides if elements in free groups are primitive in polynomial time.

Study of Bowditch representations in hyperbolic spaces with implications for dynamics and recognition.

It is proven here that if the connected sum of two tunnel number one knots in the 3-sphere is a tunnel number two knot, then at least one of the summand knots has a genus two Heegaard splitting with a meridian as a primitive element. Hence this is a necessary and sufficient condition for tunnel number one knots to have…

Two trees in the boundary of outer space are said to be \emph{primitive-equivalent} whenever their translation length functions are equal in restriction to the set of primitive elements of $F_N$. We give an explicit description of this equivalence relation, showing in particular that it is nontrivial. This question is …

We introduce new finite-dimensional cohomologies on symplectic manifolds. Each exhibits Lefschetz decomposition and contains a unique harmonic representative within each class. Associated with each cohomology is a primitive cohomology defined purely on the space of primitive forms. We identify the dual currents of lagr…

We prove the equivalence of two conditions on the primitive elements in an $SL(2,\mathbb C)$ representation of the free group $F_2$ on two generators, which may hold even when the image of $F_2$ is not discrete. One is Minsky's condition of primitive stability and the other is the $BQ$-condition introduced by Bowditch …

Let $F= < a,b>$ be a rank two free group. A word $W(a,b)$ in $F$ is {\sl primitive} if it, along with another group element, generates the group. It is a {\sl palindrome} (with respect to $a$ and $b$) if it reads the same forwards and backwards. It is known that in a rank two free group any primitive element is conjuga…

Simplified proof of equivalence between stability and Bowditch conditions.

Consider a finite, regular cover $Y\to X$ of finite graphs, with associated deck group $G$. We relate the topology of the cover to the structure of $H_1(Y;\mathbb{C})$ as a $G$-representation. A central object in this study is the {\em primitive homology} group $H_1^{\mathrm{prim}}(Y;\mathbb{C})\subseteq H_1(Y;\mathbb{…

We consider non-elementary representations of two generator free groups in $PSL(2,\mathbb{C})$, not necessarily discrete or free, $G = < A, B >$. A word in $A$ and $B$, $W(A,B)$, is a palindrome if it reads the same forwards and backwards. A word in a free group is {\sl primitive} if it is part of a minimal generating …

We give a unified geometric approach to some theorems about primitive elements and palindromes in free groups of rank 2. The geometric treatment gives new proofs of the theorems. Dedicated to Bill Harvey on his 65th birthday.

The paper finds new graph covers with exceptionally low degree.

The study calculates the growth rate of reciprocal hyperbolic elements in Hecke groups.

We study the kernel of the evaluated Burau representation through the braid element $σ_i σ_{i+1} σ_i$. The element is significant as a part of the standard braid relation. We establish the form of this element's image raised to the $n^{th}$ power. Interestingly, the cyclotomic polynomials arise and can be used to defin…

The study explores polarized deformations of SKT Calabi-Yau manifolds using Aeppli classes.

We prove a freeness theorem for low-rank subgroups of one-relator groups. Let $F$ be a free group, and let $w\in F$ be a non-primitive element. The primitivity rank of $w$, $π(w)$, is the smallest rank of a subgroup of $F$ containing $w$ as an imprimitive element. Then any subgroup of the one-relator group $G=F/\langle…

The objective of this work is to augment the basic abilities of a robot by learning to use new sensorimotor primitives to enable the solution of complex long-horizon problems. Solving long-horizon problems in complex domains requires flexible generative planning that can combine primitive abilities in novel combination…

In this paper, we derive an asymptotic formula for the number of conjugacy classes of elements in a class of statistically convex-cocompact actions with contracting elements. Denote by $\mathcal C(o, n)$ (resp. $\mathcal C'(o, n)$) the set of (resp. primitive) conjugacy classes of pointed length at most $n$ for a basep…

Let $F_n$ be the free group on $n$ generators and $Γ_g$ the surface group of genus $g$. We consider two particular generating sets: the set of all primitive elements in $F_n$ and the set of all simple loops in $Γ_g$. We give a complete characterization of distorted and undistorted elements in the corresponding $Aut$-in…

The paper shows how to uniquely determine a connection up to gauge.

In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O of Riemann surfaces whose Jacobians have real multiplication by the order O in a totally real number field F of degree g. If g = 2 or 3, we compute the closure of RM_O in the Deligne-Mumford compactification of M_g and the closure of the locus…

Formula for $\mathfrak{sl}_2$ weight system on complete bipartite graphs.

The paper explores subrepresentations in graph homology.

Just as the Temperley-Lieb algebra is a good place to compute the Jones polynomial, the Kauffman bracket skein algebra of a disk with $2k$ colored points on the boundary, each with color $n$, is a good place to compute the $n^{th}$ colored Jones polynomial. Here, this colored skein algebra is shown to be a cellular alg…

In this article we relate two different densities. Let $F_k$ be the free group of finite rank $k \ge 2$ and let $α$ be the abelianization map from $F_k$ onto $\mathbb{Z}^k$. We prove that if $S \subseteq \mathbb{Z}^k$ is invariant under the natural action of $SL(k, \mathbb{Z})$ then the asymptotic density of $S$ in $\…

Berge introduced knots that are primitive/primitive with respect to the genus 2 Heegaard surface, $F$, in $S^3$; surgery on such knots at the surface slope yields a lens space. Later Dean described a similar class of knots that are primitive/Seifert with respect to $F$; surgery on these knots at the surface slope yield…

The twisted torus knots lie on the standard genus 2 Heegaard surface for $S^3$, as do the primitive/primitive and primitive/Seifert knots. It is known that primitive/primitive knots are fibered, and that not all primitive/Seifert knots are fibered. Since there is a wealth of primitive/Seifert knots that are twisted tor…

Primitive curves in handlebodies form a connected complex.

We show that the horoboundary of outer space for the Lipschitz metric is a quotient of Culler and Morgan's classical boundary, two trees being identified whenever their translation length functions are homothetic in restriction to the set of primitive elements of $F_N$. We identify the set of Busemann points with the s…

Note on connectedness of primitive disk complex.

Study primitive cohomology in symplectic manifolds.

No primitive Teichmüller curves found in Prym(2,2).

Study stabilizers of isotropic classes in rational 4-manifolds, finding diffeomorphisms that almost preserve Lefschetz fibrations.

A symplectic form has a primitive with nowhere vanishing $β$.

We show that lens space surgeries on knots in $S^3$ which arise from the primitive/Seifert type construction also arise from the primitive/primitive construction. This is the first step of a three step program to prove the Berge conjecture for tunnel number one knots.

New complex connects graph separability to group properties.

For a genus two Heegaard splitting of a lens space, the primitive disk complex is defined to be the full subcomplex of the disk complex for one of the handlebodies of the splitting spanned by all vertices of primitive disks. In this work, we describe the complete combinatorial structure of the primitive disk complex fo…

The Oeljeklaus-Toma (OT-) manifolds are compact, complex, non-Kahler manifolds constructed by Oeljeklaus and Toma, and generalizing the Inoue surfaces. Their construction uses the number-theoretic data: a number field $K$ and a torsion-free subgroup $U$ in the group of units of the ring of integers of $K$, with rank of…

We show that the exterior derivative operator on a symplectic manifold has a natural decomposition into two linear differential operators, analogous to the Dolbeault operators in complex geometry. These operators map primitive forms into primitive forms and therefore lead directly to the construction of primitive cohom…

Study primitive decompositions for harmonic forms on almost Kähler manifolds.

In this article, we prove that every arithmetic locally symmetric orbifold of classical type without Euclidean or compact factors has arbitrarily long arithmetic progressions in its primitive length spectrum. Moreover, we show the stronger property that every primitive length occurs in arbitrarily long arithmetic progr…

A twisted torus knot is a knot obtained from a torus knot by twisting adjacent strands by full twists. The twisted torus knots lie in $F$, the genus 2 Heegaard surface for $S^3$. Primitive/primitive and primitive/Seifert knots lie in $F$ in a particular way. Dean gives sufficient conditions for the parameters of the tw…

We introduce a new series $R_k$, $k=2,3,4,\dots$, of integer valued weight systems. The value of the weight system $R_k$ on a chord diagram is a signed number of cycles of even length $2k$ in the intersection graph of the diagram. We show that this value depends on the intersection graph only. We check that for small o…

Given a genus-$g$ Heegaard splitting of the $3$-sphere with $g \ge 3$, we show that the primitive disk complex for the splitting is not weakly closed under disk surgery operation. That is, there exist two primitive disks in one of the handlebodies of the splitting such that any disk surgery on one along the other one y…

Paper introduces REED for noncoherent OTA-FL, reducing latency without phase alignment.

Semantically understanding complex drivers' encountering behavior, wherein two or multiple vehicles are spatially close to each other, does potentially benefit autonomous car's decision-making design. This paper presents a framework of analyzing various encountering behaviors through decomposing driving encounter data …