Related papers: An integrality theorem of Grosshans over arbitrary…

Let R be a commutative ring with unity and a let A be a not necessarily commutative R-algebra which is free as an R-module. If I is an ideal in A, one can ask when A/I is also free as an R-module. We show that if A has an admissible system…

Let $k$ be a noetherian commutative ring and let $G$ be a finite flat group scheme over $k$. Let $G$ act rationally on a finitely generated commutative $k$-algebra $A$. We show that the cohomology algebra $H^*(G,A)$ is a finitely generated…

Our starting point is Mumford's conjecture, on representations of Chevalley groups over fields, as it is phrased in the preface of "Geometric Invariant Theory". After extending the conjecture appropriately, we show that it holds over an…

We reprove the main result of our joint work [arXiv:0706.0604] with Srinivas, concerning finite Schur filtration dimension, but now with the base field replaced by a commutative noetherian ring k. This leads to finiteness results for the…

We define a generalization $\mathfrak{G}$ of the Grassmann algebra $G$ which is well-behaved over arbitrary commutative rings $C$, even when $2$ is not invertible. In particular, this enables us to define a notion of superalgebras that does…

We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…

For a reductive group scheme over a regular semi-local ring, we prove an equivarinat version of the Gersten conjecture. We draw some interesting consequences for the representation rings of such reductive group schemes. We also prove the…

Let the reductive group G act on the finitely generated commutative k-algebra A. We ask if the finite generation property of the ring of invariants A^G extends to the full rational cohomology ring H^*(G,A). We confirm this when G=SL_2 and…

Let $K$ be a number field and let $G$ be a finitely generated subgroup of $K^\times$. For all but finitely many primes $\mathfrak p$ of $K$, the reduction $(G \bmod \mathfrak p)$ generates a well-defined subgroup of the multiplicative group…

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…

We study integrality over rings (all commutative in this paper) and over ideal semifiltrations (a generalization of integrality over ideals). We begin by reproving classical results, such as a version of the "faithful module" criterion for…

Let A denote the algebraic closure of the rationals Q in the complex numbers C. Suppose G is a torsion-free group which contains a congruence subgroup as a normal subgroup of finite index and denote by U(G) the C-algebra of closed densely…

Suppose $G$ is a simple algebraic group defined over an algebraically closed field of good characteristic $p$. In 2018 Korhonen showed that if $H$ is a connected reductive subgroup of $G$ which contains a distinguished unipotent element $u$…

Let $R$ be a Dedekind domain, $G$ an affine flat $R$-group scheme, and $B$ a flat $R$-algebra on which $G$ acts. Let $A \to B^G$ be an $R$-algebra map. Assume that $A$ is Noetherian. We show that if the induced map $K\otimes A\to (K\otimes…

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate…

Let $G$ be the linear algebraic group $SL_3$ over a field $k$ of characteristic two. Let $A$ be a finitely generated commutative $k$-algebra on which $G$ acts rationally by $k$-algebra automorphisms. We show that the full cohomology ring…

We apply the Fixed Point Theorem for the actions of finite groups on Bruhat-Tits buildings and their products to establish two results concerning the groups of points of reductive algebraic groups over polynomial rings in one variable,…

Let $R$ be a commutative ring with identity and a fixed invertible element $q^{\frac{1}{2}}$, and suppose $q+q^{-1}$ is invertible in $R$. For each planar surface $\Sigma_{0,n+1}$, we present its Kauffman bracket skein algebra over $R$ by…

Let $k$ be a field and $G \subseteq Gl_n(k)$ be a finite group with $|G|^{-1} \in k$. Let $G$ act linearly on $A = k[X_1, \ldots, X_n]$ and let $A^G$ be the ring of invariant's. Suppose there does not exist any non-trivial one-dimensional…

In this paper we establish a Gr\"{o}bner-Shirshov bases theory for Lie algebras over commutative rings. As applications we give some new examples of special Lie algebras (those embeddable in associative algebras over the same ring) and…