Related papers: A note on factorial $\mathbb{A}^1$-forms with retr…

Let K be a number field and let A be its ring of integers. Let G be a connected, noncommutative, absolutely almost simple algebraic K-group. If the K-rank of G equals 2, then G(A[t]) is not finitely presented.

We prove the rationality of a $\k$-form $X$ of the product $S$ of projective spaces provided the existence of a $\k$-point on $X$. The method of the proof is to find a Galois-invariant birational projection of $S$ to the projective space.…

Let R be a regular local ring. Let G be a reductive R-group scheme. A conjecture of Grothendieck and Serre predicts that a principal G-bundle over R is trivial if it is trivial over the quotient field of R. The conjecture is known when R…

We prove that, for any fields $k$ and $\mathbb{F}$ of characteristic $0$ and any finite group $T$, the category of modules over the shifted Green biset functor $(kR_{\mathbb{F}})_T$ is semisimple.

We show that the Hamiltonian Lagrangian monodromy group, in its homological version, is trivial for any weakly exact Lagrangian submanifold of a symplectic manifold. The proof relies on a sheaf approach to Floer homology given by a relative…

Let $K$ be a field of characteristic zero. We deal with the algebraic closure of the field of fractions of the ring of formal power series $K[[x_1,\ldots,x_r]]$, $r\geq 2$. More precisely, we view the latter as a subfield of an iterated…

Let $k$ be an algebraically closed base field of characteristic $0$ and let $\alpha_{1}, \alpha_{2}, \alpha_{3}, d \geq 2$ be integers such that $\alpha_{1}, \alpha_{2}, \alpha_{3}$ are pairwise coprime and $gcd (\alpha_{1},d-1) = 1$. Then…

By changing to an orthogonal basis, we give a short proof that the subfactor of the graded algebra of a planar algebra reproduces the planar algebra.

Let A be a geometrically simple abelian variety over a number field k, let X be a subgroup of A(k) and let P be an element of A(k). We prove that if P belongs to X modulo almost all primes of k then P already belongs to X.

Let a reductive group $G$ act on a smooth affine complex algebraic variety $X.$ Let $\mathfrak{g}$ be the Lie algebra of $G$ and $\mu:T^*(X)\to \mathfrak{g}$ be the moment map. If the moment map is flat, and for a generic character…

We show that $\mathbb A^1$-connectedness of a large class of varieties over a field $k$ can be characterized as the condition that their generic point can be connected to a $k$-rational point using (not necessarily naive) $\mathbb…

Let A be a unital AF-algebra (simple or non-simple) and let \alpha be an automorphism of A. Suppose that \alpha has certain Rokhlin property and A is \alpha-simple. Suppose also that there is an integer J\geq1 such that…

A derived version of Maschke's theorem for finite groups is proved: the derived categories, bounded or unbounded, of all blocks of the group algebra of a finite group are simple, in the sense that they admit no nontrivial recollements. This…

In this note, we prove that an affine cellular algebra $A$ is semisimple if and only if the scheme associated to $A$ is reduced and 0-dimensional, and the bilinear forms with respect to all layers of $A$ are isomorphisms. Moreover, if the…

Any rational number can be factored into a product of several rationals whose sum vanishes. This simple but nontrivial fact was suggested as a problem on a maths olympiad for high-school students. We completely solve similar questions in…

We provide sufficient conditions for systems of polynomial equations over general (real or complex) algebras to have a solution. This generalizes known results on quaternions, octonions and matrix algebras. We also generalize the…

We define a unital algebra $A$ over a field $\mathbb{F}$ to be nearly simple if $A$ contains a unique non-trivial ideal $I_A$ such that $I_A^2 \neq \{0\}$. If $A$ and $B$ are two nearly simple algebras, we consider the ideal structure of…

Let $A$ be a finite-dimensional $k$-algebra and $K/k$ be a finite separable field extension. We prove that $A$ is derived equivalent to a hereditary algebra if and only if so is $A\otimes_kK$.

If A and B are abelian varieties over a number field K such that there are non-trivial geometric homomorphisms of abelian varieties between reductions of A and B at most primes of K, then there exists a non-trivial (geometric) homomorphism…

The problem of extending derivations of a field $F$ to an $F-$algebra $B$ is widely studied in commutative algebra and non-commutative ring theory. For example, every derivation of $F$ extends to $B$ if $B$ is a separable algebraic…