arXiv research

Presentations for involutions on non-orientable surfaces up to genus 5.

For a nonorientable surface, the twist subgroup is an index 2 subgroup of the mapping class group. It is generated by Dehn twists about two-sided simple closed curves. In this paper, we study involution generators of the twist subgroup. We give generating sets of involutions with the smallest number of elements our met…

The study describes good involutions in quandles and Alexander quandles.

The positive Dehn twist expressions for the generalizations of the new involutions described in math.GT/0404310 are presented. The homeomorphism types of the Lefschetz fibrations that they define are determined for several examples.

Develops obstruction theory for a specific 4-manifold index.

Let $N_{g}$ denote the closed non-orientable surface of genus $g$ and let ${\mathcal M} _g$ denote the mapping class group of $N_{g}$. Let ${\mathcal T} _g$ denote the twist subgroup of ${\mathcal M} _g$ which is the subgroup of ${\mathcal M} _g$ is generated by all Dehn twists. In this thesis, we proved that ${\mathca…

Proposes a new notation for biracks to simplify rack structure analysis.

The hyperelliptic Torelli group is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. The authors and Putman proved that this group is generated by Dehn twists about separating curves fixed by t…

We consider both standard and twisted action of a (real) Coxeter group G on the complement M_G to the complexified reflection hyperplanes by combining the reflections with complex conjugation. We introduce a natural geometric class of special involutions in G and give explicit formulae which describe both actions on th…

We showed that the twist subgroup of the mapping class group of a closed connected nonorientable surface of genus $g\geq13$ can be generated by two involutions and an element of order $g$ or $g-1$ depending on whether $g$ is odd or even respectively.

Study $h$-cobordisms of complexity 2 in 5D, finding obstructions and examples.

We utilize the Ozsvath-Szabo contact invariant to detect the action of involutions on certain homology spheres that are surgeries on symmetric links, generalizing a previous result of Akbulut and Durusoy. Potentially this may be useful to detect different smooth structures on 4-manifolds by cork twisting operation.

We introduce the notion of twisted generalized complex submanifolds and describe an equivalent characterization in terms of Poisson-Dirac submanifolds. Our characterization recovers a result of Vaisman. An equivalent characterization is also given in terms of spinors. As a consequence, we show that the fixed locus of a…

Using Kirby Calculus, we explicitly pass from Berge's R-R descriptions of ten families of knots with lens space surgeries to surgery descriptions on the minimally twisted five chain link (MT5C). Since the MT5C admits a strong involution, we also give the corresponding tangle descriptions.

We give a geometric characterization of compact Riemann surfaces admitting orientation reversing involutions with fixed points. Such surfaces are generally called real surfaces and can be represented by real algebraic curves with non-empty real part. We show that there is a family of disjoint simple closed geodesics th…

We define the twisted Blanchfield pairing of a symmetric triad of chain complexes over a group ring Z[G], together with a unitary representation of G over an Ore domain with involution. We prove that the pairing is sesquilinear, and we prove that it is hermitian and nonsingular under certain extra conditions. A twisted…

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 (or plug) with order $p\in {\Bbb N}\cup \{\infty\}$ and show there exists a plug…

Study identifies roots of hyperelliptic involutions and braid groups in mapping class groups.

In this paper, we investigate existence of inequivalent smooth structures on closed smooth non-orientable 4-manifolds building upon results of Akbulut, Cappell-Shaneson, Fintushel-Stern, Gompf, and Stolz. We add to the number of known constructions and provide new examples of exotic manifolds that are obtained as an ap…

We present a formula expressing Earle's twisted 1-cocycle on the mapping class group of a closed oriented surface of genus >=2 relative to a fixed base point, with coefficients in the first homology group of the surface. For this purpose we compare it with Morita's twisted 1-cocycle which is combinatorial. The key is t…

This note corrects the mistakes in the splicing formulas of the paper "Floer homology and splicing knot complements". The mistakes are the result of the incorrect assumption that for a knot $K$ inside a homology sphere $Y$, the involution on the knot Floer homology of $K$ which corresponds to moving the basepoints by o…

In this paper, we want to construct a one-to-one correspondence from the set of diffeomorphism classes of spin $d$-twisted homology $\mc P^3$ to the set of isotopy classes of the embedding from $S^3$ to $S^6$, which is a generalization of the Montgomery-Yang correspondence. Furthermore, we will apply this generalized c…

We introduce a generalization of the Euclidean algorithm for rings equipped with an involution, and completely enumerate all isomorphism classes of orders over definite, rational quaternion algebras equipped with an orthogonal involution that admit such an algorithm. We give two applications: first, any order that admi…

The hyperelliptic Torelli group is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. We prove a Birman exact sequence for hyperelliptic Torelli groups, and we show that this sequence splits. As…

We classify up to conjugacy the group generated by a commuting pair of a periodic diffeomorphism and a hyperelliptic involution on an oriented closed surface. This result can be viewed as a refinement of Ishizaka's result on classification of the mapping classes of hyperelliptic periodic diffeomorphisms. As an applicat…

Let h be a Real bundle, in the sense of Atiyah, over a space X. This is a complex vector bundle together with an involution which is compatible with complex conjugation. We use the fact that BU is equipped with a structure of conjugation space, as defined by Hausmann, Holm, and Puppe, to construct equivariant Chern cla…

We show that the normal closure of any periodic element of the mapping class group of a non-orientable surface whose order is greater than 2 contains the commutator subgroup, which for $g\geq 7$ is equal to the twist subgroup, and provide necessary and sufficient conditions for the normal closures of involutions to con…

We introduce two families of soliton hierarchies: the twisted hierarchies associated to symmetric spaces. The Lax pairs of these two hierarchies are Laurent polynomials in the spectral variable. Our constructions gives a hierarchy of commuting flows for the generalized sine-Gordon equation (GSGE), which is the Gauss-Co…

We define a new class of racks, called finitely stable racks, which, to some extent, share various flavors with Abelian groups. Characterization of finitely stable Alexander quandles is established. Further, we study twisted rack dynamical systems, construct their cross-products, and introduce representation theory of …

Study shows Dehn twists on certain 4-manifolds cannot be realized by finite order diffeomorphisms.

The braid group $B_{n}$, endowed with Artin's presentation, admits two distinguished involutions. One is the anti-automorphism ${\rm{rev}}: B_{n} \to B_{n}$, $v \mapsto \bar{v}$, defined by reading braids in the reverse order (from right to left instead of left to right). Another one is the conjugation $τ:x \mapsto Δ^{…

The well-known fact that any genus $g$ symplectic Lefschetz fibration $X^{4}\to S^{2}$ is given by a word that is equal to the identity element in the mapping class group and each of whose elements is given by a positive Dehn twist, provides an intimate relationship between words in the mapping class group and 4-manif…

It is well known that for any exotic pair of simply connected closed oriented 4-manifolds, one is obtained from the other by twisting a compact contractible submanifold via an involution on the boundary. By contrast, here we show that for each positive integer $n$, there exists a simply connected closed oriented 4-mani…

We consider Real bundle gerbes on manifolds equipped with an involution and prove that they are classified by their Real Dixmier-Douady class in Grothendieck's equivariant sheaf cohomology. We show that the Grothendieck group of Real bundle gerbe modules is isomorphic to twisted KR-theory for a torsion Real Dixmier-Dou…

We show that symplectic forms taming complex structures on compact manifolds are related to special types of almost generalized Kähler structures. By considering the commutator $Q$ of the two associated almost complex structures $J_{\pm}$, we prove that if either the manifold is 4-dimensional or the distribution ${Im} …

We introduce conformal Courant algebroids, a mild generalization of Courant algebroids in which only a conformal structure rather than a bilinear form is assumed. We introduce exact conformal Courant algebroids and show they are classified by pairs $(L,H)$ with $L$ a flat line bundle and $H \in H^3(M,L)$ a degree 3 cla…

Let $M$ be a $Spin$-manifold with $S^1$-action and let $σ\in S^1$ be of finite order. We show that the indices of certain twisted Dirac operators vanish if the action of $σ$ has sufficiently large fixed point codimension. These indices occur in the Fourier expansion of the elliptic genus of $M$ in one of its cusps. As …

We introduce real structures on $L$-twisted Higgs pairs over a compact Riemann surface equipped with an anti-holomorphic involution, and prove a Hitchin--Kobayashi correspondence for them. Real $G$-Higgs bundles, where $G$ is a real form of a connected semisimple complex affine algebraic group $G^{\mathbb{C}}$, constit…

We construct the M-Theory lifts of type IIA orientifolds based on K3-fibred Calabi-Yau threefolds with compatible involutions. Such orientifolds are shown to lift to M-Theory on twisted connected sum $G_2$ manifolds. Beautifully, the two building blocks forming the $G_2$ manifold correspond to the open and closed strin…

Constructs local superconformal algebras on supermanifolds.

Survey of minimal generating sets for nonorientable mapping class groups.

Research classifies knots based on sliceness and amphichirality.

We describe a class of compact $G_2$ orbifolds constructed from non-symplectic involutions of K3 surfaces. Within this class, we identify a model for which there are infinitely many associative submanifolds contributing to the effective superpotential of M-theory compactifications. Under a chain of dualities, these can…

Extends exotic embeddings of RP^2 to a larger family and produces homotopy spheres.

Study volume growth in Milnor fibers using real Lagrangians.

Study spectral flow on a warped cylinder with special boundary conditions.

We prove that the hyperelliptic Torelli group is generated by Dehn twists about separating curves that are preserved by the hyperelliptic involution. This verifies a conjecture of Hain. The hyperelliptic Torelli group can be identified with the kernel of the Burau representation evaluated at t=-1 and also the fundament…

Crosscap slide is a homeomorphism of a nonorientable surface of genus at least 2, which was introduced under the name Y-homeomorphism by Lickorish as an example of an element of the mapping class group which cannot be expressed as a product of Dehn twists. We prove that the subgroup of the mapping class group of a clos…