The characteristic cycle and the singular support of an etale sheaf

We define the characteristic cycle of an etale sheaf on a smooth variety of arbitrary dimension in positive characteristic assuming the existence of singular support satisfying certain local acyclicity conditions. It satisfies a Milnor formula for vanishing cycles and an index formula for the Euler-Poincare characteristic.