Well, there would be two possible ways to use modular arithmetic:
You could do the arithmetic modulo $2^n$. However, that has some nasty properties (not all elements have multiplicative inverses, higher order bits do not affect lower order ones), and while you could get around these issues, it would require significant changes to AES.
You could do the arithmetic modulo a prime $p$. That avoids the above issues, however the issue here is that our plaintext and ciphertext blocks are even sets of bits; elements modulo a prime $p$ are not (except for $p=2$, which doesn't sound interesting). Hence, you'd need to add some special logic to handle that.
By using $GF(2^8)$, they avoid all the above issues; all nonzero elements have inverses, in a multiplication (or inverse), every input bit potentially affects every output bit, and a part of a block fits nicely in a field element.