Related papers: Rationality for subgroups of S_6

We prove that the transitive permutation group 17T7, isomorphic to a split extension of $C_2$ by $\mathrm{PSL}_2(\mathbb{F}_{16})$, is a Galois group over the rationals. The group arises from the field of definition of the $2$-torsion on an…

Let $K$ be a field, $a, b\in K$ and $ab\neq 0$. Let us consider the polynomials $g_{1}(x)=x^n+ax+b, g_{2}(x)=x^n+ax^2+bx$, where $n$ is a fixed positive integer. In this paper we show that for each $k\geq 2$ the hypersurface given by the…

We give a simple proof of the statement that every rational curve in the primitive class of a general K3 surface is nodal.

We give a complete answer to the rationality problem (up to stable $k$-equivalence) for norm one tori $T=R^{(1)}_{K/k}(\mathbb{G}_m)$ of $K/k$ whose Galois closures $L/k$ are $A_5\simeq {\rm PSL}_2(\mathbb{F}_4)$ and ${\rm…

We study rationality problem for the quotient of $\mathbb{C}^4$ by a finite primitive group $G$ of Type (I). We prove that this quotient is a rational variety for any such $G$.

Let $p: S\to S_g$ be a finite covering of an orientable closed surface of genus $g$. We prove that, for $g\geq 3$, the rational homology group $H_1(S;{\mathbb Q})$ is generated by cycles supported on simple closed curves $\gamma\subset S$…

We prove that the moduli space of tetragonal curves of genus g>6 is rational when g is congruent to 1, 2, 5, 6, 9, 10 modulo 12 and not equal to 9, 45.

Given a quotient of a regular noetherian separated algebraic space $X$ over a field by an affine algebraic group $G$ having finite stabilizers (with some mild technical conditions), G. Vezzosi and A. Vistoli defined the geometric part of…

Many geometric learning problems require invariants on heterogeneous product spaces, i.e., products of distinct spaces carrying different group actions, where standard techniques do not directly apply. We show that, when a group $G$ acts…

Let k be a local field, and G a linear group over k. We prove that either G contains a relatively open solvable subgroup, or it contains a relatively dense free subgroup. This result has applications in dynamics, Riemannian foliations and…

If G is a group with a presentation of the form < x,y|x^3=y^5=W(x,y)^2=1 >, then either G is virtually soluble or G contains a free subgroup of rank 2. This provides additional evidence in favour of a conjecture of Rosenberger.

In this paper we obtain new quantitative forms of Hilbert's Irreducibility Theorem. In particular, we show that if $f(X, T_1, \ldots, T_s)$ is an irreducible polynomial with integer coefficients, having Galois group $G$ over the function…

In this chapter, we present six different proofs of Craig interpolation for the modal logic K, each using a different set of techniques (model-theoretic, proof-theoretic, syntactic, automata-theoretic, using quasi-models, and algebraic). We…

Let G be a reductive group over a commutative ring R. We say that G has isotropic rank >=n, if every normal semisimple reductive R-subgroup of G contains (G_m)^n. We prove that if G has isotropic rank >=1 and R is a regular domain…

Let $k$ be an arbitrary field. We study a general method to solve the subfield problem of generic polynomials for the symmetric groups over $k$ via Tschirnhausen transformation. Based on the general result in the former part, we give an…

Let $G$ be a finite subgroup of $\mathrm{Aut}_k(K(x_1, \ldots, x_n))$ where $K/k$ is a finite field extension and $K(x_1,\ldots,x_n)$ is the rational function field with $n$ variables over $K$. The action of $G$ on $K(x_1, \ldots, x_n)$ is…

Let k be a local field and G the set of k-points of a connected semisimple algebraic k-group of rank one. We describe all torsion-free discrete subgroups of G\times G acting properly discontinuously on G by left and right multiplication. To…

Consider a simple algebraic group G of adjoint type, and its wonderful compactification X. We show that X admits a unique family of minimal rational curves, and we explicitly describe the subfamily consisting of curves through a general…

An open question is whether the map $\widetilde{K_0 }\mathbb{Z} G \rightarrow \widetilde{K_0 }\mathbb{Q} G$ in reduced $K$-theory from the integral to the rational group ring is trivial for any group $G$. We will show that this is false,…

We show that even dimensional Fermat cubic hypersurfaces are rational over any field of characteristic different from three by producing explicit rational parametrizations given by polynomials of low degree. As a byproduct of our…