Related papers: Large Galois groups with applications to Zariski d…

We construct Galois theory for sublattices of certain complete modular lattices and their automorphism groups. A well-known description of the intermediate subgroups of the general linear group over a semilocal ring containing the group of…

We construct Zariski-dense surface subgroups in infinitely many commensurability classes of uniform lattices of the split real Lie groups $\operatorname{SL}(n,\mathbb{R})$, $\operatorname{Sp}(2n,\mathbb{R})$, $\operatorname{SO}(k+1,k)$, and…

In this paper, we investigate the computational complexity of isomorphism testing for finite groups and quasigroups, given by their multiplication tables. We crucially take advantage of their various decompositions to show the following: -…

Let ${{\bf H}_{\mathbb H}}^n$ denote the $n$-dimensional quaternionic hyperbolic space. The linear group ${\rm{Sp}}(n,1)$ acts by the isometries of ${{\bf H}_{\mathbb H}}^n$. A subgroup $G$ of ${\rm {Sp}}(n,1)$ is called \emph{Zariski…

Using the theory of Newton Polygons, we formulate a simple criterion for the Galois group of a polynomial to be ``large.'' For a fixed $\alpha \in \Q - \Z_{<0}$, Filaseta and Lam have shown that the $n$th degree Generalized Laguerre…

We prove that the monodromy group of a reduced irreducible square system of general polynomial equations equals the symmetric group. This is a natural first step towards the Galois theory of general systems of polynomial equations, because…

Applying E. Kowalski's recent generalization of the large sieve we prove that certain properties expected to be typical (irreducibility of the characteristic polynomial, absence of squares among the matrix coefficients...) are indeed…

For $i=1,\ldots,k$, let $\mathbf{G}_i$ be a connected, simply connected, semisimple algebraic group over some local field $\kappa_i$ of characteristic zero. Let $G_i=\mathbf{G}_i(\kappa_i)$ be the $\kappa_i$-points of $\mathbf{G}_i$ and…

We study the transience of algebraic varieties in linear groups. In particular, we show that a "non elementary" random walk in SL_2(R) escapes exponentially fast from every proper algebraic subvariety. We also treat the case where the…

We show that the ring of invariants in a skew monoid ring contains a so called standard Galois order. Any Galois ring contained in the standard Galois order is automatically itself a Galois order and we call such rings principal Galois…

Let G be a semi-simple algebraic group over a finitely generated field K of characteristic zero, and let \Gamma < G(K) be a finitely generated Zariski-dense subgroup. In this note we prove that the set of K-generic elements of \Gamma (whose…

The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the…

The $n$-th Zariski topology on a group $G$ is generated by the sub-base consiting of the cozero sets of monomials of degree $\le n$ on $G$. We prove that for each group $G$ the 2-nd Zariski topology is not discrete and present an example of…

We study the distribution of the Galois group of a random $q$-additive polynomial over a rational function field: For $q$ a power of a prime $p$, let $f=X^{q^n}+a_{n-1}X^{q^{n-1}}+\ldots+a_1X^q+a_0X$ be a random polynomial chosen uniformly…

Fix an odd prime $p$, and let $F$ be a field containing a primitive $p$th root of unity. It is known that a $p$-rigid field $F$ is characterized by the property that the Galois group $G_F(p)$ of the maximal $p$-extension $F(p)/F$ is a…

Let $\tilde{f}(X)\in\mathbb{Z}[X]$ be a degree-$n$ polynomial such that $f(X):=\tilde{f}(X)\bmod p$ factorizes into $n$ distinct linear factors over $\mathbb{F}_p$. We study the problem of deterministically factoring $f(X)$ over…

The discrete logarithm problem in a finite group is the basis for many protocols in cryptography. The best general algorithms which solve this problem have time complexity of $\mathcal{O}(\sqrt{N}\log N)$, and a space complexity of…

Let $f : X \to S$ be a smooth projective family defined over $\mathcal{O}_{K}[\mathcal{S}^{-1}]$, where $K \subset \mathbb{C}$ is a number field and $\mathcal{S}$ is a finite set of primes. For each prime $\mathfrak{p} \in…

We investigate for which linear-algebraic groups (over the complex numbers or any local field) there exists subgroups which are dense in the Zariski topology, but discrete in the Hausdorff topology. For instance, such subgroups exist for…

Of the $(2H+1)^n$ monic integer polynomials $f(x)=x^n+a_1 x^{n-1}+\cdots+a_n$ with $\max\{|a_1|,\ldots,|a_n|\}\leq H$, how many have associated Galois group that is not the full symmetric group $S_n$? There are clearly $\gg H^{n-1}$ such…