Related papers: Springer isomorphisms over a general base scheme
The paper studies the lattice of subgroups of an isotropic reductive group G(R) over a commutative ring R, normalized by the elementary subgroup E(R). We prove the sandwich classification theorem for this lattice under the assumptions that…
We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups, and obtains a…
This paper contains a short and simplified proof of desingularization over fields of characteristic zero, together with various applications to other problems in algebraic geometry (among others, the study of the behavior of…
We present the theory of non-stationary normal forms for uniformly contracting smooth extensions with sufficiently narrow Mather spectrum. We give coherent proofs of existence, (non)uniqueness, and a description of the centralizer results.…
We define a generalized Springer correspondence for the group GL(n) over any field. We also determine the cuspidal pairs, and compute the correspondence explicitly. Finally we define a stratification of the category of equivariant perverse…
Classical splines feature prominently in approximation theory and numerical analysis, while GKM theory arises in the study of equivariant cohomology. More recently, generalized splines have been studied which simultaneously generalize both…
This is a survey article on the Springer correspondence for symmetric spaces. We discuss various generalization of the theory of the Springer correspondence for reductive groups to symmetric spaces and exotic symmetric spaces associated to…
In this note, we study substructures of generalised power series fields induced by families of well-ordered subsets of the group of exponents. We characterise the set-theoretic and algebraic properties of the induced substructures in terms…
Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring…
The aim of this paper is to give a proof of the restriction theorems for principal bundles with a reductive algebraic group as structure group in arbitrary characteristic. Let $G$ be a reductive algebraic group over any field $k=\bar{k}$,…
The isomorphism problem means to decide if two given finite-dimensional simple algebras over the same centre are isomorphic and, if so, to construct an isomorphism between them. A solution to this problem has applications in computational…
The smallness is proved of fundamental groups for arithmetic schemes. This is a higher dimensional analogue of the Hermite-Minkowski theorem. We also refer to the case of varieties over finite fields. As an application, we prove certain…
We solve the subgraph isomorphism problem in planar graphs in linear time, for any pattern of constant size. Our results are based on a technique of partitioning the planar graph into pieces of small tree-width, and applying dynamic…
Let $K$ be a number field with ring of integers $\mathcal{O}_K$. We describe and classify finite, flat, and linearly reductive subgroup schemes of $\mathrm{SL}_2$ over $\mathrm{Spec}\:\mathcal{O}_K$. We also establish finiteness results for…
We introduce the notion of a separator for a morphism of schemes f:T\to S; in particular, it is universal among morphisms from T to separated S-schemes. A separator is a local isomorphism; this property conveys the intuition of gluing some…
Let G be a simple simply-connected group scheme over a regular local scheme U. Let E be a principal G-bundle over A^1_U trivial away from a subscheme finite over U. We show that E is not necessarily trivial and give some criteria of…
This paper contributes to the study of the fibers of the commutator map on special linear groups in characteristic zero. Specifically, we show that the fibers over non-central elements all have the same dimension. Also we explain that the…
Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and…
We analyze cyclic cell modules over walled Brauer algebra in terms of a certain normal form. The latter allows us to decompose the algebra into the generating set and annihilator ideal of a certain cyclic vector. In addition, we show that…
Let $R$ be a commutative unital ring. Given a finitely presented affine $R$-group scheme $G$ acting on a separated scheme $X$ of finite type over $R$, we show that there is a prime $p_0$ such that for any $R$-algebra $k$ which is an…