Related papers: Cohomology of groups acting on vector spaces over …

Let $X$ be a compact smooth manifold, possibly with boundary. Denote by $X_1,\dots,X_r$ the connected components of $X$. Assume that the integral cohomology of $X$ is torsion free and supported in even degrees. We prove that there exists a…

Let $G$ be a finite group, $k$ be a field and $G\to GL(V_{\rm reg})$ be the regular representation of $G$ over $k$. Then $G$ acts naturally on the rational function field $k(V_{\rm reg})$ by $k$-automorphisms. Define $k(G)$ to be the fixed…

This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem: Theorem: Let C be a large homogeneous model of a stable diagram D. Let p, q in S_D(A), where p is…

We prove the analog of Kostant's Theorem on Lie algebra cohomology in the context of quantum groups. We prove that Kostant's cohomology formula holds for quantum groups at a generic parameter $q$, recovering an earlier result of Malikov in…

We consider (Frobenius) difference equations over (F_q(s,t), phi) where phi fixes t and acts on F_q(s) as the Frobenius endomorphism. We prove that every semisimple, simply-connected linear algebraic group G defined over F_q can be realized…

Given a finite group action on a (suitably enhanced) triangulated category linear over a field, we establish a formula for the Hochschild cohomology of the category of invariants, assuming the order of the group is coprime to the…

Let $k$ be a field and $G$ be a finite group acting on the rational function field $k(x_g : g\in G)$ by $k$-automorphisms defined as $h(x_g)=x_{hg}$ for any $g,h\in G$. We denote the fixed field $k(x_g : g\in G)^G$ by $k(G)$. Noether's…

Let $X$ be a connected scheme, smooth and separated over an algebraically closed field $k$ of characteristic $p\geq 0$, let $f:Y\rightarrow X$ be a smooth proper morphism and $x$ a geometric point on $X$. We prove that the tensor invariants…

A theorem of Grothendieck asserts that over a perfect field k of cohomological dimension one, all non-abelian H^2-cohomology sets of algebraic groups are trivial. The purpose of this paper is to establish a formally real generalization of…

Let $F$ be a totally real field, and $\mathbb{A}_F$ be the adele ring of $F$. Let us fix $N$ to be a positive integer. Let $\pi_1=\otimes\pi_{1,v}$ and $\pi_2=\otimes\pi_{2,v}$ be distinct cohomological cuspidal automorphic representations…

Let $G$ be a group of order $n$ and $H$ be a subgroup of order $m$ of $G$. Denote by $\psi_H(G)$ the sum of element orders relative to $H$ of $G$. It is known that if $G$ is nilpotent, then $\psi_H(G)\leq\psi_{H_m}(G)$, where $H_m$ is the…

Let P be a parabolic subgroup of a semisimple complex Lie group G defined by a subset \Sigma of simple roots of G, and let E_\phi be a homogeneous vector bundle over the flag manifold G/P corresponding to a linear representation \phi of P.…

We consider two families X_n of varieties on which the symmetric group S_n acts: the configuration space of n points in C and the space of n linearly independent lines in C^n. Given an irreducible S_n-representation V, one can ask how the…

In this paper we introduce and develop the theory of FI-modules. We apply this theory to obtain new theorems about: - the cohomology of the configuration space of n distinct ordered points on an arbitrary (connected, oriented) manifold -…

Let ${\mathbb{F}_{q}}$ be the finite field of order $q$. Let $G$ be one of the three groups ${\rm GL}(n, \mathbb{F}_q)$, ${\rm SL}(n, \mathbb{F}_q)$ or ${\rm U}(n, \mathbb{F}_q)$ and let $W$ be the standard $n$-dimensional representation of…

We study the cohomology of Aut(F_n) and Out(F_n) with coefficients in the modules \wedge^q H, \wedge H^*, Sym^q H or Sym^q H^*, where H is the Out(F_n)-module obtained by abelianising the free group F_n. For reasons which are not…

Let $G$ and $A$ be finite groups with $A$ acting on $G$ by automorphisms. In this paper we introduce the concept of "good action"; namely we say the action of $A$ on $G$ is good, if $H=[H,B]C_H(B)$ for every subgroup $B$ of $A$ and every…

The operation of tensor product of Cohomological Field Theories (or algebras over genus zero moduli operad) introduced in an earlier paper by the authors is described in full detail, and the proof of a theorem on additive relations between…

For a finitely generated free group F_n, of rank at least 2, any finite subgroup of Out(F_n) can be realized as a group of automorphisms of a graph with fundamental group F_n. This result, known as Out(F_n) realization, was proved by…

If $G$ is a group acting on a tree $X$, and ${\mathcal S}$ is a $G$-equivariant sheaf of vector spaces on $X$, then its compactly-supported cohomology is a representation of $G$. Under a finiteness hypothesis, we prove that if $H_c^0(X,…