Showing 1–47 of 47 results for author: Feehan, P M N

Almost Hermitian structures on moduli spaces of non-Abelian monopoles and applications to the topology of symplectic four-manifolds

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: This work is a sequel to our previous monograph arXiv:2010.15789 (to appear in AMS Memoirs), where we initiated our program to prove that the Bogomolov-Miyaoka-Yau inequality holds for closed, symplectic four-manifolds and, more generally, for closed, smooth four-manifolds with a Seiberg-Witten basic class. This inequality was first proved for compact, complex surfaces of general type by Miyaoka (… ▽ More This work is a sequel to our previous monograph arXiv:2010.15789 (to appear in AMS Memoirs), where we initiated our program to prove that the Bogomolov-Miyaoka-Yau inequality holds for closed, symplectic four-manifolds and, more generally, for closed, smooth four-manifolds with a Seiberg-Witten basic class. This inequality was first proved for compact, complex surfaces of general type by Miyaoka (1977) and Yau (1978). Our approach uses a version of Morse theory for a natural Hamiltonian, the square of the $L^2$ norm of the coupled spinors, for the circle action on the moduli space of non-Abelian monopoles over a closed four-manifold. It has the aim of proving the existence of a projectively anti-self-dual connection on a rank-two Hermitian vector bundle over a blow-up of the four-manifold, where the first Pontrjagin number of the vector bundle is negative and greater than or equal to minus the Euler characteristic of the blown-up four-manifold. Our Morse theory argument relies on positivity of virtual Morse-Bott indices for critical points of Hamiltonians for circle actions on complex analytic spaces (or real analytic spaces that, locally, are sufficiently well-approximated by complex analytic model spaces), as developed by the first author in arXiv:2206.14710. In our application to the moduli space of non-Abelian monopoles, the critical points are fixed points of the circle action and thus represented by Seiberg-Witten monopoles. △ Less

Submitted 17 October, 2024; originally announced October 2024.

Comments: 165 pages, draws on arXiv:2010.15789 by the same authors for background material

Bialynicki-Birula theory, Morse-Bott theory, and resolution of singularities for analytic spaces

Authors: Paul M. N. Feehan

Abstract: Our goal in this work is to develop aspects of Bialynicki-Birula and Morse-Bott theory that can be extended from the classical setting of smooth manifolds to that of complex analytic spaces with a holomorphic $\mathbb{C}^*$ action. We extend prior results on existence of Bialynicki-Birula decompositions for compact, complex Kähler manifolds to non-compact complex manifolds and develop functorial p… ▽ More Our goal in this work is to develop aspects of Bialynicki-Birula and Morse-Bott theory that can be extended from the classical setting of smooth manifolds to that of complex analytic spaces with a holomorphic $\mathbb{C}^*$ action. We extend prior results on existence of Bialynicki-Birula decompositions for compact, complex Kähler manifolds to non-compact complex manifolds and develop functorial properties of the Bialynicki-Birula decomposition, in particular with respect to blowup along a $\mathbb{C}^*$-invariant, embedded complex submanifold. We deduce the existence of a Bialynicki-Birula decomposition for a $\mathbb{C}^*$-invariant, closed, complex analytic subspace of complex manifold with a $\mathbb{C}^*$ action; derive geometric consequences for the positivity of the Bialynicki-Birula nullity, co-index, and index at a fixed point; and we develop stronger versions of these results by applying resolution of singularities for analytic spaces. △ Less

Submitted 22 December, 2022; v1 submitted 29 June, 2022; originally announced June 2022.

Comments: 196 pages, 5 figures, 334 bibliographic entries, draws on arXiv:2010.15789 with Thomas G. Leness for background material

Report number: DIAS-STP-22-07 MSC Class: 14E15; 32CXX; 32MXX; 32S45 (primary); 37B30; 37D15; 37JXX; 57Q70; 58E05 (secondary)

Virtual Morse-Bott index, moduli spaces of pairs, and applications to topology of smooth four-manifolds

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: We previously developed an approach to Bialynicki-Birula theory for holomorphic $\mathbb{C}^*$ actions on complex analytic spaces and the concept of virtual Morse-Bott indices for singular critical points of Hamiltonian functions for the induced circle actions (see Feehan, arXiv:2206.14710). For Hamiltonian functions of circle actions on closed, complex Kaehler manifolds, the virtual Morse-Bott in… ▽ More We previously developed an approach to Bialynicki-Birula theory for holomorphic $\mathbb{C}^*$ actions on complex analytic spaces and the concept of virtual Morse-Bott indices for singular critical points of Hamiltonian functions for the induced circle actions (see Feehan, arXiv:2206.14710). For Hamiltonian functions of circle actions on closed, complex Kaehler manifolds, the virtual Morse-Bott index coincides with the classical Morse-Bott index due to Bott (1954) and Frankel (1959). A key principle in our approach is that positivity of the virtual Morse-Bott index at a critical point of the Hamiltonian function implies that the critical point cannot be a local minimum even when that critical point is a singular point in the moduli space. In this monograph, we consider our method in the context of the moduli space of non-Abelian monopoles over a closed, complex, Kaehler surface. We use the Hirzebruch-Riemann-Roch Theorem to compute virtual Morse-Bott indices of all critical strata (Seiberg-Witten moduli subspaces) and we prove that these indices are positive in a setting motivated by the conjecture that all closed, smooth four-manifolds of Seiberg-Witten simple type obey the Bogomolov-Miyaoka-Yau inequality. △ Less

Submitted 3 July, 2023; v1 submitted 29 October, 2020; originally announced October 2020.

Comments: 366+xx pages, 1 figure. Supporting background material drawn from our monograph arXiv:math/0203047. To appear in Memoirs of the American Mathematical Society

Report number: DIAS-STP-20-18 MSC Class: 57K40; 57K41; 57R57; 58D27; 58D29 (Primary); 53C07; 53C27; 58J05; 58J20 (secondary)

Gluing in geometric analysis via maps of Banach manifolds with corners and applications to gauge theory

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: We describe a new approach to the problem of constructing gluing parameterizations for open neighborhoods of boundary points of moduli spaces of anti-self-dual connections over closed four-dimensional manifolds. Our approach employs general results from differential topology for $C^1$ maps of smooth Banach manifolds with corners, providing a method that should apply to other problems in geometric… ▽ More We describe a new approach to the problem of constructing gluing parameterizations for open neighborhoods of boundary points of moduli spaces of anti-self-dual connections over closed four-dimensional manifolds. Our approach employs general results from differential topology for $C^1$ maps of smooth Banach manifolds with corners, providing a method that should apply to other problems in geometric analysis involving the gluing construction of solutions to nonlinear partial differential equations. △ Less

Submitted 31 October, 2019; originally announced October 2019.

Comments: 72 pages

Morse theory for the Yang-Mills energy function near flat connections

Authors: Paul M. N. Feehan

Abstract: A result (Corollary 4.3) in an article by Uhlenbeck (1985) asserts that the $W^{1,p}$-distance between the gauge-equivalence class of a connection $A$ and the moduli subspace of flat connections $M(P)$ on a principal $G$-bundle $P$ over a closed Riemannian manifold $X$ of dimension $d\geq 2$ is bounded by a constant times the $L^p$ norm of the curvature, $\|F_A\|_{L^p(X)}$, when $G$ is a compact L… ▽ More A result (Corollary 4.3) in an article by Uhlenbeck (1985) asserts that the $W^{1,p}$-distance between the gauge-equivalence class of a connection $A$ and the moduli subspace of flat connections $M(P)$ on a principal $G$-bundle $P$ over a closed Riemannian manifold $X$ of dimension $d\geq 2$ is bounded by a constant times the $L^p$ norm of the curvature, $\|F_A\|_{L^p(X)}$, when $G$ is a compact Lie group, $F_A$ is $L^p$-small, and $p>d/2$. While we prove that this estimate holds when the Yang-Mills energy function on the space of Sobolev connections is Morse-Bott along the moduli subspace $M(P)$ of flat connections, it does not hold when the Yang-Mills energy function fails to be Morse-Bott, such as at the product connection in the moduli space of flat $\mathrm{SU}(2)$ connections over a real two-dimensional torus. However, we prove that a useful modification of Uhlenbeck's estimate always holds provided one replaces $\|F_A\|_{L^p(X)}$ by a suitable power $\|F_A\|_{L^p(X)}^λ$, where the positive exponent $λ$ reflects the structure of non-regular points in $M(P)$. The proof of our refinement involves gradient flow and Morse theory for the Yang-Mills energy function on the quotient space of Sobolev connections and a Lojasiewicz distance inequality for the Yang-Mills energy function. A special case of our estimate, when $X$ has dimension four and the connection $A$ is anti-self-dual, was proved by Fukaya (1998) by entirely different methods. Lastly, we prove that if $A$ is a smooth Yang-Mills connection with small enough energy, then $A$ is necessarily flat. △ Less

Submitted 4 January, 2024; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: 98 pages. The article draws on supporting material from our articles arXiv:1706.09349, arXiv:1510.03817, arXiv:1510.03815, arXiv:1502.00668, arXiv:1412.4114, and arXiv:1409.1525. We use one figure from arXiv:1301.0164 due to Hedden, Herald, and Kirk by permission of those authors. Additional detail has been added to Appendix A, where a key example is explained

Report number: DIAS-STP-19-05 MSC Class: Primary 58E15; 57R57; secondary 37D15; 58D27; 70S15; 81T13

Lojasiewicz--Simon gradient inequalities for the harmonic map energy function

Authors: Paul M. N. Feehan, Manousos Maridakis

Abstract: We apply our abstract gradient inequalities developed by the authors in arXiv:1510.03817 to prove Lojasiewicz--Simon gradient inequalities for the harmonic map energy function using Sobolev spaces which impose minimal regularity requirements on maps between closed, Riemannian manifolds. Our Lojasiewicz--Simon gradient inequalities for the harmonic map energy function generalize those of Kwon (2002… ▽ More We apply our abstract gradient inequalities developed by the authors in arXiv:1510.03817 to prove Lojasiewicz--Simon gradient inequalities for the harmonic map energy function using Sobolev spaces which impose minimal regularity requirements on maps between closed, Riemannian manifolds. Our Lojasiewicz--Simon gradient inequalities for the harmonic map energy function generalize those of Kwon (2002), Liu and Yang (2010), Simon (1983, 1985), and Topping (1997). △ Less

Submitted 5 March, 2019; originally announced March 2019.

Comments: 33 pages. This is part 2 of our previous article arXiv:1510.03817v7, which is now being split into two parts

On the Morse-Bott property of analytic functions on Banach spaces with Lojasiewicz exponent one half

Authors: Paul M. N. Feehan

Abstract: It is a consequence of the Morse-Bott Lemma on Banach spaces that a smooth Morse-Bott function on an open neighborhood of a critical point in a Banach space obeys a Lojasiewicz gradient inequality with the optimal exponent one half. In this article we prove converses for analytic functions on Banach spaces: If the Lojasiewicz exponent of an analytic function is equal to one half at a critical poin… ▽ More It is a consequence of the Morse-Bott Lemma on Banach spaces that a smooth Morse-Bott function on an open neighborhood of a critical point in a Banach space obeys a Lojasiewicz gradient inequality with the optimal exponent one half. In this article we prove converses for analytic functions on Banach spaces: If the Lojasiewicz exponent of an analytic function is equal to one half at a critical point, then the function is Morse-Bott and thus its critical set nearby is an analytic submanifold. The main ingredients in our proofs are the Lojasiewicz gradient inequality for an analytic function on a finite-dimensional vector space and the Morse Lemma for functions on Banach spaces with degenerate critical points that generalize previous versions in the literature, and which we also use to give streamlined proofs of the Lojasiewicz-Simon gradient inequalities for analytic functions on Banach spaces. △ Less

Submitted 12 April, 2020; v1 submitted 29 March, 2018; originally announced March 2018.

Comments: 47 pages, incorporating final galley proof corrections. Background material drawn from arXiv:1708.09775, arXiv:1706.09349, and arXiv:1510.03817v5. To appear in Calculus of Variations and Partial Differential Equations

Report number: DIAS-STP-18-03 MSC Class: Primary 32B20; 32C05; 32C18; 32C25; 58E05; secondary 14E15; 32S45; 57R45; 58A07; 58A35

Journal ref: Calculus of Variations and Partial Differential Equations 59 (2020), article no. 87, 50 pages

Resolution of singularities and geometric proofs of the Lojasiewicz inequalities

Authors: Paul M. N. Feehan

Abstract: The Lojasiewicz inequalities for real analytic functions on Euclidean space were first proved by Stanislaw Lojasiewicz (1965) using methods of semianalytic and subanalytic sets, arguments later simplified by Bierstone and Milman (1988). In this article, we first give an elementary geometric, coordinate-based proof of the Lojasiewicz inequalities in the special case where the function is $C^1$ with… ▽ More The Lojasiewicz inequalities for real analytic functions on Euclidean space were first proved by Stanislaw Lojasiewicz (1965) using methods of semianalytic and subanalytic sets, arguments later simplified by Bierstone and Milman (1988). In this article, we first give an elementary geometric, coordinate-based proof of the Lojasiewicz inequalities in the special case where the function is $C^1$ with simple normal crossings. We then prove, partly following Bierstone and Milman (1997) and using resolution of singularities for real analytic varieties, that the gradient inequality for an arbitrary real or complex analytic function follows from the special case where it has simple normal crossings. In addition, we prove the Lojasiewicz inequalities when a function is $C^N$ and generalized Morse-Bott of order $N \geq 3$; we gave an elementary proof of the Lojasiewicz inequalities when a function is $C^2$ and Morse-Bott in arXiv:1708.09775v4 (finite-dimensional case) and arXiv:1706.09349 (infinite-dimensional case). △ Less

Submitted 6 January, 2020; v1 submitted 31 August, 2017; originally announced August 2017.

Comments: 28 pages, incorporating final galley proof corrections

Report number: DIAS-STP-17-08

Journal ref: Geom. Topol. 23 (2019) 3273-3313

Optimal Lojasiewicz-Simon inequalities and Morse-Bott Yang-Mills energy functions

Authors: Paul M. N. Feehan

Abstract: For any compact Lie group $G$ and closed, smooth Riemannian manifold $(X,g)$ of dimension $d\geq 2$, we extend a result due to Uhlenbeck (1985) that gives existence of a flat connection on a principal $G$-bundle over $X$ supporting a connection with $L^p$-small curvature, when $p>d/2$, to the case of a connection with $L^{d/2}$-small curvature. We prove an optimal Lojasiewicz-Simon gradient inequa… ▽ More For any compact Lie group $G$ and closed, smooth Riemannian manifold $(X,g)$ of dimension $d\geq 2$, we extend a result due to Uhlenbeck (1985) that gives existence of a flat connection on a principal $G$-bundle over $X$ supporting a connection with $L^p$-small curvature, when $p>d/2$, to the case of a connection with $L^{d/2}$-small curvature. We prove an optimal Lojasiewicz-Simon gradient inequality for abstract Morse-Bott functions on Banach manifolds, generalizing an earlier result due to the author and Maridakis in arXiv:1510.03817. We apply this result to prove the optimal Lojasiewicz-Simon gradient inequality for the self-dual Yang-Mills energy function near regular anti-self-dual connections over closed Riemannian four-manifolds and for the full Yang-Mills energy function over closed Riemannian manifolds of dimension $d \geq 2$, when known to be Morse-Bott at a given Yang-Mills connection. We also prove the optimal Lojasiewicz-Simon gradient inequality by direct analysis near a given flat connection that is a regular point of the curvature map. We also prove the Morse-Bott property for irreducible Yang-Mills $U(n)$ connections over Riemann surfaces and hence a new proof of the optimal Lojasiewicz-Simon gradient inequality for such critical points. △ Less

Submitted 17 November, 2020; v1 submitted 28 June, 2017; originally announced June 2017.

Comments: 44 pages. Relies on arXiv:1502.00668 by the author and on arXiv:1510.03817 by the author and Maridakis for background material and supporting results

Report number: DIAS-STP-17-04 MSC Class: Primary 58E15; 57R57; secondary 37D15; 58D27; 70S15

Relative energy gap for harmonic maps of Riemann surfaces into real analytic Riemannian manifolds

Authors: Paul M. N. Feehan

Abstract: We extend the well-known Sacks-Uhlenbeck energy gap result (1981) for harmonic maps from closed Riemann surfaces into closed Riemannian manifolds from the case of maps with small energy (thus near a constant map), to the case of harmonic maps with high absolute energy but small energy relative to a reference harmonic map. We extend the well-known Sacks-Uhlenbeck energy gap result (1981) for harmonic maps from closed Riemann surfaces into closed Riemannian manifolds from the case of maps with small energy (thus near a constant map), to the case of harmonic maps with high absolute energy but small energy relative to a reference harmonic map. △ Less

Submitted 1 February, 2018; v1 submitted 15 September, 2016; originally announced September 2016.

Comments: 11 pages, incorporating final galley proof corrections. To appear in Proceedings of the American Mathematical Society. arXiv admin note: text overlap with arXiv:1510.03817

MSC Class: 58E20; 37D15

Journal ref: Proceedings of the American Mathematical Society 146 (2018), No. 7, pp. 3179-3190

Lojasiewicz-Simon gradient inequalities for analytic and Morse-Bott functions on Banach spaces

Authors: Paul M. N. Feehan, Manousos Maridakis

Abstract: We prove several abstract versions of the Lojasiewicz-Simon gradient inequality for an analytic functional on a Banach space that generalize previous abstract versions of this inequality, weakening their hypotheses and, in particular, the well-known infinite-dimensional version of the gradient inequality due to Lojasiewicz proved by Simon (1983). We also prove that the optimal exponent of the Loja… ▽ More We prove several abstract versions of the Lojasiewicz-Simon gradient inequality for an analytic functional on a Banach space that generalize previous abstract versions of this inequality, weakening their hypotheses and, in particular, the well-known infinite-dimensional version of the gradient inequality due to Lojasiewicz proved by Simon (1983). We also prove that the optimal exponent of the Lojasiewicz-Simon gradient inequality is obtained when the functional is Morse-Bott, improving on similar results due to Chill (2003, 2006), Haraux and Jendoubi (2007), and Simon (1996). In our article arXiv:1903.01953, we apply our abstract Lojasiewicz-Simon gradient inequalities to prove a Lojasiewicz-Simon gradient inequalities for the harmonic map energy functional using Sobolev spaces which impose minimal regularity requirements on maps between closed, Riemannian manifolds. Those inequalities for the harmonic map energy functional generalize those of Kwon (2002), Liu and Yang (2010), Simon (1983, 1985), and Topping (1997). In our monograph arXiv:1510.03815, we prove Lojasiewicz--Simon gradient inequalities for coupled Yang--Mills energy functions using Sobolev spaces which impose minimal regularity requirements on pairs of connections and sections. Those inequalities generalize that of the pure Yang--Mills energy function due to the first author (Theorems 23.1 and 23.17 in arXiv:1409.1525) for base manifolds of arbitrary dimension and due to Rade (1992) for dimensions two and three. △ Less

Submitted 23 September, 2019; v1 submitted 13 October, 2015; originally announced October 2015.

Comments: 31 pages, incorporating final galley proof corrections. To appear in Journal fur die reine und angewandte Mathematik (Crelle's Journal)

MSC Class: 58E20; secondary 37D15

Journal ref: Journal fuer die Reine und Angewandte Mathematik (Crelle's Journal) 765 (2020), 35-67

Lojasiewicz-Simon gradient inequalities for coupled Yang-Mills energy functions

Authors: Paul M. N. Feehan, Manousos Maridakis

Abstract: In this sequel to arXiv:1510.03817, we apply our abstract Lojasiewicz-Simon gradient inequality to prove Lojasiewicz-Simon gradient inequalities for coupled Yang-Mills energy functions using Sobolev spaces which impose minimal regularity requirements on pairs of connections and sections. The Lojasiewicz-Simon gradient inequalities for coupled Yang-Mills energy functions generalize that of the pure… ▽ More In this sequel to arXiv:1510.03817, we apply our abstract Lojasiewicz-Simon gradient inequality to prove Lojasiewicz-Simon gradient inequalities for coupled Yang-Mills energy functions using Sobolev spaces which impose minimal regularity requirements on pairs of connections and sections. The Lojasiewicz-Simon gradient inequalities for coupled Yang-Mills energy functions generalize that of the pure Yang-Mills energy function due to the first author (Theorems 23.1 and 23.17 in arXiv:1409.1525) for base manifolds of dimensions two, three and four and due to Rade (1992) for dimensions two and three. △ Less

Submitted 15 January, 2019; v1 submitted 13 October, 2015; originally announced October 2015.

Comments: xvi + 138 pages. To appear in Memoirs of the American Mathematical Society

MSC Class: Primary 58E15; 57R57; secondary 37D15; 58D27; 70S15; 81T13

Feynman-Kac Formulas for Solutions to Degenerate Elliptic and Parabolic Boundary-Value and Obstacle Problems with Dirichlet Boundary Conditions

Authors: Paul M. N. Feehan, Ruoting Gong, Jian Song

Abstract: We prove Feynman-Kac formulas for solutions to elliptic and parabolic boundary value and obstacle problems associated with a general Markov diffusion process. Our diffusion model covers several popular stochastic volatility models, such as the Heston model, the CEV model and the SABR model, which are widely used as asset pricing models in mathematical finance. The generator of this Markov process… ▽ More We prove Feynman-Kac formulas for solutions to elliptic and parabolic boundary value and obstacle problems associated with a general Markov diffusion process. Our diffusion model covers several popular stochastic volatility models, such as the Heston model, the CEV model and the SABR model, which are widely used as asset pricing models in mathematical finance. The generator of this Markov process with killing is a second-order, degenerate, elliptic partial differential operator, where the degeneracy in the operator symbol is proportional to the $2α$-power of the distance to the boundary of the half-plane, with $α\in(0,1]$. Our stochastic representation formulas provide the unique solutions to the elliptic boundary value and obstacle problems, when we seek solutions which are suitably smooth up to the boundary portion $Γ_{0}$ contained in the boundary of the upper half-plane. In the case when the full Dirichlet condition is given, our stochastic representation formulas provide the unique solutions which are not guaranteed to be any more than continuous up to the boundary portion $Γ_{0}$. △ Less

Submitted 13 September, 2015; originally announced September 2015.

Comments: 41 Pages

MSC Class: Primary 60J60; Secondary 60H30; 35J70; 35R45

Discreteness for energies of Yang-Mills connections over four-dimensional manifolds

Authors: Paul M. N. Feehan

Abstract: We generalize our previous results (Theorem 1 and Corollary 2 in arXiv:1412.4114) and Theorem 1 in arXiv:1502.00668) on the existence of an $L^2$-energy gap for Yang-Mills connections over closed four-dimensional manifolds and energies near the ground state (occupied by flat, anti-self-dual, or self-dual connections) to the case of Yang-Mills connections with arbitrary energies. We prove that for… ▽ More We generalize our previous results (Theorem 1 and Corollary 2 in arXiv:1412.4114) and Theorem 1 in arXiv:1502.00668) on the existence of an $L^2$-energy gap for Yang-Mills connections over closed four-dimensional manifolds and energies near the ground state (occupied by flat, anti-self-dual, or self-dual connections) to the case of Yang-Mills connections with arbitrary energies. We prove that for any principal bundle with compact Lie structure group over a closed, four-dimensional, Riemannian manifold, the $L^2$ energies of Yang-Mills connections on a principal bundle form a discrete sequence without accumulation points. Our proof employs a version of our Łojasiewicz-Simon gradient inequality for the Yang-Mills $L^2$-energy functional from our monograph arXiv:1409.1525 and extensions of our previous results on the bubble-tree compactification for the moduli space of anti-self-dual connections arXiv:1504.05741 to the moduli space of Yang-Mills connections with a uniform $L^2$ bound on their energies. △ Less

Submitted 26 May, 2015; originally announced May 2015.

Comments: 89 pages

MSC Class: Primary 58E15; 57R57; secondary 37D15; 58D27; 70S15; 81T13

Geometry of the ends of the moduli space of anti-self-dual connections

Authors: Paul M. N. Feehan

Abstract: Let $X$ be a closed, four-dimensional, oriented, smooth manifold with a Riemannian metric, $g$, let $G$ be a compact Lie group, and $P$ be a principal $G$ bundle over $X$. D. Groisser and T. Parker (1987, 1989) and S. K. Donaldson (1990) conjectured that the moduli space of $g$-anti-self-dual connections on $P$, endowed with the $L^2$ metric, has finite volume and diameter. The purpose of this art… ▽ More Let $X$ be a closed, four-dimensional, oriented, smooth manifold with a Riemannian metric, $g$, let $G$ be a compact Lie group, and $P$ be a principal $G$ bundle over $X$. D. Groisser and T. Parker (1987, 1989) and S. K. Donaldson (1990) conjectured that the moduli space of $g$-anti-self-dual connections on $P$, endowed with the $L^2$ metric, has finite volume and diameter. The purpose of this article is to prove this conjecture under the following additional hypotheses. Suppose that $g$ is generic and $X$ is simply-connected. If (i) $G=SU(2)$ or $SO(3)$ and $b^+(X)=0$ or (ii) $G=SO(3)$ and $w_2(P)\neq 0$, where $w_2(P)$ is the second Stiefel-Whitney class of $P$, then we prove that the moduli space of $g$-anti-self-dual connections on $P$ has finite volume and diameter with respect to the $L^2$ metric. Our development of the bubble-tree compactification of the moduli space of $g$-anti-self-dual connections --- based on ideas of Sacks and Uhlenbeck for sequences of harmonic maps from the two-sphere (1981), Taubes (1988) for sequences of Yang-Mills connections, and Parker and Wolfson (1993, 1996) for sequences of pseudo-holomorphic maps --- provides one of the key technical tools used in the proof. △ Less

Submitted 22 April, 2015; originally announced April 2015.

Comments: 69 pages. This version: September 26, 1994

MSC Class: Primary 58D27; secondary 53C07

Journal ref: Journal of Differential Geometry 42 (1995), 465-553

Energy gap for Yang-Mills connections, II: Arbitrary closed Riemannian manifolds

Authors: Paul M. N. Feehan

Abstract: In this sequel to [arXiv:1412.4114], we prove an $L^{d/2}$ energy gap result for Yang-Mills connections on principal $G$-bundles, $P$, over arbitrary, closed, Riemannian, smooth manifolds of dimension $d\geq 2$. We apply our version of the Lojasiewicz-Simon gradient inequality [arXiv:1409.1525, arXiv:1510.03815] to remove a positivity constraint on a combination of the Ricci and Riemannian curvatu… ▽ More In this sequel to [arXiv:1412.4114], we prove an $L^{d/2}$ energy gap result for Yang-Mills connections on principal $G$-bundles, $P$, over arbitrary, closed, Riemannian, smooth manifolds of dimension $d\geq 2$. We apply our version of the Lojasiewicz-Simon gradient inequality [arXiv:1409.1525, arXiv:1510.03815] to remove a positivity constraint on a combination of the Ricci and Riemannian curvatures in a previous $L^{d/2}$-energy gap result due to Gerhardt (2010) and a previous $L^\infty$-energy gap result due to Bourguignon, Lawson, and Simons (1981, 1979), as well as an $L^2$-energy gap result due to Nakajima (1987) for a Yang-Mills connection over the sphere, $S^d$, but with an arbitrary Riemannian metric. The main correction in this version involves replacement of the role of Corollary 4.3 due to Uhlenbeck (1985) and Theorem 5.1 due to the author in the published version of this article at http://dx.doi.org/10.1016/j.aim.2017.03.023 by that of Theorems 1 and 9 due to the author in arXiv:1906.03954. △ Less

Submitted 14 July, 2019; v1 submitted 2 February, 2015; originally announced February 2015.

Comments: 26 pages, incorporating final galley proof corrections and corrections to errors noticed since publication online at http://dx.doi.org/10.1016/j.aim.2017.03.023. Background and analytical results provided by arXiv:1409.1525, arXiv:1706.09349, and arXiv:1906.03954

MSC Class: Primary 58E15; 57R57; secondary 37D15; 58D27; 70S15; 81T13

Journal ref: Advances in Mathematics 312 (2017), 547-587

Global existence and convergence of solutions to gradient systems and applications to Yang-Mills gradient flow

Authors: Paul M. N. Feehan

Abstract: In this monograph, we develop results on global existence and convergence of solutions to abstract gradient flows on Banach spaces for a potential function that obeys the Lojasiewicz-Simon gradient inequality. We prove a Lojasiewicz-Simon gradient inequality for the Yang-Mills energy functional over closed, smooth Riemannian manifolds of arbitrary dimension and apply the resulting framework to pro… ▽ More In this monograph, we develop results on global existence and convergence of solutions to abstract gradient flows on Banach spaces for a potential function that obeys the Lojasiewicz-Simon gradient inequality. We prove a Lojasiewicz-Simon gradient inequality for the Yang-Mills energy functional over closed, smooth Riemannian manifolds of arbitrary dimension and apply the resulting framework to prove new results for the gradient flow equation for the Yang-Mills energy functional on a principal bundle, with compact Lie structure group, over a closed, smooth Riemannian manifolds, including the following. If the initial connection is close enough to a local minimum of the Yang-Mills energy functional, in a norm sense when the base manifold has arbitrary dimension or in an energy sense when the base manifold has dimension four, then the Yang-Mills gradient flow exists for all time and converges to a Yang-Mills connection. If the initial connection is allowed to have arbitrary energy but we restrict to the setting of a Hermitian vector bundle over a compact, complex, Hermitian (but not necessarily Kaehler) surface and the initial connection has curvature of type (1,1), then the Yang-Mills gradient flow exists for all time, though bubble singularities may (and in certain cases must) occur in the limit as time tends to infinity. △ Less

Submitted 13 October, 2016; v1 submitted 4 September, 2014; originally announced September 2014.

Comments: xx + 475 pages

MSC Class: Primary 35A01; 47J35; 58D25; 58E15; 58J35; secondary 35K55; 37B35; 37L15

The SO(3) monopole cobordism and superconformal simple type

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: We show that the SO(3) monopole cobordism formula from Feehan and Leness (2002) implies that all smooth, closed, oriented four-manifolds with $b^1=0$ and $b^+\geq 3$ and odd with Seiberg-Witten simple type satisfy the superconformal simple type condition defined by Marino, Moore, and Peradze (1999) This implies the lower bound, conjectured by Fintushel and Stern (2001) on the number of Seiberg-Wit… ▽ More We show that the SO(3) monopole cobordism formula from Feehan and Leness (2002) implies that all smooth, closed, oriented four-manifolds with $b^1=0$ and $b^+\geq 3$ and odd with Seiberg-Witten simple type satisfy the superconformal simple type condition defined by Marino, Moore, and Peradze (1999) This implies the lower bound, conjectured by Fintushel and Stern (2001) on the number of Seiberg-Witten basic classes in terms of topological data. △ Less

Submitted 25 September, 2019; v1 submitted 22 August, 2014; originally announced August 2014.

Comments: 32 pages, incorporating final galley proof corrections. To appear in Advances in Mathematics

MSC Class: 53C07; 57R57; 58J05; 58J20; 58J52

Journal ref: Advances in Mathematics 356 (2019), article no. 106817, 38 pages

Superconformal simple type and Witten's conjecture

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: Let $X$ be a smooth, closed, connected, orientable four-manifold with $b^1(X)=0$ and $b^+(X)\geq 3$ and odd. We show that if $X$ has Seiberg-Witten simple type, then the SO(3)-monopole cobordism formula of Feehan and Leness (2002) implies Witten's Conjecture relating the Donaldson and Seiberg-Witten invariants. Let $X$ be a smooth, closed, connected, orientable four-manifold with $b^1(X)=0$ and $b^+(X)\geq 3$ and odd. We show that if $X$ has Seiberg-Witten simple type, then the SO(3)-monopole cobordism formula of Feehan and Leness (2002) implies Witten's Conjecture relating the Donaldson and Seiberg-Witten invariants. △ Less

Submitted 25 September, 2019; v1 submitted 21 August, 2014; originally announced August 2014.

Comments: 31 pages, incorporating final galley proof corrections. To appear in Advances in Mathematics

Journal ref: Advances in Mathematics 356 (2019), article no. 106821, 35 pages

Maximum principles for boundary-degenerate linear parabolic differential operators

Authors: Paul M. N. Feehan

Abstract: We develop weak and strong maximum principles for boundary-degenerate, linear, parabolic, second-order partial differential operators, $Lu := -u_t-\tr(aD^2u)-\langle b, Du\rangle + cu$, with \emph{partial} Dirichlet boundary conditions. The coefficient, $a(t,x)$, is assumed to vanish along a non-empty open subset, $\mydirac_0!\sQ$, called the \emph{degenerate boundary portion}, of the parabolic bo… ▽ More We develop weak and strong maximum principles for boundary-degenerate, linear, parabolic, second-order partial differential operators, $Lu := -u_t-\tr(aD^2u)-\langle b, Du\rangle + cu$, with \emph{partial} Dirichlet boundary conditions. The coefficient, $a(t,x)$, is assumed to vanish along a non-empty open subset, $\mydirac_0!\sQ$, called the \emph{degenerate boundary portion}, of the parabolic boundary, $\mydirac!\sQ$, of the domain $\sQ\subset\RR^{d+1}$, while $a(t,x)$ may be non-zero at points in the \emph{non-degenerate boundary portion}, $\mydirac_1!\sQ := \mydirac!\sQ\less\bar{\mydirac_0!\sQ}$. Points in $\mydirac_0!\sQ$ play the same role as those in the interior of the domain, $\sQ$, and only the non-degenerate boundary portion, $\mydirac_1!\sQ$, is required for boundary comparisons. We also develop comparison principles and a priori maximum principle estimates for solutions to boundary value and obstacle problems defined by boundary-degenerate parabolic operators, again where only the non-degenerate boundary portion, $\mydirac_1!\sQ$, is required for boundary comparisons. Our results complement those in our previous articles [arXiv1204.6613, arXiv:1305.5098]. △ Less

Submitted 19 July, 2013; v1 submitted 20 June, 2013; originally announced June 2013.

Comments: 34 pages, 2 figures. This article is the parabolic analogue of arXiv:1204.6613 and restates background material (definitions, notation, spaces) from arXiv:1305.5098

MSC Class: Primary 35B50; 35B51; 35K65; secondary 35D40; 35K85; 60J60

Perturbations of local maxima and comparison principles for boundary-degenerate linear differential equations

Authors: Paul M. N. Feehan

Abstract: We develop strong and weak maximum principles for boundary-degenerate elliptic and parabolic linear second-order partial differential operators, $Au := -\mathrm{tr}(aD^2u)-<b, Du> + cu$, with partial Dirichlet boundary conditions. The coefficient, $a(x)$, is assumed to vanish along a non-empty open subset, $\partial_0\mathscr{O}$, called the \emph{degenerate boundary portion}, of the boundary,… ▽ More We develop strong and weak maximum principles for boundary-degenerate elliptic and parabolic linear second-order partial differential operators, $Au := -\mathrm{tr}(aD^2u)-<b, Du> + cu$, with partial Dirichlet boundary conditions. The coefficient, $a(x)$, is assumed to vanish along a non-empty open subset, $\partial_0\mathscr{O}$, called the \emph{degenerate boundary portion}, of the boundary, $\partial\mathscr{O}$, of the domain $\mathscr{O}\subset\mathbb{R}^d$, while $a(x)$ is non-zero at any point of the \emph{non-degenerate boundary portion}, $\partial_1\mathscr{O} := \partial\mathscr{O}\setminus\overline{\partial_0\mathscr{O}}$. If an $A$-subharmonic function, $u$ in $C^2(\mathscr{O})$ or $W^{2,d}_{\mathrm{loc}}(\mathscr{O})$, is $C^1$ up to $\partial_0\mathscr{O}$ and has a strict local maximum at a point in $\partial_0\mathscr{O}$, we show that $u$ can be perturbed, by the addition of a suitable function $w\in C^2(\mathscr{O})\cap C^1(\mathbb{R}^d)$, to a strictly $A$-subharmonic function $v=u+w$ having a local maximum in the interior of $\mathscr{O}$. Consequently, we obtain strong and weak maximum principles for $A$-subharmonic functions in $C^2(\mathscr{O})$ and $W^{2,d}_{\mathrm{loc}}(\mathscr{O})$ which are $C^1$ up to $\partial_0\mathscr{O}$. Only the non-degenerate boundary portion, $\partial_1\mathscr{O}$, is required for boundary comparisons. Our results extend those in Daskalopoulos and Hamilton (1998), Epstein and Mazzeo [arXiv:1110.0032], and the author [arXiv:1204.6613, 1306.5197], where $\mathrm{tr}(aD^2u)$ is in addition assumed to be continuous up to and vanish along $\partial_0\mathscr{O}$ in order to yield comparable maximum principles for $A$-subharmonic functions in $C^2(\mathscr{O})$, while the results developed here for $A$-subharmonic functions in $W^{2,d}_{\mathrm{loc}}(\mathscr{O})$ are entirely new. △ Less

Submitted 23 April, 2020; v1 submitted 22 May, 2013; originally announced May 2013.

Comments: 55 pages, 1 figure, incorporating final galley proof corrections. Includes summary of background material from its companion articles arXiv:1204.6613 and 1306.5197. To appear in Transactions of the American Mathematical Society

MSC Class: Primary 35B50; 35B51; 35J70; 35K65; secondary 35D40; 35J86; 35K85

A classical Perron method for existence of smooth solutions to boundary value and obstacle problems for degenerate-elliptic operators via holomorphic maps

Authors: Paul M. N. Feehan

Abstract: We prove existence of solutions to boundary value problems and obstacle problems for degenerate-elliptic, linear, second-order partial differential operators with partial Dirichlet boundary conditions using a new version of the Perron method. The elliptic operators considered have a degeneracy along a portion of the domain boundary which is similar to the degeneracy of a model linear operator iden… ▽ More We prove existence of solutions to boundary value problems and obstacle problems for degenerate-elliptic, linear, second-order partial differential operators with partial Dirichlet boundary conditions using a new version of the Perron method. The elliptic operators considered have a degeneracy along a portion of the domain boundary which is similar to the degeneracy of a model linear operator identified by Daskalopoulos and Hamilton (1998) in their study of the porous medium equation or the degeneracy of the Heston operator (1993) in mathematical finance. Existence of a solution to the Dirichlet problem on a half-ball, where the operator becomes degenerate on the flat boundary and a Dirichlet condition is only imposed on the spherical boundary, provides the key additional ingredient required for our Perron method. The solution to the Dirichlet problem on the half-ball can be converted to a Dirichlet problem on an infinite slab via a suitable diffeomorphism which becomes holomorphic in dimension two. The required Schauder regularity theory and existence of a solution to the Dirichlet problem on the slab can nevertheless be obtained using previous work of the author and C. Pop [arXiv:1210.6727]. Our Perron method relies on weak and strong maximum principles for degenerate-elliptic operators, concepts of continuous subsolutions and supersolutions for boundary value and obstacle problems for degenerate-elliptic operators, and maximum and comparison principle estimates previously developed by the author [arXiv:1204.6613]. △ Less

Submitted 18 April, 2013; v1 submitted 7 February, 2013; originally announced February 2013.

Comments: 61 pages, 5 figures

MSC Class: Primary 35J70; 35J86; 49J40; 35R35; 35R45; secondary 49J20; 60J60

On the martingale problem for degenerate-parabolic partial differential operators with unbounded coefficients and a mimicking theorem for Ito processes

Authors: Paul M. N. Feehan, Camelia Pop

Abstract: Using results from our companion article [arXiv:1112.4824v2] on a Schauder approach to existence of solutions to a degenerate-parabolic partial differential equation, we solve three intertwined problems, motivated by probability theory and mathematical finance, concerning degenerate diffusion processes. We show that the martingale problem associated with a degenerate-elliptic differential operator… ▽ More Using results from our companion article [arXiv:1112.4824v2] on a Schauder approach to existence of solutions to a degenerate-parabolic partial differential equation, we solve three intertwined problems, motivated by probability theory and mathematical finance, concerning degenerate diffusion processes. We show that the martingale problem associated with a degenerate-elliptic differential operator with unbounded, locally Holder continuous coefficients on a half-space is well-posed in the sense of Stroock and Varadhan. Second, we prove existence, uniqueness, and the strong Markov property for weak solutions to a stochastic differential equation with degenerate diffusion and unbounded coefficients with suitable Hölder continuity properties. Third, for an Ito process with degenerate diffusion and unbounded but appropriately regular coefficients, we prove existence of a strong Markov process, unique in the sense of probability law, whose one-dimensional marginal probability distributions match those of the given Ito process. △ Less

Submitted 7 August, 2013; v1 submitted 19 November, 2012; originally announced November 2012.

Comments: 27 pages, corresponds to Part 2 of our previous article [arXiv:1112.4824v1]; to appear in Transactions of the American Mathematical Society

MSC Class: Primary 60G44; 60J60; secondary 35K65

Journal ref: Transactions of the American Mathematical Society 367 (2015), 7565-7593

SO(3)-monopoles: The overlap problem

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: The SO(3)-monopole program, initiated by Pidstrigatch and Tyurin [arXiv:dg-ga/9507004], yields a relationship between the Donaldson and Seiberg-Witten invariants through a cobordism between the moduli spaces defining these invariants. The main technical difficulty in this program lies in describing the links of singularities in this cobordism arising from the Seiberg-Witten moduli subspaces. In re… ▽ More The SO(3)-monopole program, initiated by Pidstrigatch and Tyurin [arXiv:dg-ga/9507004], yields a relationship between the Donaldson and Seiberg-Witten invariants through a cobordism between the moduli spaces defining these invariants. The main technical difficulty in this program lies in describing the links of singularities in this cobordism arising from the Seiberg-Witten moduli subspaces. In related articles, we defined maps which, essentially, define normal bundles of strata of these singularities. The link in question is then the boundary of the union of the tubular neighborhoods associated with these normal bundles. However, the SO(3)-monopole program requires the computation of intersection numbers with links where more than one stratum appears in the family of singularities and thus more than one tubular neighborhood appears in the definition of the link. Computations of intersection numbers in unions of open sets have proved difficult for even two open sets, as early work of Leness [arXiv:dg-ga/9603016] and Ozsvath [1994] demonstrated. In this note, we give a brief introduction to our monograph [arXiv:math/0203047], in which we implement these computations. △ Less

Submitted 2 November, 2012; originally announced November 2012.

Comments: 25 pages. May 7, 2005 version with final galley proof corrections

MSC Class: 57R57 (Primary) 58D27; 58D29 (Secondary)

Journal ref: Geometry and topology of manifolds, Fields Inst. Commun., 47, 2005, pp. 97-118

Schauder a priori estimates and regularity of solutions to boundary-degenerate elliptic linear second-order partial differential equations

Authors: Paul M. N. Feehan, Camelia Pop

Abstract: We establish Schauder a priori estimates and regularity for solutions to a class of boundary-degenerate elliptic linear second-order partial differential equations. Furthermore, given a smooth source function, we prove regularity of solutions up to the portion of the boundary where the operator is degenerate. Degenerate-elliptic operators of the kind described in our article appear in a diverse ra… ▽ More We establish Schauder a priori estimates and regularity for solutions to a class of boundary-degenerate elliptic linear second-order partial differential equations. Furthermore, given a smooth source function, we prove regularity of solutions up to the portion of the boundary where the operator is degenerate. Degenerate-elliptic operators of the kind described in our article appear in a diverse range of applications, including as generators of affine diffusion processes employed in stochastic volatility models in mathematical finance, generators of diffusion processes arising in mathematical biology, and the study of porous media. △ Less

Submitted 4 September, 2013; v1 submitted 24 October, 2012; originally announced October 2012.

Comments: 58 pages, 1 figure. To appear in the Journal of Differential Equations. Incorporates final galley proof corrections corresponding to published version

MSC Class: Primary 35J70; secondary 60J60

Journal ref: Journal of Differential Equations 256 (2014), 895-956

Degenerate-elliptic operators in mathematical finance and higher-order regularity for solutions to variational equations

Authors: Paul M. N. Feehan, Camelia A. Pop

Abstract: We establish higher-order weighted Sobolev and Holder regularity for solutions to variational equations defined by the elliptic Heston operator, a linear second-order degenerate-elliptic operator arising in mathematical finance. Furthermore, given $C^\infty$-smooth data, we prove $C^\infty$-regularity of solutions up to the portion of the boundary where the operator is degenerate. In mathematical… ▽ More We establish higher-order weighted Sobolev and Holder regularity for solutions to variational equations defined by the elliptic Heston operator, a linear second-order degenerate-elliptic operator arising in mathematical finance. Furthermore, given $C^\infty$-smooth data, we prove $C^\infty$-regularity of solutions up to the portion of the boundary where the operator is degenerate. In mathematical finance, solutions to obstacle problems for the elliptic Heston operator correspond to value functions for perpetual American-style options on the underlying asset. △ Less

Submitted 13 November, 2014; v1 submitted 13 August, 2012; originally announced August 2012.

Comments: 55 pages, 1 figure. To appear in Advances in Differential Equations. Incorporates final galley proof corrections corresponding to published version

MSC Class: 35J70; 49J40; 35R45 (Primary); 60J60 (Secondary)

Journal ref: Advances in Differential Equations 20 (2015), no. 3/4, 361-432

C^{1,1} regularity for degenerate elliptic obstacle problems

Authors: Panagiota Daskalopoulos, Paul M. N. Feehan

Abstract: The Heston stochastic volatility process is a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this process with killing, called the elliptic Heston operator, is a second-order, degenerate-elliptic partial differential operator, where the degeneracy in the operator s… ▽ More The Heston stochastic volatility process is a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this process with killing, called the elliptic Heston operator, is a second-order, degenerate-elliptic partial differential operator, where the degeneracy in the operator symbol is proportional to the distance to the boundary of the half-plane. In mathematical finance, solutions to the obstacle problem for the elliptic Heston operator correspond to value functions for perpetual American-style options on the underlying asset. With the aid of weighted Sobolev spaces and weighted Holder spaces, we establish the optimal $C^{1,1}$ regularity (up to the boundary of the half-plane) for solutions to obstacle problems for the elliptic Heston operator when the obstacle functions are sufficiently smooth. △ Less

Submitted 5 January, 2016; v1 submitted 5 June, 2012; originally announced June 2012.

Comments: 31 pages, 8 figures. To appear in the Journal of Differential Equations

MSC Class: 35J70; 35J86; 49J40; 35R45 (Primary); 35R35; 49J20; 60J60 (Secondary)

Journal ref: Journal of Differential Equations 260 (2016), 5043-5074

Maximum principles for boundary-degenerate second-order linear elliptic differential operators

Authors: Paul M. N. Feehan

Abstract: We prove weak and strong maximum principles, including a Hopf lemma, for smooth subsolutions to equations defined by linear, second-order, partial differential operators whose principal symbols vanish along a portion of the domain boundary. The boundary regularity property of the smooth subsolutions along this boundary vanishing locus ensures that these maximum principles hold irrespective of the… ▽ More We prove weak and strong maximum principles, including a Hopf lemma, for smooth subsolutions to equations defined by linear, second-order, partial differential operators whose principal symbols vanish along a portion of the domain boundary. The boundary regularity property of the smooth subsolutions along this boundary vanishing locus ensures that these maximum principles hold irrespective of the sign of the Fichera function. Boundary conditions need only be prescribed on the complement in the domain boundary of the principal symbol vanishing locus. We obtain uniqueness and a priori maximum principle estimates for smooth solutions to boundary value and obstacle problems defined by these boundary-degenerate elliptic operators for partial Dirichlet or Neumann boundary conditions along the complement of the boundary vanishing locus. We also prove weak maximum principles and uniqueness for solutions to the corresponding variational equations and inequalities defined with the aide of weighted Sobolev spaces. The domain is allowed to be unbounded when the operator coefficients and solutions obey certain growth conditions. △ Less

Submitted 12 September, 2013; v1 submitted 30 April, 2012; originally announced April 2012.

Comments: 62 pages, 2 figures. Accepted for publication in Communications in Partial Differential Equations. Incorporates final galley proof corrections corresponding to published version

MSC Class: Primary 35B50; 35B51; 35J70; 35J86; 35R45; secondary 49J20; 49J40; 60J60

Journal ref: Communications in Partial Differential Equations 38 (2013), no.11, 1863-1935

Stochastic representation of solutions to degenerate elliptic and parabolic boundary value and obstacle problems with Dirichlet boundary conditions

Authors: Paul M. N. Feehan, Camelia Pop

Abstract: We prove existence and uniqueness of stochastic representations for solutions to elliptic and parabolic boundary value and obstacle problems associated with a degenerate Markov diffusion process. In particular, our article focuses on the Heston stochastic volatility process, which is widely used as an asset price model in mathematical finance and a paradigm for a degenerate diffusion process where… ▽ More We prove existence and uniqueness of stochastic representations for solutions to elliptic and parabolic boundary value and obstacle problems associated with a degenerate Markov diffusion process. In particular, our article focuses on the Heston stochastic volatility process, which is widely used as an asset price model in mathematical finance and a paradigm for a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this process with killing, called the elliptic Heston operator, is a second-order, degenerate, elliptic partial differential operator whose coefficients have linear growth in the spatial variables and where the degeneracy in the operator symbol is proportional to the distance to the boundary of the half-plane. In mathematical finance, solutions to terminal/boundary value or obstacle problems for the parabolic Heston operator correspond to value functions for American-style options on the underlying asset. △ Less

Submitted 20 January, 2013; v1 submitted 5 April, 2012; originally announced April 2012.

Comments: 47 pages; to appear in Transactions of the American Mathematical Society

MSC Class: 60J60 (Primary) 35J70; 35R45 (Secondary)

Journal ref: Transactions of the American Mathematical Society 367 (2015), 981-1031

A Schauder approach to degenerate-parabolic partial differential equations with unbounded coefficients

Authors: Paul M. N. Feehan, Camelia Pop

Abstract: Motivated by applications to probability and mathematical finance, we consider a parabolic partial differential equation on a half-space whose coefficients are suitably Holder continuous and allowed to grow linearly in the spatial variable and which become degenerate along the boundary of the half-space. We establish existence and uniqueness of solutions in weighted Holder spaces which incorporate… ▽ More Motivated by applications to probability and mathematical finance, we consider a parabolic partial differential equation on a half-space whose coefficients are suitably Holder continuous and allowed to grow linearly in the spatial variable and which become degenerate along the boundary of the half-space. We establish existence and uniqueness of solutions in weighted Holder spaces which incorporate both the degeneracy at the boundary and the unboundedness of the coefficients. In our companion article [arXiv:1211.4636], we apply the main result of this article to show that the martingale problem associated with a degenerate-elliptic partial differential operator is well-posed in the sense of Stroock and Varadhan. △ Less

Submitted 8 August, 2013; v1 submitted 20 December, 2011; originally announced December 2011.

Comments: 42 pages; corresponds to Part 1 of our previous article [arxiv.org:1112.4824v1]. Incorporates final galley proof corrections corresponding to published version

MSC Class: 35J70 (Primary) 60J60 (Secondary)

Journal ref: Journal of Differential Equations 254 (2013), 4401-4445

Boundary-degenerate elliptic operators and Holder continuity for solutions to variational equations and inequalities

Authors: Paul M. N. Feehan, Camelia A. Pop

Abstract: The Heston stochastic volatility process, which is widely used as an asset price model in mathematical finance, is a paradigm for a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this process with killing, called the elliptic Heston operator, is a second-order, deg… ▽ More The Heston stochastic volatility process, which is widely used as an asset price model in mathematical finance, is a paradigm for a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this process with killing, called the elliptic Heston operator, is a second-order, degenerate-elliptic partial differential operator whose coefficients have linear growth in the spatial variables and where the degeneracy in the operator symbol is proportional to the distance to the boundary of the half-plane. With the aid of weighted Sobolev spaces, we prove supremum bounds, a Harnack inequality, and Hölder continuity near the boundary for solutions to variational equations defined by the elliptic Heston operator, as well as Hölder continuity up to the boundary for solutions to variational inequalities defined by the elliptic Heston operator. In mathematical finance, solutions to obstacle problems for the elliptic Heston operator correspond to value functions for perpetual American-style options on the underlying asset. △ Less

Submitted 9 March, 2016; v1 submitted 25 October, 2011; originally announced October 2011.

Comments: 59 pages, 3 figures

MSC Class: 35J70; 35J86; 49J40; 35R45 (Primary) 35R35; 49J20; 60J60 (Secondary)

Existence, uniqueness, and global regularity for degenerate elliptic obstacle problems in mathematical finance

Authors: Panagiota Daskalopoulos, Paul M. N. Feehan

Abstract: The Heston stochastic volatility process, which is widely used as an asset price model in mathematical finance, is a paradigm for a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this process with killing, called the elliptic Heston operator, is a second-order dege… ▽ More The Heston stochastic volatility process, which is widely used as an asset price model in mathematical finance, is a paradigm for a degenerate diffusion process where the degeneracy in the diffusion coefficient is proportional to the square root of the distance to the boundary of the half-plane. The generator of this process with killing, called the elliptic Heston operator, is a second-order degenerate elliptic partial differential operator whose coefficients have linear growth in the spatial variables and where the degeneracy in the operator symbol is proportional to the distance to the boundary of the half-plane. With the aid of weighted Sobolev spaces, we prove existence, uniqueness, and global regularity of solutions to stationary variational inequalities and obstacle problems for the elliptic Heston operator on unbounded subdomains of the half-plane. In mathematical finance, solutions to obstacle problems for the elliptic Heston operator correspond to value functions for perpetual American-style options on the underlying asset. △ Less

Submitted 6 September, 2011; originally announced September 2011.

Comments: 115 pages

MSC Class: 35J70 (Primary); 35J86; 49J40; 35R45; 35R35 (Secondary); 49J20; 60J60

Witten's conjecture for many four-manifolds of simple type

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: We prove that Witten's Conjecture [arXiv:hep-th/9411102] on the relationship between the Donaldson and Seiberg-Witten series for a four-manifold of Seiberg-Witten simple type with $b_1=0$ and odd $b_2^+\geq 3$ follows from our $\mathrm{SO}(3)$-monopole cobordism formula [arXiv:math/0203047] when the four-manifold has $c_1^2\geq χ_h-3$ or is abundant. We prove that Witten's Conjecture [arXiv:hep-th/9411102] on the relationship between the Donaldson and Seiberg-Witten series for a four-manifold of Seiberg-Witten simple type with $b_1=0$ and odd $b_2^+\geq 3$ follows from our $\mathrm{SO}(3)$-monopole cobordism formula [arXiv:math/0203047] when the four-manifold has $c_1^2\geq χ_h-3$ or is abundant. △ Less

Submitted 22 November, 2014; v1 submitted 19 September, 2006; originally announced September 2006.

Comments: 27 pages. To appear in the Journal of the European Mathematical Society. Incorporates final galley proof corrections corresponding to published version

MSC Class: Primary 57R57; secondary 53C27; 58D27; 58D29

Journal ref: Journal of the European Mathematical Society 17 (2015), Issue 4, pp. 899-923

An SO(3)-monopole cobordism formula relating Donaldson and Seiberg-Witten invariants

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: We prove an analogue of the Kotschick-Morgan conjecture in the context of SO(3) monopoles, obtaining a formula relating the Donaldson and Seiberg-Witten invariants of smooth four-manifolds using the SO(3)-monopole cobordism. The main technical difficulty in the SO(3)-monopole program relating the Seiberg-Witten and Donaldson invariants has been to compute intersection pairings on links of strata o… ▽ More We prove an analogue of the Kotschick-Morgan conjecture in the context of SO(3) monopoles, obtaining a formula relating the Donaldson and Seiberg-Witten invariants of smooth four-manifolds using the SO(3)-monopole cobordism. The main technical difficulty in the SO(3)-monopole program relating the Seiberg-Witten and Donaldson invariants has been to compute intersection pairings on links of strata of reducible SO(3) monopoles, namely the moduli spaces of Seiberg-Witten monopoles lying in lower-level strata of the Uhlenbeck compactification of the moduli space of SO(3) monopoles [arXiv:dg-ga/9710032]. In this monograph, we prove --- modulo a gluing theorem which is an extension of our earlier work in [arXiv:math/9907107] --- that these intersection pairings can be expressed in terms of topological data and Seiberg-Witten invariants of the four-manifold. This conclusion is analogous to the Kotschick-Morgan conjecture concerning the wall-crossing formula for Donaldson invariants of a four-manifold with $b_2^+=1$; that wall-crossing formula and the resulting structure of Donaldson invariants for four-manifolds with $b_2^+=1$ were established, assuming the Kotschick-Morgan conjecture, by Goettsche [arXiv:alg-geom/9506018] and Goettsche and Zagier [arXiv:alg-geom/9612020]. In this monograph, we reduce the proof of the Kotschick-Morgan conjecture to an extension of previously established gluing theorems for anti-self-dual SO(3) connections (see [arXiv:math/9812060] and references therein). Since the first version of our monograph was circulated, applications of our results have appeared in the proof of Property P for knots by Kronheimer and Mrowka [arXiv:math/0311489] and work of Sivek on Donaldson invariants for symplectic four-manifolds [arXiv:1301.0377]. △ Less

Submitted 26 December, 2018; v1 submitted 5 March, 2002; originally announced March 2002.

Comments: x + 229 pages

MSC Class: 57N13; 57R57; 58D27; 58D29 (Primary); 53C07; 53C27; 58J05; 58J20 (secondary)

Journal ref: Memoirs of the American Mathematical Society, December 2018, volume 256, number 1226

SO(3) Monopoles, Level-One Seiberg-Witten Moduli Spaces, and Witten's Conjecture in Low Degrees

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: We prove Witten's formula relating the Donaldson and Seiberg-Witten series modulo powers of degree $c+2$, with $c=-{1/4}(7χ+11σ)$, for four-manifolds obeying some mild conditions, where $χ$ and $σ$ are their Euler characteristic and signature. We use the moduli space of SO(3) monopoles as a cobordism between a link of the Donaldson moduli space of anti-self-dual SO(3) connections and links of th… ▽ More We prove Witten's formula relating the Donaldson and Seiberg-Witten series modulo powers of degree $c+2$, with $c=-{1/4}(7χ+11σ)$, for four-manifolds obeying some mild conditions, where $χ$ and $σ$ are their Euler characteristic and signature. We use the moduli space of SO(3) monopoles as a cobordism between a link of the Donaldson moduli space of anti-self-dual SO(3) connections and links of the moduli spaces of Seiberg-Witten monopoles. Gluing techniques allow us to compute contributions from Seiberg-Witten moduli spaces lying in the first (or `one-bubble') level of the Uhlenbeck compactification of the moduli space of SO(3) monopoles. △ Less

Submitted 6 August, 2001; v1 submitted 27 June, 2001; originally announced June 2001.

Comments: Minor corrections; details added. Topology and its Applications, 91 pages, to appear

Journal ref: Topology and its Applications 124 (2002), 221-326

On Donaldson and Seiberg-Witten invariants

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: This article is based on a lecture by the first author at the International Georgia Topology Conference 2001 (Athens, Georgia) and the Mathematische Arbeitstagung 2001 (Bonn, Germany). We sketch a proof of Witten's formula relating the Donaldson and Seiberg-Witten series modulo powers of degree c+2, with c = -{1/4}(7 chi + 11 sigma), for four-manifolds obeying some mild conditions, where chi and… ▽ More This article is based on a lecture by the first author at the International Georgia Topology Conference 2001 (Athens, Georgia) and the Mathematische Arbeitstagung 2001 (Bonn, Germany). We sketch a proof of Witten's formula relating the Donaldson and Seiberg-Witten series modulo powers of degree c+2, with c = -{1/4}(7 chi + 11 sigma), for four-manifolds obeying some mild conditions, where chi and sigma are their Euler characteristic and signature. We use the moduli space of SO(3) monopoles as a cobordism between a link of the Donaldson moduli space of anti-self-dual SO(3) connections and links of the moduli spaces of Seiberg-Witten monopoles. Gluing techniques allow us to compute contributions from Seiberg-Witten moduli spaces lying in the first (or `one-bubble') level of the Uhlenbeck compactification of the moduli space of SO(3) monopoles. △ Less

Submitted 8 August, 2002; v1 submitted 26 June, 2001; originally announced June 2001.

Comments: Lecture notes for talk by the first author at the International Georgia Topology Conference 2001 (Athens, Georgia) and the Mathematische Arbeitstagung 2001 (Bonn, Germany). 11 pages

Journal ref: Topology and Geometry of Manifolds (Athens, GA 2001), Proceedings of Symposia in Pure Mathematics 71, American Mathematical Society, Providence, RI, 2003, pp. 237-248

PU(2) monopoles and links of top-level Seiberg-Witten moduli spaces

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: This is the first of two articles in which we give a proof - for a broad class of four-manifolds - of Witten's conjecture that the Donaldson and Seiberg-Witten series coincide, at least through terms of degree less than or equal to c-2, where c is a linear combination of the Euler characteristic and signature of the four-manifold. This article is a revision of sections 1-3 of an earlier version… ▽ More This is the first of two articles in which we give a proof - for a broad class of four-manifolds - of Witten's conjecture that the Donaldson and Seiberg-Witten series coincide, at least through terms of degree less than or equal to c-2, where c is a linear combination of the Euler characteristic and signature of the four-manifold. This article is a revision of sections 1-3 of an earlier version of the article dg-ga/9712005, now split into two parts, while a revision of sections 4-7 of that earlier version appears in a recently updated dg-ga/9712005. In the present article, we construct virtual normal bundles for the Seiberg-Witten strata of the moduli space of PU(2) monopoles and compute their Chern classes. △ Less

Submitted 9 February, 2001; v1 submitted 31 July, 2000; originally announced July 2000.

Comments: Journal fur die Reine und Angewandte Mathematik, to appear; 64 pages

Journal ref: Journal für die Reine und Angewändte Mathematik 538 (2001), 57-133

PU(2) monopoles. III: Existence of gluing and obstruction maps

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: This is the third installment in our series of articles (dg-ga/9712005, dg-ga/9710032) on the application of the PU(2) monopole equations to prove Witten's conjecture (hep-th/9411102) concerning the relation between the Donaldson and Seiberg-Witten invariants of smooth four-manifolds. The moduli space of solutions to the PU(2) monopole equations provides a noncompact cobordism between links of c… ▽ More This is the third installment in our series of articles (dg-ga/9712005, dg-ga/9710032) on the application of the PU(2) monopole equations to prove Witten's conjecture (hep-th/9411102) concerning the relation between the Donaldson and Seiberg-Witten invariants of smooth four-manifolds. The moduli space of solutions to the PU(2) monopole equations provides a noncompact cobordism between links of compact moduli spaces of U(1) monopoles of Seiberg-Witten type and the moduli space of anti-self-dual SO(3) connections, which appear as singularities in this larger moduli space. In this paper we prove the first part of a general gluing theorem for PU(2) monopoles, with the proof of the second half to appear in a companion article. The ultimate purpose of the gluing theorem is to provide topological models for neighborhoods of ideal Seiberg-Witten moduli spaces appearing in lower levels of the Uhlenbeck compactification of the moduli space of PU(2) monopoles and thus permit calculations of their contributions to Donaldson invariants using the PU(2)-monopole cobordism. △ Less

Submitted 20 July, 1999; v1 submitted 16 July, 1999; originally announced July 1999.

Comments: LaTeX 2e, 92 pages. Minor typos corrected

A Kato-Yau inequality for harmonic spinors and decay estimate for eigenspinors

Authors: Paul M. N. Feehan

Abstract: We show that harmonic spinors obey a strengthened version of the well-known pointwise Kato inequality for sections of a vector bundle with a connection. We then prove a decay estimate for eigenspinors using this Kato-Yau estimate and resulting differential inequality. We briefly describe some applications to gauge theory---specifically to integral estimates which are used when gluing and ungluin… ▽ More We show that harmonic spinors obey a strengthened version of the well-known pointwise Kato inequality for sections of a vector bundle with a connection. We then prove a decay estimate for eigenspinors using this Kato-Yau estimate and resulting differential inequality. We briefly describe some applications to gauge theory---specifically to integral estimates which are used when gluing and ungluing PU(2) monopoles (math.DG/9907107). △ Less

Submitted 9 August, 2000; v1 submitted 2 March, 1999; originally announced March 1999.

Comments: 19 pages, Latex 2e. The article has been revised for publication. Journal of Geometric Analysis, to appear

Journal ref: Journal of Geometric Analysis 11 (2001), 469-489

PU(2) monopoles and a conjecture of Marino, Moore, and Peradze

Authors: Paul M. N. Feehan, Peter B. Kronheimer, Thomas G. Leness, Tomasz S. Mrowka

Abstract: In this article we show that some of the recent results of Marino, Moore, and Peradze (math.DG/9812042, hep-th/9812055) -- in particular their conjecture that all closed, smooth four-manifolds with b_2^+ > 1 (and Seiberg-Witten simple type) are of `superconformal simple type' -- can be understood using a simple mathematical argument via the PU(2)-monopole cobordism of Pidstrigach and Tyurin (dg-… ▽ More In this article we show that some of the recent results of Marino, Moore, and Peradze (math.DG/9812042, hep-th/9812055) -- in particular their conjecture that all closed, smooth four-manifolds with b_2^+ > 1 (and Seiberg-Witten simple type) are of `superconformal simple type' -- can be understood using a simple mathematical argument via the PU(2)-monopole cobordism of Pidstrigach and Tyurin (dg-ga/9507004) and results of the first and third authors (dg-ga/9712005, dg-ga/9709022). △ Less

Submitted 21 April, 1999; v1 submitted 21 December, 1998; originally announced December 1998.

Comments: 13 pages, 1 figure. Improved exposition, typographical slips corrected, figure and references added. Minor correction on page 2. To appear in Mathematical Research Letters

Journal ref: Mathematical Research Letters 6 (1999), 169-182

Donaldson invariants and wall-crossing formulas. I: Continuity of gluing maps

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: The present article is the first in a series whose ultimate goal is to prove the Kotschick-Morgan conjecture concerning the wall-crossing formula for the Donaldson invariants of a four-manifold with b^+ = 1. The conjecture asserts that the wall-crossing terms due to changes in the metric depend at most on the homotopy type of the four-manifold and the degree of the invariant. Our principal inter… ▽ More The present article is the first in a series whose ultimate goal is to prove the Kotschick-Morgan conjecture concerning the wall-crossing formula for the Donaldson invariants of a four-manifold with b^+ = 1. The conjecture asserts that the wall-crossing terms due to changes in the metric depend at most on the homotopy type of the four-manifold and the degree of the invariant. Our principal interest in this conjecture is due to the fact that its proof is expected to resemble that of an important intermediate step towards a proof of Witten's conjecture concerning the relation between Donaldson and Seiberg-Witten invariants (hep-th/9411102, hep-th/9709193), using PU(2) monopoles as described in (dg-ga/9709022, dg-ga/9712005). Moreover, it affords us another venue in which to address some of the technical difficulties arising in our work on Witten's conjecture. The additional difficulties in the case of PU(2) monopoles are due to the more complicated gluing theory, the presence of obstructions to deformation and gluing, and the need to consider links of positive-dimensional families of `reducibles' even in the presence of `simple type' assumptions. Witten's conjecture should then follow from a final step analogous to Goettsche's computation of the wall-crossing terms, assuming that the Kotschick-Morgan conjecture holds (alg-geom/9506018). △ Less

Submitted 3 February, 1999; v1 submitted 9 December, 1998; originally announced December 1998.

Comments: 86 pages. Simplifications and corrections incorporated. Title streamlined

Generic metrics, irreducible rank-one PU(2) monopoles, and transversality

Authors: Paul M. N. Feehan

Abstract: We prove that the moduli space of solutions to the PU(2) monopole equations is a smooth manifold of the expected dimension for simple, generic parameters such as (and including) the Riemannian metric on the given four-manifold. In a previous article, dg-ga/9710032, we proved transversality using an extension of the holonomy-perturbation methods of Donaldson, Floer, and Taubes, together with the… ▽ More We prove that the moduli space of solutions to the PU(2) monopole equations is a smooth manifold of the expected dimension for simple, generic parameters such as (and including) the Riemannian metric on the given four-manifold. In a previous article, dg-ga/9710032, we proved transversality using an extension of the holonomy-perturbation methods of Donaldson, Floer, and Taubes, together with the existence of an Uhlenbeck compactification for the perturbed moduli space. However, it remained an important and interesting question to see whether there were simpler, more intrinsic alternatives to the holonomy perturbations and this is the issue we settle here. The idea that PU(2) monopoles might lead to a proof of Witten's conjecture (hep-th/9411102, hep-th/9709193) concerning the relation between the two types of four-manifold invariants was first proposed by Pidstrigach and Tyurin in 1994 (dg-ga/9507004): the space of PU(2) monopoles contains the moduli space of anti-self-dual connections together with copies of the various Seiberg-Witten moduli spaces, these forming singular loci in the higher-dimensional space of PU(2) monopoles. Results in this direction, due to the author and Leness, are surveyed in dg-ga/9709022, with a detailed account appearing in dg-ga/9712005. Our transversality theorem ensures that the anti-self-dual and Seiberg-Witten loci are the only singularities and that the PU(2) monopole moduli space forms a smooth - though non-compact, because of bubbling - cobordism between the links of the singularities. △ Less

Submitted 3 August, 2000; v1 submitted 1 September, 1998; originally announced September 1998.

Comments: Communications in Analysis and Geometry 8 (2000), to appear. 54 pages. References updated; published version

Journal ref: Communications in Analysis & Geometry 8 (2000), 905-967

PU(2) monopoles. II: Top-level Seiberg-Witten moduli spaces and Witten's conjecture in low degrees

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: In this article we complete the proof---for a broad class of four-manifolds---of Witten's conjecture that the Donaldson and Seiberg-Witten series coincide, at least through terms of degree less than or equal to c-2, where c is a linear combination of the Euler characteristic and signature of the four-manifold. This article is a revision of sections 4--7 of an earlier version, while a revision of… ▽ More In this article we complete the proof---for a broad class of four-manifolds---of Witten's conjecture that the Donaldson and Seiberg-Witten series coincide, at least through terms of degree less than or equal to c-2, where c is a linear combination of the Euler characteristic and signature of the four-manifold. This article is a revision of sections 4--7 of an earlier version, while a revision of sections 1--3 of that earlier version now appear in a separate companion article (math.DG/0007190). Here, we use our computations of Chern classes for the virtual normal bundles for the Seiberg-Witten strata from the companion article (math.DG/0007190), a comparison of all the orientations, and the PU(2) monopole cobordism to compute pairings with the links of level-zero Seiberg-Witten moduli subspaces of the moduli space of PU(2) monopoles. These calculations then allow us to compute low-degree Donaldson invariants in terms of Seiberg-Witten invariants and provide a partial verification of Witten's conjecture. △ Less

Submitted 9 February, 2001; v1 submitted 8 December, 1997; originally announced December 1997.

Comments: Journal fur die Reine und Angewandte Mathematik, to appear; 65 pages. Revision of sections 4-7 of version v1 (December 1997)

Journal ref: Journal für die Reine und Angewändte Mathematik 538 (2001), 135-212

Critical-exponent Sobolev norms and the slice theorem for the quotient space of connections

Authors: Paul M. N. Feehan

Abstract: The use of certain critical-exponent Sobolev norms is an important feature of methods employed by Taubes to solve the anti-self-dual and similar non-linear elliptic partial differential equations. Indeed, the estimates one can obtain using these critical-exponent norms appear to be the best possible when one needs to bound the norm of a Green's operator for a Laplacian, depending on a connection… ▽ More The use of certain critical-exponent Sobolev norms is an important feature of methods employed by Taubes to solve the anti-self-dual and similar non-linear elliptic partial differential equations. Indeed, the estimates one can obtain using these critical-exponent norms appear to be the best possible when one needs to bound the norm of a Green's operator for a Laplacian, depending on a connection varying in a non-compact family, in terms of minimal data such as the first positive eigenvalue of the Laplacian or the L^2 norm of the curvature of the connection. Following Taubes, we describe a collection of critical-exponent Sobolev norms and general Green's operator estimates depending only on first positive eigenvalues or the L^2 norm of the connection's curvature. Such estimates are particularly useful in the gluing construction of solutions to non-linear partial differential equations depending on a degenerating parameter, such as the approximate, reference solution in the anti-self-dual or PU(2) monopole equations. We apply them here to prove an optimal slice theorem for the quotient space of connections. The result is optimal in the sense that if a point [A] in the quotient space is known to be just L^2_1-close enough to a reference point [A_0], then the connection A can be placed in Coulomb gauge relative to the connection A_0, with all constants depending at most on the first positive eigenvalue of the covariant Laplacian defined by A_0 and the L^2 norm of the curvature of A_0. In this paper we shall for simplicity only consider connections over four-dimensional manifolds, but the methods and results can adapted to manifolds of arbitrary dimension to prove slice theorems which apply when the reference connection is allowed to degenerate. △ Less

Submitted 3 February, 1999; v1 submitted 9 November, 1997; originally announced November 1997.

Comments: LaTeX 2e, 43 pages. Estimates in section 5.2 strengthened

Journal ref: Pacific Journal of Mathematics 200 (2001), 71-118

PU(2) Monopoles, I: Regularity, Uhlenbeck Compactness, and Transversality

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: We prove the existence of perturbations for the PU(2) monopole equations, yielding transversality on the complement of the anti-self-dual or reducible solutions, and the existence of an Uhlenbeck compactification for the moduli space of solutions to these perturbed PU(2) monopole equations. In December 1994, V. Pidstrigach and A. Tyurin and then others proposed a method to prove Witten's conject… ▽ More We prove the existence of perturbations for the PU(2) monopole equations, yielding transversality on the complement of the anti-self-dual or reducible solutions, and the existence of an Uhlenbeck compactification for the moduli space of solutions to these perturbed PU(2) monopole equations. In December 1994, V. Pidstrigach and A. Tyurin and then others proposed a method to prove Witten's conjecture concerning the relation between the Donaldson and Seiberg-Witten invariants of smooth four-manifolds. Their proposal uses a moduli space of solutions to the PU(2) monopole equations, which are a natural generalization of the U(1) monopole equations of Seiberg and Witten and the equation for anti-self-dual SO(3) connections, to construct a cobordism between links of compact moduli spaces of U(1) monopoles of Seiberg-Witten type and the moduli space of anti-self-dual connections, which appear as singularities in this larger moduli space. A basic requirement of this cobordism technique is the existence of an Uhlenbeck compactification for the moduli space of PU(2) monopoles and of generic-parameter transversality results for all the moduli spaces of PU(2) monopoles which appear in this compactification, on the complement of the anti-self-dual and U(1) solutions. △ Less

Submitted 29 October, 1997; originally announced October 1997.

Comments: LaTeX 2e, 115 pages. To appear in the Journal of Differential Geometry

Journal ref: J.Diff.Geom. 49 (1998) 265-410

Uhlenbeck compactness and transversality for the moduli space of PU(2) monopoles

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: This research announcement gives a brief report of the main results in our paper "PU(2) monopoles, I: Regularity, Uhlenbeck compactness, and transversality" (Journal of Differential Geometry, to appear). We describe the existence of perturbations for the PU(2) monopole equations, yielding both useful transversality properties and an Uhlenbeck compactification for this perturbed moduli space. This research announcement gives a brief report of the main results in our paper "PU(2) monopoles, I: Regularity, Uhlenbeck compactness, and transversality" (Journal of Differential Geometry, to appear). We describe the existence of perturbations for the PU(2) monopole equations, yielding both useful transversality properties and an Uhlenbeck compactification for this perturbed moduli space. △ Less

Submitted 12 October, 1997; originally announced October 1997.

Comments: LaTeX 2e, 15 pages

PU(2) monopoles and relations between four-manifold invariants

Authors: Paul M. N. Feehan, Thomas G. Leness

Abstract: Using quantum field-theoretic arguments, Witten has established a relation between the Donaldson and Seiberg-Witten invariants of smooth four-manifolds. In this survey article, we describe the program to prove this relation using a moduli space of PU(2) = SO(3) monopoles as a cobordism between the Donaldson moduli space of anti-self-dual SO(3) connections and moduli spaces of U(1) monopoles. We… ▽ More Using quantum field-theoretic arguments, Witten has established a relation between the Donaldson and Seiberg-Witten invariants of smooth four-manifolds. In this survey article, we describe the program to prove this relation using a moduli space of PU(2) = SO(3) monopoles as a cobordism between the Donaldson moduli space of anti-self-dual SO(3) connections and moduli spaces of U(1) monopoles. We provide an overview of some of our transversality and Uhlenbeck compactness results for PU(2) monopoles, along with some of our calculations of Donaldson invariants in terms of Seiberg-Witten invariants. We give a brief outline of issues concerning the gluing theory, focussing on some of the analytical difficulties that are particular to PU(2) monopoles, and its application to the PU(2) monopole program to prove the relation between Donaldson and Seiberg-Witten invariants. △ Less

Submitted 4 October, 1997; v1 submitted 30 September, 1997; originally announced September 1997.

Comments: LaTeX 2e, 35 pages. Slightly revised version to appear in Topology and its Applications, (Proceedings of the Georgia Topology Conference, Atlanta, GA, June 1996). Physics reference and comment added

Journal ref: Topology and its Applications 88 (1998), 111-145