In this note, we prove that the $F$-fundamental group scheme is a birational invariant for smooth projective varieties. We prove that the $F$-fundamental group scheme is naturally a quotient of the Nori fundamental group scheme. For elliptic curves, it turns out that the $F$-fundamental group scheme and the Nori fundamental group scheme coincide. We also consider an extension of the Nori fundamental group scheme in positive characteristic using semi-essentially finite vector bundles, and prove that in...

If $X$ is a smooth scheme over a perfect field of characteristic $p$, and if ${𝒟}_X^{\left(\infty \right)}$ is the sheaf of differential operators on $X$ [7], it is well known that giving an action of ${𝒟}_X^{\left(\infty \right)}$ on an ${𝒪}_X$-module $ℰ$ is equivalent to giving an infinite sequence of ${𝒪}_X$-modules descending $ℰ$ via the iterates of the Frobenius endomorphism of $X$ [5]. We show that this result can be generalized to any infinitesimal deformation $f:X\to S$ of a smooth morphism in characteristic $p$, endowed with Frobenius liftings. We also show that it extends to adic...

We consider zeta functions with values in the Grothendieck ring of Chow motives. Investigating the $\lambda$–structure of this ring, we deduce a functional equation for the zeta function of abelian varieties. Furthermore, we show that the property of having a rational zeta function satisfying a functional equation is preserved under products.

We extend the definition of Hochschild and cyclic homologies of a scheme over a commutative ring k to define the Hochschild homologies HH⁎(X/S) and cyclic homologies HC⁎(X/S) of a scheme X with respect to an arbitrary base scheme S. Our main purpose is to study product structures on the Hochschild homology groups HH⁎(X/S). In particular, we show that $HH⁎(X/S)={⨁}_{n\in \mathbb{Z}}HHₙ(X/S)$ carries the structure of a graded algebra.

Let $𝔞\subseteq ℂ[x_1,...,x_n]$ be a monomial ideal and $𝒥\left({𝔞}^c\right)$ the multiplier ideal of $𝔞$ with coefficient $c$. Then $𝒥\left({𝔞}^c\right)$ is also a monomial ideal of $ℂ[x_1,...,x_n]$, and the equality $𝒥\left({𝔞}^c\right)=𝔞$ implies that $0<c<n+1$. We mainly discuss the problem when $𝒥\left(𝔞\right)=𝔞$ or $𝒥\left({𝔞}^{n+1-\epsilon }\right)=𝔞$ for all $0<\epsilon <1$. It is proved that if $𝒥\left(𝔞\right)=𝔞$ then $𝔞$ is principal, and if $𝒥\left({𝔞}^{n+1-\epsilon }\right)=𝔞$ holds for all $0<\epsilon <1$ then $𝔞=(x_1,...,x_n)$. One global result is also obtained. Let $\widetilde{𝔞}$ be the ideal sheaf on ${\mathbb{P}}^{n-1}$ associated with $𝔞$. Then it is proved that the equality $𝒥\left(\widetilde{𝔞}\right)=\widetilde{𝔞}$ implies that $\widetilde{𝔞}$ is principal.