  It has been shown that an Earth-size planet or a super-Earth, in resonance
with a transiting Jupiter-like body in a short-period orbit around an M star,
can create detectable TTV signals (Kirste \& Haghighipour, 2011). Given the low
masses of M stars and their circumstellar disks, it is expected that such a
transiting giant planet to have formed at large distances and migrated to its
close-in orbit. That implies, if such systems are discovered around M stars,
the terrestrial planet had to form during the migration of the giant planet.
The formation of this object may be either in-situ (in a close-in orbit)
followed by its capture in resonance, or the object is formed at larger
distances where it was subsequently captured in a resonance with the migrating
giant planet. We have investigated these two scenarios by simulating the
dynamics of a disk of protoplanetary embryos and the formation of terrestrial
planets during the migration of a Jupiter-like planet around an M star. Results
suggest that unless the migration of the giant planet is very slow (slower than
1E-7 AU/year), it is unlikely that the close-in terrestrial planet is formed
in-situ. If a terrestrial planet is detected in a mean-motion resonance with a
close-in giant planet around an M star, the terrestrial planet was most likley
formed at large distances and carried to its close-in resonant orbit by the
migrating giant body.
