Showing 1–25 of 25 results for author: Baldridge, S

A new way to prove configuration reducibility using gauge theory

Authors: Scott Baldridge, Ben McCarty

Abstract: We show how ideas coming out of gauge theory can be used to prove configurations in the list of ``633 unavoidable configurations" are reducible. In this paper, we prove the smallest nontrivial example, the Birkhoff diamond, is reducible using our filtered $3$- and $4$-color homology. This is a new proof of a 111-year-old result that is a direct consequence of a special (2+1)-dimensional topologica… ▽ More We show how ideas coming out of gauge theory can be used to prove configurations in the list of ``633 unavoidable configurations" are reducible. In this paper, we prove the smallest nontrivial example, the Birkhoff diamond, is reducible using our filtered $3$- and $4$-color homology. This is a new proof of a 111-year-old result that is a direct consequence of a special (2+1)-dimensional topological quantum field theory. As part of the proof, we introduce the idea of a state-reducible configuration. Because state-reducibility does not involve Kempe switches, this leads to an independent way to verify the proof of the four color theorem. We conjecture that these gauge theoretic ideas could also lead to a non-computer-based proof of it. △ Less

Submitted 24 December, 2024; originally announced December 2024.

Comments: 22 pages plus references and appendix

MSC Class: 05C10; 05C15; 05C31; 05C70; 57R56; 57M15; 57K16

Quantum state systems that count perfect matchings

Authors: Scott Baldridge, Ben McCarty

Abstract: In this paper we show how to categorify the $n$-color vertex polynomial, which is based upon one of Roger Penrose's formulas for counting the number of $3$-edge colorings of a planar trivalent graph. Using topological quantum field theory (TQFT), we introduce a quantum state system to build a new bigraded theory called the bigraded $n$-color vertex homology. The graded Euler characteristic of this… ▽ More In this paper we show how to categorify the $n$-color vertex polynomial, which is based upon one of Roger Penrose's formulas for counting the number of $3$-edge colorings of a planar trivalent graph. Using topological quantum field theory (TQFT), we introduce a quantum state system to build a new bigraded theory called the bigraded $n$-color vertex homology. The graded Euler characteristic of this homology is the $n$-color vertex polynomial. We then produce a spectral sequence whose $E_\infty$-page is a filtered theory called filtered $n$-color vertex homology and show that it is generated by certain types of face colorings of ribbon graphs. For $n=2$, we show that the filtered $n$-color vertex homology is generated by face colorings that correspond to perfect matchings. Finally, we introduce and give meaning to what the vertex polynomial counts when $n \geq 2$. This polynomial is a new abstract graph invariant that can be inferred from certain formulas of Penrose. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Comments: 54 pages, myriad figures

MSC Class: 57R56; 05C10; 05C15; 05C31; 05C70; 57M15 57K16

A state sum for the total face color polynomial

Authors: Scott Baldridge, Louis H. Kauffman, Ben McCarty

Abstract: The total face color polynomial is based upon the Poincaré polynomials of a family of filtered $n$-color homologies. It counts the number of $n$-face colorings of ribbon graphs for each positive integer $n$. As such, it may be seen as a successor of the Penrose polynomial, which at $n=3$ counts $3$-edge colorings (and consequently $4$-face colorings) of planar trivalent graphs. In this paper we de… ▽ More The total face color polynomial is based upon the Poincaré polynomials of a family of filtered $n$-color homologies. It counts the number of $n$-face colorings of ribbon graphs for each positive integer $n$. As such, it may be seen as a successor of the Penrose polynomial, which at $n=3$ counts $3$-edge colorings (and consequently $4$-face colorings) of planar trivalent graphs. In this paper we describe a state sum formula for the polynomial. This formula unites two different perspectives about graph coloring: one based upon topological quantum field theory and the other on diagrammatic tensors. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: 19 pages, numerous figures

MSC Class: 57R56; 05C10; 05C15; 05C31; 05C70; 57M15; 57K16;

A topological quantum field theory approach to graph coloring

Authors: Scott Baldridge, Ben McCarty

Abstract: In this paper, we use a topological quantum field theory (TQFT) to define families of new homology theories of a $2$-dimensional CW complex of a smooth closed surface. The dimensions of these homology groups can be used to count the number of ways that each face of the CW complex can be colored with one of $n$ colors so that no two adjacent faces have the same color. We use these homologies to def… ▽ More In this paper, we use a topological quantum field theory (TQFT) to define families of new homology theories of a $2$-dimensional CW complex of a smooth closed surface. The dimensions of these homology groups can be used to count the number of ways that each face of the CW complex can be colored with one of $n$ colors so that no two adjacent faces have the same color. We use these homologies to define new invariants of graphs, give new characterizations of well-known polynomial invariants of graphs, and rephrase and offer new approaches to famous conjectures about graph coloring. In particular, we show that the TQFT has the potential to generate $4$-face colorings of a bridgeless planar graph, leading to a constructive approach to the four color theorem. The TQFT has ramifications for the study of smooth surfaces and provides examples of new types of Frobenius algebras. △ Less

Submitted 21 March, 2023; originally announced March 2023.

Comments: 88 pages, numerous figures

MSC Class: 57R56 (Primary) 05C10; 05C15; 05C31; 05C70; 57M15 57K16 (Secondary)

On ribbon graphs and virtual links

Authors: Scott Baldridge, Louis H. Kauffman, William Rushworth

Abstract: We introduce a new equivalence relation on decorated ribbon graphs, and show that its equivalence classes directly correspond to virtual links. We demonstrate how this correspondence can be used to convert any invariant of virtual links into an invariant of ribbon graphs, and vice versa. We introduce a new equivalence relation on decorated ribbon graphs, and show that its equivalence classes directly correspond to virtual links. We demonstrate how this correspondence can be used to convert any invariant of virtual links into an invariant of ribbon graphs, and vice versa. △ Less

Submitted 31 January, 2022; v1 submitted 8 October, 2020; originally announced October 2020.

Comments: 35 pages, many figures. Comments welcome. This version to appear in the European Journal of Combinatorics

MSC Class: 57M15; 57K10; 05C10

Unoriented Virtual Khovanov Homology

Authors: Scott Baldridge, Louis H. Kauffman, Ben McCarty

Abstract: The Jones polynomial and Khovanov homology of a classical link are invariants that depend upon an initial choice of orientation for the link. In this paper, we give a Khovanov homology theory for unoriented virtual links. The graded Euler characteristic of this homology is proportional to a similarly-defined unoriented Jones polynomial for virtual links, which is a new invariant in the category of… ▽ More The Jones polynomial and Khovanov homology of a classical link are invariants that depend upon an initial choice of orientation for the link. In this paper, we give a Khovanov homology theory for unoriented virtual links. The graded Euler characteristic of this homology is proportional to a similarly-defined unoriented Jones polynomial for virtual links, which is a new invariant in the category of non-classical virtual links. The unoriented Jones polynomial continues to satisfy an important property of the usual one: for classical or even virtual links, the unoriented Jones polynomial evaluated at one is two to the power of the number of components of the link. As part of extending the main results of this paper to non-classical virtual links, a new framework for computing integral Khovanov homology is described that can be efficiently and effectively implemented on a computer. We define an unoriented Lee homology theory for virtual links based upon the unoriented version of Khovanov homology. △ Less

Submitted 19 April, 2021; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: 30 pages

MSC Class: 57K10; 57K12; 57K14; 57K18

The 2-Factor Polynomial Detects Even Perfect Matchings

Authors: Scott Baldridge, Adam M. Lowrance, Ben McCarty

Abstract: In this paper, we prove that the 2-factor polynomial, an invariant of a planar trivalent graph with a perfect matching, counts the number of 2- factors that contain the the perfect matching as a subgraph. Consequently, we show that the polynomial detects even perfect matchings. In this paper, we prove that the 2-factor polynomial, an invariant of a planar trivalent graph with a perfect matching, counts the number of 2- factors that contain the the perfect matching as a subgraph. Consequently, we show that the polynomial detects even perfect matchings. △ Less

Submitted 30 May, 2020; v1 submitted 26 December, 2018; originally announced December 2018.

Comments: 16 pages, 17 figures

MSC Class: 05C10; 05C15; 05C31; 05C70; 57K14

Journal ref: Electronic Journal of Combinatorics, 27 (2020), no. 2, Paper No. 2.27, 16pp

A Cohomology Theory for Planar Trivalent Graphs with Perfect Matchings

Authors: Scott Baldridge

Abstract: We introduce a new cohomology theory for planar trivalent graphs with perfect matchings. The graded Euler characteristic of the cohomology is a one variable polynomial called the 2-factor polynomial that, if nonzero when evaluated at one, implies that the perfect matching is even and therefore the graph is 4-face colorable. We also define several new polynomials invariants of graphs with and witho… ▽ More We introduce a new cohomology theory for planar trivalent graphs with perfect matchings. The graded Euler characteristic of the cohomology is a one variable polynomial called the 2-factor polynomial that, if nonzero when evaluated at one, implies that the perfect matching is even and therefore the graph is 4-face colorable. We also define several new polynomials invariants of graphs with and without perfect matchings that are invariants of abstract tensors systems and spin networks defined by Roger Penrose in the 1970s. We show how some of these polynomials can be ``categorified'' into their own homology theories. △ Less

Submitted 13 March, 2023; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: 36 pages, 10 figures

MSC Class: 57R56 (Primary) 05C10; 05C15; 05C31; 05C70; 57M15; 57M25 (Secondary)

Lifting Lagrangian immersions in $\mathbb{C} P^{n-1}$ to Lagrangian cones in $\mathbb{C}^n$

Authors: Scott Baldridge, Ben McCarty, David Shea Vela-Vick

Abstract: In this paper we show how to lift Lagrangian immersions in $\mathbb{C} P^{n-1}$ to produce Lagrangian cones in $\mathbb{C} ^n$, and use this process to produce several families of examples of Lagrangian cones and special Lagrangian cones. Moreover we show how to produce Lagrangian cones, isotopic to the Harvey-Lawson and trivial cones, whose projections to $\mathbb{C} P^{n-1}$ are immersions with… ▽ More In this paper we show how to lift Lagrangian immersions in $\mathbb{C} P^{n-1}$ to produce Lagrangian cones in $\mathbb{C} ^n$, and use this process to produce several families of examples of Lagrangian cones and special Lagrangian cones. Moreover we show how to produce Lagrangian cones, isotopic to the Harvey-Lawson and trivial cones, whose projections to $\mathbb{C} P^{n-1}$ are immersions with few transverse double points. △ Less

Submitted 29 August, 2017; originally announced August 2017.

Comments: 28 Pages, 7 figures

MSC Class: 57R17; 53D17; 53D35

Journal ref: Open Book Series 5 (2022) 43-79

On the rotation class of knotted Legendrian Tori in $\mathbb{R}^5$

Authors: Scott Baldridge, Ben McCarty

Abstract: In this paper we show how to combinatorically compute the rotation class of a large family of embedded Legendrian tori in $\mathbb{R}^5$ with the standard contact form. In particular, we give a formula to compute the Maslov index for any loop on the torus and compute the Maslov number of the Legendrian torus. These formulas are a necessary component in computing contact homology. Our methods use a… ▽ More In this paper we show how to combinatorically compute the rotation class of a large family of embedded Legendrian tori in $\mathbb{R}^5$ with the standard contact form. In particular, we give a formula to compute the Maslov index for any loop on the torus and compute the Maslov number of the Legendrian torus. These formulas are a necessary component in computing contact homology. Our methods use a new way to represent knotted Legendrian tori called Lagrangian hypercube diagrams. △ Less

Submitted 9 May, 2014; originally announced May 2014.

Comments: 21 pages

MSC Class: 57M25; 57M27

Coisotropic Luttinger surgery and some new symplectic 6-manifolds with vanishing canonical class

Authors: Scott Baldridge, Paul Kirk

Abstract: We introduce a surgery operation on symplectic manifolds called coisotropic Luttinger surgery, which generalizes Luttinger surgery on Lagrangian tori in symplectic 4-manifolds. We use it to produce infinitely many distinct symplectic non-Kahler 6-manifolds $X$ with $c_1(X)=0$ which are not of the form $M\times F$ for $M$ a symplectic 4-manifold and $F$ a closed surface. We introduce a surgery operation on symplectic manifolds called coisotropic Luttinger surgery, which generalizes Luttinger surgery on Lagrangian tori in symplectic 4-manifolds. We use it to produce infinitely many distinct symplectic non-Kahler 6-manifolds $X$ with $c_1(X)=0$ which are not of the form $M\times F$ for $M$ a symplectic 4-manifold and $F$ a closed surface. △ Less

Submitted 17 May, 2011; originally announced May 2011.

Comments: 11 pages

MSC Class: 57R17 (Primary) 57M05; 53D35 (Secondary)

Embedded and Lagrangian Knotted Tori in $\BR^4$ and Hypercube Homology

Authors: Scott Baldridge

Abstract: In this paper we introduce a representation of a embedded knotted (sometimes Lagrangian) tori in $\BR^4$ called a hypercube diagram, i.e., a 4-dimensional cube diagram. We prove the existence of hypercube homology that is invariant under 4-dimensional cube diagram moves, a homology that is based on knot Floer homology. We provide examples of hypercube diagrams and hypercube homology, including usi… ▽ More In this paper we introduce a representation of a embedded knotted (sometimes Lagrangian) tori in $\BR^4$ called a hypercube diagram, i.e., a 4-dimensional cube diagram. We prove the existence of hypercube homology that is invariant under 4-dimensional cube diagram moves, a homology that is based on knot Floer homology. We provide examples of hypercube diagrams and hypercube homology, including using the new invariant to distinguish (up to cube moves) two "Hopf linked" tori. We also give examples of a "Trefoil" torus and an immersed knotted torus that is an amalgamation of the $5_2$ knot and a trefoil knot. △ Less

Submitted 18 October, 2010; originally announced October 2010.

Comments: 39 pages, 32 figures

MSC Class: 57Q45; 57R58; 57R40

Small examples of cube diagrams of knots

Authors: Scott Baldridge, Ben McCarty

Abstract: In this short note we highlight some of the differences between cube diagrams and grid diagrams. We also list examples of small cube diagrams for all knots up to 7 crossings and give some examples of links. In this short note we highlight some of the differences between cube diagrams and grid diagrams. We also list examples of small cube diagrams for all knots up to 7 crossings and give some examples of links. △ Less

Submitted 30 July, 2009; originally announced July 2009.

Comments: 15 pages

MSC Class: 57M25; 57M27

Cube diagrams and 3-dimensional Reidemeister-like moves for knots

Authors: Scott Baldridge, Adam Lowrance

Abstract: In this paper we introduce a representation of knots and links called a cube diagram. We show that a property of a cube diagram is a link invariant if and only if the property is invariant under two types of cube diagram operations. A knot homology is constructed from cube diagrams and shown to be equivalent to knot Floer homology. In this paper we introduce a representation of knots and links called a cube diagram. We show that a property of a cube diagram is a link invariant if and only if the property is invariant under two types of cube diagram operations. A knot homology is constructed from cube diagrams and shown to be equivalent to knot Floer homology. △ Less

Submitted 23 May, 2012; v1 submitted 3 November, 2008; originally announced November 2008.

Comments: 31 pages, 34 figures. Final version published by J. Knot Theory Ramifications

MSC Class: 57M25; 57R58

Journal ref: Journal of Knot Theory and Its Ramifications, 21 (2012) no. 5, 1--39

Simply connected minimal symplectic 4-manifolds with signature less than --1

Authors: Anar Akhmedov, Scott Baldridge, R. Inanc Baykur, Paul Kirk, B. Doug Park

Abstract: For each pair $(e,σ)$ of integers satisfying $2e+3σ\ge 0$, $σ\leq -2$, and $e+σ\equiv 0\pmod{4}$, with four exceptions, we construct a minimal, simply connected symplectic 4-manifold with Euler characteristic $e$ and signature $σ$. We also produce simply connected, minimal symplectic 4-manifolds with signature zero (resp. signature -1) with Euler characteristic $4k$ (resp. $4k+1$) for all… ▽ More For each pair $(e,σ)$ of integers satisfying $2e+3σ\ge 0$, $σ\leq -2$, and $e+σ\equiv 0\pmod{4}$, with four exceptions, we construct a minimal, simply connected symplectic 4-manifold with Euler characteristic $e$ and signature $σ$. We also produce simply connected, minimal symplectic 4-manifolds with signature zero (resp. signature -1) with Euler characteristic $4k$ (resp. $4k+1$) for all $k\ge 46$ (resp. $k\ge 49$). △ Less

Submitted 5 May, 2007; originally announced May 2007.

Comments: 32 pages, 2 figures

MSC Class: 57R17; 57M05; 57R55

Constructions of small symplectic 4-manifolds using Luttinger surgery

Authors: Scott Baldridge, Paul Kirk

Abstract: In this article we use the technique of Luttinger surgery to produce small examples of simply connected and non-simply connected minimal symplectic 4-manifolds. In particular, we construct: (1) An example of a minimal symplectic 4-manifold that is homeomorphic but not diffeomorphic to CP^2#3(-CP^2) which contains a symplectic surface of genus 2, trivial normal bundle, and simply connected comple… ▽ More In this article we use the technique of Luttinger surgery to produce small examples of simply connected and non-simply connected minimal symplectic 4-manifolds. In particular, we construct: (1) An example of a minimal symplectic 4-manifold that is homeomorphic but not diffeomorphic to CP^2#3(-CP^2) which contains a symplectic surface of genus 2, trivial normal bundle, and simply connected complement and a disjoint nullhomologous Lagrangian torus with the fundamental group of the complement generated by one of the loops on the torus. (2) A minimal symplectic 4-manifold that is homeomorphic but not diffeomorphic to 3CP^2#5(-CP^2) which has two essential Lagrangian tori with simply connected complement. These manifolds can be used to replace E(1) in many known theorems and constructions. Examples in this article include the smallest known minimal symplectic manifolds with abelian fundamental groups including symplectic manifolds with finite and infinite cyclic fundamental group and Euler characteristic 6. △ Less

Submitted 2 March, 2007; originally announced March 2007.

Comments: 37 pages, 2 figures

MSC Class: 57R17; 57M05; 54D05

A symplectic manifold homeomorphic but not diffeomorphic to CP^2 # 3(-CP^2)

Authors: Scott Baldridge, Paul Kirk

Abstract: In this paper we construct a minimal symplectic 4-manifold and prove it is homeomorphic but not diffeomorphic to CP^2 # 3(-CP^2) In this paper we construct a minimal symplectic 4-manifold and prove it is homeomorphic but not diffeomorphic to CP^2 # 3(-CP^2) △ Less

Submitted 7 February, 2007; originally announced February 2007.

Comments: 20 pages

MSC Class: 57R17; 57M05; 54D05

An interesting symplectic 4-manifold with small Euler characteristic

Authors: Scott Baldridge, Paul Kirk

Abstract: In this article we construct a minimal symplectic 4-manifold R that has small Euler characteristic (e(R)=8) and two essential Lagrangian tori with nice properties. These properties make R particularly suitable for constructing interesting examples of symplectic manifolds with small Euler characteristic. In particular, we construct an exotic symplectic CP^2# 5(-CP^2), the smallest known minimal s… ▽ More In this article we construct a minimal symplectic 4-manifold R that has small Euler characteristic (e(R)=8) and two essential Lagrangian tori with nice properties. These properties make R particularly suitable for constructing interesting examples of symplectic manifolds with small Euler characteristic. In particular, we construct an exotic symplectic CP^2# 5(-CP^2), the smallest known minimal symplectic 4-manifold with pi_1=Z, the smallest known minimal symplectic 4-manifolds with pi_1=Z/a + Z/b for all a,b in Z, and the smallest known minimal symplectic 4-manifold with pi_1=Z^3. We use the pi_1=Z example to derive a significantly better upper bound on the minimal Euler characteristic of all symplectic 4-manifolds with a prescribed fundamental group. △ Less

Submitted 29 January, 2007; v1 submitted 14 January, 2007; originally announced January 2007.

Comments: revised. 13 pages. details on minimality and more examples

MSC Class: 57R1757M05; 54D05

Symplectic 4-manifolds with arbitrary fundamental group near the Bogomolov-Miyaoka-Yau line

Authors: Scott Baldridge, Paul Kirk

Abstract: In this paper we construct a family of symplectic 4--manifolds with positive signature for any given fundamental group $G$ that approaches the BMY line. The family is used to show that one cannot hope to do better than than the BMY inequality in finding a lower bound for the function $f=χ+bσ$ on the class of all minimal symplectic 4-manifolds with a given fundamental group. In this paper we construct a family of symplectic 4--manifolds with positive signature for any given fundamental group $G$ that approaches the BMY line. The family is used to show that one cannot hope to do better than than the BMY inequality in finding a lower bound for the function $f=χ+bσ$ on the class of all minimal symplectic 4-manifolds with a given fundamental group. △ Less

Submitted 27 July, 2005; originally announced July 2005.

MSC Class: 53D05; 57R17; 57M05

Geography of symplectic 4-manifolds with Kodaira dimension one

Authors: Scott Baldridge, Tian-Jun Li

Abstract: The geography problem is usually stated for simply connected symplectic 4-manifolds. When the first cohomology is nontrivial, however, one can restate the problem taking into account how close the symplectic manifold is to satisfying the conclusion of the Hard Lefschetz Theorem, which is measured by a nonnegative integer called the degeneracy. In this paper we include the degeneracy as an extra… ▽ More The geography problem is usually stated for simply connected symplectic 4-manifolds. When the first cohomology is nontrivial, however, one can restate the problem taking into account how close the symplectic manifold is to satisfying the conclusion of the Hard Lefschetz Theorem, which is measured by a nonnegative integer called the degeneracy. In this paper we include the degeneracy as an extra parameter in the geography problem and show how to fill out the geography of symplectic 4-manifolds with Kodaira dimension 1 for all admissible triples. △ Less

Submitted 2 May, 2005; originally announced May 2005.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol5/agt-5-15.abs.html

MSC Class: 57R17; 53D05; 57R57; 57M60

Journal ref: Algebr. Geom. Topol. 5 (2005) 355-368

On symplectic 4-manifolds with prescribed fundamental group

Authors: Scott Baldridge, Paul Kirk

Abstract: In this article we study the problem of minimizing $aχ+bσ$ on the class of all symplectic 4--manifolds with prescribed fundamental group $G$ ($χ$ is the Euler characteristic, $σ$ is the signature, and $a,b\in \BR$), focusing on the important cases $χ$, $χ+σ$ and $2χ+3σ$. In certain situations we can derive lower bounds for these functions and describe symplectic 4-manifolds which are minimizers.… ▽ More In this article we study the problem of minimizing $aχ+bσ$ on the class of all symplectic 4--manifolds with prescribed fundamental group $G$ ($χ$ is the Euler characteristic, $σ$ is the signature, and $a,b\in \BR$), focusing on the important cases $χ$, $χ+σ$ and $2χ+3σ$. In certain situations we can derive lower bounds for these functions and describe symplectic 4-manifolds which are minimizers. We derive an upper bound for the minimum of $χ$ and $χ+σ$ in terms of the presentation of $G$. △ Less

Submitted 7 June, 2005; v1 submitted 17 April, 2005; originally announced April 2005.

Comments: 30 pages, 4 figures. New Version: Added examples covering free abelian groups with odd rank

MSC Class: 53D05; 57R17; 57M05

New symplectic 4--manifolds with $b_+{=}1$

Authors: Scott Baldridge

Abstract: Symplectic 4-manifolds $(X,ω)$ with $b_+{=}1$ are roughly classified by the canonical class $K$ and the symplectic form $ω$ depending upon the sign of $K^2$ and $K\cdot ω$. Examples are known for each category except for the case when the manifold satisfies $K^2=0$, $K\cdot ω>0$, $b_1=2$, and fails to be of Lefschetz type. The purpose of this paper is to construct an infinite number of examples… ▽ More Symplectic 4-manifolds $(X,ω)$ with $b_+{=}1$ are roughly classified by the canonical class $K$ and the symplectic form $ω$ depending upon the sign of $K^2$ and $K\cdot ω$. Examples are known for each category except for the case when the manifold satisfies $K^2=0$, $K\cdot ω>0$, $b_1=2$, and fails to be of Lefschetz type. The purpose of this paper is to construct an infinite number of examples of such manifolds. Furthermore, we will show that these manifolds have very special properties -- they are not complex manifolds, their Seiberg-Witten invariants are independent of the chamber structure, and they do not have metrics of positive scalar curvature. △ Less

Submitted 10 November, 2003; originally announced November 2003.

Comments: 17 pages, 1 figure

MSC Class: 53D05; 57R17; 57R57; 57M60

Seiberg-Witten vanishing theorem for $S^1$-manifolds with fixed points

Authors: Scott Baldridge

Abstract: In this paper we show that the Seiberg--Witten invariant is zero for all smooth 4--manifolds with $b_+{>}1$ which admit circle actions that have at least one fixed point. Furthermore, we show that all symplectic 4--manifolds which admit circle actions with fixed points are rational or ruled, and thus admit a symplectic circle action. In this paper we show that the Seiberg--Witten invariant is zero for all smooth 4--manifolds with $b_+{>}1$ which admit circle actions that have at least one fixed point. Furthermore, we show that all symplectic 4--manifolds which admit circle actions with fixed points are rational or ruled, and thus admit a symplectic circle action. △ Less

Submitted 10 February, 2002; v1 submitted 6 January, 2002; originally announced January 2002.

Comments: Includes new theorem classifying symplectic 4-manifolds with circle actions having fixed points. Minor updates to existing proofs to reflect the new theorem. 7 pages, 2 figures

MSC Class: 57R57; 57M60

Seiberg-Witten invariants, orbifolds, and circle actions

Authors: Scott Baldridge

Abstract: The main result of this paper is a formula for calculating the Seiberg-Witten invariants of 4-manifolds with fixed-point free circle actions. This is done by showing under suitable conditions the existence of a diffeomorphism between the moduli space of the 4-manifold and the moduli space of the quotient 3-orbifold. Two corollaries include b_+>1 4-manifolds with fixed-point free circle actions a… ▽ More The main result of this paper is a formula for calculating the Seiberg-Witten invariants of 4-manifolds with fixed-point free circle actions. This is done by showing under suitable conditions the existence of a diffeomorphism between the moduli space of the 4-manifold and the moduli space of the quotient 3-orbifold. Two corollaries include b_+>1 4-manifolds with fixed-point free circle actions are simple type and a new proof that the four dimensional invariants of $Y \times S^1$ are equal to the the three dimensional invariants of $Y$. An infinite number of b_+=1 4-manifolds where the Seiberg-Witten invariants are still diffeomorphism invariants are constructed and studied. △ Less

Submitted 12 July, 2001; originally announced July 2001.

Comments: Latex, 27 pages, 2 figures

MSC Class: 57R57; 57M60

Seiberg-Witten invariants of 4-manifolds with free circle actions

Authors: Scott Baldridge

Abstract: The main results of this paper describes a formula for the Seiberg-Witten invariant of a 4-manifold which admits a nontrivial free S^1-action. We use this theorem to produce a nonsymplectic 4-manifold with a free circle action whose orbit space fibers over S^1. We also describe a 3-manifold which is not the orbit space of any symplectic 4-manifold with a free circle action. A corollary of the ma… ▽ More The main results of this paper describes a formula for the Seiberg-Witten invariant of a 4-manifold which admits a nontrivial free S^1-action. We use this theorem to produce a nonsymplectic 4-manifold with a free circle action whose orbit space fibers over S^1. We also describe a 3-manifold which is not the orbit space of any symplectic 4-manifold with a free circle action. A corollary of the main theorem is a formula for the 3-dimensional Seiberg-Witten invariants of the total space of a circle bundle over a surface. △ Less

Submitted 8 November, 1999; originally announced November 1999.

Comments: LaTex, 13 pages, 2 figures

MSC Class: 57R57; 57M60