Capture Probability in the 3:1 Mean Motion Resonance with Jupiter

We study the capture and crossing probabilities into the 3:1 mean motion resonance with Jupiter for a small asteroid that migrates from the inner to the middle Main Belt under the action of the Yarkovsky effect. We use an algebraic mapping of the averaged planar restricted three-body problem based on the symplectic mapping of Hadjidemetriou (1993), adding the secular variations of the orbit of Jupiter and non-symplectic terms to simulate the migration. We found that, for fast migration rates, the captures occur at discrete windows of initial eccentricities whose specific locations depend on the initial resonant angles, indicating that the capture phenomenon is not probabilistic. For slow migration rates, these windows become narrower and start to accumulate at low eccentricities, generating a region of mutual overlap where the capture probability tends to 100%, in agreement with the theoretical predictions for the adiabatic regime. Our simulations allow to predict the capture probabilities in both the adiabatic and non-adiabatic cases, in good agreement with results of Gomes (1995) and Quillen (2006). We apply our model to the case of the Vesta asteroid family in the same context as Roig et al. (2008), and found results indicating that the high capture probability of Vesta family members into the 3:1 mean motion resonance is basically governed by the eccentricity of Jupiter and its secular variations

Moduli Spaces and Formal Operads

Let overline{M}_{g,n} be the moduli space of stable algebraic curves of genus g with n marked points. With the operations which relate the different moduli spaces identifying marked points, the family (overline{M}_{g,n})_{g,n} is a modular operad of projective smooth Deligne-Mumford stacks, overline{M}. In this paper we prove that the modular operad of singular chains C_*(overline{M};Q) is formal; so it is weakly equivalent to the modular operad of its homology H_*(overline{M};Q). As a consequence, the "up to homotopy" algebras of these two operads are the same. To obtain this result we prove a formality theorem for operads analogous to Deligne-Griffiths-Morgan-Sullivan formality theorem, the existence of minimal models of modular operads, and a characterization of formality for operads which shows that formality is independent of the ground field.Comment: 36 pages (v3: some typographical corrections

A Cartan-Eilenberg approach to Homotopical Algebra

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence between its localization with respect to weak equivalences and the localised category of cofibrant objets with respect to strong equivalences. This equivalence allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and functor categories with a triple, in the last case we find examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications, we prove the existence of filtered minimal models for \emph{cdg} algebras over a zero-characteristic field and we formulate an acyclic models theorem for non additive functors

On the shape of a pure O-sequence

An order ideal is a finite poset X of (monic) monomials such that, whenever M is in X and N divides M, then N is in X. If all, say t, maximal monomials of X have the same degree, then X is pure (of type t). A pure O-sequence is the vector, h=(1,h_1,...,h_e), counting the monomials of X in each degree. Equivalently, in the language of commutative algebra, pure O-sequences are the h-vectors of monomial Artinian level algebras. Pure O-sequences had their origin in one of Richard Stanley's early works in this area, and have since played a significant role in at least three disciplines: the study of simplicial complexes and their f-vectors, level algebras, and matroids. This monograph is intended to be the first systematic study of the theory of pure O-sequences. Our work, making an extensive use of algebraic and combinatorial techniques, includes: (i) A characterization of the first half of a pure O-sequence, which gives the exact converse to an algebraic g-theorem of Hausel; (ii) A study of (the failing of) the unimodality property; (iii) The problem of enumerating pure O-sequences, including a proof that almost all O-sequences are pure, and the asymptotic enumeration of socle degree 3 pure O-sequences of type t; (iv) The Interval Conjecture for Pure O-sequences (ICP), which represents perhaps the strongest possible structural result short of an (impossible?) characterization; (v) A pithy connection of the ICP with Stanley's matroid h-vector conjecture; (vi) A specific study of pure O-sequences of type 2, including a proof of the Weak Lefschetz Property in codimension 3 in characteristic zero. As a corollary, pure O-sequences of codimension 3 and type 2 are unimodal (over any field); (vii) An analysis of the extent to which the Weak and Strong Lefschetz Properties can fail for monomial algebras; (viii) Some observations about pure f-vectors, an important special case of pure O-sequences.Comment: iii + 77 pages monograph, to appear as an AMS Memoir. Several, mostly minor revisions with respect to last year's versio

A multi-domain approach to asteroid families identification

Previous works have identified families halos by an analysis in proper elements domains, or by using Sloan Digital Sky Survey-Moving Object Catalog data, fourth release (SDSS-MOC4) multi-band photometry to infer the asteroid taxonomy, or by a combination of the two methods. The limited number of asteroids for which geometric albedo was known until recently discouraged in the past the extensive use of this additional parameter, which is however of great importance in identifying an asteroid taxonomy. The new availability of geometric albedo data from the Wide-field Infrared Survey Explorer (WISE) mission for about 100,000 asteroids significantly increased the sample of objects for which such information, with some errors, is now known. In this work we proposed a new method to identify families halos in a multi-domain space composed by proper elements, SDSS-MOC4 (a*,i-z) colors, and WISE geometric albedo for the whole main belt (and the Hungaria and Cybele orbital regions). Assuming that most families were created by the breakup of an undifferentiated parent body, they are expected to be homogeneous in colors and albedo. The new method is quite effective in determining objects belonging to a family halo, with low percentages of likely interlopers, and results that are quite consistent in term of taxonomy and geometric albedo of the halo members.Comment: 23 pages, 18 figures, 6 tables. Accepted for publication in MNRA