Related papers: Rationality problem for algebraic tori

Let $k$ be any field, $G$ be a finite group acing on the rational function field $k(x_g:g\in G)$ by $h\cdot x_g=x_{hg}$ for any $h,g\in G$. Define $k(G)=k(x_g:g\in G)^G$. Noether's problem asks whether $k(G)$ is rational (= purely…

Let $G$ be a finite solvable permutation group acting faithfully and primitively on a finite set $\Omega$. Let $G_0$ be the stabilizer of a point $\alpha \in \Omega$ The rank of $G$ is defined as the number of orbits of $G_0$ in $\Omega$,…

In a prior paper the authors obtained a four-dimensional discrete integrable dynamical system by the traveling wave reduction from the lattice super-KdV equation in a case of finitely generated Grassmann algebra. The system is a coupling of…

We set up a generalization of ubiquitous one-parameter families in algebraic geometry and their use for stability theories ([GIT, HL, AHLH]) to families over toric varieties and their analytic analogues. The language allows us to…

We prove that the quotient of the group algebra of the braid group on 5 strands by a generic cubic relation has finite rank. This was conjectured in 1998 by Brou\'e, Malle and Rouquier and has for consequence that this algebra is a flat…

It is shown that a simple vertex operator algebra V is rational if and only if its Zhu algebra A(V) is semisimple and each irreducible admissible V-module is ordinary. A contravariant form on a Verma type admissible V-module is constructed…

A work of Sorensen is rewritten here to include nontrivial types at the infinite places. This extends results of K. Ribet and R. Taylor on level-raising for algebraic modular forms on D^{\times}, where D is a definite quaternion algebra…

In this article, we prove the existence of rigid analytic families of $G$-stable lattices with locally constant reductions inside families of representations of a topologically compact group $G$, extending a result of Hellman obtained in…

Fix $g \geq 2$. Let $\mathsf{t}(g)$ be the maximal order of the translation group among all genus-$g$ abelian differentials. By work of Schlage-Puchta and Weitze-Schmith\"usen, $\mathsf{t}(g) \leq 4(g - 1)$. They also classify the $g$…

We establish a general result about extending a right invertible row over a Banach algebra to an invertible matrix. This is applied to the computation of right topological stable rank of a split exact sequence. We also introduce a…

A purely algebraic method is devised in order to recover Slavnov-Taylor identities (STI), broken by intermediate renormalization. The counterterms are evaluated order by order in terms of finite amplitudes computed at zero external momenta.…

We define topological orthoalgebras (TOAs) and study their properties. While every topological orthomodular lattice is a TOA, the lattice of projections of a Hilbert space is an example of a lattice-ordered TOA that is not a toplogical…

It is proved that the reduced group C*-algebra C*_{red}(G) has stable rank one (i.e. its group of invertible elements is a dense subset) if G is a discrete group arising as a free product G_1*G_2 where |G_1|>=2 and |G_2|>=3. This follows…

We revisit the problem of Stone duality for lattices with various quasioperators, first studied in [14], presenting a fresh duality result. The new result is an improvement over that of [14] in two important respects. First, the…

We use the universal generation of algebraic cycles to relate (stable) rationality to the integral Hodge conjecture. We show that the Chow group of 1-cycles on a cubic hypersurface is universally generated by lines. Applications are mainly…

A fundamental problem in arithmetic geometry is to determine the image of the mod $N$ Galois representation for all elliptic curves over $\mathbb{Q}$ and integers $N \geq 1$. For a given subgroup $G \le…

Let $k$ be any field, $G$ be a finite group acting on the rational function field $k(x_g : g\in G)$ by $h\cdot x_g=x_{hg}$ for any $h,g\in G$. Define $k(G)=k(x_g : g\in G)^G$. Noether's problem asks whether $k(G)$ is rational (= purely…

We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning. The satisfiability problem for RCC-5 is known to be NP-complete but not much is known about…

Consider a one-parameter family of smooth, irreducible, projective curves of genus $g\ge 2$ defined over a number field. Each fiber contains at most finitely many rational points by the Mordell Conjecture, a theorem of Faltings. We show…

Building on the genus-3 reduction $C_A : w^2 = \lambda^8 + A \lambda^4 + 1$ established in our companion paper (arXiv:2604.09328), we give an unconditional proof of the perfect-cuboid conjecture ("Conjecture B") on $1{,}072$ explicit…