Related papers: Level m stratifications of versal deformations of …
Let $k$ be an algebraically closed field of characteristic $p>0$. Let $D$ be a $p$-divisible group over $k$ which is not isoclinic. Let $\scrD$ (resp. $\scrD_k$) be the formal deformation space of $D$ over $\Spf(W(k))$ (resp. over…
The isomorphism number (resp. isogeny cutoff) of a p-divisible group D over an algebraically closed field is the least positive integer m such that D[p^m] determines D up to isomorphism (resp. up to isogeny). We show that these invariants…
A $p$-divisible group over a field $K$ admits a slope decomposition; associated to each slope $\lambda$ is an integer $m$ and a representation $\gal(K) \ra \gl_m(D_\lambda)$, where $D_\lambda$ is the $\rat_p$-division algebra with Brauer…
Let $k$ be a field of characteristic $p>0$. Let $D_m$ be a $\BT_m$ over $k$ (i.e., an $m$-truncated Barsotti--Tate group over $k$). Let $S$ be a\break $k$-scheme and let $X$ be a $\BT_m$ over $S$. Let $S_{D_m}(X)$ be the subscheme of $S$…
The Severi variety V_{n,d} of a smooth projective surface S is defined as the subvariety of the linear system |O_S(n)|, which parametrizes curves with d nodes. We show that, for a general surface S of degree k in P^3 and for all n>k-1,…
We study parameter spaces of linear series on projective curves in the presence of unibranch singularities, i.e. {\it cusps}; and to do so, we stratify cusps according to value semigroup. We show that {\it generalized Severi varieties} of…
Let $\L_m$ be the scheme of the laws defined by the Jacobi's identities on $\K^m$ with $\K$ a field. A deformation of $\g\in\L_m$, parametrized by a local $\K$-algebra $\A$, is a local $\K$-algebra morphism from the local ring of $\L_m$ at…
Let $D$ be a $p$-divisible group over an algebraically closed field $k$ of characteristic $p>0$. Let $n_D$ be the smallest non-negative integer such that $D$ is determined by $D[p^{n_D}]$ within the class of $p$-divisible groups over $k$ of…
Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…
Consider the polynomial ring R=k[x,y] over an infinite field k and the subspace R_j of degree-j homogeneous polynomials. The Grassmanian G=Grass (R_j,d) parametrizes the vector spaces V in R_j having dimension d. The strata Grass_H(R_j,d)…
Consider a component of the Hilbert scheme whose general point corresponds to a degree d genus g smooth irreducible and nondegenerate curve in a projective variety X. We give lower bounds for the dimension of such a component when X is P^3,…
A discrete d-manifold is a finite simple graph G=(V,E) where all unit spheres are (d-1)-spheres. A d-sphere is a d-manifold for which one can remove a vertex to make it contractible. A graph is contractible if one can remove a vertex with…
For a general $k$-gonal curve $C$ with a morphism $f: C \rightarrow \mathbb{P}^1$ of degree $k$, we consider the refinement of the Brill-Noether schemes $W^r_d(C)$ by means of the Brill-Noether degeneracy schemes…
We give a partial "quasi-stratification" of the secant varieties of the order $d$ Veronese variety $X_{m,d}$ of $\mathbb {P}^m$. It covers the set $\sigma_t(X_{m,d})^{\dagger}$ of all points lying on the linear span of curvilinear…
We prove that an $F$-crystal $(M,\vph)$ over an algebraically closed field $k$ of characteristic $p>0$ is determined by $(M,\vph)$ mod $p^n$, where $n\ge 1$ depends only on the rank of $M$ and on the greatest Hodge slope of $(M,\vph)$. We…
For a central division algebra $D$ of dimension $d^2$ over a finite extension $F$ of $\mathbb Q_p$ or of $\mathbb F_p((t))$, a field $R$ of characteristic prime to $p$, and an irreducible smooth $R$-representation $\pi$ of $G=GL_n(D)$, we…
Let g be a complex simple Lie algebra and e a nilpotent element in g. To a certain nilpotent subalgebra m attached to e, called an admissible subalgebra of g, we associate an endomorphism algebra H. When m is constructed from a good grading…
Let $k$ be a field and $V$ an $k$-vector space. For a family $\bar P=\{ P_i\}_{1\leq i\leq c}, $ of polynomials on $V$, we denote by $\mathbb X _{\bar P}\subset V$ the subscheme defined by the ideal generated by $ \bar P$. We show the…
For each integer $k\geq 4$ we describe diagrammatically a positively graded Koszul algebra $\mathbb{D}_k$ such that the category of finite dimensional $\mathbb{D}_k$-modules is equivalent to the category of perverse sheaves on the isotropic…
We study varieties with a term-definable poset structure, "po-groupoids". It is known that connected posets have the "strict refinement property" (SRP). In [arXiv:0808.1860v1 [math.LO]] it is proved that semidegenerate varieties with the…