Let $C$ be a smooth, projective and geometrically connected curve defined over a finite field $\mathbb{F}_q(C)$. Given a semisimple $C-S$-group scheme $\underline{G}$ where $S$ is a finite set of closed points of $C$, we describe the set of ($\mathcal{O}_S$-classes of) twisted forms of $\underline{G}$ in terms of geometric invariants of its fundamental group $F(\underline{G})$.
In this paper we construct a tilting sheaf for Severi-Brauer Varieties and Involution Varieties. This sheaf relates the derived category of each variety to the derived category of modules over a ring whose semisimple component consists of the Tits algebras of the corresponding linear algebraic group.
The first author has recently shown that semisimple algebraic groups are classified up to motivic equivalence by the local versions of the classical Tits indexes over field extensions, known as Tits p-indexes. We provide in this article the complete description of the values of the Tits p-indexes over fields. From this exhaustive study, we also deduce criteria of motivic equivalence for semisimple groups of many types, hence giving a dictionary between classic algebraic structures, representation theory, cohomological invariants and Chow motives of the twisted flag varieties for those groups.
Let $G$ be a split semisimple algebraic group over a field and let $A^*$ be an oriented cohomology theory in the sense of Levine--Morel. We provide a uniform approach to the $A^*$-motives of geometrically cellular smooth projective $G$-varieties based on the Hopf algebra structure of $A^*(G)$. Using this approach we provide various applications to the structure of motives of twisted flag varieties.
In this note, we give a way to classify $\mathbb Q$-Fano compactifications of a semisimple group $G$. We will prove that there are only finitely many such $\mathbb Q$-Fano $G$-compactifications, which admits (singular) Kähler-Einstein metrics. As an application, this improves a former result in arXiv:2001.11320.
Let $G= GL_n(\mathbb{C})$, the general linear group over the complex numbers, and let $B$ be the set of invertible upper triangular matrices in $G$. Let $\mathfrak{b}=\text{Lie}(B)$. For $μ:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, where $\mathfrak{b}^*\cong \mathfrak{g}/\mathfrak{u}$ and $\mathfrak{u}$ being strictly upper triangular matrices in $\mathfrak{g}=\text{Lie}(G)$, we prove that the Hamiltonian reduction $μ^{-1}(0)^{rss}/\!\!/B$ of the extended regular semisimple locus $\mathfrak{b}^{rss}$ of the Borel subalgebra is smooth, affine, reduced, and scheme-theoreti…
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.
For a $\mathbb P^1$-orbifold $\mathscr C$, we prove that its big quantum cohomology is generically semisimple. As a corollary, we verify a conjecture of Dubrovin for orbi-curves. We also show that the small quantum cohomology of $\mathscr C$ is generically semisimple iff $\mathscr C$ is Fano, i.e. it has positive orbifold Euler characteristic.
We find all K-polystable smooth Fano threefolds that can be obtained as blowup of projective space along the disjoint union of a twisted cubic curve and a line.
G. Pareschi and M. Popa give criterions for global generations and surjectivity of multiplication maps of global sections of coherent sheaves on abelian varieties in the theory of M-regularity. In this paper, we generalize some of their criterions via the M-regularity of $\mathbb{Q}$-twisted sheaves. As an application, we show that the M-regularity of a suitable $\mathbb{Q}$-twisted sheaf implies property $(N_p)$ and jet-ampleness for ample line bundles on abelian varieties.
Let $K=\mathbb{F}_q(C)$ be the global function field of rational functions over a smooth and projective curve $C$ defined over a finite field $\mathbb{F}_q$. The ring of regular functions on $C-S$ where $S \neq \emptyset$ is any finite set of closed points on $C$ is a Dedekind domain $\mathcal{O}_S$ of $K$. For a semisimple $\mathcal{O}_S$-group $\underline{G}$ with a smooth fundamental group $\underline{F}$, we aim to describe both the set of genera of $\underline{G}$ and its principal genus (the latter if $\underline{G} \otimes_{\mathcal{O}_S} K$ is isotropic at $S$) in terms of abelian grou…
This is the sequel to arXiv:2007.01364v1. Let $F$ be any local field with residue characteristic $p>0$, and $\mathcal{H}^{(1)}_{\overline{\mathbb{F}}_p}$ be the mod $p$ pro-$p$-Iwahori Hecke algebra of $\mathbf{GL_2}(F)$. In arXiv:2007.01364v1 we have constructed a parametrization of the $\mathcal{H}^{(1)}_{\overline{\mathbb{F}}_p}$-modules by certain $\widehat{\mathbf{GL_2}}(\overline{\mathbb{F}}_p)$-Satake parameters, together with an antispherical family of $\mathcal{H}^{(1)}_{\overline{\mathbb{F}}_p}$-modules. Here we let $F=\mathbb{Q}_p$ (and $p\geq 5$) and construct a morphism from $\wid…
In this paper, we study affine commutative algebraic monoid structures on affine spaces over an arbitrary field of characteristic zero. We obtain full classification of such structures on $\mathbb{A}_K^2$ and $\mathbb{A}_K^3$ and describe some generalizations on $\mathbb{A}_K^n$ for any dimension $n$.
Let $G$ be a complex semisimple algebraic group and $X$ be a complex symmetric homogeneous $G$-variety. Assume that both $G$, $X$ as well as the $G$-action on $X$ are defined over real numbers. Then $G(\mathbb{R})$ acts on $X(\mathbb{R})$ with finitely many orbits. We describe these orbits in combinatorial terms using Galois cohomology, thus providing a patch to a result of A.Borel and L.Ji.
Let $S \subset \mathbb{P}^g$ be a smooth $K3$ surface of degree $2g-2$, $g \geq 3$. We classify all the cases for which $h^0(\mathcal{N}_{S/\mathbb{P}^g}(-2)) \neq 0$ and the cases for which $h^0(\mathcal{N}_{S/\mathbb{P}^g}(-2)) < h^0(\mathcal{N}_{C/\mathbb{P}^{g-1}}(-2))$ for $C \subset \mathbb{P}^{g-1}$ a general canonical curve section of $S$.
In this short notes, we prove a stronger version of Theorem 0.6 in our previous paper arXiv:1709.01485: Given a smooth log scheme $(\mathcal{X} \supset \mathcal{D})_{W(\mathbb{F}_q)}$, each stable twisted $f$-periodic logarithmic Higgs bundle $(E,θ)$ over the closed fiber $(X \supset D)_{\mathbb{F}_q}$ will correspond to a $\mathrm{PGL}_r(\mathbb{F}_{p^f})$-crystalline representation of $π_1((\mathcal{X} \setminus \mathcal{D})_{W(\mathbb{F}_q)[\frac{1}{p}]})$ such that its restriction to the geometric fundamental group is absolutely irreducible.
We introduce a family of rank-one local systems in the category of twisted $\mathcal{D}$-modules on a certain subvariety isomorphic to ${\mathbb{G}_{\text{m}}}^2$ of the affine flag variety of $\text{SL}_2$. We then give a criterion for these local systems, in terms of their parameters, to extend cleanly in the sense of $\mathcal{D}$-modules.
In this paper, we prove quasi-modularity property for the twisted Gromov-Witten theory of $\mathcal{O}(3)$ over $\mathbb{P}^2$. Meanwhile, we derive its holomorphic anomaly equation.
Discussed here is descent theory in the differential context where everything is equipped with a differential operator. To answer a question personally posed by A. Pianzola, we determine all twisted forms of the differential Lie algebras over $\mathbb{C}(t)$ associated with complex simple Lie algebras. Hopf-Galois Theory, a ring-theoretic counterpart of theory of torsors for group schemes, plays a role when we grasp the above-mentioned twisted forms from torsors.
We study the dual ${\rm G}^\ast$ of a standard semisimple Poisson-Lie group ${\rm G}$ from a perspective of cluster theory. We show that the coordinate ring $\mathcal{O}({\rm G}^\ast)$ can be naturally embedded into a cluster Poisson algebra with a Weyl group action. We prove that $\mathcal{O}({\rm G}^\ast)$ admits a natural basis which has positive integer structure coefficients and satisfies an invariance property with respect to a braid group action. We continue the study of the moduli space $\mathscr{P}_{{\rm G},\mathbb{S}}$ of ${\rm G}$-local systems introduced in \cite{GS3}, and prove th…
We construct twisted $\mathcal{D}$-modules on the projective line $\mathbb{P}^1$ that are equivariant for the action of the diagonal torus subgroup of $SL_2$. In the most interesting case these arise as extensions from local systems on $\mathbb{C}^{\times}$. We discuss their subquotient structure. Their sheaf cohomology groups are weight modules for the Lie algebra $\mathfrak{sl}_2$. We also discuss their subquotient structure and in case these modules are not the familiar highest or lowest weight modules, we give an explicit presentation for them. Our computations illustrate some basic $\math…
We generalize the classical Beauville-Narasimhan-Ramanan correspondence to the case of parabolic Higgs bundles with regular singularities and Higgs $V$-bundles. Using this correspondence along with Bott-Morse theoretic techniques we provide an exact component count for moduli spaces of maximal parabolic $\text{Sp}\left( 2n,\mathbb{R} \right)$-Higgs bundles with fixed parabolic structure.
Using a construction of Hassett--Várilly-Alvarado, we produce derived equivalent twisted K3 surfaces over $\mathbb{Q}$, $\mathbb{Q}_2$, and $\mathbb{R}$, where one has a rational point and the other does not. This answers negatively a question recently raised by Hassett and Tschinkel.
We give a complete classification of Airy structures for finite-dimensional simple Lie algebras over $\mathbb C$, and to some extent also over $\mathbb R$, up to isomorphisms and gauge transformations. The result is that the only algebras of this type which admit any Airy structures are $\mathfrak{sl}_2$, $\mathfrak{sp}_4$ and $\mathfrak{sp}_{10}$. Among these, each admits exactly two non-equivalent Airy structures. Our methods apply directly also to semisimple Lie algebras. In this case it turns out that the number of non-equivalent Airy structures is countably infinite. We have derived a num…
Let $G$ be a linear algebraic group over a field $k$ of characteristic 0. We show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over an algebraic closure of $k$ are actually conjugate over a finite field extension of $k$ of degree bounded independently of the subgroups. Moreover, if $k$ is a real number field, we show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over the field of real numbers $\mathbb{R}$ are actually conjugate over a finite real extension of $k$ of degree bounded independently of the subgroups.
We introduce a new approach for computing the monodromy of the Hitchin map and use this to completely determine the monodromy for the moduli spaces of $L$-twisted $G$-Higgs bundles, for the groups $G = GL(2,\mathbb{C})$, $SL(2,\mathbb{C})$ and $PSL(2,\mathbb{C})$. We also determine the twisted Chern class of the regular locus, which obstructs the existence of a section of the moduli space of $L$-twisted Higgs bundles of rank $2$ and degree $deg(L)+1$. By counting orbits of the monodromy action with $\mathbb{Z}_2$-coefficients, we obtain in a unified manner the number of components of the chara…
Let $Z \subset \mathbb{A}^k$ be an affine scheme over $\C$ and $\J Z$ its jet scheme. It is well-known that $\mathbb{C}[\J Z]$, the coordinate ring of $\J Z$, has the structure of a commutative vertex algebra. This paper develops the orbifold theory for $\mathbb{C}[\J Z]$. A finite-order linear automorphism $g$ of $Z$ acts by vertex algebra automorphisms on $\mathbb{C}[\J Z]$. We show that $\mathbb{C}[\J^g Z]$, where $\J^g Z$ is the scheme of $g$--twisted jets has the structure of a $g$-twisted $\mathbb{C}[\J Z]$ module. We consider spaces of orbifold coinvariants valued in the modules $\mathb…
In this paper we build a link between the Teichmuller theory of hyperbolic Riemann surfaces and isomonodromic deformations of linear systems whose monodromy group is the Fuchsian group associated to the given hyperbolic Riemann surface by the Poincare' uniformization. In the case of a one-sheeted hyperboloid with n orbifold points we show that the Poisson algebra D_n of geodesic length functions is the semiclassical limit of the twisted q-Yangian for the orthogonal Lie algebra defined by Molev, Ragoucy and Sorba. We give a representation of the braid group action on this algebra in terms of an…