SearcharxivSearch

arXiv subjects

Yashonidhi Pandey

Publications and source records attributed to Yashonidhi Pandey.

11 recordsLinked to original sources

Bruhat-Tits group schemes over higher dimensional base-II

We prove that split reductive BT group schemes over a higher dimensional base are {\em affine}. Our method also gives a new construction of higher BT-group schemes more general than parahoric ones. The new ingredients are an extension of J.-K.Yu's construction in \cite{yu} to higher dimensional bases, Néron-Raynaud dilatations of subgroup schemes on divisors, combined with techniques from \cite{bt2} and the structure theory developed in \cite{bp}.

math.AG

On Bruhat-Tits theory over a higher dimensional base

Let $k$ be a perfect field. Assume that the characteristic of $k$ satisfies certain tameness assumptions \eqref{tameness}. Let $\mathcal O_{_n} := k\llbracket z_{_1}, \ldots, z_{_n}\rrbracket$ and set $K_{_n} := \text{Fract}~\cO_{_n}$. Let $G$ be an almost-simple, simply-connected affine Chevalley group scheme with a maximal torus $T$ and a Borel subgroup $B$. Given a $n$-tuple ${\bf f} = (f_{_1}, \ldots, f_{_n})$ of concave functions on the root system of $G$ as in Bruhat-Tits \cite{bruhattits1}, \cite{bruhattits}, we define {\it {\tt n}-bounded subgroups ${\tt P}_{_{\bf f}}\subset G(K_{_n})$} as a direct generalization of Bruhat-Tits groups for the case $n=1$. We show that these groups are {\it schematic}, i.e. they are valued points of smooth {\em quasi-affine} (resp. {\em affine}) group schemes with connected fibres and {\it adapted to the divisor with normal crossing $z_1 \cdots z_n =0$} in the sense that the restriction to the generic point of the divisor $z_i=0$ is given by $f_i$ (resp. sums of concave functions given by points of the apartment). This provides a higher-dimensional analogue of the Bruhat-Tits group schemes with natural specialization properties. In §\ref{mixedstuff}, under suitable assumptions on $k$ §\ref{charassum}, we extend all these results for a $n+1$-tuple ${\bf f} = (f_{_0}, \ldots, f_{_n})$ of concave functions on the root system of $G$ replacing $\mathcal O_{_n}$ by ${\cO} \llbracket x_{_1},\cdots,x_{_n} \rrbracket$ where $\cO$ is a complete discrete valuation ring with a perfect residue field $k$ of characteristic $p$. In the last part of the paper, we give applications in char zero to constructing certain natural group schemes on wonderful embeddings of groups and also certain families of {\tt 2-parahoric} group schemes on minimal resolutions of surface singularities that arose in \cite{balaproc}.

math.AG

On homomorphisms of $π_{1}(\mathbb P^1-\mathcal R)$ into compact semisimple groups

The aim of this paper is to give verifiable criteria for the existence of {\em irreducible} homomorphisms of $π_{1}(\mathbb P^1 - \mathcal R)$ into compact semisimple groups, for a finite subset $\mathcal R$ such that the conjugacy classes of the images of lassos around the marked points are fixed. By a theorem in \cite{bs}, this question reduces into one of giving verifiable criteria for the existence of stable $\mathcal G$-torsors on $\mathbb{P}^1_{\mathbb{C}}$, where $\mathcal{G} \to \mathbb{P}^1_\mathbb{C}$ is a a Bruhat-Tits group scheme.

math.AG

Etale Fundamental group of moduli of torsors under Bruhat-Tits group scheme over a curve

Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $\mathcal{G}$ be a Bruhat-Tits group scheme on $X$ which is generically semi-simple and trivial. We show that the étale fundamental group of the moduli stack $\mathcal{M}_X(\mathcal{G})$ of torsors under $\mathcal{G}$ is isomorphic to that of the moduli stack $\mathcal{M}_X(G)$ of principal $G$-bundles. For any smooth, noetherian and irreducible stack $\mathcal{X}$, we show that an inclusion of an open substack $\mathcal{X}^\circ$, whose complement has codimension at least two, will induce an isomorphism of étale fundamental group. Over $\mathbb{C}$, we show that the open substack of regularly stable torsors in $\mathcal{M}_X(\mathcal{G})$ has complement of codimension at least two when $g_X \geq 3$. As an application, we show that the moduli space $M_X(\mathcal{G})$ of $\mathcal{G}$-torsors is simply-connected.

math.AG

Brauer group of punctual Quot scheme of points on a smooth projective surface

Let $X$ be a smooth projective surface over an algebraically closed field $k$ such that $char(k) \neq 2$. Let $X^{[d]}$ denote the punctual Hilbert scheme of zero dimensional quotients of degree $d$ and $X^{(d)}$ denote the symmetric product of $X$. For $\ell \neq 2$, we give a formula for the $\ell$-primary part of the Brauer group of $X^{[2]}$. We show that the Hilbert to Chow morphism induces an isomorphism of cohomological Brauer groups for $d=2$ and a similar result for $d \geq 3$. Let $Q(r,d)$ denote the punctual Quot-scheme parametrising zero dimensional quotients of $\mathcal{O}_X^{ \oplus r}$ of degree $d$. We show that the natural morphism from $Q(r,d) \rightarrow X^{[d]}$ induces an isomorphism on cohomological Brauer groups.

math.AG

Connections on parahoric torsors over curves

We define parahoric $\cG$--torsors for certain Bruhat--Tits group scheme $\cG$ on a smooth complex projective curve $X$ when the weights are real, and also define connections on them. We prove that a $\cG$--torsor is given by a homomorphism from $π_1(X\setminus D)$ to a maximal compact subgroup of $G$, where $D\, \subset\, X$ is the parabolic divisor, if and only if the torsor is polystable.

math.AG

A properness result for degenerate Quadratic and Symplectic Bundles on a smooth projective curve

Let $(V,q)$ be a vector bundle on a smooth projective curve $X$ together with a quadratic form $q: \mathrm{Sym}^2(V) \ra \mathcal{O}_X$ (respectively symplectic form $q: Λ^2V \ra \mathcal{O}_X$). Fixing the degeneracy locus of the quadratic form induced on $V/\ker(q)$, we construct a coarse moduli of such objects. Further, we prove semi-stable reduction theorem for equivalence classes of such objects. In particular, the case when degeneracies of $q$ are higher than one is that of principal interest. We also provide a proof of properness of polystable orthogonal bundles without appealing to Bruhat-Tits theory in any characteristic.

math.AG

Criteria for existence of stable parahoric $\SO_n$, $\Sp_n$ and $\Spin$ bundles on $\PP^1$

Let $p: Y \ra X$ be a Galois cover of smooth projective curves over $\CC$ with Galois group $Γ$. This paper is devoted to the study of principal orthogonal and symplectic bundles $E$ on $Y$ to which the action of $Γ$ on $Y$ lifts. We notably describe them intrinsically in terms of objects defined on $X$ and call these objects parahoric bundles. We give necessary and sufficient conditions for the non-emptiness of the moduli of stable (and semi-stable) parahoric special orthogonal, symplectic and spin bundles on the projective line $\PP^1$.

math.AG

$N-$Bundles for $N$ an extension of a finite group by an abelian group

Let $W$ be a finite group and $T$ be an abelian group. Consider an extension $0 \ra T \ra N \ra W \ra 0$. For a smooth projective curve $X$, we give a precise description of the fiber of the quotient by $T$ map $q_T: \cM_X(N) \ra \cM_X(W)$ as a torsor over an abelian variety. We also prove a result on Mumford groups.

math.AG

Prym Subvarieties of Jacobians via Schur correspondances between curves

Let $π: Z \to X$ be Galois cover of smooth projective curves with Galois group $W$ a Weyl group of a simple Lie group $G$. For a dominant weight $λ$, we consider the intermediate curve $Y_λ= Z/\Stab(λ)$. One can realise a Prym variety $P_λ\subset \Jac(Y_λ)$ and we denote $φ_λ$ the restriction of the principal polarisation of $\Jac(Y_λ)$ upon $P_λ$. For two dominant weights $λ$ and $μ$, we construct a correspondence $Δ_{λμ}$ on $Y_λ\times Y_μ$ and calculate the pull-back of $φ_μ$ by $Δ_{λμ}$ in terms of $φ_λ$.

math.AG