Related papers: A truncated second main theorem for algebraic tori…
This is the second installment of an exposition of an ACL2 formalization of elementary linear algebra. It extends the results of Part I, which covers the algebra of matrices over a commutative ring, but focuses on aspects of the theory that…
In this paper, we prove a generalization of Green's Hyperplane Restriction Theorem to the case of modules over the polynomial ring, providing in particular an upper bound for the Hilbert function of the general linear restriction of a…
In [3] (Rend. Lincei Mat. Appl. 26 (2015), 1-10; see also arXiv:1503.08145 [math.DS]) the following result has been announced: Theorem. Consider a real-analytic nearly-integrable mechanical system with potential $f$, namely, a Hamiltonian…
In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…
The purpose of this note is to verify that the results attained in [6] admit an extension to the multidimensional setting. Namely, for subsets of the two dimensional torus we find the sharp growth rate of the step(s) of a generalized…
We show that for a reductive group $G$ over a field $k$ the $\mathbb{A}^1$-Euler characteristic of the variety of maximal tori in $G$ is an invertible element of the Grothendieck-Witt ring $\mathrm{GW}(k)$, settling the weak form of a…
The celebrated Green-Tao theorem states that the prime numbers contain arbitrarily long arithmetic progressions. We give an exposition of the proof, incorporating several simplifications that have been discovered since the original paper.
We establish effective equidistribution theorems, with a polynomial error rate, for orbits of unipotent subgroups in quotients of quasi-split, almost simple Linear algebraic groups of absolute rank 2. As an application, inspired by the…
We introduce a general approach to traces that we consider as linear continuous functionals on some function space where we focus on some special choices for that space. This leads to an integral calculus for the computation of the precise…
We study the possibility of realizing scale-separated type IIB Anti-de Sitter and de Sitter compactifications within a controlled effective field theory regime defined by low-energy and large (but scale-separated) compactification volume.…
Given an ample Hausdorff groupoid $G$, a unital commutative ring $R$, and a discrete twist $(\Sigma,i,q)$, we establish a generalised uniqueness theorem for the twisted Steinberg algebra $A_R(G;\Sigma)$. By applying this theorem when $G$ is…
We study the existence of whiskered tori in a family $f_\mu$ of conformally symplectic maps depending on parameters $\mu$. Whiskered tori are tori on which the motion is a rotation, but they have as many expanding/contracting directions as…
We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial…
Tiered trees were introduced as a combinatorial object for counting absolutely indecomposable representation of certain quivers and torus orbit of certain homogeneous variety. In this paper, we define a bijection between the set of…
In this short note, we prove a general nilpotence theorem for a rational rigid 2-ring all of whose objects satisfy a certain ``moderate growth condition'' inspired from the theory of tensor categories. This applies in particular to the…
Tropical Nevanlinna theory, introduced by Halburd and Southall as a tool to analyze integrability of ultra-discrete equations, studies the growth and complexity of continuous piecewise linear real functions. The purpose of this paper is to…
Ribet has proven remarkable results about non-optimal levels of residually reducible Galois representations. We focus on a non-optimal level $N$ that is the product of two distinct primes and where the Galois deformation ring is not…
Gotzmann's persistence theorem enables us to confirm the Hilbert polynomial of a subscheme of projective space by checking the Hilbert function in just two points, regardless of the dimension of the ambient space. We generalise this result…
Theory of motivic superpolynomials is developed, including its extension to algebraic links colored by rows, relations to $L$-functions of plane curve singularities, the justification of the motivic versions of Weak Riemann Hypothesis, and…
For the generalized oscillator, we prove a Rellich type theorem, or characterize the order of growth of eigenfunctions. The proofs are given by an extensive use of commutator arguments invented recently by Ito and Skibsted. These arguments…