Related papers: Grothendieck--Serre for constant reductive group s…
We set up a Grothendieck spectral sequence which generalizes the Lyndon--Hochschild--Serre spectral sequence for a group extension $K\mono G\epi Q$ by allowing the normal subgroup $K$ to be replaced by a subgroup, or family of subgroups…
We prove a local Gan-Gross-Prasad conjecture on predicting the branching law for the non-tempered representations of general linear groups in the case of non-Archimedean field. We also generalize to Bessel and Fourier-Jacobi models and…
Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic…
In this paper we give a proof of the Nirenberg-Treves conjecture: that local solvability of principal type pseudo-differential operators is equivalent to condition ($\Psi$). This condition rules out certain sign changes of the imaginary…
The unrestricted T-system is a family of relations in the Grothendieck ring of the category of the finite-dimensional modules of the Yangian or the quantum affine algebra associated with a complex simple Lie algebra. The unrestricted…
We show that any homotopically smashing t-structure in the derived category of a commutative noetherian ring is compactly generated. This generalizes the validity of the telescope conjecture for commutative noetherian rings due to Neeman.…
In this paper, we present a captivating construction by Grothendieck, originally formulated for algebraic varieties, and adapt it to the realm of C*-algebras. Our main objective is to investigate the conditions under which this particular…
We introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a…
We prove a conjecture of Casselman and Shahidi stating that the unique irreducible generic subquotient of a standard module is necessarily a subrepresentation for a large class of connected quasi-split reductive groups, in particular for…
Grothendieck proposed a theory of regular polyhedra over finite fields in Section 4 of \textit{Esquisse d'un Programme}. He isolates certain key parameters from the automorphism groups of regular polyhedra, which can be extended to any…
We introduce a Grothendieck group of algebraic stacks (with affine stabilisers) analogous to the Grothendieck group of algebraic varieties. We then identify it with a certain localisation of the Grothendieck group of algebraic varieties.…
Grothendieck's standard conjecture of Lefschetz type has two main forms: the weak form $C$ and the strong form $B$. The weak form is known for varieties over finite fields as a consequence of the proof of the Weil conjectures. This suggests…
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…
In this paper we prove that if R is a left Noetherian and left regular ring such that all finitely generated projective left R-modules are stably free, then the same is true for the completion R[[x;\sigma,\delta]] of any Ore extension…
We develop theory of (possibly large) cotilting objects of injective dimension at most one in general Grothendieck categories. We show that such cotilting objects are always pure-injective and that they characterize the situation where the…
To generalize some fundamental results on group schemes to the super context, we study the quotient sheaf $G \tilde{/} H$ of an algebraic supergroup $G$ by its closed supersubgroup $H$, in arbitrary characteristic $\neq$ 2. Our main theorem…
The Weitzenboeck theorem states that the algebra of constants of a linear locally nilpotent derivation of the polynomial algebra K[Z]=K[z_1,...,z_m] in m variables over a field K of characteristic 0 is finitely generated. If m=2n and the…
Let A be the local ring at a point of a normal complex variety with completion R. Srinivas has asked about the possible images of the induced map from Cl A to Cl R over all geometric normal domains A with fixed completion R. We use…
A conjecture of Moore claims that if G is a group and H a finite index subgroup of G such that G - H has no elements of prime order (e.g. G is torsion free), then a G-module which is projective over H is projective over G. The conjecture is…
We investigate a strong version of the integral Tate conjecture for 1-cycles on the product of a curve and a surface over a finite field, under the assumption that the surface is geometrically $CH_0$-trivial. By this we mean that over any…