Dave Auckly

Holonomy and Skyrme's Model

In this paper we consider two generalizations of the Skyrme model. One is a variational problem for maps from a compact 3-manifold to a compact Lie group. The other is a variational problem for flat connections. We describe the path components of the configuration spaces of smooth fields for each of the variational problems. We prove that the invariants separating the path components are well-defined for (not necessarily smooth) fields with finite Skyrme energy. We prove that for every possible value of these invariants there exists a minimizer of the Skyrme functional. Throughout the paper we emphasize the importance of holonomy in the Skyrme model. Some of the results may be useful in other contexts. In particular, we define the holonomy of a distributionally flat L2loc connection; the local developing maps for such connections need not be continuous.

Fermionic Quantization and Configuration Spaces for the Skyrme and Faddeev-Hopf Models

The fundamental group and rational cohomology of the configuration spaces of the Skyrme and Faddeev-Hopf models are computed. Physical space is taken to be a compact oriented 3-manifold, either with or without a marked point representing an end at infinity. For the Skyrme model, the codomain is any Lie group, while for the Faddeev-Hopf model it is S2. It is determined when the topology of configuration space permits fermionic and isospinorial quantization of the solitons of the model within generalizations of the frameworks of Finkelstein-Rubinstein and Sorkin. Fermionic quantization of Skyrmions is possible only if the target group contains a symplectic or special unitary factor, while fermionic quantization of Hopfions is always possible. Geometric interpretations of the results are given.

Matching and digital control implementation for underactuated systems

This paper describes two problems related to the digital implementation of control laws in the infinite dimensional family of matching control laws, namely state estimation and sampled data induced error. The entire family of control laws is written for an inverted pendulum cart. Numerical simulations which include sampled data and a state estimator are presented for one of the control laws in this family.

Stable isotopy in four dimensions

We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with

Introduction to the Gopakumar-Vafa Large N Duality

S^2 \times S^2

Matching Control Laws for a Ball and Beam System

, and as a consequence, analogous families of diffeomorphisms and metrics of positive scalar curvature for such 4-manifolds. We also construct families of smoothly distinct links, all of whose corresponding proper sublinks are smoothly isotopic, that become smoothly isotopic after stabilizing.

THE PONTRJAGIN–HOPF INVARIANTS FOR SOBOLEV MAPS

Gopakumar-Vafa large N duality is a correspondence between Chern-Simons invariants of a link in a 3-manifold and relative Gromov-Witten invariants of a 6-dimensional symplectic manifold relative to a Lagrangian submanifold. We address the correspondence between the Chern-Simons free energy of S^3 with no link and the Gromov-Witten invariant of the resolved conifold in great detail. This case avoids mathematical difficulties in formulating a definition of relative Gromov-Witten invariants, but includes all of the important ideas. There is a vast amount of background material related to this duality. We make a point of collecting all of the background material required to check this duality in the case of the 3-sphere, and we have tried to present the material in a way complementary to the existing literature. This paper contains a large section on Gromov-Witten theory and a large section on quantum invariants of 3-manifolds. It also includes some physical motivation, but for the most part it avoids physical terminology.

Topologically knotted Lagrangians in simply connected four-manifolds

Abstract This not edescribes a method for generating an infinite-dimensional family ofnonlinear control laws for underactuated systems. For a ball and beam system, the entirefamily is found explicitly.

Analysis of S2-Valued Maps and Faddeev’s Model

Subtle issues arise when extending homotopy invariants to spaces of functions having little regularity, e.g., Sobolev spaces containing discontinuous functions. Sometimes it is not possible to extend the invariant at all, and sometimes, even when the formulas defining the invariants make sense, they may not have expected properties (e.g., there are maps having non-integral degree). In this paper we define a complete set of homotopy invariants for maps from 3-manifolds to the 2-sphere and show that these invariants extend to finite Faddeev energy maps and maps in suitable Sobolev spaces. For smooth maps, our description is proved to be equivalent to Pontrjagins original homotopy classification from the 1930s. We further show that for the finite energy maps the invariants take on exactly the same values as for smooth maps. We include applications to the Faddeev model. The techniques that we use would also apply to many more problems and/or other functionals. We have tried to make the paper accessible to analysts, geometers and mathematical physicists.

Analysis of the Faddeev model

Vidussi was the first to construct knotted Lagrangian tori in simply connected four-dimensional manifolds. Fintushel and Stern introduced a second way to detect such knotting. This note demonstrates that similar examples may be distinguished by the fundamental group of the exterior.