Sascha Orlik
The goal of this paper is to give an explicit formula for the l-adic cohomology of period domains over finite fields for arbitrary reductive groups. The result is a generalisation of the computation in math.AG/9907098 which treats the case of the general linear group.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We establish a method for calculating the Poincaré series of moduli spaces constructed as quotients of smooth varieties by suitable non-reductive group actions; examples of such moduli spaces include moduli spaces of unstable vector or Higgs bundles on a smooth projective curve, with a Harder-Narasimhan type of length two. To do so, we first prove a result concerning the smoothness of fixed point sets for suitable non-reductive group actions on smooth varieties. This enables us to prove that quotients of smooth varieties by such non-reductive group actions, which can be constructed using Non-R…
We extend the methods developed in our earlier work to algorithmically compute the intersection cohomology Betti numbers of reductive varieties. These form a class of highly symmetric varieties that includes equivariant compactifications of reductive groups. Thereby, we extend a well-known algorithm for toric varieties.
In this paper we study actions of reductive groups on affine spaces. We prove that there is a fan structure on the space of characters of the group, which parameterizes the possible invariant quotients. In the second half of the paper we study various geometrical properties of the quotients: we compute their Chow ring and the cohomology ring (in case we work over the complex numbers), both with rational coefficients. Actually, the cycle map turns out to be an isomorphism. Further, we construct families of such quotients over reduced base schemes, and compute again the Chow and the cohomology r…
The $L^2$-cohomology of a locally symmetric variety is known to have the topological interpretation as the intersection homology of its Baily-Borel Satake compactification. In this article, we observe that even without the Hermitian hypothesis, the $L^p$-cohomology of an arithmetic quotient, for $p$ finite and sufficiently large, is isomorphic to the ordinary cohomology of its reductive Borel-Serre compactification. We use this to generalize a theorem of Mumford concerning homogeneous vector bundles, their invariant Chern forms and the canonical extensions of the bundles; here, though, we are …
By a quasi-connected reductive group (a term of Labesse) over an arbitrary field we mean an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic group is quasi-connected reductive if and only if it is isomorphic to a smooth normal subgroup of a connected reductive group. We compute the first Galois cohomology set H^1(R,G) of a quasi-connected reductive group G over the field R of real numbers in terms of a certain action of a subgroup of the Weyl group on the Galois cohomology of a fundamental quasi-tor…
Abelian Galois cohomology of quasi-connected reductive groups
本文研究了准连通半单群的阿贝尔伽罗群上同调，推广了Labesse的构造和结果至任意半单群，并探讨了其函子性性质。
Galois Cohomology of Reductive Groups over Function Fields over $\mathbb{C}((t))$
本文扩展 Kottwitz 的 $B(F,G)$ 理论，在附加曲线假设下，显式描述了 $\mathbb{C}((t))$ 上曲线函数域 $F$ 中约化群 Galois 上同调的局部化映射。
Moment maps and cohomology of non-reductive quotients
本文定义了非简约群作用的矩映射，借此描述非简约GIT商并推导其Betti数与有理上同调环公式，同时给出了相交配对的留数公式，并宣布证明了射影超曲面的相关猜想。
Let $G$ be a connected reductive group over a number field $F$, and let $S$ be a set (finite or infinite) of places of $F$. We give a necessary and sufficient condition for the surjectivity of the localization map from $H^1(F,G)$ to the "direct sum" of the sets $H^1(F_v,G)$ where $v$ runs over $S$. In the appendices, we give a new construction of the abelian Galois cohomology of a reductive group over a field of arbitrary characteristic.
A horospherical variety is a normal algebraic variety where a connected reductive algebraic group acts with an open orbit isomorphic to a torus bundle over a flag variety. In this article we study the cohomology of line bundles on complete horospherical varieties.
We describe the equivariant cohomology ring of rationally smooth projective embeddings of reductive groups. These embeddings are the projectivizations of reductive monoids. Our main result describes their equivariant cohomology in terms of roots, idempotents, and underlying monoid data. Also, we characterize those embeddings whose equivariant cohomology ring is obtained via restriction to the associated toric variety. Such characterization is given in terms of the closed orbits.
Galois cohomology and component group of a real reductive group
本文利用约化 Kac 标号组合计算实连通约化群的第一 Galois 上同调集，并确定其实点群的连通分支群及相关正合序列中的映射。
Is there a group structure on the Galois cohomology of a reductive group over a global field?
本文证明：当整体域K存在实嵌入时，无法以函子性方式为所有约化K-群的第一伽罗瓦上同调集合定义群结构，从而否定了标题问题的普遍成立性。
We establish arithmetic duality theorems for short complexes associated to reductive groups over $p$-adic function fields. Using dualities, we deduce obstructions to weak approximation for certain reductive groups (especially quasi-split ones) and relate this obstruction to an unramified Galois cohomology group.
Building up on work of Epstein, May and Drury, we define and investigate the mod $p$ Steenrod operations on the de Rham cohomology of smooth algebraic stacks over a field of characteristic $p>0$. We then compute the action of the operations on the de Rham cohomology of classifying stacks for finite groups, connected reductive groups for which $p$ is not a torsion prime, and (special) orthogonal groups when $p=2$.
It was proved by Ginzburg and Mirkovic-Vilonen that the $G(O)$-equivariant perverse sheaves on the affine grassmannian of a connected reductive group $G$ form a tensor category equivalent to the tensor category of finite dimensional representations of the dual group $G^\vee$. The proof use the Tannakian formalism. The purpose of this paper is to construct explicitely the action of $G^\vee$ on the global cohomology of a perverse sheaf.
Let $G$ be a reductive group defined over an algebraically closed field of characteristic $0$ such that the Dynkin diagram of $G$ is the disjoint union of diagrams of types $G_{2}, F_{4}, E_{6}, E_{7}, E_{8}$. We show that the degree $3$ unramified cohomology of the classifying space of $G$ is trivial. In particular, combined with articles by Merkurjev \cite{Mer17} and the author \cite{Baek}, this completes the computations of degree $3$ unramified cohomology and reductive invariants for all split semisimple groups of a homogeneous Dynkin type.
Let $X$ be a smooth complete curve, $G$ be a reductive group and $P\subset G$ a parabolic. Following Drinfeld, one defines a compactification $\widetilde{\on{Bun}}_P$ of the moduli stack of $P$-bundles on $X$. The present paper is concerned with the explicit description of the Intersection Cohomology sheaf of $\widetilde{\on{Bun}}_P$. The description is given in terms of the combinatorics of the Langlands dual Lie algebra $\check{\mathfrak g}$.
We discuss recent developments in the Langlands program for function fields, and in the geometric Langlands program. In particular we explain a canonical decomposition of the space of cuspidal automorphic forms for any reductive group G over a function field, indexed by global Langlands parameters. The proof uses the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence.
Let R be a semi-local regular domain containing an infinite perfect field k, and let K be the field of fractions of R. Let G be a reductive semi-simple simply connected R-group scheme such that each of its R-indecomposable factors is isotropic. We prove that for any Noetherian affine scheme A over k, the kernel of the map of etale cohomology sets H^1(A\times_k R,G)-> H^1(A\times_ k K,G), induced by the inclusion of R into K, is trivial. If R is the semi-local ring of several points on a k-smooth scheme, then it suffices to require that k is infinite and keep the same assumption concerning G.
We study linear actions of algebraic groups on smooth projective varieties X. A guiding goal for us is to understand the cohomology of "quotients" under such actions, by generalizing (from reductive to non-reductive group actions) existing methods involving Mumford's geometric invariant theory (GIT). We concentrate on actions of unipotent groups H, and define sets of stable points X^s and semistable points X^{ss}, often explicitly computable via the methods of reductive GIT, which reduce to the standard definitions due to Mumford in the case of reductive actions. We compare these with definiti…
In 2006, Belkale and Kumar define a new product on the cohomology of flag varieties and use this new product to give an improved solution to the eigencone problem for complex reductive groups. In this paper, we give a generalization of the Belkale-Kumar product to the branching Schubert calculus setting. The study of Branching Schubert calculus attempts to understand the induced map on cohomology of an equivariant embedding of flag varieties. The main application of our work is a compact formulation of the solution to the branching eigencone problem.
We study the stack M of cameral covers for a complex reductive group G, introduced by Donagi and Gaitsgory. We compute its rational cohomology ring. In the special case G=GL(n), M is the stack of spectral covers. We also compute the cohomology ring of the stack of abstract regular G-Higgs bundles.
We explore several variations of the notion of purity for the action of Frobenius on schemes defined over finite fields. In particular, we study how these notions are preserved under certain natural operations like quotients for principal bundles and also geometric quotients for reductive group actions. We then apply these results to study the cohomology of quiver moduli. We prove that a natural stratification of the space of representations of a quiver with a fixed dimension vector is equivariantly perfect and from it deduce that each of the $l$-adic cohomology groups of the quiver moduli spa…
Galois cohomology of reductive groups over global fields
本文用代数基本群给出整体域上约化群的阿贝尔伽罗瓦上同调闭公式，并借助 Tate-Nakayama 同构推广到非阿贝尔情形及环面情形，所得公式适合计算机计算。
In this paper we consider period domains over local fields for quasi-split reductive groups. We compute the continuous l-adic cohomology with compact support of them in the case of a basic isocrystal. This paper is a continuation of [O2] where we considered the etale cohomology with torsion coefficients of these spaces.
We prove, for all reductive groups, that the cohomology sheaves with compact support of stacks of shtukas are ind-smooth over $(X - N)^I$ and that their geometric generic fibers are equiped with an action of $\text{Weil}(X - N, \overlineη)^I$. Our method does not use any compactification of stacks of shtukas.
For $k$ a perfect field of characteristic $p>0$ and $G/k$ a split reductive group with $p$ a non-torsion prime for $G,$ we compute the mod $p$ motivic cohomology of the geometric classifying space $BG_{(r)}$, where $G_{(r)}$ is the $r$th Frobenius kernel of $G.$ Our main tool is a motivic version of the Eilenberg-Moore spectral sequence, due to Krishna. For a flat affine group scheme $G/k$ of finite type, we define a cycle class map from the mod $p$ motivic cohomology of the classifying space $BG$ to the mod $p$ étale motivic cohomology of the classifying stack $\mathcal{B}G.$ This also gives …
Let $X$ be a projective manifold, and $D$ be a normal crossing divisor of $X$. By Jost-Zuo's theorem that if we have a reductive representation $ρ$ of the fundamental group $π_{1}(X^{*})$ with unipotent local monodromy, where $X^*=X-D$, then there exists a tame pluriharmonic metric $h$ on the flat bundle $\mathcal V$ associated to the local system $\mathbb V$ obtain from $ρ$ over $X^*$. Therefore, we get a harmonic bundle $(E, θ, h)$, where $θ$ is the Higgs field, i.e. a holomorphic section of $End(E)\otimesΩ^{1,0}_{X^*}$ satisfying $θ^2=0$. In this paper, we study the harmonic bundle $(E,θ,h)…
We extend the work of M.Borovoi on the nonabelian Galois cohomology of linear reductive algebraic groups over number fields to a general base scheme. As an application, we obtain new results on the arithmetic of such groups over global function fields.
Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_λ$ and $L_λ$, which satisfy the identities as contraction and Lie derivative do for smooth differential forms. Out of this data one defines cohomology of the invariants and equivariant cohomology of $M$. We establish Koszul duality between each other.
Let $R$ be a regular semilocal integral domain containing an infinite field $k$. Let $f\in R$ be an element such that for all maximal ideals $\mathfrak m$ of $R$ we have $f\notin\mathfrak m^2$. Let $\mathbf G$ be a reductive group scheme over $R$. Under an isotropy assumption on $\mathbf G$ we show that a $\mathbf G$-torsor over the localization $R_f$ is trivial, provided it is rationally trivial. We show that it is not true without the isotropy assumption. Finally, if $\mathbf G$ is a commutative group scheme of multiplicative type and the regular semilocal ring contains a field of characteri…
This is a translation in English of version 5 of the article arXiv:1404.3998, which is itself an introduction to arXiv:1209.5352. We explain all the ideas of the proof of the following theorem. For any reductive group G over a global function field, we use the cohomology of G-shtukas with multiple modifications and the geometric Satake equivalence to prove the global Langlands correspondence for G in the "automorphic to Galois" direction. Moreover we obtain a canonical decomposition of the spaces of cuspidal automorphic forms indexed by global Langlands parameters. The proof does not rely at a…
In this paper, we compare two cohomology groups associated to Shimura varieties of PEL type, which are not proper over the base. One is the compactly supported l-adic cohomology, and the other is the nearby cycle cohomology, namely, the compactly supported cohomology of the nearby cycle complex for the canonical integral model of the Shimura variety over Z_p. We prove that the G(Q_p)-cuspidal part of these cohomology groups are the same, where G denotes the reductive algebraic group naturally attached to the PEL datum. Some applications to unitary Shimura varieties are also given.
For arbitrary reductive groups $G$ defined over a finite field, we decompose Newton strata in the special fiber of moduli spaces of global $G$-shtukas into a product of Rapoport-Zink spaces and Igusa varieties. This allows us to compare the $\ell$-adic cohomology of these spaces together with the various actions on them.
Geometry and cohomology of compactified Deligne--Lusztig varieties
本文研究了紧化Deligne-Lusztig簇的几何与上同调性质，证明其上同调与Weyl群中最小长度元素的上同调同构。
Homogeneous spaces over an abelian variety
本文研究了阿贝尔簇上的同构空间族中有理截面的存在性问题，通过构造动机滤波器分析同态对上同调和威利群的影响，得出了在特定条件下对可约群的正回答。
We introduce the notion of Artin motives and cohomological motives over a scheme X. Given a cohomological motive M over X, we construct its punctual weight zero part $ω^0_X(M)$ as the universal Artin motive mapping to M. We use this to define a motive E_X over X which is an invariant of the singularities of X. The first half of the paper is devoted to the study of the functors $ω^0_X$ and the computation of the motives E_X. In the second half of the paper, we develop the application to locally symmetric varieties. Specifically, let Y be a locally symmetric variety and denote by p:W-->Z the pro…
Relative étale slices and cohomology of moduli spaces
本文利用Alper-Hall-Rydh技术证明了光滑模栈间光滑映射在具有线性可还原稳定化点附近的局部结构定理，推导出良好模空间的纤维等奇异性和纤维的ℓ-上同调环与交上同调群同构性。
The power operation in the Galois cohomology of a reductive group over a number field
本文在局部域或整体域上约化群的伽罗瓦上同调中定义幂运算，证明其性质，并引入周期与指数概念，推广中心简单代数理论，证明周期整除指数且素因子相同。
The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomials of the second author.
Cohomological integrality for weakly symmetric representations of reductive groups
本文研究了可约对称表示的半单群商堆栈的上同调整除性，通过分解上同调为有限维成分，定义了新的计数不变量。
The period and index of a Galois cohomology class of a reductive group over a local or global field
本文研究局部或整体域上约化群的伽罗瓦上同调类的周期与指数，证明指数可严格大于周期，并在整体域情形下给出指数整除周期某次幂的特征无关证明及上界。
This is a review article discussing the de Rham cohomology of period domains of Hodge structures. We explain it as the de Rham cohomology of differentiable stacks as of a moduli space. We also discuss the cohomology of the partial toroidal compactification of these domains using known formulas on cohomology or Chow rings of toric structures. The text is expository and we have tried to connect some existing ideas that probably their relations not processed in the literature of Hodge theory. We state the significance of ideas as they naturally could be related, probably with not serious mathemat…
Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme isotropic over R. We prove that for any Noetherian k-algebra A, the map of etale cohomology sets H^1(A\otimes_k R,G)-> H^1(A\otimes_ k K,G), induced by the inclusion of R into K, has trivial kernel. This implies the Serre-Grothendieck conjecture for such groups G. The main theorem for A=k and some other results of the present paper are used significantly in arXiv:1…
Let $G$ be a reductive group over a finite field with a maximal unipotent subgroup $U$, we consider certain sheaves on $G/U$ defined by Kazhdan and Laumon and show that their cohomology produces the cohomology of the Deligne-Lusztig varieties. We then use this comparison to give a new proof of a result of Dudas.
We compute the Hodge and de Rham cohomology of the classifying space BG (defined as etale cohomology on the algebraic stack BG) for reductive groups G over many fields, including fields of small characteristic. These calculations have a direct relation with representation theory, yielding new results there. The calculations are closely analogous to, but not always the same as, the cohomology of classifying spaces in topology.
Let G be a reductive group; in this note we give an interpretation of the dynamical Weyl group of of the Langlands dual group $\check{G}$ defined by Etingof and Varchenko in terms of the geometry of the affine Grassmannian Gr of G. In this interpretation the dynamical parameters of Etingof and Varchenko correspond to equivariant parameters with respect to certain natural torus acting on Gr. We also present a conjectural generalization of our results to the case of affine Kac-Moody groups.
Let $p$ be a prime. This papers aims at investigating sheaf cohomology of a broader class of $p$-adic period domains, other then the Drinfeld's upper half space (cf. \cite{O2}). Concretely, we let $\mathbf{G}$ be a split connected reductive group over $\mathbb{Q}_p$ and restrict our attention to the $p$-adic period domain $\mathscr{F}^{\mathrm{wa}}$ which parametrizes the weakly admissible filtrations on the trivial $\mathbf{G}$-isocrystal inside a complete flag variety $\mathscr{F}$. Then, we consider sheaf cohomology of $\mathscr{F}^{\mathrm{wa}}$ with coefficients in vector bundles which ar…
Consider a holomorphic vector bundle $L\to X$ and an open cover ${\frak U}=\{U_a\colon a\in A\}$ of $X$, parametrized by a complex manifold $A$. We prove that the sheaf cohomology groups $H^q(X,L)$ can be computed from the complex $C^{\bullet}_{\text{hol}}$ $({\frak U},L)$ of cochains $(f_{a_0\ldots a_q})_{a_0,\ldots, a_q\in A}$ that depend holomorphically on the $a_j$, provided $S=\{(a,x)\in A\times X\colon x\in U_a\}$ is a Stein open subset of $A\times X$. The result is proved in the setting of Banach manifolds, and is applied to study representations on cohomology groups induced by a holomo…
Suppose that k is a field of characteristic zero, X is an r by s matrix of indeterminates, where r \leq s, and R = k[X] is the polynomial ring over k in the entries of X. We study the local cohomology modules H^i_I(R), where I is the ideal of R generated by the maximal minors of X. We identify the indices i for which these modules vanish, compute H^i_I(R) at the highest nonvanishing index, i = r(s-r)+1, and characterize all nonzero ones as submodules of certain indecomposable injective modules. These results are consequences of more general theorems regarding linearly reductive groups acting o…
Carlson and Toledo conjectured that any infinite fundamental group $Γ$ of a compact Kähler manifold satisfies $H^2(Γ,\R)\not =0$. We assume that $Γ$ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ($\C$-VHS) on the Kähler manifold. We prove the conjecture under some assumption on the $\C$-VHS. We also study some related geometric/topological properties of period domains associated to such $\C$-VHS.
Let $G$ be a connected split reductive group over a finite field ${\mathbb F}_q$ and $X$ a smooth projective geometrically connected curve over ${\mathbb F}_q$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the space of automorphic forms with compact support over the function field of $X$. In this paper, we construct a constant term morphism on the cohomology of stacks of shtukas which is a generalization of the constant term morphism for automorphic forms. We also define the cuspidal cohomology which generalizes the space of cuspidal automorphic forms. Then we sho…
The geometric concentration theorem
本文建立了线性约化群作用在仿射概形上的几何集中定理，证明等变稳定动机同伦理论在倒置欧拉类后与不动点轨迹等价，并推广至更一般情形及Smith理论。
We construct p-adic period map using derived de Rham cohomology of Illusie and give a simple proof of Fontaine's C_{dR} conjecture.
Cohomological Mackey formula for quotient stacks
该研究针对等变 Landau–Ginzburg 模型的临界上同调，构造限制态射并证明其与归纳映射满足 Mackey 型相容公式，使其具有局部化归纳–限制系统结构。
Let $G$ be a connected complex algebraic group and $A$ a connected abelian algebraic group endowed with an algebraic action of $G$ by group automorphisms. In the present note we describe the abelian group $\Ext_{alg}(G,A)$ of algebraic group extensions of $G$ by $A$ in terms of a short exact sequence relating the ext-group to a relative second Lie algebra cohomology space and the fundamental group of the commutator group. Our second main result is an analog of the Van-Est Theorem for algebraic group cohomology, saying that for an algebraic $G$ module $\a$ and $p \geq 0$ the algebraic group coh…
Let $G$ be a smooth connected reductive group over a field $k$ and $Γ$ be a central subgroup of $G$. We construct Eilenberg-Moore-type spectral sequences converging to the Hodge and de Rham cohomology of $B(G/Γ)$. As an application, building upon work of Toda and using Totaro's inequality, we show that for all $m\geq 0$ the Hodge and de Rham cohomology algebras of the classifying stacks $B\mathrm{PGL}_{4m+2}$ and $B\mathrm{PSO}_{4m+2}$ over $\mathbb{F}_2$ are isomorphic to the singular $\mathbb{F}_2$-cohomology of the classifying space of the corresponding Lie group. From this we obtain a full…
The infinitesimal period relation (also known as Griffiths' transversality) is the system of partial differential equations constraining variations of Hodge structure. This paper presents a study of the characteristic cohomology associated with that system of pde.
Let $X\to Y^0$ be an abelian prime-to-$p$ Galois covering of smooth schemes over a perfect field $k$ of characteristic $p>0$. Let $Y$ be a smooth compactification of $Y^0$ such that $Y-Y^0$ is a normal crossings divisor on $Y$. We describe a logarithmic $F$-crystal on $Y$ whose rational crystalline cohomology is the rigid cohomology of $X$, in particular provides a natural $W[F]$-lattice inside the latter; here $W$ is the Witt vector ring of $k$. If a finite group $G$ acts compatibly on $X$, $Y^0$ and $Y$ then our construction is $G$-equivariant. As an example we apply it to Deligne-Lusztig va…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。