Related papers: The Eisenstein ideal with squarefree level

We investigate Eisenstein discriminants, which are squarefree integers $d \equiv 5 \pmod{8}$ such that the fundamental unit $\varepsilon_d$ of the real quadratic field $K=\mathbb{Q}(\sqrt{d})$ satisfies $\varepsilon_d \equiv 1…

Let $\lambda(n)$ be the normalized n-th Fourier coefficient of a holomorphic cusp form for the full modular group. We show that for some constant $C > 0$ depending on the cusp form and every fixed $c$ in the range $1 < c < 8/7$, the mean…

Let $R=k[x_1, ..., x_n]/(x_1^d + ... + x_n^d)$, where $k$ is a field of characteristic $p$, $p$ does not divide $d$ and $n \geq 3$. We describe a method for computing the test ideal for these diagonal hypersurface rings. This method…

We develop a new approach to non-Hausdorff \'etale groupoids and their algebras based on Timmermann's construction of Hausdorff covers. As an application, we completely characterise when singular ideals vanish in Steinberg algebras over…

We find explicit change-of-basis formulas between Eisenstein series attached to cusps, and newform Eisenstein series attached to pairs of primitive Dirichlet characters. As a consequence, we prove a Bruggeman-Kuznetsov formula for newforms…

This paper answers a question of Gross and others, by exhibiting specific examples of Hecke algebras where mod 2 multiplicity one fails for some modular forms, and the associated Hecke algebras are not Gorenstein. It shows that the methods…

For the almost complete intersection ideals $(x_1^2, \dots, x_n^2, (x_1 + \cdots + x_n)^k)$, we compute their reduced Gr\"obner basis for any term ordering, revealing a combinatorial structure linked to lattice paths, elementary symmetric…

We study the minimal bigraded free resolution of an ideal with three generators of the same bidegree, contained in the bihomogeneous maximal ideal $ \langle s,t\rangle \cap \langle u,v \rangle$ of the bigraded ring K[s,t;u,v]. Our analysis…

Let u be a local homomorphism of noetherian local rings forming part of a commutative square vf=gu. We give some conditions on the square which imply that u is formally smooth. This result encapsulates a variety of (apparently unrelated)…

Let $I\supsetneq J$ be two squarefree monomial ideals of a polynomial algebra over a field generated in degree $\geq d$, resp. $\geq d+1$ . Suppose that $I$ is generated by three monomials of degrees $d$. If the Stanley depth of $I/J$ is…

The sup-norm problem in analytic number theory asks for the largest value taken by a given automorphic form. We observe that the function-field version of this problem can be reduced to the geometric problem of finding the largest dimension…

Given an ideal $a \subseteq R$ in a (log) $Q$-Gorenstein $F$-finite ring of characteristic $p > 0$, we study and provide a new perspective on the test ideal $\tau(R, a^t)$ for a real number $t > 0$. Generalizing a number of known results…

We study p-divisibility of discriminants of Hecke algebras associated to spaces of cusp forms of prime level. We make a precise conjecture about the indexes of Hecke algebras in their normalisation which implies (if true) the conjecture…

Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. Suppose that $\mathcal{C}$ is a chordal clutter with $n$ vertices and assume that the minimum edge…

Let $I\subseteq S=K[x_1,\ldots,x_n]$ be a homogeneous ideal equipped with a monomial order $<$. We show that if $\operatorname{in}_<(I)$ is a square-free monomial ideal, then $S/I$ and $S/\operatorname{in}_<(I)$ have the same connectedness…

We give a complete proof of Thurston's celebrated hyperbolic Dehn filling theorem, following the ideal triangulation approach of Thurston and Neumann-Zagier. We avoid to assume that a genuine ideal triangulation always exists, using only a…

Let I be an m-primary ideal of a Noetherian local ring (R,m). We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as…

We prove that if $f$ is a non zero cusp form of weight $k$ on $\Gamma_0(N)$ with character $\chi$ such that $N/(\text{conductor }\chi)$ square-free, then there exists a square-free $n\ll_{\epsilon} k^{3+\epsilon}N^{7/2+\epsilon}$ such that…

The cohomology $H^*(\Gamma, E) $ of a torsion-free arithmetic subgroup $\Gamma$ of the special linear $\mathbb{Q}$-group $\mathsf{G} = SL_n$ may be interpreted in terms of the automorphic spectrum of $\Gamma$. Within this framework, there…

Let $\Gamma$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_{\Gamma}$ of finite dimensional algebras $\Sigma$ with $Id(\Sigma) = \Gamma$.…