Related papers: Zariski Density and Computing in Arithmetic Groups

Let $G/H$ be a homogeneous space of reductive type with non-compact $H$. The study of deformations of discontinuous groups for $G/H$ was initiated by T.~Kobayashi. In this paper, we show that a standard discontinuous group $\Gamma$ admits a…

We prove that all lattices of Sp(2n,R), except those commensurable with Sp(4k+2,Z) when n=2k+1, contain the image of infinitely many mapping class group orbits of Zariski-dense maximal representation that are continuous deformations of…

We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a…

Let $V\subseteq\mathbb{C}^{2n}$ be an algebraic variety with no constant coordinates and with a dominant projection onto the first $n$ coordinates. We show that the intersection of $V$ with the graph of the $\Gamma$ function is Zariski…

Let Gamma be an S-arithmetic subgroup of a solvable algebraic group G over an algebraic number field F, such that the finite set S contains at least one place that is nonarchimedean. We construct a certain group H, such that if L is any…

The normaliser problem takes as input subgroups $G$ and $H$ of the symmetric group $S_n$, and asks one to compute $N_G(H)$. The fastest known algorithm for this problem is simply exponential, whilst more efficient algorithms are known for…

The log-density method is a powerful algorithmic framework which in recent years has given rise to the best-known approximations for a variety of problems, including Densest-$k$-Subgraph and Bipartite Small Set Vertex Expansion. These…

In this paper, we will explicitly calculate Gauss sums for the general linear groups and the special linear groups over $\Bbb Z_n$, where $\Bbb Z_n=\Bbb Z/n \Bbb Z$ and $n>0$ is an integer. For $r$ being a positive integer, the formulae of…

Given a number field $K$, we show that certain $K$-integral representations of closed surface groups can be deformed to being Zariski dense while preserving many useful properties of the original representation. This generalizes a method…

We develop the affine sieve in the context of orbits of congruence subgroups of semi-simple groups acting linearly on affine space. In particular we give effective bounds for the saturation numbers for points on such orbits at which the…

We show that every limit point of a Zariski dense discrete subgroup $\Gamma$ of the isometry group of a symmetric space of noncompact type is conical if and only if $\Gamma$ is convex cocompact.

We show that a surface group contained in a reductive real algebraic group can be deformed to become Zariski dense, unless its Zariski closure acts transitively on a Hermitian symmetric space of tube type. This is a kind of converse to a…

Let M be a module over a commutative ring and let Spec(M) (resp. Max(M)) be the collection of all prime (resp. maximal) submodules of M. We topologize Spec(M) with Zariski topology, which is analogous to that for Spec(R), and consider…

We study the maximum likelihood degree of linear concentration models in algebraic statistics. We relate the geometry of the reciprocal variety to that of semidefinite programming. We show that the Zariski closure in the Grassmanian of the…

The article demonstrates the procedure how to compute the Zariski closure of an orbit by an algebraic action of finitely generated group on the affine plane. First half of the algorithm is about deciding whether given finitely generated…

In two previous papers [AGM1, AGM2] we computed cohomology groups H^5(\Gamma_0 (N); \C) for a range of levels N, where \Gamma_0 (N) is the congruence subgroup of SL_4 (\Z) consisting of all matrices with bottom row congruent to (0,0,0,*)…

Given a dominant rational self-map on a projective variety over a number field, we can define the arithmetic degree at a rational point. It is known that the arithmetic degree at any point is less than or equal to the first dynamical…

We consider the problem of finding a dense submatrix of a matrix with i.i.d. Gaussian entries, where density is measured by average value. This problem arose from practical applications in biology and social sciences…

For odd $n$ we construct a path $\rho_t\colon \pi_1(S) \to SL(n,\mathbb{R})$ of discrete, faithful and Zariski dense representations of a surface group such that $\rho_t(\pi_1(S)) \subset SL(n,\mathbb{Q})$ for every $t\in \mathbb{Q}$.

A framework is developed to describe the Zariski topologies on the prime and primitive spectra of a quantum algebra $A$ in terms of the (known) topologies on strata of these spaces and maps between the collections of closed sets of…