-
Singular limit and convergence rate via projection method in a model for plant-growth dynamics with autotoxicity
Authors:
Jeff Morgan,
Cinzia Soresina,
Bao Quoc Tang,
Bao-Ngoc Tran
Abstract:
We investigate a fast-reaction--diffusion system modelling the effect of autotoxicity on plant-growth dynamics, in which the fast-reaction terms are based on the dichotomy between healthy and exposed roots depending on the toxicity. The model was proposed in [Giannino, Iuorio, Soresina, forthcoming] to account for stable stationary spacial patterns considering only biomass and toxicity, and its fa…
▽ More
We investigate a fast-reaction--diffusion system modelling the effect of autotoxicity on plant-growth dynamics, in which the fast-reaction terms are based on the dichotomy between healthy and exposed roots depending on the toxicity. The model was proposed in [Giannino, Iuorio, Soresina, forthcoming] to account for stable stationary spacial patterns considering only biomass and toxicity, and its fast-reaction (cross-diffusion) limit was formally derived and numerically investigated. In this paper, the cross-diffusion limiting system is rigorously obtained as the fast-reaction limit of the reaction-diffusion system with fast-reaction terms by performing a bootstrap argument involving energies. Then, a thorough well-posedness analysis of the cross-diffusion system is presented, including a $L^\infty_{x,t}$-bound, uniqueness, stability, and regularity of weak solutions. This analysis, in turn, becomes crucial to establish the convergence rate for the fast reaction limit, thanks to the key idea of using an inverse Neumann Laplacian operator. Finally, numerical experiments illustrate the analytical findings on the convergence rate.
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
Existence, Stability and Optimal Drug Dosage for a Reaction-Diffusion System Arising in a Cancer Treatment
Authors:
Jeff Morgan,
Bao Quoc Tang,
Hong-Ming Yin
Abstract:
In this paper, a reaction-diffusion system modeling injection of a chemotherapeutic drug on the surface of a living tissue during a treatment for cancer patients is studied. The system describes the interaction of the chemotherapeutic drug and the normal, tumor and immune cells. We first establish well-posedness for the nonlinear reaction-diffusion system, then investigate the long-time behavior o…
▽ More
In this paper, a reaction-diffusion system modeling injection of a chemotherapeutic drug on the surface of a living tissue during a treatment for cancer patients is studied. The system describes the interaction of the chemotherapeutic drug and the normal, tumor and immune cells. We first establish well-posedness for the nonlinear reaction-diffusion system, then investigate the long-time behavior of solutions. Particularly, it is shown that the cancer cells will be eliminated assuming that its reproduction rate is sufficiently small in a short time period in each treatment interval. The analysis is then essentially exploited to study an optimal drug injection rate problem during a chemotherapeutic drug treatment for tumor cells, which is formulated as an optimal boundary control problem with constraints. For this, we show that the existence of an optimal drug injection rate through the boundary, and derive the first-order optimality condition.
△ Less
Submitted 18 August, 2024; v1 submitted 5 August, 2024;
originally announced August 2024.
-
On the complexity of 2-bridge link complements
Authors:
James Morgan,
Jonathan Spreer
Abstract:
We reprove a necessary condition for the Sakuma-Weeks triangulation of a 2-bridge link complement to be minimal in terms of the mapping class describing its alternating 4-string braid construction. For the 2-bridge links satisfying this condition we construct explicit angle structures on the Sakuma-Weeks triangulations and compute both multiplicative and additive lower bounds on the complexity of…
▽ More
We reprove a necessary condition for the Sakuma-Weeks triangulation of a 2-bridge link complement to be minimal in terms of the mapping class describing its alternating 4-string braid construction. For the 2-bridge links satisfying this condition we construct explicit angle structures on the Sakuma-Weeks triangulations and compute both multiplicative and additive lower bounds on the complexity of the link complements via volume estimates. These lower bounds are an improvement on existing volume estimates for the 2-bridge links examined.
△ Less
Submitted 26 February, 2025; v1 submitted 13 June, 2024;
originally announced June 2024.
-
On quasi-linear reaction diffusion systems arising from compartmental SEIR models
Authors:
Juan Yang,
Jeff Morgan,
Bao Quoc Tang
Abstract:
The global existence and boundedness of solutions to quasi-linear reaction-diffusion systems are investigated. The system arises from compartmental models describing the spread of infectious diseases proposed in [Viguerie et al, Appl. Math. Lett. (2021); Viguerie et al, Comput. Mech. (2020)], where the diffusion rate is assumed to depend on the total population, leading to quasilinear diffusion wi…
▽ More
The global existence and boundedness of solutions to quasi-linear reaction-diffusion systems are investigated. The system arises from compartmental models describing the spread of infectious diseases proposed in [Viguerie et al, Appl. Math. Lett. (2021); Viguerie et al, Comput. Mech. (2020)], where the diffusion rate is assumed to depend on the total population, leading to quasilinear diffusion with possible degeneracy. The mathematical analysis of this model has been addressed recently in [Auricchio et al, Math. Method Appl. Sci. (2023] where it was essentially assumed that all sub-populations diffuse at the same rate, which yields a positive lower bound of the total population, thus removing the degeneracy. In this work, we remove this assumption completely and show the global existence and boundedness of solutions by exploiting a recently developed $L^p$-energy method. Our approach is applicable to a larger class of systems and is sufficiently robust to allow model variants and different boundary conditions.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
Products of Directed Sets with Calibre $(ω_1, ω)$
Authors:
Paul Gartside,
Jeremiah Morgan
Abstract:
A directed set $P$ is calibre $(ω_1, ω)$ if every uncountable subset of $P$ contains an infinite bounded subset. $P$ is productively calibre $(ω_1, ω)$ if $P \times Q$ is calibre $(ω_1, ω)$ for every directed set $Q$ with calibre $(ω_1, ω)$, and $P$ is powerfully calibre $(ω_1, ω)$ if the countable power of $P$ is calibre $(ω_1, ω)$.
It is shown that (1) uncountable products are calibre…
▽ More
A directed set $P$ is calibre $(ω_1, ω)$ if every uncountable subset of $P$ contains an infinite bounded subset. $P$ is productively calibre $(ω_1, ω)$ if $P \times Q$ is calibre $(ω_1, ω)$ for every directed set $Q$ with calibre $(ω_1, ω)$, and $P$ is powerfully calibre $(ω_1, ω)$ if the countable power of $P$ is calibre $(ω_1, ω)$.
It is shown that (1) uncountable products are calibre $(ω_1, ω)$ only in highly restrictive circumstances, (2) many but not all $\sum$-products of calibre $(ω_1, ω)$ directed sets are calibre $(ω_1, ω)$, (3) there are directed sets which are calibre $(ω_1, ω)$ but neither productively nor powerfully calibre $(ω_1, ω)$, and (4) there are directed sets which are powerfully but not productively calibre $(ω_1, ω)$.
As an application, the position is established of $\sum ω^{ω_1}$ in the Tukey order among Isbell's classical 10 directed sets.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
An algorithm to construct one-vertex triangulations of Heegaard splittings
Authors:
Alexander He,
James Morgan,
Em K. Thompson
Abstract:
Following work of Jaco and Rubinstein (2006), which (non-constructively) proved that any 3-manifold admits a one-vertex layered triangulation, we present an algorithm, with implementation using Regina, that uses a combinatorial presentation of a Heegaard diagram to construct a generalised notion of a layered triangulation. We show that work of Huszár and Spreer (2019) extends to our construction:…
▽ More
Following work of Jaco and Rubinstein (2006), which (non-constructively) proved that any 3-manifold admits a one-vertex layered triangulation, we present an algorithm, with implementation using Regina, that uses a combinatorial presentation of a Heegaard diagram to construct a generalised notion of a layered triangulation. We show that work of Huszár and Spreer (2019) extends to our construction: given a genus-$g$ Heegaard splitting, our algorithm generates a triangulation with cutwidth bounded above by $4g-2$. Beyond Heegaard splittings, our construction actually extends to a natural generalisation of Dehn fillings: given a one-vertex triangulation with a genus-$g$ boundary component $B$, we can construct a one-vertex triangulation of any 3-manifold obtained by filling $B$ with a handlebody. To demonstrate the usefulness of our algorithm, we present findings from preliminary computer searches using this algorithm.
△ Less
Submitted 19 May, 2024; v1 submitted 29 December, 2023;
originally announced December 2023.
-
Explicit Acyclic Models and (Co)Chain Operations
Authors:
Greg Brumfiel,
John Morgan
Abstract:
We exploit a uniform recursive procedure using preferred contractions of targets $C_*$ to construct morphisms $B_* \to C_*$ between chain complexes in a wide variety of situations. Examples include classical Alexander-Whitney and Eilenberg-Zilber maps, chain maps related to homology and cohomology operations, operad structure maps for various chain complex operads, and chain maps that define morph…
▽ More
We exploit a uniform recursive procedure using preferred contractions of targets $C_*$ to construct morphisms $B_* \to C_*$ between chain complexes in a wide variety of situations. Examples include classical Alexander-Whitney and Eilenberg-Zilber maps, chain maps related to homology and cohomology operations, operad structure maps for various chain complex operads, and chain maps that define morphisms between operads. The procedure includes functorial chain maps $F_*(X_i) \to K_*(X_i)$, using models for generators of the domain and contractions of $K_*$ applied to these models. Various uniqueness theorems characterize the chain maps produced by our procedures. We give unified extended treatments of the operads known as the Barratt-Eccles operad and the surjection operads. In a subsequent paper we plan to use the results and methods of this paper to establish properties of the Steenrod algebra of mod p cohomology operations at the cochain level. Classical treatments of Steenrod operations used less explicit acyclic model methods to deduce properties of operations at the cohomology level. Our paper is comprehensive and includes many examples and specific results of a somewhat technical nature. But the main point is that a rather easily described explicit procedure clarifies aspects of chain maps defined only up to homotopy that were important in the development of cohomology operations roughly seventy years ago, as well as complicated chain maps related to operad structure maps and operad morphisms developed in a rather ad hoc manner roughly twenty five years ago. Sections 0, 1, and 2 constitute an overview and summary of the paper.
△ Less
Submitted 30 March, 2024; v1 submitted 5 October, 2023;
originally announced October 2023.
-
Global Well-Posedness and Asymptotic Behavior for a Reaction-Diffusion System of Competition Type
Authors:
Jeffrey Morgan,
Samia Zermani
Abstract:
We analyze a reaction-diffusion system describing the growth of microbial species in a model of flocculation type that arises in biology. Existence of global classical positive solutions is proved under general growth assumptions, with flocculation and deflocculation rates polynomially bounded above, that guarantee uniform sup norm bounds for all time t obtained by an $L^{p}-$energy functional est…
▽ More
We analyze a reaction-diffusion system describing the growth of microbial species in a model of flocculation type that arises in biology. Existence of global classical positive solutions is proved under general growth assumptions, with flocculation and deflocculation rates polynomially bounded above, that guarantee uniform sup norm bounds for all time t obtained by an $L^{p}-$energy functional estimate. We also show finite time blow up can occur when the yield coefficients are large enough. Also, using arguments relying on the spectral and fixed theory, we show persistence and existence of nonhomogenous population steady-states. Finally, we present some numerical simulations to show the combined effects of motility coefficients and the flocculation-deflocculation rates on the coexistence of species.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Diameter of orientations of graphs with given order and number of blocks
Authors:
P. Dankelmann,
M. J. Morgan,
E. J. Rivett-Carnac
Abstract:
A strong orientation of a graph $G$ is an assignment of a direction to each edge such that $G$ is strongly connected. The oriented diameter of $G$ is the smallest diameter among all strong orientations of $G$. A block of $G$ is a maximal connected subgraph of $G$ that has no cut vertex. A block graph is a graph in which every block is a clique. We show that every bridgeless graph of order $n$ cont…
▽ More
A strong orientation of a graph $G$ is an assignment of a direction to each edge such that $G$ is strongly connected. The oriented diameter of $G$ is the smallest diameter among all strong orientations of $G$. A block of $G$ is a maximal connected subgraph of $G$ that has no cut vertex. A block graph is a graph in which every block is a clique. We show that every bridgeless graph of order $n$ containing $p$ blocks has an oriented diameter of at most $n-\lfloor \frac{p}{2} \rfloor$. This bound is sharp for all $n$ and $p$ with $p \geq 2$. As a corollary, we obtain a sharp upper bound on the oriented diameter in terms of order and number of cut vertices. We also show that the oriented diameter of a bridgeless block graph of order $n$ is bounded above by $\lfloor \frac{3n}{4} \rfloor$ if $n$ is even and $\lfloor \frac{3(n+1)}{4} \rfloor$ if $n$ is odd.
△ Less
Submitted 25 August, 2023; v1 submitted 14 December, 2022;
originally announced December 2022.
-
The Extended Persistent Homology Transform of manifolds with boundary
Authors:
Katharine Turner,
Vanessa Robins,
James Morgan
Abstract:
The Extended Persistent Homology Transform (XPHT) is a topological transform which takes as input a shape embedded in Euclidean space, and to each unit vector assigns the extended persistence module of the height function over that shape with respect to that direction. We can define a distance between two shapes by integrating over the sphere the distance between their respective extended persiste…
▽ More
The Extended Persistent Homology Transform (XPHT) is a topological transform which takes as input a shape embedded in Euclidean space, and to each unit vector assigns the extended persistence module of the height function over that shape with respect to that direction. We can define a distance between two shapes by integrating over the sphere the distance between their respective extended persistence modules. By using extended persistence we get finite distances between shapes even when they have different Betti numbers. We use Morse theory to show that the extended persistence of a height function over a manifold with boundary can be deduced from the extended persistence for that height function restricted to the boundary, alongside labels on the critical points as positive or negative critical. We study the application of the XPHT to binary images; outlining an algorithm for efficient calculation of the XPHT exploiting relationships between the PHT of the boundary curves to the extended persistence of the foreground.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Global existence for reaction-diffusion systems on multiple domains
Authors:
William E. Fitzgibbon,
Jeff Morgan,
Joh Maurice-Car Ryan
Abstract:
We study the global existence of solutions reaction-diffusion systems with control of mass on multiple domains. Some of these domains overlap, and as a result, an unknown defined on one subdomain can impact another unknown defined on a different domain that intersects with the first. Our results extend those in \cite{fmty}.
We study the global existence of solutions reaction-diffusion systems with control of mass on multiple domains. Some of these domains overlap, and as a result, an unknown defined on one subdomain can impact another unknown defined on a different domain that intersects with the first. Our results extend those in \cite{fmty}.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Reaction-Diffusion-Advection Systems with Discontinuous Diffusion and Mass Control
Authors:
William E Fitzgibbon,
Jeff Morgan,
Bao Quoc Tang,
Hong-Ming Yin
Abstract:
In this paper, we study unique, globally defined uniformly bounded weak solutions for a class of semilinear reaction-diffusion-advection systems. The coefficients of the differential operators and the initial data are only required to be measurable and uniformly bounded. The nonlinearities are quasi-positive and satisfy a commonly called mass control or dissipation of mass property. Moreover, we a…
▽ More
In this paper, we study unique, globally defined uniformly bounded weak solutions for a class of semilinear reaction-diffusion-advection systems. The coefficients of the differential operators and the initial data are only required to be measurable and uniformly bounded. The nonlinearities are quasi-positive and satisfy a commonly called mass control or dissipation of mass property. Moreover, we assume the intermediate sum condition of a certain order. The key feature of this work is the surprising discovery that quasi-positive systems that satisfy an intermediate sum condition automatically give rise to a new class of $L^p$-energy type functionals that allow us to obtain requisite uniform a priori bounds. Our methods are sufficiently robust to extend to different boundary conditions, or to certain quasi-linear systems. We also show that in case of mass dissipation, the solution is bounded in sup-norm uniformly in time. We illustrate the applicability of results by showing global existence and large time behavior of models arising from a spatio-temporal spread of infectious disease.
△ Less
Submitted 9 September, 2021; v1 submitted 31 March, 2021;
originally announced March 2021.
-
Global well-posedness for volume-surface reaction-diffusion systems
Authors:
Jeff Morgan,
Bao Quoc Tang
Abstract:
We study the global existence of classical solutions to volume-surface reaction-diffusion systems with control of mass. Such systems appear naturally from modeling evolution of concentrations or densities appearing both in a volume domain and its surface, and therefore have attracted considerable attention. Due to the characteristic volume-surface coupling, global existence of solutions to general…
▽ More
We study the global existence of classical solutions to volume-surface reaction-diffusion systems with control of mass. Such systems appear naturally from modeling evolution of concentrations or densities appearing both in a volume domain and its surface, and therefore have attracted considerable attention. Due to the characteristic volume-surface coupling, global existence of solutions to general systems is a challenging issue. In particular, the duality method, which is powerful in dealing with mass conserved systems in domains, is not applicable on its own. In this paper, we introduce a new family of $L^p$-energy functions and combine them with a suitable duality method for volume-surface systems, to ultimately obtain global existence of classical solutions under a general assumption called the \textit{intermediate sum condition}. For systems that conserve mass, but do not satisfy this condition, global solutions are shown under a quasi-uniform condition, that is, under the assumption that the diffusion coefficients are close to each other. In the case of mass dissipation, we also show that the solution is bounded uniformly in time by studying the system on each time-space cylinder of unit size, and showing that the solution is sup-norm bounded independently of the cylinder. Applications of our results include global existence and boundedness for systems arising from membrane protein clustering or activation of Cdc42 in cell polarization.
△ Less
Submitted 20 January, 2021;
originally announced January 2021.
-
Global well-posedness and nonlinear stability of a chemotaxis system modeling multiple sclerosis
Authors:
Laurent Desvillettes,
Valeria Giunta,
Jeff Morgan,
Bao Quoc Tang
Abstract:
We consider a system of reaction-diffusion equations including chemotaxis terms and coming out of the modeling of multiple sclerosis. The global existence of strong solutions to this system in any dimension is proved, and it is also shown that the solution is bounded uniformly in time. Finally, a nonlinear stability result is obtained when the chemotaxis term is not too big. We also perform numeri…
▽ More
We consider a system of reaction-diffusion equations including chemotaxis terms and coming out of the modeling of multiple sclerosis. The global existence of strong solutions to this system in any dimension is proved, and it is also shown that the solution is bounded uniformly in time. Finally, a nonlinear stability result is obtained when the chemotaxis term is not too big. We also perform numerical simulations to show the appearance of Turing patterns when the chemotaxis term is large.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
A Cochain Level Proof of Adem Relations in the Mod 2 Steenrod Algebra
Authors:
Greg Brumfiel,
Anibal M. Medina-Mardones,
John Morgan
Abstract:
In 1947, N.E. Steenrod defined the Steenrod Squares, which are mod 2 cohomology operations, using explicit cochain formulae for cup-i products of cocycles. He later recast the construction in more general homological terms, using group homology and acyclic model methods, rather than explicit cochain formulae, to define mod p operations for all primes p. Steenrod's student J. Adem applied the homol…
▽ More
In 1947, N.E. Steenrod defined the Steenrod Squares, which are mod 2 cohomology operations, using explicit cochain formulae for cup-i products of cocycles. He later recast the construction in more general homological terms, using group homology and acyclic model methods, rather than explicit cochain formulae, to define mod p operations for all primes p. Steenrod's student J. Adem applied the homological point of view to prove fundamental relations, known as the Adem relations, in the algebra of cohomology operations generated by the Steenrod operations. In this paper we give a proof of the mod 2 Adem relations at the cochain level. Specifically, given a mod 2 cocycle, we produce explicit cochain formulae whose coboundaries are the Adem relations among compositions of Steenrod Squares applied to the cocycle, using Steenrod's original cochain definition of the Square operations.
△ Less
Submitted 24 June, 2021; v1 submitted 16 June, 2020;
originally announced June 2020.
-
Indirect diffusion effect in degenerate reaction-diffusion systems
Authors:
Amit Einav,
Jeff Morgan,
Bao Quoc Tang
Abstract:
In this work we study global well-posedness and large time behaviour for a typical reaction--diffusion system, which include degenerate diffusion, and whose non-linearities arise from chemical reactions. We show that there is an {\it indirect diffusion effect}, i.e. an effective diffusion for the non-diffusive species which is incurred by a combination of diffusion from diffusive species and rever…
▽ More
In this work we study global well-posedness and large time behaviour for a typical reaction--diffusion system, which include degenerate diffusion, and whose non-linearities arise from chemical reactions. We show that there is an {\it indirect diffusion effect}, i.e. an effective diffusion for the non-diffusive species which is incurred by a combination of diffusion from diffusive species and reversible reactions between the species. Deriving new estimates for such degenerate reaction-diffusion system, we show, by applying the entropy method, that the solution converges exponentially to equilibrium, and provide explicit convergence rates and associated constants.
△ Less
Submitted 24 April, 2020; v1 submitted 3 January, 2020;
originally announced January 2020.
-
Boundedness for reaction-diffusion systems with Lyapunov functions and intermediate sum conditions
Authors:
Jeff Morgan,
Bao Quoc Tang
Abstract:
We study the uniform boundedness of solutions to reaction-diffusion systems possessing a Lyapunov-like function and satisfying an {\it intermediate sum condition}. This significantly generalizes the mass dissipation condition in the literature and thus allows the nonlinearities to have arbitrary polynomial growth. We show that two dimensional reaction-diffusion systems, with quadratic intermediate…
▽ More
We study the uniform boundedness of solutions to reaction-diffusion systems possessing a Lyapunov-like function and satisfying an {\it intermediate sum condition}. This significantly generalizes the mass dissipation condition in the literature and thus allows the nonlinearities to have arbitrary polynomial growth. We show that two dimensional reaction-diffusion systems, with quadratic intermediate sum conditions, have global solutions which are bounded uniformly in time. In higher dimension, bounded solutions are obtained under the condition that the diffusion coefficients are {\it quasi-uniform}, i.e. they are close to each other. Applications include boundedness of solutions to chemical reaction networks with diffusion.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
Uniform-in-time bounds for quadratic reaction-diffusion systems with mass dissipation in higher dimensions
Authors:
Klemens Fellner,
Jeff Morgan,
Bao Quoc Tang
Abstract:
Uniform-in-time bounds of nonnegative classical solutions to reaction-diffusion systems in all space dimension are proved. The systems are assumed to dissipate the total mass and to have locally Lipschitz nonlinearities of at most (slightly super-) quadratic growth. This pushes forward the recent advances concerning global existence of reaction-diffusion systems dissipating mass in which a uniform…
▽ More
Uniform-in-time bounds of nonnegative classical solutions to reaction-diffusion systems in all space dimension are proved. The systems are assumed to dissipate the total mass and to have locally Lipschitz nonlinearities of at most (slightly super-) quadratic growth. This pushes forward the recent advances concerning global existence of reaction-diffusion systems dissipating mass in which a uniform-in-time bound has been known only in space dimension one or two. As an application, skew-symmetric Lotka-Volterra systems are shown to have unique classical solutions which are uniformly bounded in time in all dimensions with relatively compact trajectories in $C(\overlineΩ)^m$.
△ Less
Submitted 17 June, 2019;
originally announced June 2019.
-
Uniform boundedness for reaction-diffusion systems with mass dissipation
Authors:
Brian P. Cupps,
Jeff Morgan,
Bao Quoc Tang
Abstract:
We study the global existence and uniform-in-time bounds of classical solutions in all dimensions to reaction-diffusion systems dissipating mass. By utilizing the duality method and the regularization of the heat operator, we show that if the diffusion coefficients are close to each other, or if the diffusion coefficients are large enough compared to initial data, then the local classical solution…
▽ More
We study the global existence and uniform-in-time bounds of classical solutions in all dimensions to reaction-diffusion systems dissipating mass. By utilizing the duality method and the regularization of the heat operator, we show that if the diffusion coefficients are close to each other, or if the diffusion coefficients are large enough compared to initial data, then the local classical solution exists globally and is bounded uniformly in time. Applications of the results include the validity of the Global Attractor Conjecture for complex balanced reaction systems with large diffusion.
△ Less
Submitted 25 May, 2019;
originally announced May 2019.
-
Spatial Models of Vector-Host Epidemics with Directed Movement of Vectors Over Long Distances
Authors:
W. E. Fitzgibbon,
J. J. Morgan,
Glenn F. Webb,
Yixiang Wu
Abstract:
We investigate a time-dependent spatial vector-host epidemic model with non-coincident domains for the vector and host populations. The host population resides in small non-overlapping sub-regions, while the vector population resides throughout a much larger region. The dynamics of the populations are modeled by a reaction-diffusion-advection compartmental system of partial differential equations.…
▽ More
We investigate a time-dependent spatial vector-host epidemic model with non-coincident domains for the vector and host populations. The host population resides in small non-overlapping sub-regions, while the vector population resides throughout a much larger region. The dynamics of the populations are modeled by a reaction-diffusion-advection compartmental system of partial differential equations. The disease is transmitted through vector and host populations in criss-cross fashion. We establish global well-posedness and uniform a prior bounds as well as the long-term behavior. The model is applied to simulate the outbreak of bluetongue disease in sheep transmitted by midges infected with bluetongue virus. We show that the long-range directed movement of the midge population, due to wind-aided movement, enhances the transmission of the disease to sheep in distant sites.
△ Less
Submitted 10 September, 2018;
originally announced September 2018.
-
Quadratic Functions of Cocycles and Pin Structures
Authors:
Greg Brumfiel,
John Morgan
Abstract:
We construct a natural bijective correspondence between equivalence classes of Pin$^-$ structures on a compact simplicial $n$-manifold $M^n$, possibly with boundary, and $\mathbb{Z}/4$-valued 'quadratic functions' $Q$ defined on degree $n-1$ relative $\mathbb{Z}/2$ cocycles, $Q \colon Z^{n-1}(M^n, \partial M^n ; \mathbb{Z} /2) \to \mathbb{Z}/4$. The 'quadratic' property of $Q(p+q)$ and the values…
▽ More
We construct a natural bijective correspondence between equivalence classes of Pin$^-$ structures on a compact simplicial $n$-manifold $M^n$, possibly with boundary, and $\mathbb{Z}/4$-valued 'quadratic functions' $Q$ defined on degree $n-1$ relative $\mathbb{Z}/2$ cocycles, $Q \colon Z^{n-1}(M^n, \partial M^n ; \mathbb{Z} /2) \to \mathbb{Z}/4$. The 'quadratic' property of $Q(p+q)$ and the values $Q(dc)$ on coboundaries are expressed in terms of higher $\cup_i$ products of Steenrod. For $n = 2$ the results extend old results relating Pin$^-$ structures on closed surfaces to quadratic refinements of the cup product pairing on $H^1(M^n ; \mathbb{Z} /2)$. In the oriented case, that is, for Spin manifolds, the results extend results of Kapustin, see arXiv:1505.05856v2, and results in our previous paper on the Pontrjagin dual 4-dimensional Spin bordism, see arXiv:1803.08147. The extension of those results to Pin$^-$ manifolds in this paper required a different approach, involving some stable homotopy theory of Postnikov towers.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
Global classical solutions to quadratic systems with mass control in arbitrary dimensions
Authors:
Klemens Fellner,
Jeff Morgan,
Bao Quoc Tang
Abstract:
The global existence of classical solutions to reaction-diffusion systems in arbitrary space dimensions is studied. The nonlinearities are assumed to be quasi-positive, to have (slightly super-) quadratic growth, and to possess a mass control, which includes the important cases as mass conservation and mass dissipation. Under these assumptions, the local classical solution is shown to be global an…
▽ More
The global existence of classical solutions to reaction-diffusion systems in arbitrary space dimensions is studied. The nonlinearities are assumed to be quasi-positive, to have (slightly super-) quadratic growth, and to possess a mass control, which includes the important cases as mass conservation and mass dissipation. Under these assumptions, the local classical solution is shown to be global and, in case of mass conservation or mass dissipation, to have $L^{\infty}$-norm growing at most polynomially in time. Applications include skew-symmetric Lotka-Volterra systems and quadratic reversible chemical reactions.
△ Less
Submitted 25 February, 2019; v1 submitted 3 August, 2018;
originally announced August 2018.
-
Analysis of a Reaction Diffusion Model for a Reservoir Supported Spread of Infectious Disease
Authors:
W. E. Fitzgibbon,
J. J. Morgan
Abstract:
Motivated by recent outbreaks of the Ebola Virus, we are concerned with the role that a vector reservoir plays in supporting the spatio-temporal spread of a highly lethal disease through a host population. In our context, the reservoir is a species capable of harboring and sustaining the pathogen. We develop models that describe the horizontal spread of the disease among the host population when t…
▽ More
Motivated by recent outbreaks of the Ebola Virus, we are concerned with the role that a vector reservoir plays in supporting the spatio-temporal spread of a highly lethal disease through a host population. In our context, the reservoir is a species capable of harboring and sustaining the pathogen. We develop models that describe the horizontal spread of the disease among the host population when the host population is in contact with the reservoir and when it is not in contact with the host population. These models are of reaction diffusion type, and they are analyzed, and their long term asymptotic behavior is determined.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
-
How can the score test be consistent?
Authors:
N. Karavarsamis,
G. Guillera-Arroita,
RM Huggins,
B J T Morgan
Abstract:
The score test statistic using the observed information is easy to compute numerically. Its large sample distribution under the null hypothesis is well known and is equivalent to that of the score test based on the expected information, the likelihood-ratio test and the Wald test. However, several authors have noted that under the alternative this no longer holds and in particular the statistic ca…
▽ More
The score test statistic using the observed information is easy to compute numerically. Its large sample distribution under the null hypothesis is well known and is equivalent to that of the score test based on the expected information, the likelihood-ratio test and the Wald test. However, several authors have noted that under the alternative this no longer holds and in particular the statistic can take negative values. Here we examine the score test using the observed information in the context of comparing two binomial proportions under imperfect detection, a common problem in ecology when studying occurrence of species. We demonstrate through a combination of simulations and theoretical analysis that a new modified rule which we propose that rejects the null hypothesis when the observed score statistic is larger than the usual chi-square cut-off or is negative has power that is mostly greater to any other test. In addition consistency is largely restored. Our new test is easy to use and inference is always possible.
△ Less
Submitted 9 August, 2018; v1 submitted 13 May, 2018;
originally announced May 2018.
-
The Pontrjagin Dual of 4-Dimensional Spin Bordism
Authors:
Greg Brumfiel,
John Morgan
Abstract:
The goal of this paper is to study the Pontrjagin dual of (reduced) 4-dimensional Spin bordism. That is to say, we consider the functor from the category of topological spaces to the category of compact abelian groups that associates to each space X the compact group of homomorphisms from the reduced 4-dimensional Spin bordism of X to the circle. In a previous paper, we studied the analogous probl…
▽ More
The goal of this paper is to study the Pontrjagin dual of (reduced) 4-dimensional Spin bordism. That is to say, we consider the functor from the category of topological spaces to the category of compact abelian groups that associates to each space X the compact group of homomorphisms from the reduced 4-dimensional Spin bordism of X to the circle. In a previous paper, we studied the analogous problem for 3-dimensional Spin bordism. Our work was motivated by some questions from physics. The physicists are primarily interested in the case when X is the classifying space of a finite group, but our arguments are valid for general X. We describe the dual group, G(X), as equivalence classes of triples of cochains (w,p,a) on X, triples satisfying certain relations with a product. We also describe the pairing between such triples and a closed 4-dimensional Spin manifold mapping to X, the pairing that produces the identification of G(X) with the Pontrjagin dual of the reduced 4-dimensional Spin bordism of X.
△ Less
Submitted 21 March, 2018;
originally announced March 2018.
-
Generation of unstructured meshes in 2-D, 3-D, and spherical geometries with embedded high resolution sub-regions
Authors:
J. M. Taramón,
J. P. Morgan,
C. Shi,
J. Hasenclever
Abstract:
We present 2-D, 3-D, and spherical mesh generators for the Finite Element Method (FEM) using triangular and tetrahedral elements. The mesh nodes are treated as if they were linked by virtual springs that obey Hooke's law. Given the desired length for the springs, the FEM is used to solve for the optimal nodal positions for the static equilibrium of this spring system. A 'guide-mesh' approach allow…
▽ More
We present 2-D, 3-D, and spherical mesh generators for the Finite Element Method (FEM) using triangular and tetrahedral elements. The mesh nodes are treated as if they were linked by virtual springs that obey Hooke's law. Given the desired length for the springs, the FEM is used to solve for the optimal nodal positions for the static equilibrium of this spring system. A 'guide-mesh' approach allows the user to create embedded high resolution sub-regions within a coarser mesh. The method converges rapidly. For example, in 3-D, the algorithm is able to refine a specific region within an unstructured tetrahedral spherical shell so that the edge-length factor $l_{0r}/l_{0c} = 1/33$ within a few iterations, where $l_{0r}$ and $l_{0c}$ are the desired spring length for elements inside the refined and coarse regions respectively. One use for this type of mesh is to model regional problems as a fine region within a global mesh that has no fictitious boundaries, at only a small additional computational cost. The algorithm also includes routines to locally improve the quality of the mesh and to avoid badly shaped 'slivers-like' tetrahedra.
△ Less
Submitted 14 November, 2017;
originally announced November 2017.
-
A Vector-Host Epidemic Model with Spatial Structure and Age of Infection
Authors:
William E. Fitzgibbon,
Jeffrey J. Morgan,
Glenn F. Webb,
Yixiang Wu
Abstract:
In this paper we study a diffusive age structured epidemic model with disease transmission between vector and host populations. The dynamics of the populations are described by reaction-diffusion equations, with infection age structure of the host population incorporated to account for incubation periods. The disease is transmitted between vector and host populations in crisscross fashion. The exi…
▽ More
In this paper we study a diffusive age structured epidemic model with disease transmission between vector and host populations. The dynamics of the populations are described by reaction-diffusion equations, with infection age structure of the host population incorporated to account for incubation periods. The disease is transmitted between vector and host populations in crisscross fashion. The existence of solutions of the model is studied by operator semigroup methods, and the asymptotic behavior of the solution is investigated.
△ Less
Submitted 14 June, 2017;
originally announced June 2017.
-
The Pontrjagin Dual of 3-Dimensional Spin Bordism
Authors:
Greg Brumfiel,
John Morgan
Abstract:
For each space X we define an explicit group, G(X), functorially in X. This group is constructed from the groups of cochains on X. Furthermore, we construct an explicit functorial pairing with values in R/Z between the cochain representatives for elements of G(X) and maps of closed 3-dimensional spin manifolds to X. This pairing induces a pairing between G(X) and the 3-dimensional spin bordism gro…
▽ More
For each space X we define an explicit group, G(X), functorially in X. This group is constructed from the groups of cochains on X. Furthermore, we construct an explicit functorial pairing with values in R/Z between the cochain representatives for elements of G(X) and maps of closed 3-dimensional spin manifolds to X. This pairing induces a pairing between G(X) and the 3-dimensional spin bordism group of X and identifies each with the Pontrjagin dual of the other.
△ Less
Submitted 9 April, 2018; v1 submitted 8 December, 2016;
originally announced December 2016.
-
Selectively (a)-spaces from almost disjoint families are necessarily countable under a certain parametrized weak diamond principle
Authors:
Charles J. G. Morgan,
Samuel G. Da Silva
Abstract:
The second author has recently shown ([20]) that any selectively (a) almost disjoint family must have cardinality strictly less than $2^{\alpeh_0}$, so under the Continuum Hypothesis such a family is necessarily countable. However, it is also shown in the same paper that $2^{\alpeh_0} < 2^{\alpeh_1}$ alone does not avoid the existence of uncountable selectively (a) almost disjoint families. We sho…
▽ More
The second author has recently shown ([20]) that any selectively (a) almost disjoint family must have cardinality strictly less than $2^{\alpeh_0}$, so under the Continuum Hypothesis such a family is necessarily countable. However, it is also shown in the same paper that $2^{\alpeh_0} < 2^{\alpeh_1}$ alone does not avoid the existence of uncountable selectively (a) almost disjoint families. We show in this paper that a certain effective parametrized weak diamond principle is enough to ensure countability of the almost disjoint family in this context. We also discuss the deductive strength of this specific weak diamond principle (which is consistent with the negation of the Continuum Hypothesis, apart from other features).
△ Less
Submitted 19 September, 2016;
originally announced September 2016.
-
Uniform Bounds for Solutions to Volume-Surface Reaction Diffusion Systems
Authors:
Vandana Sharma,
Jeff Morgan
Abstract:
We consider a reaction-diffusion system where some components react and diffuse on the boundary of a region, while other components diffuse in the interior and react with those on the boundary through mass transport. We establish criteria guaranteeing that solutions are uniformly bounded in time.
We consider a reaction-diffusion system where some components react and diffuse on the boundary of a region, while other components diffuse in the interior and react with those on the boundary through mass transport. We establish criteria guaranteeing that solutions are uniformly bounded in time.
△ Less
Submitted 29 December, 2015;
originally announced December 2015.
-
Correction to Section 19.2 of Ricci Flow and the Poincare Conjecture
Authors:
John Morgan,
Gang Tian
Abstract:
This note corrects a mistake in the original book in the evolution equations of total curvature for the curve-shrinking flow in an ambient Ricci Flow. The resulting upper bound for the evolution of total curvature is an exponential bound in time. The change involves the multiplicative constant. Here we show that it depends on the initial total curvature and the initial length, rather than just on…
▽ More
This note corrects a mistake in the original book in the evolution equations of total curvature for the curve-shrinking flow in an ambient Ricci Flow. The resulting upper bound for the evolution of total curvature is an exponential bound in time. The change involves the multiplicative constant. Here we show that it depends on the initial total curvature and the initial length, rather than just on the initial total curvature as was asserted before. This change does not affect the application of these results to prove finite-time extinction when the third homotopy group of the manifold is non-trivial.
△ Less
Submitted 2 December, 2015;
originally announced December 2015.
-
Global Existence of Solutions to Reaction Diffusion Systems with Mass Transport Type Boundary Conditions
Authors:
Vandana Sharma,
Jeff Morgan
Abstract:
We consider a reaction-diffusion system where some components react and diffuse on the boundary of a region, while other components diffuse in the interior and react with those on the boundary through mass transport. We establish local well-posedness and global existence of solutions for these systems using classical potential theory and linear estimates for initial boundary value problems.
We consider a reaction-diffusion system where some components react and diffuse on the boundary of a region, while other components diffuse in the interior and react with those on the boundary through mass transport. We establish local well-posedness and global existence of solutions for these systems using classical potential theory and linear estimates for initial boundary value problems.
△ Less
Submitted 19 November, 2015; v1 submitted 1 April, 2015;
originally announced April 2015.
-
$P$-Paracompact and $P$-Metrizable Spaces
Authors:
Ziqin Feng,
Paul Gartside,
Jeremiah Morgan
Abstract:
Let $P$ be a directed set and $X$ a space. A collection $\mathcal{C}$ of subsets of $X$ is \emph{$P$-locally finite} if $\mathcal{C}=\bigcup \{ \mathcal{C}_p : p \in P\}$ where (i) if $p \le p'$ then $\mathcal{C}_p \subseteq \mathcal{C}_{p'}$ and (ii) each $\mathcal{C}_p$ is locally finite. Then $X$ is \emph{$P$-paracompact} if every open cover has a $P$-locally finite open refinement. Further,…
▽ More
Let $P$ be a directed set and $X$ a space. A collection $\mathcal{C}$ of subsets of $X$ is \emph{$P$-locally finite} if $\mathcal{C}=\bigcup \{ \mathcal{C}_p : p \in P\}$ where (i) if $p \le p'$ then $\mathcal{C}_p \subseteq \mathcal{C}_{p'}$ and (ii) each $\mathcal{C}_p$ is locally finite. Then $X$ is \emph{$P$-paracompact} if every open cover has a $P$-locally finite open refinement. Further, $X$ is \emph{$P$-metrizable} if it has a $(P \times \mathbb{N})$-locally finite base. This work provides the first detailed study of $P$-paracompact and $P$-metrizable spaces, particularly in the case when $P$ is a $\mathcal{K}(M)$, the set of all compact subsets of a separable metrizable space $M$ ordered by set inclusion.
△ Less
Submitted 8 January, 2015;
originally announced January 2015.
-
Interception in differential pursuit/evasion games
Authors:
J. A. Morgan
Abstract:
A qualitative criterion for a pursuer to intercept a target in a class of differential games is obtained in terms of \emph{future cones}: Topological cones that contain all attainable trajectories of target or interceptor originating from an initial position. An interception solution exists after some initial time iff the future cone of the target lies within the future cone of the interceptor. Th…
▽ More
A qualitative criterion for a pursuer to intercept a target in a class of differential games is obtained in terms of \emph{future cones}: Topological cones that contain all attainable trajectories of target or interceptor originating from an initial position. An interception solution exists after some initial time iff the future cone of the target lies within the future cone of the interceptor. The solution may be regarded as a kind of Nash equillibrium. This result is applied to two examples:
1. The game of Two Cars: The future cone condition is shown to be equivalent to conditions for interception obtained by Cockayne. \cite{ref2}
2. Satellite warfare: The future cone for a spacecraft or direct-ascent antisatellite weapon (ASAT) maneuvering in a central gravitational field is obtained and is shown to equal that for a spacecraft which maneuvers solely by means of a single velocity change at the cone vertex.
The latter result is illustrated with an analysis of the January 2007 interception of the FengYun-1C spacecraft.
△ Less
Submitted 16 December, 2013; v1 submitted 19 September, 2011;
originally announced September 2011.
-
Qualitative Criterion for Interception in a Pursuit/Evasion Game
Authors:
John A. Morgan
Abstract:
A qualitative account is given of a differential pursuit/evasion game. A criterion for the existence of an intercept solution is obtained using future cones that contain all attainable trajectories of target or interceptor originating from an initial position. A sufficient and necessary conditon that an opportunity to intercept always exist is that, after some initial time, the future cone of th…
▽ More
A qualitative account is given of a differential pursuit/evasion game. A criterion for the existence of an intercept solution is obtained using future cones that contain all attainable trajectories of target or interceptor originating from an initial position. A sufficient and necessary conditon that an opportunity to intercept always exist is that, after some initial time, the future cone of the target be contained within the future cone of the interceptor. The sufficient condition may be regarded as a kind of Nash equillibrium.
△ Less
Submitted 25 September, 2009; v1 submitted 11 January, 2009;
originally announced January 2009.
-
Completion of the Proof of the Geometrization Conjecture
Authors:
John Morgan,
Gang Tian
Abstract:
This article is a sequel to the book `Ricci Flow and the Poincare Conjecture' by the same authors. Using the main results of that book we establish the Geometrization Conjecture for all compact, orientable three-manifolds following the approach indicated by Perelman in his preprints on the subject. This approach is to study the collapsed part of the manifold as time goes to infinity in a Ricci f…
▽ More
This article is a sequel to the book `Ricci Flow and the Poincare Conjecture' by the same authors. Using the main results of that book we establish the Geometrization Conjecture for all compact, orientable three-manifolds following the approach indicated by Perelman in his preprints on the subject. This approach is to study the collapsed part of the manifold as time goes to infinity in a Ricci flow with surgery. The main technique for this study is the theory of Alexandrov spaces. This theory gives local models for the collapsed part of the manifold. These local models can be glued together to prove that the collapsed part of the manifold is a graph manifold with incompressible boundary. From this and previous results, geometrization follows easily.
△ Less
Submitted 23 September, 2008;
originally announced September 2008.
-
Resolvable designs with large blocks
Authors:
J. P. Morgan,
Brian H. Reck
Abstract:
Resolvable designs with two blocks per replicate are studied from an optimality perspective. Because in practice the number of replicates is typically less than the number of treatments, arguments can be based on the dual of the information matrix and consequently given in terms of block concurrences. Equalizing block concurrences for given block sizes is often, but not always, the best strategy…
▽ More
Resolvable designs with two blocks per replicate are studied from an optimality perspective. Because in practice the number of replicates is typically less than the number of treatments, arguments can be based on the dual of the information matrix and consequently given in terms of block concurrences. Equalizing block concurrences for given block sizes is often, but not always, the best strategy. Sufficient conditions are established for various strong optimalities and a detailed study of E-optimality is offered, including a characterization of the E-optimal class. Optimal designs are found to correspond to balanced arrays and an affine-like generalization.
△ Less
Submitted 14 August, 2007;
originally announced August 2007.
-
Ricci Flow and the Poincare Conjecture
Authors:
John W. Morgan,
Gang Tian
Abstract:
This manuscript contains a detailed proof of the Poincare Conjecture. The arguments we present here are expanded versions of the ones given by Perelman in his three preprints posted in 2002 and 2003. This is a revised version taking in account the comments of the referees and others. It has been reformatted in the AMS book style.
This manuscript contains a detailed proof of the Poincare Conjecture. The arguments we present here are expanded versions of the ones given by Perelman in his three preprints posted in 2002 and 2003. This is a revised version taking in account the comments of the referees and others. It has been reformatted in the AMS book style.
△ Less
Submitted 21 March, 2007; v1 submitted 25 July, 2006;
originally announced July 2006.
-
Algebraic Topology of Calabi-Yau Threefolds in Toric Varieties
Authors:
Charles F. Doran,
John W. Morgan
Abstract:
We compute the integral homology (including torsion), the topological K-theory, and the Hodge structure on cohomology of Calabi-Yau threefold hypersurfaces and complete intersections in Gorenstein toric Fano varieties. The methods are purely topological.
We compute the integral homology (including torsion), the topological K-theory, and the Hodge structure on cohomology of Calabi-Yau threefold hypersurfaces and complete intersections in Gorenstein toric Fano varieties. The methods are purely topological.
△ Less
Submitted 2 May, 2006;
originally announced May 2006.
-
Mirror Symmetry and Integral Variations of Hodge Structure Underlying One Parameter Families of Calabi-Yau Threefolds
Authors:
Charles F. Doran,
John W. Morgan
Abstract:
This proceedings note introduces aspects of the authors' work relating mirror symmetry and integral variations of Hodge structure. The emphasis is on their classification of the integral variations of Hodge structure which can underly families of Calabi-Yau threefolds over the thrice-punctured sphere with b^3 = 4, or equivalently h^{2,1} = 1, and the related issues of geometric realization of th…
▽ More
This proceedings note introduces aspects of the authors' work relating mirror symmetry and integral variations of Hodge structure. The emphasis is on their classification of the integral variations of Hodge structure which can underly families of Calabi-Yau threefolds over the thrice-punctured sphere with b^3 = 4, or equivalently h^{2,1} = 1, and the related issues of geometric realization of these variations. The presentation parallels that of the first author's talk at the BIRS workshop.
△ Less
Submitted 12 May, 2005;
originally announced May 2005.
-
Mathematics Underlying the F-Theory/Heterotic String Duality in Eight Dimensions
Authors:
Adrian Clingher,
John W. Morgan
Abstract:
One of the dualities in string theory, the F-theory/heterotic string duality in eight dimensions, predicts an interesting correspondence between two seemingly disparate geometrical objects. On one side of the duality there are elliptically fibered K3 surfaces with section. On the other side, one finds elliptic curves endowed with certain flat connections and complexified Kahler classes. This pap…
▽ More
One of the dualities in string theory, the F-theory/heterotic string duality in eight dimensions, predicts an interesting correspondence between two seemingly disparate geometrical objects. On one side of the duality there are elliptically fibered K3 surfaces with section. On the other side, one finds elliptic curves endowed with certain flat connections and complexified Kahler classes. This paper is part of a project aimed at establishing the rigorous mathematical results describing the geometry underlying the classical aspects of this duality. The task involves understanding and comparing the classical moduli spaces on the two sides.
△ Less
Submitted 11 August, 2003;
originally announced August 2003.
-
Automorphism sheaves, spectral covers, and the Kostant and Steinberg sections
Authors:
Robert Friedman,
John W. Morgan
Abstract:
Kostant constructed a section from the adjoint quotient morphism of a simple Lie algebra to the open set of regular elements, and Steinberg constructed such a section for the adjoint quotient of a simply connected and simple algebraic group. In this paper, we show that all sections of the adjoint quotient are conjugate via a morphism from the adjoint quotient to the group. In particular, the sec…
▽ More
Kostant constructed a section from the adjoint quotient morphism of a simple Lie algebra to the open set of regular elements, and Steinberg constructed such a section for the adjoint quotient of a simply connected and simple algebraic group. In this paper, we show that all sections of the adjoint quotient are conjugate via a morphism from the adjoint quotient to the group. In particular, the sections constructed via the parabolic construction are conjugate either to the Kostant section or to the Steinberg section. The method of proof consists in studying automorphism sheaves of certain principle bundles over faamilies of cuspidal or nodal plane cubic curves.
△ Less
Submitted 5 September, 2002;
originally announced September 2002.
-
Holomorphic Principal Bundles Over Elliptic Curves III: Singular Curves and Fibrations
Authors:
R. Friedman,
J. W. Morgan
Abstract:
Let G be a simple and simply connected complex linear algebraic group. In this paper, we discuss the generalization of the parabolic construction of holomorphic principal G-bundles over a smooth elliptic curve to the case of a singular curve of arithmetic genus one and to a fibration of Weierstrass cubics over a base B. Except for G of type E_8, the method gives a family of weighted projective s…
▽ More
Let G be a simple and simply connected complex linear algebraic group. In this paper, we discuss the generalization of the parabolic construction of holomorphic principal G-bundles over a smooth elliptic curve to the case of a singular curve of arithmetic genus one and to a fibration of Weierstrass cubics over a base B. Except for G of type E_8, the method gives a family of weighted projective spaces associated to a sum of line bundles over B. Working with the universal family of Weierstrass curves over affine two-space and its natural C^*-action, we determine the line bundles that arise in the direct sum in terms of the Casimir weights of the group. We show that in the case of a cuspidal or nodal curve C, provided that G is not of type E_8 or C is not cuspidal, the parabolic construction is closely related to constructions of Kostant and Steinberg of sections for the adjoint quotient morphism of the group G or its Lie algebra, and that moreover it gives a compactification of the adjoint quotient. We describe how the construction may be modified for E_8. Finally, given an irreducible representation of G, we characterize the G-bundles arising from the parabolic construction such that the associated vector bundle is unstable.
△ Less
Submitted 19 September, 2001; v1 submitted 15 August, 2001;
originally announced August 2001.
-
Minuscule representations, invariant polynomials, and spectral covers
Authors:
Robert Friedman,
John W. Morgan
Abstract:
Given a minuscule representation of a simple Lie algebra, we find an algebraic model for the action of a regular element and show that these models can be glued together over the adjoint quotient, viewed as the set of all regular conjugacy classes of the Lie algebra. There are partial results in the case of a quasiminuscule representation, and a conjecture in the case of a general irreducible fi…
▽ More
Given a minuscule representation of a simple Lie algebra, we find an algebraic model for the action of a regular element and show that these models can be glued together over the adjoint quotient, viewed as the set of all regular conjugacy classes of the Lie algebra. There are partial results in the case of a quasiminuscule representation, and a conjecture in the case of a general irreducible finite-dimensional representation. The method of proof is to relate the question to a problem concerning holomorphic principal bundles over cuspidal cubic curves.
△ Less
Submitted 13 January, 2003; v1 submitted 13 November, 2000;
originally announced November 2000.
-
Exceptional groups and del Pezzo surfaces
Authors:
Robert Friedman,
John W. Morgan
Abstract:
Given a del Pezzo surface of degree d between 1 and 6, possibly with rational double points, we construct a "tautological" holomorphic G-bundle over X, where G is a reductive group which is an appropriate conformal form of the simply connected complex linear group whose coroot lattice is isomorphic to the primitive cohomology of the minimal resolution of X. For example, in case d=3 and X is a sm…
▽ More
Given a del Pezzo surface of degree d between 1 and 6, possibly with rational double points, we construct a "tautological" holomorphic G-bundle over X, where G is a reductive group which is an appropriate conformal form of the simply connected complex linear group whose coroot lattice is isomorphic to the primitive cohomology of the minimal resolution of X. For example, in case d=3 and X is a smooth cubic surface, the rank 27 vector bundle over X associated to the G-bundle constructed above and the standard 27-dimensional representation of E_6 is a direct sum of the line bundles associated to the 27 lines on X. We also discuss the restriction of the G-bundle to smooth hyperplane sections.
△ Less
Submitted 25 September, 2000; v1 submitted 15 September, 2000;
originally announced September 2000.
-
Holomorphic Principal Bundles Over Elliptic Curves II: The Parabolic Construction
Authors:
Robert Friedman,
John W. Morgan
Abstract:
This paper continues the study of holomorphic semistable principal G-bundles over an elliptic curve. In this paper, the moduli space of all such bundles is constructed by considering deformations of a minimally unstable G-bundle. The set of all such deformations can be described as the C^* quotient of the cohomology group of a sheaf of unipotent groups, and we show that this quotient has the str…
▽ More
This paper continues the study of holomorphic semistable principal G-bundles over an elliptic curve. In this paper, the moduli space of all such bundles is constructed by considering deformations of a minimally unstable G-bundle. The set of all such deformations can be described as the C^* quotient of the cohomology group of a sheaf of unipotent groups, and we show that this quotient has the structure of a weighted projective space. We identify this weighted projective space with the moduli space of semistable G-bundles, giving a new proof of a theorem of Looijenga.
△ Less
Submitted 14 March, 2001; v1 submitted 22 June, 2000;
originally announced June 2000.
-
On the converse to a theorem of Atiyah and Bott
Authors:
Robert Friedman,
John W. Morgan
Abstract:
Let G be a complex reductive group and let C be a smooth curve of genus at least one. We prove a converse to a theorem of Atiyah-Bott concerning the stratification of the space of holomorphic G-bundles on C. In case the genus of C is one, we establish that one has a stratification in the strong sense. The paper concludes with a characterization of the minimally unstable strata in case G is simpl…
▽ More
Let G be a complex reductive group and let C be a smooth curve of genus at least one. We prove a converse to a theorem of Atiyah-Bott concerning the stratification of the space of holomorphic G-bundles on C. In case the genus of C is one, we establish that one has a stratification in the strong sense. The paper concludes with a characterization of the minimally unstable strata in case G is simple.
△ Less
Submitted 12 June, 2000;
originally announced June 2000.
-
Almost commuting elements in compact Lie groups
Authors:
Armand Borel,
Robert Friedman,
John W. Morgan
Abstract:
We describe the components of the moduli space of conjugacy classes of commuting pairs and triples of elements in a compact Lie group. This description is in terms of the extended Dynkin diagram of the simply connected cover, together with the coroot integers and the action of the fundamental group. In the case of three commuting elements, we compute Chern-Simons invariants associated to the cor…
▽ More
We describe the components of the moduli space of conjugacy classes of commuting pairs and triples of elements in a compact Lie group. This description is in terms of the extended Dynkin diagram of the simply connected cover, together with the coroot integers and the action of the fundamental group. In the case of three commuting elements, we compute Chern-Simons invariants associated to the corresponding flat bundles over the three-torus, and verify a conjecture of Witten which reveals a surprising symmetry involving the Chern-Simons invariants and the dimensions of the components of the moduli space.
△ Less
Submitted 1 July, 1999;
originally announced July 1999.
-
Holomorphic principal bundles over elliptic curves
Authors:
Robert Friedman,
John W. Morgan
Abstract:
In this paper, the first of a series of three, we classify holomorphic principal G-bundles over an elliptic curve, where G is a reductive group. We also study the local and global properties of the moduli space of semistable G-bundles. We identify canonical representatives for each S-equivalence class of semistable G-bundles, and study their automorphism groups.
In this paper, the first of a series of three, we classify holomorphic principal G-bundles over an elliptic curve, where G is a reductive group. We also study the local and global properties of the moduli space of semistable G-bundles. We identify canonical representatives for each S-equivalence class of semistable G-bundles, and study their automorphism groups.
△ Less
Submitted 22 November, 1998;
originally announced November 1998.
-
Vector Bundles over Elliptic Fibrations
Authors:
Robert Friedman,
John W. Morgan,
Edward Witten
Abstract:
This paper gives various methods for constructing vector bundles over elliptic curves and more generally over families of elliptic curves. We construct universal families over generalized elliptic curves via spectral cover methods and also by extensions, and then give a relative version of the construction in families. We give various examples and make Chern class computations.
This paper gives various methods for constructing vector bundles over elliptic curves and more generally over families of elliptic curves. We construct universal families over generalized elliptic curves via spectral cover methods and also by extensions, and then give a relative version of the construction in families. We give various examples and make Chern class computations.
△ Less
Submitted 26 September, 1997;
originally announced September 1997.
