arXiv research

Study virtual fundamental classes of derived manifolds, proving invariant vanishes.

Continues work on derived manifolds and symplectic schemes, constructing virtual classes.

New groups from virtual link stacks distinguish Kishino knots.

In general, a Kobayashi-Hitchin correspondence establishes an isomorphism between a moduli space of stable algebraic geometric objects and a moduli space of solutions of a certain (generalized) Hermite-Einstein equation. We believe that, for a large class of moduli problems, this correspondence respects the virtual fun…

We consider the question of which virtual knots have finite fundamental medial bikei. We describe and implement an algorithm for completing a presentation matrix of a medial bikei to an operation table, determining both the cardinality and isomorphism class of the fundamental medial bikei, each of which are link invari…

In this paper, we discuss filamentations on oriented chord diagrams. When a filamentation cannot be realized on an oriented chord diagram, then the corresponding flat virtual knot is non-trivial. If a flat knot diagram is non-trivial, then any virtual diagram whose shadow is the flat diagram must also be non-trivial. W…

Let $p$ be a prime. In this paper, we classify the geometric 3-manifolds whose fundamental groups are virtually residually $p$. Let $M=M^3$ be a virtually fibered 3-manifold. It is well-known that $G=π_1(M)$ is residually solvable and even residually finite solvable. We prove that $G$ is always virtually residually $p$…

Turaev conjectured that the classification, realization and splitting results for Poincaré duality complexes of dimension $3$ (PD$_{3}$-complexes) generalize to PD$_{n}$-complexes with $(n-2)$-connected universal cover for $n \ge 3$. Baues and Bleile showed that such complexes are classified, up to oriented homotopy eq…

Let $({\bf X},ω_{\bf X}^*)$ be a separated, $-2$-shifted symplectic derived $\mathbb C$-scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie arXiv:1111.3209, of complex virtual dimension ${\rm vdim}_{\mathbb C}{\bf X}=n\in\mathbb Z$, and $X_{\rm an}$ the underlying complex analytic topological space. We prove that …

We define Gromov--Witten invariants of exploded manifolds. The technical heart of this paper is a construction of a virtual fundamental class $[\mathcal K]$ of any Kuranishi category $\mathcal K$ (which is a simplified, more general version of an embedded Kuranishi structure.) We also show how to integrate differential…

We define virtual immersions, as a generalization of isometric immersions in a pseudo-Riemannian vector space. We show that virtual immersions possess a second fundamental form, which is in general not symmetric. We prove that a manifold admits a virtual immersion with skew symmetric second fundamental form, if and onl…

This paper connects virtual biquandles to biquandles for virtual link colorings.

This paper stems from the observation (arising from work of T. Delzant) that "most" Kähler groups virtually algebraically fiber, i.e. admit a finite index subgroup that maps onto $\Bbb{Z}$ with finitely generated kernel. For the remaining ones, the Albanese dimension of all finite index subgroups is at most one, i.e. t…

Let M be a graph manifold. We prove that fundamental groups of embedded incompressible surfaces in M are separable in the fundamental group of M, and that the double cosets for crossing surfaces are also separable. We deduce that if there is a "sufficient" collection of surfaces in M, then the fundamental group of M is…

We show that a closed, connected, oriented, Riemannian $n$-manifold, admitting a branched cover of bounded length distortion from $\mathbb R^n$, has a virtually Abelian fundamental group.

Proves hyperbolized groups are virtually compact special and linear.

Given a prime $p$, a group is called residually $p$ if the intersection of its $p$-power index normal subgroups is trivial. A group is called virtually residually $p$ if it has a finite index subgroup which is residually $p$. It is well-known that finitely generated linear groups over fields of characteristic zero are …

We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished in finite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.

The paper proves nonvanishing cohomology for ball quotient fundamental groups.

In this paper, we show that a nontrivial compact graph manifold is nonpositively curved if and only if its fundamental group virtually embeds into a right-angled Artin group. As a consequence, nonpositively curved graph manifolds have linear fundamental groups.

Finite stature proven for cube complexes with cyclonormal edges.

Two groups are virtually isomorphic if they can be obtained one from the other via a finite number of steps, where each step consists in taking a finite extension or a finite index subgroup (or viceversa). Virtually isomorphic groups are always quasi-isometric, and a group G is quasi-isometrically rigid if every group …

We prove that a circle bundle over a closed oriented aspherical manifold with hyperbolic fundamental group admits a self-map of absolute degree greater than one if and only if it is virtually trivial. This generalizes in every dimension the case of circle bundles over hyperbolic surfaces, for which the result was known…

For a virtual $n$-link $K$, we define a new virtual link $VD(K)$, which is invariant under virtual equivalence of $K$. The Dehn space of $VD(K)$, which we denote $DD(K)$, therefore has a homotopy type which is an invariant of $K$. We show that the quandle and even the fundamental group of this space are able to detect …

We prove that rationally essential manifolds with suitably large fundamental groups do not admit any maps of non-zero degree from products of closed manifolds of positive dimension. Particular examples include all manifolds of non-positive sectional curvature of rank one and all irreducible locally symmetric spaces of …

This paper studies an algebraic invariant of virtual knots called the biquandle. The biquandle generalizes the fundamental group and the quandle of virtual knots. The approach taken in this paper to the biquandle emphasizes understanding its structure in terms of compositions of morphisms, where elementary morphisms ar…

New proof for complex 3D shapes.

Characterizes holonomies of convex projective cusps.

We construct a virtual quandle for links in lens spaces $L(p,q)$, with $q=1$. This invariant has two valuable advantages over an ordinary fundamental quandle for links in lens spaces: the virtual quandle is an essential invariant and the presentation of the virtual quandle can be easily written from the band diagram of…

Defines kappa classes on KSBA spaces, generalizing classes on curves.

Virtual knot theory is a generalization (discovered by the author in 1996) of knot theory to the study of all oriented Gauss codes. (Classical knot theory is a study of planar Gauss codes.) Graph theory studies non-planar graphs via graphical diagrams with virtual crossings. Virtual knot theory studies non-planar Gauss…

Study on the topology of leaves in singular Riemannian foliations.

In 2007 Agol showed that if N is an aspherical compact 3-manifold with empty or toroidal boundary such that its fundamental group is virtually RFRS, then $N$ is virtually fibered. We give a largely self-contained proof of Agol's theorem using complexities of sutured manifolds.

The paper defines and analyzes configuration Lie groupoids and orbifold braid groups.

The writhe polynomial is a fundamental invariant of an oriented virtual knot. We introduce a kind of local moves for oriented virtual knots called shell moves. The first aim of this paper is to prove that two oriented virtual knots have the same writhe polynomial if and only if they are related by a finite sequence of …

Fukaya-Yamaguchi conjecture holds in 4D manifolds with nonnegative curvature.

We determine which amalgamated products of surface groups identified over multiples of simple closed curves are not fundamental groups of 3-manifolds. We prove each surface amalgam considered is virtually the fundamental group of a 3-manifold. We prove that each such surface group amalgam is abstractly commensurable to…

Let M be a compact oriented irreducible 3-manifold which is neither a graph manifold nor a hyperbolic manifold. We prove that the fundamental group of M is virtually special.

Let M be a complete hyperbolic 3-manifold of finite volume that admits a decomposition into right-angled ideal polyhedra. We show that M has a deformation retraction that is a virtually special square complex, in the sense of Haglund and Wise and deduce that such manifolds are virtually fibered. We generalise a theorem…

Open manifolds with nonnegative Ricci curvature and Euclidean volume growth have finitely generated fundamental groups.

We characterise the virtually abelian groups which are fundamental groups of compact Kähler manifolds and of smooth projective varieties. We show that a virtually abelian group is Kähler if and only if it is projective. In particular, this allows to describe the Kähler condition for such groups in terms of integral sym…

Joyce has shown that the fundamental quandle of a classical knot can be derived from consideration of the fundamental group and the peripheral structure of the knot, and also that the group and much of the peripheral structure can be recovered from the quandle. We generalize these results to arbitrary dimensions, and a…

New groups with special properties found.

Geodesic loops escape from balls at a sublinear rate imply virtually abelian fundamental group.

The $Ξ$-move is a local move generated by forbidden moves in virtual knot theory. This move was introduced by Taniguchi and the second author, who showed that it characterizes the odd writhe of virtual knots, which is a fundamental invariant defined by Kauffman. In this paper, we extend this result by classifying $2$-c…

Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of homotopy rings (D.Spivak), thus preserving the classical cobordism ring. This r…

We show that in the fundamental groups of closed manifolds without conjugate points centralizers of all elements virtually split.

Proves incoherence of free-by-free and surface-by-free groups, solving two problems.