Related papers: Lifting iterated Frobenius over $W_n(k)$

We observe that the notion of a trivial Serre fibration, a Serre fibration, and being contractible, for finite CW complexes, can be defined in terms of the Quillen lifting property with respect to a single map M-->/\ of finite topological…

This work is motivated by the search for an "explicit" proof of the Bloch-Kato conjecture in Galois cohomology, proved by Voevodsky. Our concern here is to lay the foundation for a theory that, we believe, will lead to such a proof- and to…

In this work we study F-theory on symmetric toroidal orbifolds that exhibit roto-translations, which are point group rotations accompanied by fractional lattice shifts. These geometries admit a rich class of effects, such as twisted affine…

We determine the universal deformation over reduced base rings of the Witt ring scheme enhanced by a Frobenius lift and Verschiebung. It agrees with a q-deformation earlier introduced by the second author, for which we also give a simpler…

If $X$ is a smooth toric variety over an algebraically closed field of positive characteristic and $L$ is an invertible sheaf on $X$, it is known that $F_* L$, the push-forward of $L$ along the Frobenius morphism of $X$, is a direct sum of…

We give a geometric description of the positivity of the Frobenius-trace kernel on a $\mathbb{Q}$-factorial projective toric variety. To do so, we define its Frobenius support as well as the notions of $F$-effectiveness for divisors and…

We propose a new construction of an integrable hierarchy associated to any infinite series of Frobenius manifolds satisfying a certain stabilization condition. We study these hierarchies for Frobenius manifolds associated to $A_N$, $D_N$…

In this paper we address the basic geometric question of when a given convex set is the image under a linear map of an affine slice of a given closed convex cone. Such a representation or 'lift' of the convex set is especially useful if the…

We prove lifting theorems for complex representations $V$ of finite groups $G$. Let $\sigma=(\sigma_1,\dots,\sigma_n)$ be a minimal system of homogeneous basic invariants and let $d$ be their maximal degree. We prove that any continuous map…

This paper aims to develop a theory of projective and affine structures on higher-dimensional varieties in positive characteristic. This theory deals with Frobenius-projective and Frobenius-affine structures, which have been previously…

This article extends the notion of a Frobenius power of an ideal in prime characteristic to allow arbitrary nonnegative real exponents. These generalized Frobenius powers are closely related to test ideals in prime characteristic, and…

Let F be a family of positive homothets (or translates) of a given convex body K in R^n. We investigate two approaches to measuring the complexity of F. First, we find an upper bound on the transversal number $\tau(F)$ of F in terms of $n$…

The main purpose is to characterise continuous maps that are $n$-branched coverings in terms of induced maps on the rings of functions. The special properties of Frobenius $n$-homomorphisms between two function spaces that correspond to…

This article is the second one of a series of three articles devoted to direct images of isocrystals: here we consider convergent isocrystals with Frobenius structure. Let V be a complete discrete valuation ring, with residue field k = V/m…

Let k be a field of characteristic p>0. A theorem of de Jong shows that morphisms of modules over W(k)[[t]] with Frobenius and connection structure descend from the completion of W(k)((t)). A careful reading of de Jong's proof suggests the…

We reformulate the statement of the Feit-Thompson theorem in terms of diagrams in the category of finite groups, namely iterations of the Quillen lifting property with respect to particular morphisms.

We study the locus of the liftings of a homogeneous ideal $H$ in a polynomial ring over any field. We prove that this locus can be endowed with a structure of scheme $\mathrm L_H$ by applying the constructive methods of Gr\"obner bases, for…

Let X be an algebraic variety covered by open charts isomorphic to the affine space and q: X' \to X be the universal torsor over X. We prove that the automorphism group of the quasiaffine variety X' acts on X' infinitely transitively. Also…

Let X be a smooth projective curve of genus g>1 over an algebraically closed field of characteristic 2. Pull-back by the (absolute) Frobenius on X only defines a rational morphism on the moduli scheme of rank-2 vector bundles on X, because…

We present a new class of extended affine Weyl groups $\widetilde{W}^{(k,k+1)}(A_l)$ for $1\leq k <l$ and obtain an analogue of Chevalley-type theorem for their invariants. We further show the existence of Frobenius manifold structures on…