Related papers: When is a reductive group scheme linear?

Let G be a reductive algebraic group and V a G-module. We consider the question of when (GL(V), rho(G)) is a reductive pair of algebraic groups, where rho is the representation afforded by V. We first make some observations about general G…

Let $\mathcal{G}$ be a finite group scheme over an algebraically closed field $k$ of characteristic ${\rm char}(k)=p\geq 3$. In generalization of the familiar notion from the modular representation theory of finite groups, we define the…

Ore proved that a finite group is cyclic if and only if its subgroup lattice is distributive. Now, since every subgroup of a cyclic group is normal, we call a subfactor planar algebra cyclic if all its biprojections are normal and form a…

If a complex $X$ is a subcomplex of a diagrammatically reducible 2-complex $Y$ that has locally indicable fundamental group, then $X$ has locally indicable fundamental group. This is a consequence of the Corson-Trace characterization of…

Given a smooth affine curve X over a field k of positive characteristic, and an overconvergent F-isocrystal on X, we prove after replacing k by a finite purely inseparable extension, there exists a finite separable cover of X, the pullback…

We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A$ of a computably enumerable, model complete theory, the…

Consider a group G and a family $\mathcal{A}$ of subgroups of G. We say that vertex finiteness holds for splittings of G over $\mathcal{A}$ if, up to isomorphism, there are only finitely many possibilities for vertex stabilizers of minimal…

This work was inspired by two natural questions. The first question is when Lie(G')=Lie(G)', where G is a connected algebraic supergroup defined over a field of characteristic zero. The second question is whether the unipotent radical of…

We show that the Simple Loop Conjecture holds for any representation $\rho\colon\pi_1(S)\longrightarrow \text{PSL}(2,\,\mathbb R)$ that is discrete but not faithful. That is, we show the existence of a simple closed curve in the kernel of…

(1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a…

We prove that two chains of linear mappings are topologically isomorphic if and only if they are linearly isomorphic.

An irreducible algebraic variety $X$ is rigid if it admits no nontrivial action of the additive group of the ground field. We prove that the automorphism group $\text{Aut}(X)$ of a rigid affine variety contains a unique maximal torus…

Let $X$ be a rationally connected smooth projective variety of dimension $n$. We show that $X$ is a toric variety if and only if $X$ admits an int-amplified endomorphism with totally invariant ramification divisor. We also show that $X\cong…

Let $Aut_{alg}(X)$ be the subgroup of the group of regular automorphisms $Aut(X)$ of an affine algebraic variety $X$ generated by all connected algebraic subgroups. We prove that if $dim X \ge 2$ and if $Aut_{alg}(X)$ is rich enough,…

We investigate group coding for arbitrary finite groups acting linearly on a vector space. These yield robust codes based on real or complex matrix groups. We give necessary and sufficient conditions for correct subgroup decoding using…

Let R be an affine PI-algebra over an algebraically closed field k and let G be an affine algebraic k-group that acts rationally by algebra automorphisms on R. For R prime and G a torus, we show that R has only finitely many G-prime ideals…

We call a reductive complex group $G$ quasi-toral if $G^0$ is a torus. Let $G$ be quasi-toral and let $V$ be a faithful $1$-modular $G$-module. Let $N$ (the shell) be the zero fiber of the canonical moment mapping $\mu\colon V\oplus…

Let $G$ be a real algebraic group defined over $\mathbb{Q}$, $\Gamma$ be an arithmetic subgroup of $G$, and $T$ be a maximal $\mathbb{R}$-split torus. A trajectory in $G/\Gamma$ is divergent if eventually it leaves every compact subset. In…

Koll\'ar's conjecture states that a complex projective surface $S$ with quotient singularities and with $H^2(S,\bbQ)\cong \bbQ$ should be rational if its smooth part $S^0$ is simply connected. We confirm the conjecture under the additional…

A finite group R is a CI-group if, whenever S and T are subsets of R with the Cayley graphs Cay(R,S) and Cay(R,T) isomorphic, there exists an automorphism x of R with S^x=T. The classification of CI-groups is an open problem in the theory…