Related papers: Frobenius splitting and M\"obius inversion

For a scheme $X$ defined over the length $2$ $p$-typical Witt vectors $W_2(k)$ of a characteristic $p$ field, we introduce total $p$-differentials which interpolate between Frobenius-twisted differentials and Buium's $p$-differentials. They…

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…

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…

We study generically split octonion algebras over schemes using techniques of ${\mathbb A}^1$-homotopy theory. By combining affine representability results with techniques of obstruction theory, we establish classification results over…

Forgetting a subspace from a partial flag yields another partial flag composed of fewer subspaces. This induces a forgetful map $\pi : X \to X'$ between the corresponding flag varieties. We prove here that, for a degree large enough, the…

Based on the multiplicative rule of Schubert classes obtained in [Du3], we present an algorithm computing the product of two arbitrary Schubert classes. As a result, the algorithm gives also a method to compute the integral cohomology ring…

The object of study is the group of units O^\ast(X) in the coordinate ring of a normal affine variety X over an algebraically closed field k. Methods of Galois cohomology are applied to those varieties that can be presented as a finite…

We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of…

We show how to construct tilting bundles for a class of smooth projective varieties using characteristic $p$ methods. Given such a variety $X$, reduce it modulo a prime number and consider the direct image of the structure sheaf under the…

Involution Schubert polynomials represent cohomology classes of $K$-orbit closures in the complete flag variety, where $K$ is the orthogonal or symplectic group. We show they also represent $T$-equivariant cohomology classes of subvarieties…

We develop the theory of generalized bi-Hamiltonian reduction. Applying this theory to a suitable loop algebra we recover a generalized Drinfeld-Sokolov reduction. This gives a way to construct new examples of algebraic Frobenius manifolds.

The algorithm of computing generalized Green functions of a finite reductive group contains some unkonwn scalars occuring from the F_q structure of irreducible local systems on unipotent classes on G. In this paper, we determine such…

We show that the equivariant small quantum $K$-group of a partial flag manifold is a quotient of that of the full flag manifold in a way that respects the Schubert classes. This is a $K$-theoretic analogue of the parabolic version of…

Weibel proved that $p$-inverted K-theory is $\mathbb{A}^1$-invariant on $\mathbb{F}_p$-schemes and K-theory with $\mathbb{Z}/p$-coefficients is $\mathbb{A}^1$-invariant on $\mathbb{Z}[\frac{1}{p}]$-schemes. We extend this result to all…

Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and $G$ a finite group of odd order. If $K_h$ is a weakly ramified $G$-Galois $K$-algebra, then its square root $A_h$ of the inverse different is a locally free…

In this paper we discuss gauging noninvertible zero-form symmetries in two dimensions. We specialize to certain gaugeable cases, specifically, fusion categories of the form Rep(H) for H a suitable Hopf algebra (which includes the special…

We give a graph-sum algorithm that expresses any genus-$g$ Gromov-Witten invariant of the symmetric product orbifold $\mathrm{Sym}^d\mathbb{P}^r:=[(\mathbb{P}^r)^d/S_d]$ in terms of "Hurwitz-Hodge integrals" -- integrals over (compactified)…

For an abelian number field K containing a primitive p-th root of unity (p an odd prime) and satisfying certain technical conditions, we parametrize the Z_p[G(K/Q)]-annihilators of the "minus" part A_K^- of the p-class group by means of…

Let $k$ be a real abelian number field and $p$ an odd prime not dividing $[k:\mathbb{Q}]$. For a natural number $d$, let $E_d$ denote the group of units of $k$ congruent to $1$ modulo $d$, $C_d$ the subgroup of $d$-circular units of $E_d$,…

Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of…