Related papers: Un scindage de l'application de Frobenius sur tout…
Let $p$ be a prime number, and let $Dist(SL_2)$ be the algebra of distributions, supported at $1$, on the algebraic group $SL_2$ over $\mathbb{F}_p$. The Frobenius map $Fr:SL_2\to SL_2$ induces a map $Fr:Dist(SL_2)\to Dist(SL_2)$ which is…
For a simply connected semisimple algebraic group over an algebraically closed field of positive characteristic we have already constructed a splitting of the Frobenius endomorphism on its algebra of distributions. We generalize the…
This is a survey of Frobenius splitting techniques in commutative algebra, based on the first author's lectures at the introductory workshop for the special year in commutative algebra at MSRI in fall 2012.
We present an algorithm for computing the structure of any submodule of the module of points of a Drinfeld $A$-module over a finite field, where $A$ is a function ring over $\mathbb F_q$. When the function ring is $A = \mathbb F_q[T]$, we…
We continue the development of $\mathbb{Z}^n_2$-supergeometry, a natural generalization of classical ($\mathbb{Z}_2$-graded) supergeometry, by proving the Frobenius theorem for integrable distributions on differentiable…
We compute decomposition of Frobenius push-forwards of line bundles on quadrics into a direct sum of line bundles and spinor bundles. As an application we show when the Frobenius push-forward gives a tilting bundle and we apply it to study…
Let G be a simply connected semisimple algebraic group over an algebraically closed field k of positive characteristic. We will untwist the structure of G-modules by a newly found splitting of the Frobenius endomorphism on the algebra of…
The quantum Frobenius map and it splitting are shown to descend to corresponding maps for generalized $q$-Schur algebras at a root of unity. We also define analogs of $q$-Schur algebras for any affine algebra, and prove the corresponding…
In the hyperalgebra $\mathcal{U}_r$ of the $r$-th Frobenius kernel $({\rm SL}_2)_r$ of the algebraic group ${\rm SL}_2$, we construct a basis of the $\mathcal{U}_r$-module generated by a certain element which was given by the author before.…
Classifying Frobenius algebras is a key question that has been addressed in various contexts. The structure of finite-dimensional Frobenius algebras depends on the base field and the dimension of the algebra, leading to different…
We present a unified apoach to the study of separable and Frobenius algebras. The crucial observation is thsat both cases are related to the nonlinear equation $R^{12}R^{23}=R^{23}R^{13}=R^{13}R^{12}$, called the FS-equation. Given a…
Frobenius' Theorem states that the algebra of quaternions $\mathbb H$ is, besides the fields of real and complex numbers, the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then…
The slope filtration theorem gives a partial analogue of the eigenspace decomposition of a linear transformation, for a Frobenius-semilinear endomorphism of a finite free module over the Robba ring (the ring of germs of rigid analytic…
In this paper we study the skein modules of the surfaces, $\Sigma_{i,j}$ $(i,j)\in \{(0,2),(0,3),(1,0),(1,1)\}$ at $2N$-th roots of unity where $N\geq 3$ is an odd counting number and construct Frobenius algebras from them.
The aim of this paper is mainly to build a new representation-theoretic realization of finite root systems through the so-called Frobenius-type triangular matrix algebras by the method of reflection functors over any field. Finally, we give…
We consider certain quotient algebras of tensor algebras of bimodules $M$ over a finite-dimensional algebra $R$, and we investigate Frobenius type properties of such algebras. Our main interest is in the case where $M=R^*$, the linear dual…
In this paper we will give a global description of the Frobenius for the division fields of an elliptic curve E which is strictly analogous to the cyclotomic case. This is then applied to determine the splitting of a prime p in subfields of…
Let $R$ be a ring of prime characteristic $p$, and let $F^e_* R$ denote $R$ viewed as an $R$-module via the $e$th iterated Frobenius map. Given a surjective map $\phi : F^e_* R \to R$ (for example a Frobenius splitting), we exhibit an…
Let $G$ be a simply connected and simple algebraic group defined and split over a finite prime field $\mathbb{F}_p$ of $p$ elements. In this paper, using an $\mathbb{F}_p$-linear map splitting Frobenius endomorphism on a hyperalgebra…
We explicitly compute canonical liftings modulo $p^2$ in a sense of Achinger--Zdanowicz of Dwork hypersurfaces. The computation involves studying a compatibility between Hodge filtrations and a crystalline Frobenius. In particular,…