Synthetics and arbitrage are important. Here are some terms.
Conversion market. Synthetic calls, puts. Box/roll arbitrage. All arbs are covered by the aforementioned.
Regarding the vol-smile. Same-strike vols must trade equal (absent carry/forward). This relates to all arbitrage boundaries...