Development of a variational SEASAT data analysis technique

Oceans are data-sparse areas in terms of conventional weather observations. The surface pressure field obtained solely by analyzing the conventional weather data is not expected to possess high accuracy. On the other hand, in entering asynoptic data such as satellite-derived temperature soundings into an atmospheric prediction system, an improved surface analysis is crucial for obtaining more accurate weather predictions because the mass distribution of the entire atmosphere will be better represented in the system as a result of the more accurate surface pressure field. In order to obtain improved surface pressure analyses over the oceans, a variational adjustment technique was developed to help blend the densely distributed surface wind data derived from the SEASAT-A radar observations into the sparsely distributed conventional pressure data. A simple marine boundary layer scheme employed in the adjustment technique was discussed. In addition, a few aspects of the current technique were determined by numerical experiments

Development of the variational SEASAT data analysis technique

Surface winds are closely associated with the surface pressure gradient. The variational SEASAT data analysis technique was designed to improve the sea level pressure analysis in the data sparse areas. The SEASAT-derived surface wind data were compared with observations from the Joint Air Sea Interaction Experiment (JASIN) and it was found that the satellite-derived sea surface wind has an accuracy of up to + or - 2 m/s in speed and + or - 20 deg in direction. These numbers are considered characteristic of the retrieved SEASAT wind field. By combining the densely spaced SEASAT-derived wind data with the sparsely distributed sea-level pressure observation via a variational adjustment technique subject to some appropriate physical constraint(s), an improvement in the sea-level pressure analysis is expected. It is demonstrated that a simple marine boundary layer scheme in conjunction with a variational adjustment technique can be developed to help improve the sea-level pressure analysis by the SEASAT-derived wind of a limited-area domain in the ocean

Upper-Tropospheric Winds Derived from Geostationary Satellite Water Vapor Observations

The coverage and quality of remotely sensed upper-tropospheric moisture parameters have improved considerably with the deployment of a new generation of operational geostationary meteorological satellites: GOES-8/9 and GMS-5. The GOES-8/9 water vapor imaging capabilities have increased as a result of improved radiometric sensitivity and higher spatial resolution. The addition of a water vapor sensing channel on the latest GMS permits nearly global viewing of upper-tropospheric water vapor (when joined with GOES and Meteosat) and enhances the commonality of geostationary meteorological satellite observing capabilities. Upper-tropospheric motions derived from sequential water vapor imagery provided by these satellites can be objectively extracted by automated techniques. Wind fields can be deduced in both cloudy and cloud-free environments. In addition to the spatially coherent nature of these vector fields, the GOES-8/9 multispectral water vapor sensing capabilities allow for determination of wind fields over multiple tropospheric layers in cloud-free environments. This article provides an update on the latest efforts to extract water vapor motion displacements over meteorological scales ranging from subsynoptic to global. The potential applications of these data to impact operations, numerical assimilation and prediction, and research studies are discussed

L∞L_\infty-Algebras, the BV Formalism, and Classical Fields

We summarise some of our recent works on $L_\infty$-algebras and quasi-groups with regard to higher principal bundles and their applications in twistor theory and gauge theory. In particular, after a lightning review of $L_\infty$-algebras, we discuss their Maurer-Cartan theory and explain that any classical field theory admitting an action can be reformulated in this context with the help of the Batalin-Vilkovisky formalism. As examples, we explore higher Chern-Simons theory and Yang-Mills theory. We also explain how these ideas can be combined with those of twistor theory to formulate maximally superconformal gauge theories in four and six dimensions by means of $L_\infty$-quasi-isomorphisms, and we propose a twistor space action.Comment: 19 pages, Contribution to Proceedings of LMS/EPSRC Durham Symposium Higher Structures in M-Theory, August 201

Higher Structures in M-Theory

The key open problem of string theory remains its non-perturbative completion to M-theory. A decisive hint to its inner workings comes from numerous appearances of higher structures in the limits of M-theory that are already understood, such as higher degree flux fields and their dualities, or the higher algebraic structures governing closed string field theory. These are all controlled by the higher homotopy theory of derived categories, generalised cohomology theories, and $L_\infty$-algebras. This is the introductory chapter to the proceedings of the LMS/EPSRC Durham Symposium on Higher Structures in M-Theory. We first review higher structures as well as their motivation in string theory and beyond. Then we list the contributions in this volume, putting them into context.Comment: 22 pages, Introductory Article to Proceedings of LMS/EPSRC Durham Symposium Higher Structures in M-Theory, August 2018, references update

DG-algebras and derived A-infinity algebras

A differential graded algebra can be viewed as an A-infinity algebra. By a theorem of Kadeishvili, a dga over a field admits a quasi-isomorphism from a minimal A-infinity algebra. We introduce the notion of a derived A-infinity algebra and show that any dga A over an arbitrary commutative ground ring k is equivalent to a minimal derived A-infinity algebra. Such a minimal derived A-infinity algebra model for A is a k-projective resolution of the homology algebra of A together with a family of maps satisfying appropriate relations. As in the case of A-infinity algebras, it is possible to recover the dga up to quasi-isomorphism from a minimal derived A-infinity algebra model. Hence the structure we are describing provides a complete description of the quasi-isomorphism type of the dga.Comment: v3: 27 pages. Minor corrections, to appear in Crelle's Journa

The homotopy theory of simplicial props

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored simplicial props admits a cofibrantly generated model category structure. With this model structure, the forgetful functor from props to operads is a right Quillen functor.Comment: Final version, to appear in Israel J. Mat

On the algebraic K-theory of the complex K-theory spectrum

Let p>3 be a prime, let ku be the connective complex K-theory spectrum, and let K(ku) be the algebraic K-theory spectrum of ku. We study the p-primary homotopy type of the spectrum K(ku) by computing its mod (p,v_1) homotopy groups. We show that up to a finite summand, these groups form a finitely generated free module over a polynomial algebra F_p[b], where b is a class of degree 2p+2 defined as a higher Bott element.Comment: Revised and expanded version, 42 pages

The Dold-Kan Correspondence and Coalgebra Structures

By using the Dold-Kan correspondence we construct a Quillen adjunction between the model categories of non-cocommutative coassociative simplicial and differential graded coalgebras over a field. We restrict to categories of connected coalgebras and prove a Quillen equivalence between them.Comment: 24 pages. Accepted by the Journal of Homotopy and Related Structures. Online 28 November 201

The de Rham homotopy theory and differential graded category

This paper is a generalization of arXiv:0810.0808. We develop the de Rham homotopy theory of not necessarily nilpotent spaces, using closed dg-categories and equivariant dg-algebras. We see these two algebraic objects correspond in a certain way. We prove an equivalence between the homotopy category of schematic homotopy types and a homotopy category of closed dg-categories. We give a description of homotopy invariants of spaces in terms of minimal models. The minimal model in this context behaves much like the Sullivan's minimal model. We also provide some examples. We prove an equivalence between fiberwise rationalizations and closed dg-categories with subsidiary data.Comment: 47 pages. final version. The final publication is available at http://www.springerlink.co