Leaving and reaching the moon from a libration point orbit

We represent the Earth–Moon system as a Circular Restricted Three–Body Problem and we look for trajectories which allow the departure from the lunar surface and which might have played a role in the formation of impact craters. We take advantage of the central and hyperbolic invariant manifolds which exist in the neighbourhood of the collinear equilibrium points L₁ and L₂. Different types of semi–analytical and numerical methodologies are exploited. The most meaningful results are pointed out. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Leaving the Moon by means of invariant manifolds of libration point orbits

The aim of this work is to look for rescue trajectories that leave the surface of the Moon, belonging to the hyperbolic manifolds associated with the central manifold of the Lagrangian points L₁ and L₂ of the Earth–Moon system. The model used for the Earth–Moon system is the Circular Restricted Three-Body Problem. We consider as nominal arrival orbits halo orbits and square Lissajous orbits around L₁ and L₂ and we show, for a given Δv, the regions of the Moon’s surface from which we can reach them. The key point of this work is the geometry of the hyperbolic manifolds associated with libration point orbits. Both periodic/quasi-periodic orbits and their corresponding stable invariant manifold are approximated by means of the Lindstedt–Poincaré semi-analytical approach.     

Secant varieties and Hirschowitz bound on vector bundles over a curve

For a vector bundle V of rank n over a curve X and for each integer r in the range 1 ≤ r ≤ n ? 1, the Segre invariant s _r is defined by generalizing the minimal self-intersection number of the sections on a ruled surface. In this paper we generalize Lange and Narasimhan’s results on rank 2 bundles which related the invariant s ₁ to the secant varieties of the curve inside certain extension spaces. For any n and r, we find a way to get information on the invariant s _r from the secant varieties of certain subvariety of a scroll over X. Using this geometric picture, we obtain a new proof of the Hirschowitz bound on s _r .     

Countable contraction mappings in metric spaces: invariant sets and measure

We consider a complete metric space (X, d) and a countable number of contraction mappings on X, F = {F _i : i ∈ ?}. We show the existence of a smallest invariant set (with respect to inclusion) for F. If the maps F _i are of the form F _i (x) = r _i x + b _i on X = ? ^d , we prove a converse of the classic result on contraction mappings, more precisely, there exists a unique bounded invariant set if and only if r = sup _i r _i is strictly smaller than 1. Further, if ρ = {ρ _k } _k∈? is a probability sequence, we show that if there exists an invariant measure for the system (F, ρ), then its support must be precisely this smallest invariant set. If in addition there exists any bounded invariant set, this invariant measure is unique, even though there may be more than one invariant set.     

Infinite matrices with “few” non-zero entries and without non-trivial invariant subspaces

In this paper we investigate a family of infinite matrices that act on ?₁. We derive a condition sufficient to guarantee that a matrix has no non-trivial closed invariant subspaces. As a result, a simplest known operator on ?₁ without invariant subspaces is obtained. All entries of the matrix of the example but one are non-negative.     

Invariant G2V algorithm for computing SAGBI-Gröbner bases

Faugère and Rahmany have presented the invariant F5 algorithm to compute SAGBI-Grbner bases of ideals of invariant rings. This algorithm has an incremental structure, and it is based on the matrix version of F5 algorithm to use F5 criterion to remove a part of useless reductions. Although this algorithm is more efficient than the Buchberger-like algorithm, however it does not use all the existing criteria (for an incremental structure) to detect superfluous reductions. In this paper, we consider a new algorithm, namely, invariant G2V algorithm, to compute SAGBI-Grbner bases of ideals of invariant rings using more criteria. This algorithm has a new structure and it is based on the G2V algorithm; a variant of the F5 algorithm to compute Grbner bases. We have implemented our new algorithm in Maple , and we give experimental comparison, via some examples, of performance of this algorithm with the invariant F5 algorithm.     

Noncommutative classical invariant theory

In this thesis, we consider some aspects ofnoncommutative classical invariant theory, i.e., noncommutative invariants ofthe classical group SL(2, k). We develop asymbolic method for invariants and covariants, and we use the method to compute some invariant algebras. The subspace? _d ^m of the noncommutative invariant algebra? _d consisting of homogeneous elements of degreem has the structure of a module over thesymmetric group S _m . We find the explicit decomposition into irreducible modules. As a consequence, we obtain theHilbert series of the commutative classical invariant algebras. TheCayley—Sylvester theorem and theHermite reciprocity law are studied in some detail. We consider a new power series H(? _d,t) whose coefficients are the number of irreducibleS _m -modules in the decomposition of? _d ^m , and show that it is rational. Finally, we develop some analogues of all this for covariants.     

Some existence results on periodic and generalized periodic solutions for singular hamiltonian systems

In this paper, we use the variational method to study the existence of periodic and generalized periodic solutions of planar second order Hamiltonian systems when a singular potential is present. The results obtained are applied to the study of generalized periodic solutions of the Restricted Three-Body Problem and the Planarn-Body Problem.     

Berezin kernels and analysis on Makarevich spaces

Following ideas of van Dijk and Hille we study the link which exists between maximal degenerate representations and Berezin kernels.We consider the conformal group Conf(V) of a simple real Jordan algebra V. The maximal degenerate representations π_s (s ε ℂ) we shall study are induced by a character of a maximal parabolic subgroup P¯ of Conf(V). These representations π_s can be realized on a space I_s of smooth functions on V. There is an invariant bilinear form ℬ_s on the space Is. The problem we consider is to diagonalize this bilinear form ℬ_s, with respect to the action of a symmetric subgroup G of the conformal group Conf(V). This bilinear form can be written as an integral involving the Berezin kernel B_v an invariant kernel on the Riemannian symmetric space G/K, which is a Makarevich symmetric space in the sense of Bertram. Then we can use results by van Dijk and Pevzner who computed the spherical Fourier transform of B_v. From these, one deduces that the Berezin kernel satisfies a remarkable Bernstein identity: D(_ν)B_ν=b(ν)B_ν+1, where D(_ν) is an invariant differential operator on G/K and b(ν) is a polynomial. By using this identity we compute a Hua type integral which gives the normalizing factor for an intertwining operator from I_−s to I_s. Furthermore, we obtain the diagonalization of the invariant bilinear form with respect to the action of the maximal compact group U of the conformal group Conf(V).     

Some problems on narrow operators on function spaces

It is known that if a rearrangement invariant (r.i.) space E on [0, 1] has an unconditional basis then every linear bounded operator on E is a sum of two narrow operators. On the other hand, for the classical space E = L ₁[0, 1] having no unconditional basis the sum of two narrow operators is a narrow operator. We show that a Köthe space on [0, 1] having “lots” of nonnarrow operators that are sum of two narrow operators need not have an unconditional basis. However, we do not know if such an r.i. space exists. Another result establishes sufficient conditions on an r.i. space E under which the orthogonal projection onto the closed linear span of the Rademacher system is a hereditarily narrow operator. This, in particular, answers a question of the first named author and Randrianantoanina (Problem 11.9 in [Popov M., Randrianantoanina B., Narrow Operators on Function Spaces and Vector Lattices, de Gruyter Stud. Math., 45, Walter de Gruyter, Berlin, 2013]).     

On homotopy groups of quandle spaces and the quandle homotopy invariant of links

For a quandle X, the quandle space BX is defined, modifying the rack space of Fenn, Rourke and Sanderson (1995) [13], and the quandle homotopy invariant of links is defined in Z[π₂(BX)], modifying the rack homotopy invariant of Fenn, Rourke and Sanderson (1995) [13]. It is known that the cocycle invariants introduced in Carter et al. (2005) [3], Carter et al. (2003) [5], Carter et al. (2001) [6] can be derived from the quandle homotopy invariant.In this paper, we show that, for a finite quandle X, π₂(BX) is finitely generated, and that, for a connected finite quandle X, π₂(BX) is finite. It follows that the space spanned by cocycle invariants for a finite quandle is finitely generated. Further, we calculate π₂(BX) for some concrete quandles. From the calculation, all cocycle invariants for those quandles are concretely presented. Moreover, we show formulas of the quandle homotopy invariant for connected sum of knots and for the mirror image of links.     

A new construction of factors of type III1

We give in this paper a new construction of factors of type III₁. Under certain assumptions, we can, thanks to a result by Popa, give a complete classification for this family of factors. Although these factors are never full, we can nevertheless, in many cases, compute Connes' τ invariant. We obtain a new example of an uncountable family of pairwise non-isomorphic factors of type III₁ with the same τ invariant.     

Values of the Pukánszky invariant in McDuff factors

In 1960 Pukánszky introduced an invariant associating to every masa in a separable II₁ factor a non-empty subset of N∪{∞}. This invariant examines the multiplicity structure of the von Neumann algebra generated by the left-right action of the masa. In this paper it is shown that any non-empty subset of N∪{∞} arises as the Pukánszky invariant of some masa in a separable McDuff II₁ factor containing a masa with Pukánszky invariant {1}. In particular the hyperfinite II₁ factor and all separable McDuff II₁ factors with a Cartan masa satisfy this hypothesis. In a general separable McDuff II₁ factor we show that every subset of N∪{∞} containing ∞ is obtained as a Pukánszky invariant of some masa.     

U(n + 1) × U(p + 1)-Hermitian metrics on the manifold S 2n+1 × S 2p+1

A two-parameter family of invariant almost-complex structures J _α,c is given on the homogeneous space M × M’ = U(n + 1)/U(n) × U(p + 1)/U(p); all these structures are integrable. We consider all invariant Riemannian metrics on the homogeneous space M × M’. They depend on five parameters and are Hermitian with respect to some complex structure J _α,c . In this paper, we calculate the Ricci tensor, scalar curvature, and obtain estimates of the sectional curvature for any metric on M × M’. All the invariant metrics of nonnegative curvature are described. We obtain the extremal values of the scalar curvature functional on the four-parameter family of metrics g _{α,c,λ,λ’;1} .     

Some ergodic theorems for a parabolic Anderson model

In this paper,we study some ergodic theorems of a class of linear systems of interacting diffusions,which is a parabolic Anderson model.First,under the assumption that the transition kernel a=(a(i,j)) i,j∈s is doubly stochastic,we obtain the long-time convergence to an invariant probability measure νh starting from a bounded a-harmonic function h based on self-duality property,and then we show the convergence to the invariant probability measure νh holds for a broad class of initial distributions.Second,if(a(i,j)) i,j∈S is transient and symmetric,and the diffusion parameter c remains below a threshold,we are able to determine the set of extremal invariant probability measures with finite second moment.Finally,in the case that the transition kernel(a(i,j)) i,j∈S is doubly stochastic and satisfies Case I(see Case I in [Shiga,T.:An interacting system in population genetics.J.Math.Kyoto Univ.,20,213-242(1980)]),we show that this parabolic Anderson model locally dies out independent of the diffusion parameter c.     

Invariants of finite groups generated by generalized transvections in the modular case

We investigate the invariant rings of two classes of finite groups G ≤ GL(n, F _q) which are generated by a number of generalized transvections with an invariant subspace H over a finite field F _q in the modular case. We name these groups generalized transvection groups. One class is concerned with a given invariant subspace which involves roots of unity. Constructing quotient groups and tensors, we deduce the invariant rings and study their Cohen-Macaulay and Gorenstein properties. The other is concerned with different invariant subspaces which have the same dimension. We provide a explicit classification of these groups and calculate their invariant rings.     

Invariant bilinear forms on a vertex algebra

In this paper we construct a linear space that parameterizes all invariant bilinear forms on a given vertex algebra with values in a arbitrary vector space. Also we prove that every invariant bilinear form on a vertex algebra is symmetric. This is a generalization of the result of Li (J. Pure Appl. Algebra 96(3) (1994) 279), who proved this for the case when the vertex algebra is non-negatively graded and has finite dimensional homogeneous components.As an application, we introduce a notion of a radical of a vertex algebra. We prove that a radical-free vertex algebra A is non-negatively graded, and its component A₀ of degree 0 is a commutative associative algebra, so that all structural maps and operations on A are A₀-linear. We also show that in this case A is simple if and only if A₀ is a field.     

Ordered K-groups associated to substitutional dynamics

The Matsumoto K₀-group is an interesting invariant of flow equivalence for symbolic dynamical systems. Because of its origin as the K-theory of a certain C^∗-algebra, which is also a flow invariant, this group comes equipped with a flow invariant order structure. We emphasize this order structure and demonstrate how methods from operator algebra and symbolic dynamics combine to allow a computation of it in certain cases, including Sturmian and primitive substitutional shifts. In the latter case we show by example that the ordered group is a strictly finer invariant than the group itself.     

On the quantum filtration of the Khovanov-Rozansky cohomology

We prove the quantum filtration on the Khovanov-Rozansky link cohomology Hp with a general degree (n+1) monic potential polynomial p(x) is invariant under Reidemeister moves, and construct a spectral sequence converging to Hp that is invariant under Reidemeister moves, whose E₁ term is isomorphic to the Khovanov-Rozansky sl(n)-cohomology Hn. Then we define a generalization of the Rasmussen invariant, and study some of its properties. We also discuss relations between upper bounds of the self-linking number of transversal links in standard contact S³.