Related papers: Exterior powers of F-zips
An $F$-zip over a scheme $S$ over a finite field is a certain object of semi-linear algebra consisting of a locally free module with a descending filtration and an ascending filtration and a $\Frob_q$-twisted isomorphism between the…
If $S$ is a scheme of characteristic $p$, we define an $F$-zip over $S$ to be a vector bundle with two filtrations plus a collection of semi-linear isomorphisms between the graded pieces of the filtrations. For every smooth proper morphism…
We define derived versions of $F$-zips and associate a derived $F$-zip to any proper, smooth morphism of schemes in positive characteristic. We analyze the stack of derived $F$-zips and certain substacks. We make a connection to the…
Let $k$ be a perfect field of characteristic $p>0$, and $S$ an scheme over $k$. An $F$-zip is basically a locally free $O_S$-module of finite rank endowed with two filtration and an Frobenius-linear isomorphism between their graded pieces.…
A generalization of exterior calculus is considered by allowing the partial derivatives in the exterior derivative to assume fractional orders. That is, a fractional exterior derivative is defined. This is found to generate new vector…
In \cite{MW}, B. Moonen and the author defined a new invariant, called $F$-Zips, of certain varieties in positive characteristics. We showed that the isomorphism classes of these invariants can be interpreted as orbits of a certain variety…
In this paper we generalize minimal $p$-divisible groups defined by Oort to $F$-crystal over an algebraically closed field of positive characteristic. We prove a structural theorem and give an explicit formula of the Frobenius endomorphism…
We classify flips of buildings arising from non-degenerate unitary spaces of dimension at least 4 over finite fields of odd characteristic in terms of their action on the underlying vector space. We also construct certain geometries related…
Let $A$ be an integral $k$-algebra of finite type over an algebraically closed field $k$ of characteristic $p>0$. Given a collection ${\cal{D}}$ of $k$-derivations on $A$, that we interpret as algebraic vector fields on $X=Spec(A)$, we…
Let $k$ be an algebraically closed field of positive characteristic $p$. We first classify the $D$-truncations mod $p$ of Shimura $F$-crystals over $k$ and then we study stratifications defined by inner isomorphism classes of these…
We show that if a finite dimensional Hopf algebra over ${\bf C}$ has a basis such that all the structure constants are non-negative, then the Hopf algebra must be given by a finite group $G$ and a factorization $G=G_+G_-$ into two…
In this paper we discuss the categorical properties of $\mathbb{Z}$-graded manifolds. We start by describing the local model paying special attention to the differences in comparison to the $\mathbb{N}$-graded case. In particular we explain…
For a morphism f in a category C with sufficiently many finite limits and colimits, we discuss an elementary construction of a decomposition of f through objects P and N which, if C happens to have a zero object, amounts to the standard…
The functional (de)composition of polynomials is a topic in pure and computer algebra with many applications. The structure of decompositions of (suitably normalized) polynomials f(x) = g(h(x)) in F[x] over a field F is well understood in…
We define the concept of stronger forms of positively expansive map and name it as $p \:\mathscr{F}-$expansive maps. Here $\mathscr{F}$ is a family of subsets of $\mathbb{N}$. Examples of positively thick expansive and positively syndetic…
Given a projective contraction $\pi \colon X\rightarrow Z$ and a log canonical pair $(X, B)$ such that $-(K_X+B)$ is nef over a neighborhood of a closed point $z\in Z$, one can define an invariant, the complexity of $(X, B)$ over $z \in Z$,…
We classify six-dimensional F-theory compactifications in terms of simple features of the divisor structure of the base surface of the elliptic fibration. This structure controls the minimal spectrum of the theory. We determine all…
Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a…
We show that every fsg group externally definable in an NIP structure is definably isomorphic to a group interpretable in it. Our proof relies on honest definitions and a group chunk result reconstructing a hyper-definable group from its…
We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…