Related papers: Equivariant Corks

An action of a complex reductive group $\mathrm G$ on a smooth projective variety $X$ is regular when all regular unipotent elements in $\mathrm G$ act with finitely many fixed points. Then the complex $\mathrm G$-equivariant cohomology…

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…

The (4k+2)-dimensional Kervaire manifold is a closed, piecewise linear (PL) manifold with Kervaire invariant 1 and the same homology as the product of two (2k+1)-dimensional spheres. We show that a finite group of odd order acts freely on a…

We show that any topological, closed, oriented, non-spin $4$-manifold with fundamental group $\mathbb{Z}_{4k}$ and $\min(b_2^+, b_2^-)\geq 15$, has either none or infinitely many distinct smooth structures. Furthermore, we construct…

One can define what it means for a compact manifold with corners to be a "contractible manifold with contractible faces." Two combinatorially equivalent, contractible manifolds with contractible faces are diffeomorphic if and only if their…

We construct exotic copies of $\mathbb{R}^4$ with nontrivial compactly supported mapping class groups of arbitrarily large rank. This follows from a modification of the construction of the diffeomorphism corks of arXiv:2407.04696 that makes…

We construct smooth manifolds with order two $\pi_1$ and even intersection forms which are irreducible, meaning they do not decompose into non-trivial connected sums. Their intersection forms being even implies that their universal covers…

We construct invariants of four-dimensional piecewise-linear manifolds, represented as simplicial complexes, with respect to rebuildings that transform a cluster of three 4-simplices having a common two-dimensional face in a different…

Every exotic pair in 4-dimension is obtained each other by twisting a {\it cork} or {\it plug} which are codimension 0 submanifolds embedded in the 4-manifolds. The twist was an involution on the boundary of the submanifold. We define cork…

The long-standing problem of the perfectness of the compactly supported equivariant homeomorphism group on a $G$-manifold (with one orbit type) is solved in the affirmative. The proof is based on an argument different than that for the case…

The chiral equivariant cohomology contains and generalizes the classical equivariant cohomology of a manifold M with an action of a compact Lie group G. For any simple G, there exist compact manifolds with the same classical equivariant…

Let $\mathrm G$ be an isotrivial reductive group over a scheme $S$. We construct a smooth projective $S$-scheme containing $\mathrm G$ as a fiberwise-dense open subscheme equipped with left and right actions of $\mathrm G$ which extend the…

Let a finite set of interacting particles be given, together with a symmetry Lie group $G$. Here we describe all possible dynamics that are jointly equivariant with respect to the action of $G$. This is relevant e.g., when one aims to…

We compute the topological mapping class group of every compact, simply connected, topological 4-manifold. This was previously only known in the closed case. If the 4-manifold is smooth, we deduce an analogous description of the stable…

Here we study two interesting smooth contractible manifolds, whose boundaries have non-trivial mapping class groups. The first one is a non-Stein contractible manifold, such that every self diffeomorphism of its boundary extends inside;…

We show that, for each integer n, there exist infinitely many pairs of n-framed knots representing homeomorphic but non-diffeomorphic (Stein) 4-manifolds, which are the simplest possible exotic 4-manifolds regarding handlebody structures.…

We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…

We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data.…

Definition of a smooth action of a CQG on a compact, smooth manifold is given and studied. It is shown that a smooth action is always injective. Furthermore A necessary and sufficient condition for a lift of the smooth action as a bimodule…

For most positive integer pairs $(a,b)$, the topological space $#a{\mathbb C \mathbb P}^2#b{\bar{\mathbb C \mathbb P^2}}$ is shown to admit infinitely many inequivalent smooth structures which dissolve upon performing a single connected sum…