Ramification theory and formal orbifolds in arbitrary dimension

Abstract

Formal orbifolds are defined in higher dimension. Their étale 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 étale 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.

A new section on Lefschetz theorem for fundamental group of formal orbifold has been added. Some minor corrections were made in the remaining part. Comments are welcome