We study the splitting-type of the bi-modules of principal parts (Grothendiecks analogue of jet-bundles in algebraic geometry) as left and right O-module on the projective line in positive characteristic, and obtain explicit examples where the splitting-type as left O-module differs from the splitting-type as right O-module. Hence the principal parts are the first examples of a sheaf of abelian groups equipped with two non-isomorphic structures as locally free O-module. We also give explicit examples showing that in some cases the splitting-type changes with the characteristic of the base-field.
We develop techniques to split the principal parts on the projective line over an arbitrary ring and apply these techniques to give a complete classification of the principal parts on the projective line over any field of characteristic zero.
Let G be a connected reductive group. The late Ramanathan gave a notion of (semi)stable principal G-bundle on a complex projective curve and constructed a projective moduli space of such objects. We generalize Ramanathan's notion and construction to the case of higher dimension, allowing also objects which we call semistable principal G-sheaves.
It is shown that projectivized irreducible components of nilpotent cones of complex symmetric spaces are projective self-dual algebraic varieties. Other properties equivalent to their projective self-duality are found.
We generalise the variant of the Babylonian tower theorem for vector bundles on projective spaces proved by I. Coanda and G. Trautmann (2006) to the case of principal $G$-bundles over projective spaces, where $G$ is a linear algebraic group defined over an algebraically closed field. In course of the proofs some new insight into the structure of such principal $G$-bundles is obtained.
Using combinatorial methods, we determine that a projective coordinate ring of the moduli of parabolic principal $\mathrm{SL}_2$-bundles on a marked projective curve is not Gorenstein when the genus and number of marked points are greater than $1$.
Let X be a smooth projective complex variety, and let G be an algebraic reductive complex group. We define the notion of principal G-sheaf, that generalises the notion of principal G-bundle. Then we define a notion of semistability, and construct the projective moduli space of semistable principal G-sheaves on X. This is a natural compactification of the moduli space of principal G-bundles. This is the announcement note presented by the second author in the conference held at Catania (11-13 April 2001), dedicated to the 60th birthday of Silvio Greco. Detailed proofs will appear elsewhere.
Lectures on the construction on the moduli space of principal bundles, given in the Mini-School on Moduli Spaces at the Banach center (Warsaw) 26-30 April 2005.
Let $X$ be a connected smooth complex projective variety of dimension $n \geq 1$. Let $D$ be a simple normal crossing divisor on $X$. Let $G$ be a connected complex Lie group, and $E_G$ a holomorphic principal $G$-bundle on $X$. In this article, we give criterion for existence of a logarithmic connection on $E_G$ singular along $D$.
Let $H$ be a semisimple algebraic group. We prove the semistable reduction theorem for $μ$--semistable principal $H$--bundles over a {\it smooth projective variety $X$} defined over the field $\bc$. When $X$ is a {\it smooth projective surface} and $H$ is simple, we construct the algebro--geometric Donaldson--Uhlenbeck compactification of the moduli space of $μ$--semistable principal $H$--bundles with fixed characteristic classes and describe its points. For large characteristic classes we show that the moduli space of $μ$--stable principal $H$--bundles is non--empty.
Let (X, ω) be a compact connected Kaehler manifold of complex dimension d and E_G a holomorphic principal G-bundle on X, where G is a connected reductive linear algebraic group defined over C. Let Z (G) denote the center of G. We prove that the following three statements are equivalent: (1) There is a parabolic subgroup P of G and a holomorphic reduction of the structure group of E_G to P (say, E_P) such that the bundle obtained by extending the structure group of E_P to L(P)/Z(G) (where L(P) is the Levi quotient of P) admits a flat connection; (2) The adjoint vector bundle ad(E_G) is numerica…
Let M be a geometrically irreducible smooth projective variety, defined over a finite field k, such that M admits a k-rational point x_0. Let \varpi(M,x_0) denote the corresponding fundamental group--scheme introduced by Nori. Let E_G be a principal G-bundle over M, where G is a reduced reductive linear algebraic group defined over the field k. Fix a polarization ξon M. We prove that the following three statements are equivalent: The principal G-bundle E_G over M is given by a homomorphism \varpi(M,x_0) --> G. There are integers b > a > 0 such that the principal G-bundle (F^b_M)^*E_G is isomor…
Let H be a closed subgroup of a linear algebraic group G defined over a field F. There is an equivalence of categories between the category of linear finite-dimensional representations of H and the category of finite rank G-homogeneous vectorbundles on G/H. In this short note we study this correspondence for the sheaves of principal parts (=jetbundles) of homogeneous linebundles on projective space in characteristic zero. We describe the representation corresponding to the principal parts of a homogeneous linebundle and as a corollary we obtain known formulas on the splitting type of the princ…
Let $Y_{1},\dots,Y_{l}$ be smooth irreducible projective curves and let $Y$ be its disjoint union. Given a semisimple reductive algebraic group $G$ and a faithful representation $ρ:G\hookrightarrow \textrm{SL}(V)$ we construct a projective moduli space of $(\underlineκ,δ)$-(semi)stable singular principal $G$-bundles with generalized parabolic structure of type $\underline{e}$. In case $Y$ is the normalization of a connected and reducible projective nodal curve $X$, there is a closed subscheme coarsely representing the subfunctor corresponding to descending bundles. We prove that the descent op…
In this article, we give a proof for a geometric presentation theorem for any irreducible scheme $X$ smooth projective over a discrete valuation ring $R$. As a consequence, for any reductive $R$-group scheme $\mathbf{G}$, we prove that any generically trivial principal $\mathbf{G}$-bundle over $X$ glued to a principal $\mathbf{G}_U$-bundle over the affine line $\mathbb{A}^1_U$ for a semilocal affine scheme $U$.
Let k be an algebraically closed field of characteristic zero. Let f:X-->S be a flat, projective morphism of k-schemes of finite type with integral geometric fibers. We prove existence of a projective relative moduli space for semistable singular principal bundles on the fibres of f. This generalizes the result of A. Schmitt who studied the case when X is a nodal curve.
In this paper, we define $Λ$-quot-functors on Deligne-Mumford stacks. We prove that the $Λ$-quot-functor is representable by an algebraic space. Then, we construct the moduli space of $Λ$-modules on a projective Deligne-Mumford stack. We prove that this moduli space is a quasi-projective scheme.
Let G be a simple linear algebraic group defined over the complex numbers. Fix a proper parabolic subgroup P of G and a nontrivial antidominant character χof P. We prove that a holomorphic principal G-bundle E over a connected complex projective manifold M is semistable and the second Chern class of its adjoint bundle vanishes in rational cohomology if and only if the line bundle over E/P defined by χis numerically effective. Similar results remain valid for principal bundles with a reductive linear algebraic group as the structure group. These generalize an earlier work of Y. Miyaoka where he…
We give a new proof of a theorem by Pareschi, Popa and Schnell that the direct image of the canonical bundle of a smooth projective variety along a morphism to an abelian variety admits a Chen-Jiang decomposition, without using the theory of Hodge modules.
Projective modules are a link between geometry and algebra as established by the theorem of Serre-Swan. In this paper, we define the super analog of projective modules and explore this link in the case of some particular super geometric objects. We consider the tangent bundle over the supersphere and show that the module of vector field over a supersphere is a super projective module over the ring of supersmooth functions. Also, we discuss a class of super projective modules that can be constructed from a projection map on modules defined over the ring of supersmooth functions over supersphere…
We study twisted D-modules on the weighted projective stacks. We determine for which values of the twist and the weight the global section functor is an equivalence, thus, proving a version of Beilinson-Bernstein Localisation Theorem.
In this paper, from an arbitrary smooth projective curve of genus at least two, we construct a non-Gorenstein Cohen-Macaulay normal domain and a nonfree totally reflexive module over it.
We give a new geometric construction of the big projective module in the principal block of the BGG category $\mathscr{O}$, or rather the corresponding $\mathscr{D}$-module on the flag variety. Namely, given a one-parameter family of nondegenerate additive characters of the unipotent radical of a Borel subgroup which degenerate to the trivial character, there is a corresponding one-parameter family of Whittaker sheaves. We show that the unipotent nearby cycles functor applied to this family yields the big projective $\mathscr{D}$-module.
The main purpose of this paper is computing higher algebraic $K$-theory of Koszul complexes over principal ideal domains. The second purpose of this paper is giving examples of comparison techniques on algebraic $K$-theory for Waldhausen categories without the factorization axiom.
The module of Valabrega-Valla of the Jacobian ideal of a reduced projective variety $V$ is the torsion of the Aluffi algebra. One considers the problem of its vanishing in the case of where $V$ is a reduced set of points in the projective plane. It is shown that the module is nonzero for several cases of a special configuration class therein -- called $(s-r)$-{fold collinear configuration}. A complete classification of types is given for $5$ and $6$ points in regard to this problem.
I classify projective modules over idempotent semirings that are free on a monoid. The analysis extends to the case of the semiring of convex, piecewise-affine functions on a polyhedron, for which projective modules correspond to convex families of weight polyhedra for the general linear group.
