Genericity of Nondegeneracy for Light Rays in Stationary Spacetimes

Given a Lorentzian manifold (M, g), an event p and an observer U in M, then p and U are light conjugate if there exists a lightlike geodesic gamma : [0, 1] -> M joining p and U whose endpoints are conjugate along gamma. Using functional analytical techniques, we prove that if one fixes p and U in a differentiable manifold M, then the set of stationary Lorentzian metrics in M for which p and U are not light conjugate is generic in a strong sense. The result is obtained by reduction to a Finsler geodesic problem via a second order Fermat principle for light rays, and using a transversality argument in an infinite dimensional Banach manifold setup.

Genericity of Nondegenerate Critical Points and Morse Geodesic Functionals

We consider a family of variational problems on a Hilbert manifold parameterized by an open subset of a Banach manifold, and we discuss the genericity of the nondegeneracy condition for the critical points. Using classical techniques, we prove an abstract genericity result that employs the infinite dimensional Sard-Smale theorem, along the lines of an analogous result of B. White [29]. Applications are given by proving the genericity of metrics without degenerate geodesics between fixed endpoints in general (non compact) semi-Riemannian manifolds, in orthogonally split semi-Riemannian manifolds and in globally hyperbolic Lorentzian manifolds. We discuss the genericity property also in stationary Lorentzian manifolds.

Some examples of nil Lie algebras

Generalizing Petrogradsky`s construction, we give examples of infinite-dimensional nil Lie algebras of finite Gelfand-Kirillov dimension over any field of positive characteristic.

A Character Formula for the Category (O)over-tilde of Modules for Affine sl(2)

One may construct, for any function on the integers, an irreducible module of level zero for affine sl(2) using the values of the function as structure constants. The modules constructed using exponential-polynomial functions realize the irreducible modules with finite-dimensional weight spaces in the category (O) over tilde of Chari. In this work, an expression for the formal character of such a module is derived using the highest weight theory of truncations of the loop algebra.

Spinning Hopf solitons on S-3 x R

We consider a field theory with target space being the two dimensional sphere S-2 and defined on the space-time S-3 x R. The Lagrangean is the square of the pull-back of the area form on S-2. It is invariant under the conformal group SO(4, 2) and the infinite dimensional group of area preserving diffeomorphisms of S-2. We construct an infinite number of exact soliton solutions with non-trivial Hopf topological charges. The solutions spin with a frequency which is bounded above by a quantity proportional to the inverse of the radius of S-3. The construction of the solutions is made possible by an ansatz which explores the conformal symmetry and a U(1) subgroup of the area preserving diffeomorphism group.

Nonautonomous mixed mKdV-sinh-Gordon hierarchy

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

The Noether theorem for geometric actions and area preserving diffeomorphisms on the torus

We find that within the formalism of coadjoint orbits of the infinite dimensional Lie group the Noether procedure leads, for a special class of transformations, to the constant of motion given by the fundamental group one-cocycle S. Use is made of the simplified formula giving the symplectic action in terms of S and the Maurer-Cartan one-form. The area preserving diffeomorphisms on the torus T2=S1⊗S1 constitute an algebra with central extension, given by the Floratos-Iliopoulos cocycle. We apply our general treatment based on the symplectic analysis of coadjoint orbits of Lie groups to write the symplectic action for this model and study its invariance. We find an interesting abelian symmetry structure of this non-linear problem.

Exact time dependent Hopf solitons in 3+1 dimensions

We construct an infinite number of exact time dependent soliton solutions, carrying non-trivial Hopf topological charges, in a 3+1 dimensional Lorentz invariant theory with target space S2. The construction is based on an ansatz which explores the invariance of the model under the conformal group SO(4,2) and the infinite dimensional group of area preserving diffeomorphisms of S2. The model is a rare example of an integrable theory in four dimensions, and the solitons may play a role in the low energy limit of gauge theories. © SISSA 2006.

Spinning Hopf solitons on S3 × ℝ

We consider a field theory with target space being the two dimensional sphere S2 and defined on the space-time S3 × . The Lagrangean is the square of the pull-back of the area form on S2. It is invariant under the conformal group SO(4,2) and the infinite dimensional group of area preserving diffeomorphisms of S2. We construct an infinite number of exact soliton solutions with non-trivial Hopf topological charges. The solutions spin with a frequency which is bounded above by a quantity proportional to the inverse of the radius of S3. The construction of the solutions is made possible by an ansatz which explores the conformal symmetry and a U(1) subgroup of the area preserving diffeomorphism group. © SISSA 2006.

Cohomology ring of the brst operator associated to the sum of two pure spinors

In the study of the Type II superstring, it is useful to consider the BRST complex associated to the sum of two pure spinors. The cohomology of this complex is an infinite-dimensional vector space. It is also a finite-dimensional algebra over the algebra of functions of a single pure spinor. In this paper we study the multiplicative structure. © 2013 World Scientific Publishing Company.

A construction of integrated vertex operator in the pure spinor sigma-model in AdS(5) x S-5

Vertex operators in string theory me in two varieties: integrated and unintegrated. Understanding both types is important for the calculation of the string theory amplitudes. The relation between them is a descent procedure typically involving the b-ghost. In the pure spinor formalism vertex operators can be identified as cohomology classes of an infinite-dimensional Lie superalgebra formed by covariant derivatives. We show that in this language the construction of the integrated vertex from an unintegrated vertex is very straightforward, and amounts to the evaluation of the cocycle on the generalized Lax currents.

Pure Spinors in AdS and Lie Algebra Cohomology

We show that the BRST cohomology of the massless sector of the Type IIB superstring on AdS(5) x S (5) can be described as the relative cohomology of an infinite-dimensional Lie superalgebra. We explain how the vertex operators of ghost number 1, which correspond to conserved currents, are described in this language. We also give some algebraic description of the ghost number 2 vertices, which appears to be new. We use this algebraic description to clarify the structure of the zero mode sector of the ghost number two states in flat space, and initiate the study of the vertices of the higher ghost number.

Multiseries Lie groups and asymptotic modules for characterizing and solving integrable models

A multiseries integrable model (MSIM) is defined as a family of compatible flows on an infinite-dimensional Lie group of N-tuples of formal series around N given poles on the Riemann sphere. Broad classes of solutions to a MSIM are characterized through modules over rings of rational functions, called asymptotic modules. Possible ways for constructing asymptotic modules are Riemann-Hilbert and ∂̄ problems. When MSIM's are written in terms of the group coordinates, some of them can be contracted into standard integrable models involving a small number of scalar functions only. Simple contractible MSIM's corresponding to one pole, yield the Ablowitz-Kaup-Newell-Segur (AKNS) hierarchy. Two-pole contractible MSIM's are exhibited, which lead to a hierarchy of solvable systems of nonlinear differential equations consisting of (2 + 1) -dimensional evolution equations and of quite strong differential constraints. © 1989 American Institute of Physics.

Continuity of Dynamical Structures for Nonautonomous Evolution Equations Under Singular Perturbations

In this paper we study the continuity of invariant sets for nonautonomous infinite-dimensional dynamical systems under singular perturbations. We extend the existing results on lower-semicontinuity of attractors of autonomous and nonautonomous dynamical systems. This is accomplished through a detailed analysis of the structure of the invariant sets and its behavior under perturbation. We prove that a bounded hyperbolic global solutions persists under singular perturbations and that their nonlinear unstable manifold behave continuously. To accomplish this, we need to establish results on roughness of exponential dichotomies under these singular perturbations. Our results imply that, if the limiting pullback attractor of a nonautonomous dynamical system is the closure of a countable union of unstable manifolds of global bounded hyperbolic solutions, then it behaves continuously (upper and lower) under singular perturbations.

Stabilization for an ensemble of half-spin systems

Feedback stabilization of an ensemble of non interacting half spins described by the Bloch equations is considered. This system may be seen as an interesting example for infinite dimensional systems with continuous spectra. We propose an explicit feedback law that stabilizes asymptotically the system around a uniform state of spin +1/2 or -1/2. The proof of the convergence is done locally around the equilibrium in the H-1 topology. This local convergence is shown to be a weak asymptotic convergence for the H-1 topology and thus a strong convergence for the C topology. The proof relies on an adaptation of the LaSalle invariance principle to infinite dimensional systems. Numerical simulations illustrate the efficiency of these feedback laws, even for initial conditions far from the equilibrium. (C) 2011 Elsevier Ltd. All rights reserved.