Logarithmic geometry and Frobenius

Based on the logarithmic algebraic geometry and the theory of Deligne systems, we define an abelian category of -adic sheaves with weight filtrations on a logarithmic scheme over a finite field, which is similar to the category of variations of mixed Hodge structure. We consider asymptotic behaviors and simple cases of higher direct images of objects of this category. This category is closely related to the monodromy-weight conjecture.