arXiv research

Using Seiberg-Witten Floer spectrum and Pin(2)-equivariant KO-theory, we prove new Furuta-type inequalities on the intersection forms of spin cobordisms between homology $3$-spheres. As an application, we give explicit constrains on the intersection forms of spin $4$-manifolds bounded by Brieskorn spheres $\pmΣ(2,3,6k\…

The paper finds small exotic 4-manifolds with free abelian groups.

We prove Furuta-type bounds for the intersection forms of spin cobordisms between homology 3-spheres. The bounds are in terms of a new numerical invariant of homology spheres, obtained from Pin(2)-equivariant Seiberg-Witten Floer K-theory. In the process we introduce the notion of a Floer K_G-split homology sphere; thi…

Researchers construct irreducible 4-manifolds with specific properties.

We show a non-existence result for some class of equivariant maps between sphere bundles over tori. The notion of equivariant KO-degree is used in the proof. As an application to Seiberg-Witten theory, for a connected closed oriented spin 4-manifold with indefinite intersection form, we have a new bound of the second B…

The study classifies immersed surfaces with knot group Z in simply-connected 4-manifolds.

For the free group $F_{N}$ of finite rank $N \geq 2$ we construct a canonical Bonahon-type continuous and $Out(F_N)$-invariant \emph{geometric intersection form} \[ <, >: \bar{cv}(F_N)\times Curr(F_N)\to \mathbb R_{\ge 0}. \] Here $\bar{cv}(F_N)$ is the closure of unprojectivized Culler-Vogtmann's Outer space $cv(F_N)$…

In studying the "11/8-Conjecture" on the Geography Problem in 4-dimensional topology, Furuta proposed a question on the existence of Pin(2)-equivariant stable maps between certain representation spheres. In this paper, we present a complete solution to this problem by analyzing the Pin(2)-equivariant Mahowald invariant…

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…

By using the equivariant localization formula of toric varieties. We prove the vanishing of the Witten genus of some string complete intersections in smooth toric varieties.

Develops tools for studying intersections of elliptic operators, focusing on $J$-holomorphic maps.

Interprets SL3-web intersections on surfaces.

We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant intersection forms are stably isometric. We also find explicit algebraic invaria…

We refine the intersection product in homology to an equivariant setting, which unifies several known constructions. As an application, we give a common generalisation of the Chas-Sullivan string product on a manifold and the Chataur-Menichi string product on the classifying space by defining a string product on the Bo…

We introduce a new method of calculating intersections on \bar{M}_{g,n}, using localization of equivariant cohomology. As an application, we give a proof of Mirzakhani's recursion relation for calculating intersections of mixed psi and kappa_1 classes.

The paper introduces $μ$K-stability for polarized schemes and develops equivariant calculus.

New infinite family of 4-manifolds with same stable properties but not homotopy equivalent.

The purpose of this paper is to study finite dimensional equivariant moduli problems from the viewpoint of stratification theory. We show that there exists a stratified obstruction system for a finite dimensional equivariant moduli problem. In addition, we define a coindex for a G-vector bundle which is determined by t…

We provided two explicit formulas for the intersection cohomology (as a graded vector space with pairing) of the symplectic quotient by a circle in terms of the $S^1$ equivariant cohomology of the original symplectic manifold and the fixed point data. The key idea is the construction of a small resolution of the symple…

Study surfaces in 4-manifolds with cyclic fundamental group.

Classifies $4$-manifolds with specific properties and fundamental group.

Study of torsion forms for positive line bundles.

The objective of this paper is to clarify the relationships between the quantum D-module and equivariant Floer theory. Equivariant Floer theory was introduced by Givental in his paper ``Homological Geometry''. He conjectured that the quantum D-module of a symplectic manifold is isomorphic to the equivariant Floer cohom…

In this paper, we compute the first two equivariant heat kernel coefficients of the Bochner Laplacian on differential forms. The first two equivariant heat kernel coefficients of the Bochner Laplacian with torsion are also given. We also study the equivariant heat kernel coefficients of nonmininmal operators on differe…

In this paper, we first define the equivariant infinitesimal $η$-form, then we compare it with the equivariant $η$-form, modulo exact forms, by a locally computable form. As a consequence, we obtain the singular behavior of the equivariant $η$-form, modulo exact forms, as a function on the acting Lie group. This result…

Study shows no hyperkähler fourfolds in specified conditions.

Homotopy types of 4-manifolds tied to their fundamental groups.

We study almost-calibrated, $O(n)$-equivariant Lagrangian mean curvature flow in $\mathbb{C}^n$, and prove structural theorems about the Type I and Type II blowups of finite-time singularities. In particular, we prove that any Type I blowup of such a flow must be a special Lagrangian pair of transversely intersecting p…

In this paper, we define the equivariant eta form of Bismut-Cheeger for a compact Lie group and establish a formula about the functoriality of equivariant eta forms with respect to the composition of two submersions.

Research characterizes intersection cohomology groups of gauge theories and cotangent bundles.

Let G be a compact Lie group. Let M be a smooth G-manifold and V --> M be an oriented G-equivariant vector bundle. One defines the spaces of equivariant forms with generalized coefficients on V and M. An equivariant Thom form $θ$ on V is a compactly supported closed equivariant form such that its integral along the fib…

In this paper, we give proofs of the family index formula and the equivariant family index formula by the Greiner's approach to heat kernel asymptotics. We compute equivariant family JLO characters. We also define the equivariant eta form and give a proof of its regularity.

Smooth tori in S^4 are topologically unknotted.

In this paper, we establish an infinitesimal equivariant index formula in the noncommutative geometry framework using Greiner's approach to heat kernel asymptotics. An infinitesimal equivariant index formula for odd dimensional manifolds is also given. We define infinitesimal equivariant eta cochains, prove their regul…

Classifies stable diffeomorphism of spin 4-manifolds with specific fundamental groups.

Study on Morse homology for reflection actions on manifolds.

The paper calculates the equivariant genus for a specific type of knot.

Paper generalizes spectral flow formulas for compact Lie group actions.

Wall's result extended to 4-manifolds with definite intersection forms.

New robustness measure accounts for task-specific symmetries.

We give a method of decomposing bundle-valued polynomials compatible with the action of the Lie group $Spin(n)$, where important tools are $Spin(n)$-equivariant operators and their spectral decompositions. In particular, the top irreducible component is realized as an intersection of kernels of these operators.

Real moment-angle manifolds of combinatorially equivalent simple polytopes are equivariantly diffeomorphic.

This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends to the category of coherent sheaves equivariant under an action of an algebraic …

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct a push-forward map in differential equivariant K-theory. Finally, we construct …

We calculate intersection forms of all 4-dimensional almost-flat manifolds

Study on knots, genera, and algebraic concordance groups.

This paper presents a proof of the existence of standard symplectic coordinates near a set of smooth, orthogonally intersecting symplectic submanifolds. It is a generalization of the standard symplectic neighborhood theorem. Moreover, in the presence of a compact Lie group $G$ acting symplectically, the coordinates can…

New techniques create irreducible 4-manifolds with specific properties.