The formulation of String theory is fairly straight forward in that the action is just the world-sheet area of a string. Then you can add supersymmetry in various ways. Finally you add some ghosts to get rid of over counting of states. You find the whole thing only works in a certain number of dimensions preserving both world-sheet and space-time symmetries.
So why is M(embrane) theory so difficult to formulate? If one replaces closed strings with closed membranes, should it not be straight forward (in theory) to go through the same process?
Which part of the theory is making it difficult? Is it the supersymmetry? The over counting of states? Non-linearlity? The difficulty of counting membrane topologies?
Is it absolutely certain that M-Theory is based on the world-sheet volume of membrane histories in the same way that string theory is based on world-sheet areas of string histories? Or is it based on something that resembles membranes but not quite (such as fuzzy membranes or something).
And do we know for certain that a Membrane theory must also contain 5-branes for it to be consistent?
Basically, what is the stumbling block?