arXiv research

Closed oriented 4-manifolds with the same geometrically 2-dimensional fundamental group (satisfying certain properties) are classified up to $s$-cobordism by their $w_2$-type, equivariant intersection form and the Kirby-Siebenmann invariant. As an application, we obtain a complete homeomorphism classification of closed…

The paper examines scalar fourth-order linear differential operators and their invariants.

We introduce and define "oriented framed measured lamination links" in a 3-manifold $M$. These generalize oriented framed links in 3-manifolds, and are confined to 2-dimensional improperly embedded subsurfaces of the 3-manifold. Just as some framed links bound Seifert surfaces, so also some framed lamination links boun…

Classifies 2D TQFTs for orientable cobordisms using additional data.

Based on projective representations of smooth Deligne cohomology groups, we introduce an analogue of the space of conformal blocks to compact oriented (4k+2)-dimensional Riemannian manifolds with boundary. For the standard (4k+2)-dimensional disk, we compute the space concretely to prove that its dimension is finite.

As an application of the Bochner formula, we prove that if a $2$-dimensional Riemannian manifold admits a non-trivial smooth tangent vector field $X$ then its Gauss curvature is the divergence of a tangent vector field, constructed from $X$, defined on the open subset out the zeroes of $X$. Thanks to the Whitney embedd…

The paper classifies Morse functions on 3-manifolds with specific level sets.

We establish a mod 2 index theorem for real vector bundles over 8k+2 dimensional compact pin$^-$ manifolds. The analytic index is the reduced $η$ invariant of (twisted) Dirac operators and the topological index is defined through $KO$-theory. Our main result extends the mod 2 index theorem of Atiyan and Singer to non-o…

A positive Dehn twist product for a $\mathbb{Z}_3$ action with $g+2$ fixed points on the 2-dimensional closed, compact, oriented surface $Σ_g$ is presented. The homeomorphism invariants of the resulting symplectic 4-manifolds are computed.

We present a cocycle model for elliptic cohomology with complex coefficients in which methods from 2-dimensional quantum field theory can be used to rigorously construct cocycles. For example, quantizing a theory of vector bundle-valued fermions yields a cocycle representative of the elliptic Thom class. This construct…

Sum formula for relative Seiberg-Witten invariants in 4-manifolds.

A 2-dimensional braid over an oriented surface-knot $F$ is presented by a graph called a chart on a surface diagram of $F$. We consider 2-dimensional braids obtained by an addition of 1-handles equipped with chart loops. We introduce moves of 1-handles with chart loops, called 1-handle moves, and we investigate how muc…

For an oriented surface link $S$, we can take a satellite construction called a 2-dimensional braid over $S$, which is a surface link in the form of a covering over $S$. We demonstrate that 2-dimensional braids over surface links are useful for showing the distinctness of surface links. We investigate non-trivial examp…

Study of knots and links in 2-complexes, defining linking numbers and polynomials.

Positive Dehn twist products for some elements of finite order in the mapping class group of a 2-dimensional closed, compact, oriented surface $Σ_g$, which are rotations of $Σ_g$ through $2π/p$, are presented. The homeomorphism invariants of the resulting simply connected symplectic 4- manifolds are computed.

We consider the reduction along two compact directions of a twisted N=4 gauge theory on a 4-dimensional orientable manifold which is not a global product of two surfaces but contains a non-orientable surface. The low energy theory is a sigma-model on a 2-dimensional worldsheet with a boundary which lives on branes cons…

We study a class of Poisson tensors on a fibered manifold which are compatible with the fiber bundle structure by the so-called almost coupling condition. In the case of a $5$-dimensional orientable fibered manifolds with $2$-dimensional bases, we describe a global behavior of almost coupling Poisson tensors and their …

New combinatorial structures represent subgroups of surface groups, analogous to Stallings core graphs.

Study introduces fractional mass concept for surfaces, proving its convergence.

Study shows $S^1$ algebraic structure in 2-dimensional CW-complex cobordisms.

Consider two families of closed oriented curves in a d-manifold. At each point of intersecction of a curve of one family with a curve of the other family, form a new closed curve by going around the first curve and then going around the second. Typically, an i-dimensional family and a j-dimensional family will produce …

In this paper, we investigate the holonomy structure of the most accessible and demonstrative 2-dimensional Finsler surfaces, the Randers surfaces. Randers metrics can be considered as the solutions of the Zermelo navigation problem. We give the classification of the holonomy groups of locally projectively flat Randers…

Let $M$ be a simply connected spin manifold of dimension at least six which admits a metric of positive scalar curvature. We show that the observer moduli space of positive scalar curvature metrics on $M$ has non-trivial higher homotopy groups. Moreover, denote by $\mathcal{M}_0^+(M)$ the moduli space of positive scala…

In this paper we present a novel model of the primary visual cortex (V1) based on orientation, frequency and phase selective behavior of the V1 simple cells. We start from the first level mechanisms of visual perception: receptive profiles. The model interprets V1 as a fiber bundle over the 2-dimensional retinal plane …

Suppose that $M$ is a $2$-dimensional oriented Riemannian manifold, and let $γ$ be a simple closed curve on $M$. Let $m γ$ denote the curve formed by tracing $γ$ $m$ times. We prove that if $m γ$ is contractible through curves of length less than $L$, then $γ$ is contractible through curves of length less than $L$. In …

We show that any smooth, closed, oriented, connected 4--manifold can be trisected into three copies of $\natural^k (S^1 \times B^3)$, intersecting pairwise in 3--dimensional handlebodies, with triple intersection a closed 2--dimensional surface. Such a trisection is unique up to a natural stabilization operation. This …

The paper characterizes graph manifolds using fold maps and embeddability of polyhedra.

We characterize the kernel of the mixed ray transform on simple $2$-dimensional Riemannian manifolds, that is, on simple surfaces for tensors of any order.

For an oriented surface link $F$ in $\mathbb{R}^4$, we consider a satellite construction of a surface link, called a 2-dimensional braid over $F$, which is in the form of a covering over $F$. We introduce the notion of an $m$-chart on a surface diagram $π(F)\subset \mathbb{R}^3$ of $F$, which is a finite graph on $π(F)…

This article shows that given any orientable 3-manifold X, the 7-manifold T^*X x R admits a closed G_2-structure varphi=Re(Omega)+omega\wedge dt where Omega is a certain complex-valued 3-form on T^*X; next, given any 2-dimensional submanifold S of X, the conormal bundle N^*S of S is a 3-dimensional submanifold of T^*X …

We construct a branched center manifold in a neighborhood of a singular point of a $2$-dimensional integral current which is almost minimizing in a suitable sense. Our construction is the first half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional curren…

We present a novel formulation of the instanton equations in 8-dimensional Yang-Mills theory. This formulation reveals these equations as the last member of a series of gauge-theoretical equations associated with the real division algebras, including flatness in dimension 2 and (anti-)self-duality in 4. Using this form…

Many 2D Artin groups are residually finite.

We construct a cohomology theory for oriented links using singular cobordisms and a special type of 2-dimensional Topological Quantum Field Theory (TQFT), categorifying the quantum sl(2) invariant. In particular, we give a description of the universal dot-free sl(2) foam cohomology for links via a TQFT.

We construct a weak 2-functor from the bicategory of oriented tangles to a bicategory of Lagrangian cospans. This functor simultaneously extends the Burau representation of the braid groups, its generalization to tangles due to Turaev and the first-named author, and the Alexander module of 1 and 2-dimensional links.

We show that on any compact Riemann surface with variable negative curvature there exists a measure which is invariant and ergodic under the geodesic flow and whose projection to the base manifold is 2-dimensional and singular with respect to the 2-dimensional Lebesgue measure.

Nonpositive towers property in 3-manifolds spines.

We study the existence problem and the enumeration problem for sections of Serre fibrations over compact orientable surfaces. When the fundamental group of the fiber is finite, a complete solution is given in terms of 2-dimensional cohomology classes associated with certain irreducible representations of this group. Th…

Study the exponential map on surfaces using fluid dynamics.

In this paper we define, for each aspherical orientable 3-manifold $M$ endowed with a \emph{torus splitting} $Ţ$, a 2-dimensional fundamental $l_1$-class $[M]^{Ţ}$ whose $l_1$-norm has similar properties as the Gromov simplicial volume of $M$ (additivity under torus splittings and isometry under finite covering maps). …

Constructs algorithms to recognize and classify 2D surfaces.

We classify symplectic actions of 2-tori on compact, connected symplectic 4-manifolds, up to equivariant symplectomorphisms. This extends results of Atiyah, Guillemin-Sternberg, Delzant and Benoist. The classification is in terms of a collection of invariants, which are invariants of the topology of the manifold, of th…

We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-di…

No minimal charts with exactly seven white vertices found.

Corrects earlier work on surface orbifold pure braid groups.

Constructs dg categories from surfaces using Khovanov homology.

We consider a union of two pants decompositions of the same orientable 2-dimensional surface of any genus g. Each pants decomposition corresponds to some handlebody bounded by this surface, so two pants decompositions correspond to a Heegaard splitting of a 3-manifold. We introduce a groupoid FT acting on double pants …

It is well-known by the work of Hsiang and Kleiner that every closed oriented positively curved 4-dimensional manifold with an effective isometric S^1-action is homeomorphic to S^4 or CP^2. As stated, it is a topological classification. The primary goal of this paper is to show that it is indeed a diffeomorphism classi…