Related papers: Artin's Conjecture and systems of diagonal equatio…
If r\geq 6, r\neq 9, we show that the Minimal Resolution Conjecture fails for a general set of m points in P^r for almost 1/2\sqrt r values of m. This strengthens the result of Eisenbud and Popescu [1999], who found a unique such m for each…
The sufficient conditions for solvability of a linear Diophantine equation $\sum_{i=1}^{n}a_ix_i=b$ (with $a_1,a_2,...,a_n\in \mathbb{N}$) in non-negative integers $x_1,x_2,...,x_n$ are given. The explicit formulas are given for Frobenius…
In this paper we solve the isomorphism problem for all large-type Artin groups. Our strategy involves reconstructing the Coxeter groups associated with large-type Artin groups in a purely algebraic way. This answers several questions raised…
In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more…
In this paper we obtain the Lebesgue and Hausdorff measure results for the set of vectors satisfying infinitely many fully non-linear Diophantine inequalities. The set is associated with a class of linear inhomogeneous partial differential…
In a series of articles published in the C.R. Paris more than a century ago, T. P\'epin announced a list of ``theorems'' concerning the solvability of diophantine equations of the type $ax^4 + by^4 = z^2$. In this article, we show how to…
We present a version of arithmetic in all finite types which allows for a definition of equality at higher types for which all congruence are derivable, for which the soundness of the Dialectica interpretation is provable inside the system…
The Grothendieck--Katz $p$-curvature conjecture predicts that an arithmetic differential equation whose reduction modulo $p$ has vanishing $p$-curvatures for {\em almost all} $p,$ has finite monodromy. It is known that it suffices to prove…
According to Skolem's conjecture, if an exponential Diophantine equation is not solvable, then it is not solvable modulo an appropriately chosen modulus. Besides several concrete equations, the conjecture has only been proved for rather…
Let $\mathfrak{p}=(\mathfrak{p}_1,...,\mathfrak{p}_r)$ be a system of $r$ polynomials with integer coefficients of degree $d$ in $n$ variables $\mathbf{x}=(x_1,...,x_n)$. For a given $r$-tuple of integers, say $\mathbf{s}$, a general local…
The irreducible euclidean Coxeter groups that naturally act geometrically on euclidean space are classified by the well-known extended Dynkin diagrams and these diagrams also encode the modified presentations that define the irreducible…
We generalize the decomposition theorem for perverse sheaves to Artin stacks with affine stabilizers over finite fields.
In this note, we prove that the $K(\pi,1)$-conjecture for Artin groups implies the center conjecture for Artin groups. Specifically, every Artin group without a spherical factor that satisfies the $K(\pi,1)$-conjecture has a trivial center.
We give new classes of examples of orbits of the diagonal group in the space of unit volume lattices in R^d for d > 2 with nice (homogeneous) orbit closures, as well as examples of orbits with explicitly computable but irregular orbit…
We conjecture that the word problem of Artin-Tits groups can be solved without introducing trivial factors ss^{-1} or s^{-1}s. Here we make this statement precise and explain how it can be seen as a weak form of hyperbolicity. We prove the…
Artin conjectured that certain Galois representations should give rise to entire L-series. We give some history on the conjecture and motivation of why it should be true by discussing the one-dimensional case. The first known example to…
We prove the strong Atiyah conjecture for right-angled Artin groups and right-angled Coxeter groups. More generally, we prove it for groups which are certain finite extensions or elementary amenable extensions of such groups.
In this text, we are mainly interested in the existence of the perverse motivic t-structures on the category of Artin \'etale motives with integral coefficients. We construct the perverse homotopy t-structure which is the best possible…
We prove that every subnormal subgroup of p-power index in a right-angled Artin group is conjugacy p-separable. As an application, we prove that every right-angled Artin group is conjugacy separable in the class of torsion-free nilpotent…
Let K/F be an arbitrary Galois extension of number fields and r be a representation of Gal(K/F) into GSp(4,C). Let E_16 be the elemetary abelian group of order 16 and C_5 the cyclic group of order 5. If the image of r in the projective…