arXiv research

Study primitive cohomology in symplectic manifolds.

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…

Proves a vanishing property for symplectic manifold cohomology.

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 introduce new boundary conditions for differential forms on symplectic manifolds with boundary. These boundary conditions, dependent on the symplectic structure, allows us to write down elliptic boundary value problems for both second-order and fourth-order symplectic Laplacians and establish Hodge theories for the …

We analyze four-dimensional symplectic manifolds of type $X=S^1 \times M^3$ where $M^3$ is an open $3$-manifold admitting inequivalent fibrations leading to inequivalent symplectic structures on $X$. For the case where $M^3 \subset S^3$ is the complement of a $4$-component link constructed by McMullen-Taubes, we provid…

The primitive cohomology of Calabi-Yau intersections is described using a twisted de Rham complex.

We associate to each infinite primitive Lie pseudogroup a Hopf algebra of `transverse symmetries', by refining a procedure due to Connes and the first author in the case of the general pseudogroup. The affiliated Hopf algebra can be viewed as a `quantum group' counterpart of the infinite-dimensional primitive Lie algeb…

New spectral sequence for $\mathcal{K}$-manifolds, computing cohomology and harmonic forms.

Geometric techniques reveal new insights into Gromov-Witten invariants.

We develop an algebro-analytic framework for the systematic study of the continuous bounded cohomology of Lie groups in large degree. As an application, we examine the continuous bounded cohomology of PSL(2,R) with trivial real coefficients in all degrees greater than two. We prove a vanishing result for strongly reduc…

We refine the cyclic cohomological apparatus for computing the Hopf cyclic cohomology of the Hopf algebras associated to infinite primitive Cartan-Lie pseudogroups, and for the transfer of their characteristic classes to foliations. The main novel feature is the precise identification as a Hopf cyclic complex of the im…

Study on symplectic semi-characteristic using cohomology and vector fields.

Construct algorithms for Frobenius manifolds and residue pairings on Calabi-Yau varieties.

This is a survey on the construction of a canonical or "octonionic Kähler" 8-form, representing one of the generators of the cohomology of the four Cayley-Rosenfeld projective planes. The construction, in terms of the associated even Clifford structures, draws a parallel with that of the quaternion Kähler 4-form. We po…

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

New group found not satisfying quasi-isometric triviality property.

For any $n\geq 7$, $k\geq 3$, we give pairs of compact flat $n$-manifolds $M, M'$ with holonomy groups $\mathbb Z_2^k$, that are strongly isospectral, hence isospectral on $p$-forms for all values of $p$, having nonisomorphic cohomology rings. Moreover, if $n$ is even, $M$ is Kähler while $M'$ is not. Furthermore, with…

Introduces symplectic flatness for connections over symplectic manifolds.

O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as André-Oort conjecture. Among the many tools developed in an o-minimal setting are cohomology theories for abstract-definable continuous man…

By comparing Deligne complex and Aeppli-Bott-Chern complex, we construct a differential cohomology $\widehat{H}^*(X, *, *)$ that plays the role of Harvey-Lawson spark group $\widehat{H}^*(X, *)$, and a cohomology $H^*_{ABC}(X; \Z(*, *))$ that plays the role of Deligne cohomology $H^*_{\mathcal{D}}(X; \Z(*))$ for every …

In this article, we initiate a geometric measure theoretic approach to symplectic Hodge theory. In particular, we apply one of the central results in geometric measure theory, the Federer-Fleming deformation theorem, together with the cohomology theory of normal cur- rents on a differential manifold, to establish a fun…

We introduce a Lefschetz filtration for integer cohomology and explore its applications.

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

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.

Let $G$ be a connected affine algebraic group over $\mathbb{C}$, $G \to X$ be an open immersion of $G$-varieties, $Z = X-G$ and $i: Z \to X$ be the inclusion. Let $α\in H^*(G,\mathbb{C})$ be primitive. We give a method to compute the image of $α$ in $H^*(Z, i^!\mathbb{C}_X)$, using a lift of $α$ along the first edge ma…

Note on connectedness of primitive disk complex.

The paper explores non-Kähler SYZ mirrors for solvmanifolds, proving cohomological properties and constructing new mirror pairs.

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

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.

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 paper improves collapsing Alexandrov spaces results using good coverings.

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…

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…

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 …

In this paper, we give a complete criterion for a discrete faithful representation $ρ:F_n \ra \pslc$ to be primitive stable. This will answer Minsky's conjectures about geometric conditions on $\H^3/ρ(F_n)$ regarding the primitive stability of $ρ$.

We call a pair (K, m) of a knot K in the 3-sphere S^3 and an integer m a Seifert fibered surgery if m-surgery on K yields a Seifert fiber space. For most known Seifert fibered surgeries (K, m), K can be embedded in a genus 2 Heegaard surface of S^3 in a primitive/Seifert position, the concept introduced by Dean as a na…

We give a formula for Alexander polynomials of doubly primitive knots.

Considering the driving habits which are learned from the naturalistic driving data in the path-tracking system can significantly improve the acceptance of intelligent vehicles. Therefore, the goal of this paper is to generate the prediction results of lateral commands with confidence regions according to the reference…

Two Riemannian manifolds are called eigenvalue equivalent when their sets of eigenvalues of the Laplace-Beltrami operator are equal (ignoring multiplicities). They are (primitive) length equivalent when the sets of lengths of their (primitive) closed geodesics are equal. We give a general construction of eigenvalue equ…

Reinforcement learning agents that operate in diverse and complex environments can benefit from the structured decomposition of their behavior. Often, this is addressed in the context of hierarchical reinforcement learning, where the aim is to decompose a policy into lower-level primitives or options, and a higher-leve…

We show that closed 3-manifolds with high Heegaard distance and bounded subsurface Heegaard distance are primitive stable when they are regarded as representations from the free group corresponding to the handlebody. This implies that any point on the boundary of Schottky space can be approximated by primitive stable r…

In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsific…