Related papers: Linear forms and quadratic uniformity for function…
We prove estimates for the Gowers uniformity norms of functions over $\Zz/p\Zz$ which are trace functions of certain $\ell$-adic sheaves, and establish in particular a strong inverse theorem for these functions.
We extend the theory of regularity structures [Hai14] to allow processes belonging to locally $m$-convex topological algebras. This extension includes processes in the locally $C^{*}$-algebras of [CHP25] used to localise singular stochastic…
We describe a conjectural construction (in the spirit of Hilbert's 12th problem) of units in abelian extensions of certain base fields which are neither totally real nor CM. These base fields are quadratic extensions with exactly one…
Recently, R\'emond stated a very general conjecture on lower bounds of a normalized height on either an abelian variety or a power of the multiplicative group. In this note, we extend a particular case of this conjecture to split…
We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field…
We reinterpret various properties of Noetherian local rings via the existence of some $n$-ary numerical function satisfying certain uniform bounds. We provide such characterizations for seminormality, weak normality, generalized…
We give a new purely algebraic approach to odd unitary groups using odd form rings. Using these objects, we prove the stability theorems for odd unitary $K_1$-functor without using the corresponding result from linear $K$-theory under the…
Let $H$ be a closed subgroup of a regular abelian paratopological group $G$. The group reflexion $G^\flat$ of $G$ is the group $G$ endowed with the strongest group topology, weaker that the original topology of $G$. We show that the…
We show that a classical uniformly distributed phenomenon for an element and its inverse in ($\mathbb{Z}/n\mathbb{Z})^{*}$ also exists in $\textrm{GL}_{n}(\mathbb{F}_{p})$. A $\textrm{GL}_{n}(\mathbb{F}_{p})$ analogy of the uniform…
Given a Chevalley group $\mathcal{G}$ of classical type and a Borel subgroup $\mathcal{B} \subseteq \mathcal{G}$, we compute the $\Sigma$-invariants of the $S$-arithmetic groups $\mathcal{B}(\mathbb{Z}[1/N])$, where $N$ is a product of…
Germs of tubular neighborhood embeddings for submanifolds N of manifolds M are in one-one correspondence with germs of Euler-like vector fields near N. In many contexts, this reduces the proof of `normal forms results' for geometric…
We introduce the $\star_G$ tensor algebra, in which any finite group $G$ defines the multiplication rule, making equivariance an intrinsic algebraic property rather than an architectural constraint. The framework rests on three…
We study a characteristic subgroup of finitely generated groups, consisting of elements with uniform upper bound for word-lengths. For a group $G$, we denote this subgroup by $G_{bound}$. We give sufficient criteria for triviality and…
A design is additive under an abelian group $G$ (briefly, $G$-additive) if, up to isomorphism, its point set is contained in $G$ and the elements of each block sum up to zero. The only known Steiner 2-designs that are $G$-additive for some…
Let A be an abelian variety defined over a number field and of dimension g. When g<3, by the recent work of Sawin, we know the exact (nonzero) value of the density of the set of primes which are ordinary for A. In higher dimension very…
Let G be a group which is hyperbolic relative to a collection of subgroups A, and it is also hyperbolic relative to a collection of subgroups B. Suppose that the collection A contains B. We characterize, for subgroups of G, when…
The analogue of Lagrangians for symplectic forms over finite groups is studied, motivated by the fact that symplectic G-forms with a normal Lagrangian N<G are in one-to-one correspondence, up to inflation, with bijective 1-cocycle data on…
Let $ \mathbb{Q}\mathcal{E}_{\mathbb{Z}} $ be the set of power sums whose characteristic roots belong to $ \mathbb{Z} $ and whose coefficients belong to $ \mathbb{Q} $, i.e. $ G : \mathbb{N} \rightarrow \mathbb{Q} $ satisfies…
We study the commutator subgroup of integral orthogonal groups belonging to indefinite quadratic forms. We show that the index of this commutator is 2 for many groups that occur in the construction of moduli spaces in algebraic geometry, in…
We use the theory of cubic structures to give a fixed point Riemann-Roch formula for the equivariant Euler characteristics of coherent sheaves on projective flat schemes over Z with a tame action of a finite abelian group. This formula…