Source author record

Paul M. N. Feehan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DG math.AP math-ph math.MP math.PR hep-th math.AG math.GT q-fin.PR q-fin.CP dg-ga alg-geom math.GN q-fin.MF

Catalog footprint

Research overview

34works

14topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

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

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.

preprint2020arXiv

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

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.

preprint2020arXiv

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

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.

preprint2020arXiv

Resolution of singularities and geometric proofs of the Lojasiewicz inequalities

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).

preprint2019arXiv

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

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.

preprint2019arXiv

Superconformal simple type and Witten's conjecture

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.

preprint2019arXiv

The SO(3) monopole cobordism and superconformal simple type

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.

preprint2016arXiv

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

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.

preprint2016arXiv

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

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.

preprint2016arXiv

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

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.

preprint2015arXiv

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

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.

preprint2015arXiv

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

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}$ .

preprint2015arXiv

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

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.

preprint2014arXiv

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

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.

preprint2014arXiv

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

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.

preprint2013arXiv

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

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].

preprint2013arXiv

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

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.

preprint2013arXiv

Maximum principles for boundary-degenerate linear parabolic differential operators

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].

preprint2013arXiv

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

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.

preprint2013arXiv

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

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.

preprint2013arXiv

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

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.

preprint2013arXiv

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

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.

preprint2012arXiv

SO(3)-monopoles: The overlap problem

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.

preprint2011arXiv

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

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.

preprint2002arXiv

On Donaldson and Seiberg-Witten invariants

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.

preprint2001arXiv

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

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.

preprint2001arXiv

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

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.

preprint2001arXiv

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

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.

preprint2000arXiv

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

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).

preprint2000arXiv

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

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.

preprint1999arXiv

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

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.

preprint1999arXiv

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

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).

preprint1997arXiv

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

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.

preprint1997arXiv

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

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Paul M. N. Feehan

Research overview

Is this your work?

34 publications

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

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

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

Resolution of singularities and geometric proofs of the Lojasiewicz inequalities

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

Superconformal simple type and Witten's conjecture

The SO(3) monopole cobordism and superconformal simple type

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

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

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

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

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

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

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

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

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

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

Maximum principles for boundary-degenerate linear parabolic differential operators

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

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

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

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

SO(3)-monopoles: The overlap problem

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

On Donaldson and Seiberg-Witten invariants

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

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

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

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

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

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

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

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

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

See the researcher in context

Building this map preview