What was Trotsky's Red Army's role in the October Revolution?

Trotsky's Red Army had no role in the October Revolution, since it was not yet in existence on October 25, 1917. Trotsky's Bolshevik dominated Military Revolutionary Committee (MRC) within the Petrograd military garrison is the military force that had a role in the October Revolution.

The soldiers in the garrison gave their allegiance to the MRC instead of to their own commanders when the Provisional Government was about to send the garrison to the front to fight the Germans. The MRC thus turned the Provisional Government's own military force against it. The Provisional Government was powerless to stop the Bolshevik military coup that was the "October Revolution."