Ramification theory and formal orbifolds in arbitrary dimension

Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to approximate the \'etale fundamental groups of normal varieties. Etale site on formal orbifolds are also defined. This framework allows one to study wild ramification in an organised way. Brylinski-Kato filtration, Lefschetz theorem for fundamental groups and $l$-adic sheaves in these contexts are also studied.