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

Constructing the determinant sphere using a Tate twist

Following an idea of Hopkins, we construct a model of the determinant sphere $S\langle det \rangle$ in the category of $K(n)$-local spectra. To do this, we build a spectrum which we call the Tate sphere $S(1)$. This is a $p$-complete sphere with a natural continuous action of $\mathbb{Z}_p^\times$. The Tate sphere inherits an action of $\mathbb{G}_n$ via the determinant and smashing Morava $E$-theory with $S(1)$ has the effect of twisting the action of $\mathbb{G}_n$. A large part of this paper consists of analyzing continuous $\mathbb{G}_n$-actions and their homotopy fixed points in the setup of Devinatz and Hopkins

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

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

Homotopy colimits and global observables in Abelian gauge theory

We study chain complexes of field configurations and observables for Abelian gauge theory on contractible manifolds, and show that they can be extended to non-contractible manifolds by using techniques from homotopy theory. The extension prescription yields functors from a category of manifolds to suitable categories of chain complexes. The extended functors properly describe the global field and observable content of Abelian gauge theory, while the original gauge field configurations and observables on contractible manifolds are recovered up to a natural weak equivalence

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

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

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