arXiv research

The paper revisits Rokhlin's divisibility theorem and its significance.

Rokhlin's work simplified signature theorems for mathematicians.

The paper explores the twisted Rokhlin property in mapping class groups of surfaces.

Study classifies 2-manifolds with special homeomorphism groups.

We construct a functor from the smooth 4-dimensional manifolds to the hyper-algebraic number fields, i.e. fields with non-commutative multiplication. It is proved that that the simply connected 4-manifolds correspond to the abelian extensions. We recover the Rokhlin and Donaldson's Theorems from the Galois theory of th…

Quotients $Y=X/conj$ of complex surfaces by anti-holomorphic involutions $conj\: X\to X$ tend to be completely decomposable when they are simply connected, i.e., split into connected sums, $n CP^2\#m\barCP2$, if $w_2(Y)\ne0$, or into $n(S^2\times S^2)$ if $w_2(Y)=0$. If $X$ is a double branched covering over $CP^2$, th…

We analyze the martingale selection problem of Rokhlin (2006) in a pointwise (robust) setting. We derive conditions for solvability of this problem and show how it is related to the classical no-arbitrage deliberations. We obtain versions of the Fundamental Theorem of Asset Pricing in examples spanning frictionless mar…

We show that the bar version of the $\mathrm{Pin}(2)$-monopole Floer homology of a three-manifold $Y$ equipped with a self-conjugate spin$^c$ structure $\mathfrak{s}$ is determined by the triple cup product of $Y$ together with the Rokhlin invariants of the spin structures inducing $\mathfrak{s}$. This is a manifestati…

The purpose of the present paper is to prove existence of super-exponentially many compact orientable hyperbolic arithmetic $n$-manifolds that are geometric boundaries of compact orientable hyperbolic $(n+1)$-manifolds, for any $n \geq 2$, thereby establishing that these classes of manifolds have the same growth rate w…

It is a natural consequence of fundamental properties of the Casson invariant that the Rokhlin invariant of an amphichiral integral homology 3-sphere M vanishes. In this paper, we give a new direct proof of this vanishing property. For such an M, we construct a manifold pair (Y,Q) of dimensions 6 and 3 equipped with so…

We study the dependence of the eta invariant $η_D$ on the spin structure, where $D$ is a twisted Dirac operator on a (4k+3)-dimensional spin manifold. The difference between the eta invariants for two spin structures related by a cohomolgy class which is the reduction of a $H^1(M,\Za)$-class is shown to be a half integ…

We develop obstructions to a knot K in the 3-sphere bounding a smooth punctured Klein bottle in the 4-ball. The simplest of these is based on the linking form of the 2-fold branched cover of the 3-sphere branched over K. Stronger obstructions are based on the Ozsvath-Szabo correction term in Heegaard-Floer homology, al…

We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose mod 2 reduction is the Rokhlin invariant. As an application, we show that there…

We show that many algebraic actions of higher-rank abelian groups on zero-dimensional groups are mutually disjoint. The proofs exploit differences in the entropy geometry arising from subdynamics and a form of Abramov--Rokhlin formula for half-space entropies.

New mapping classes of knotted surfaces are computed via surgery.

Computes extendable mapping classes for knotted surfaces in $S^4$.

By studying modular invariance properties of some characteristic forms, we obtain twisted anomaly cancellation formulas. We apply these twisted cancellation formulas to study divisibilities on spin manifolds and congruences on spin$^c$ manifolds. Especially, we get twisted Rokhlin congruences for $8k+4$ dimensional spi…

A surface in the 4-sphere is trivially embedded, if it bounds a 3-dimensional handle body in the 4-sphere. For a surface trivially embedded in the 4-sphere, a diffeomorphism over this surface is extensible if and only if this preserves the Rokhlin quadratic form of this embedded surface.

We generalize the "miraculous cancellation" formulas of Alvarez-Gaumé, Witten and Kefeng Liu to a twisted version where an extra complex line bundle is involved. We also apply our result to discuss intrinsic relations between the higher dimensional Rokhlin type congruence formulas of Ochanine [O1], Finashin [F] and Zha…

Classifies manifolds with dense conjugacy classes in their mapping class groups.

In this note, we investigate the relation between double points and complex points of immersed surfaces in almost-complex 4-manifolds and show how estimates for the minimal genus of embedded surfaces lead to inequalities between the number of double points and the number of complex points of an immersion. We also provi…

We compute the connected Heegaard Floer homology (defined by Hendricks, Hom, and Lidman) for a large class of 3-manifolds, including all linear combinations of Seifert fibered homology spheres. We show that for such manifolds, the connected Floer homology completely determines the local equivalence class of the associa…

The topology of the orbit space, $Y$, for the action of the complex conjugation on a complex surface, $X$, defined over reals, is studied. I give a criterion for blow-up stable triviality of $Y$ (which implies vanishing of its Seiberg-Witten invariants). The main result concerns the double planes branched along the com…

Fintushel and Stern showed that the Brieskorn sphere $Σ(2,3,7)$ bounds a rational homology ball, while its non-trivial Rokhlin invariant obstructs it from bounding an integral homology ball. It is known that their argument can be modified to show that the figure-eight knot is rationally slice, and we use this fact to p…

We develop a geometric approach to stable homotopy groups of spheres in the spirit of the work of Pontrjagin and Rokhlin. A new proof of the Hopf Invariant One Theorem by J.F.Adams is obtained in all dimensions except 15 and 31. To prove that the stable Hopf invariant H: Π_n \to Z/2 vanishes for n>31, we apply methods …

To each oriented closed combinatorial manifold we assign the set (with repetitions) of isomorphism classes of links of its vertices. The obtained transformation L is the main object of study of the present paper. We pose a problem on the inversion of the transformation L. We shall show that this problem is closely rela…

Topological Quantum Field Theories (TQFTs) pertinent to some emergent low energy phenomena of condensed matter lattice models in 2+1 and 3+1D are explored. Many of our field theories are highly-interacting without free quadratic analogs. Some of our bosonic TQFTs can be regarded as the continuum field theory formulatio…

The paper explores efficient graph algorithms on geometric graphs and their computational limits.

AI generates theorems and proofs for training theorem provers.

Global inverse function theorem proved easily using Riemannian geometry.

A new comparison theorem for geometric spaces.

Paper develops formulas and theorems in Hermitian geometry.

The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.

Revises a theorem by Thurston, finding a counter-example and a weaker version.

Proofs for Moon's theorem and its generalization.

Analyzes Saito vanishing theorem using $L^{2}$ methods.

Investigates proving geometric theorems over complex and real numbers using tilings.

Extends symplectic reduction and theorem to Lie algebroids.

Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.

Proves Thurston's bounded image theorem for Haken manifolds.

Method upgrades limit theorems to mixing limit theorems for dynamical systems.

Formulates Index III lemma and Rauch III theorem with applications.

In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…

The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.

Proves two theorems on odd-dimensional manifolds with boundary.

Sharp convergence theorem for sphere submanifolds proved.

INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.

A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.