SearcharxivSearch

arXiv subjects

Vikraman Balaji

Publications and source records attributed to Vikraman Balaji.

5 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 the desingularisation of moduli of principal bundles

In \cite{nr} Narasimhan and Ramanan and in \cite{desing}, Seshadri constructed desingularisations of the moduli space $M^{ss}_{_{\text{SL}(2)}}$ of semistable $\SL(2)$-bundles on a smooth projective curve $C$ of genus $g \geq 3$. Seshadri's construction was even modular and canonical. In this paper, we construct a smooth modular compactification of the moduli of stable principal $H$-bundles when $H$ is a simply connected almost simple algebraic group of type ${\tt B}_{_\ell}, {\tt D}_{_\ell}, {\tt G}_{_2}, {\tt F}_{_4}~~or~~{\tt C}_{_3}$. These spaces give canonical desingularisations of the moduli space $M^{ss}_{_H}$ of semistable principal $H$-bundles and thereby, a comprehensive generalisation of \cite{desing}.

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

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