Related papers: Ihara's lemma for imaginary quadratic fields

For a field $F$ and an integer $d\geq 1$, we consider the universal associative $F$-algebra $A$ generated by two sets of $d+1$ mutually orthogonal idempotents. We display four bases for the $F$-vector space $A$ that we find attractive. We…

In by now classical work, K. Erdmann classified blocks of finite groups with dihedral defect groups (and more generally algebras of dihedral type) up to Morita equivalence. In the explicit description by quivers and relations of such…

We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms…

Given a compact complex manifold X of dimension n, we define a bimeromorphic invariant $\kappa_+(X)$ as the maximum p for which there is a saturated line subsheaf L of the sheaf of holomorphic p forms whose Kodaira dimension $\kappa (L)$…

Our primary goal in this article is to study the Iwasawa theory for semi-ordinary families of automorphic forms on $\mathrm{GL}_2\times\mathrm{Res}_{K/\mathbb{Q}}\mathrm{GL}_1$, where $K$ is an imaginary quadratic field where the prime $p$…

Suppose $A=k[X_1, X_2, \ldots, X_n]$ is a polynomial ring over a field $k$ and $I$ is an ideal in $A$. Then M. P. Murthy conjectured that $\mu(I)=\mu(I/I^2)$, where $\mu$ denotes the minimal number of generators. Recently, Fasel \cite{F}…

In its most basic form, Dubreil's Theorem states that for an ideal $I$ defining a codimension $2$, arithmetically Cohen--Macaulay subscheme of projective $n$-space, the number of generators of $I$ is bounded above by the minimal degree of a…

Let $G/H$ be a Galois symmetric space for an unramified quadratic extension of a locally compact field $F$, where the group $H$ is semisimple, simply connected, defined and split over $F$. We prove that there exists a subgroup $\Gamma =…

If $G$ is a finite Coxeter group, then symplectic reflection algebra $H:=H_{1,\eta}(G)$ has Lie algebra $\mathfrak {sl}_2$ of inner derivations and can be decomposed under spin: $H=H_0 \oplus H_{1/2} \oplus H_{1} \oplus H_{3/2} \oplus ...$.…

Let $R$ be a smooth affine algebra over an infinite perfect field $k$. Let $I\subset R$ be an ideal, $\omega_I:(R/I)^n\to I/I^2$ a surjective homomorphism and $Q_{2n}\subset \mathbb{A}^{2n+1}$ be the smooth quadric defined by the equation…

We prove, assuming Greenberg's conjecture, that the ordinary eigencurve is Gorenstein at an intersection point between the Eisenstein family and the cuspidal locus. As a corollary, we obtain new results on Sharifi's conjecture. This result…

Let $k$ be a field. We determine the ideals $I$ in a finitely generated graded $k$-algebra $A$, whose associated graded rings are isomorphic to $A$. Also we compute the graded local cohomologies of the Rees rings $A[I t]$ and give the…

We introduce a general framework for studying fields equipped with operators, given as co-ordinate functions of homomorphisms into a local algebra $\mathcal{D}$, satisfying various compatibility conditions that we denote by $\Gamma$ and…

We construct a generalize Ishida complex to compute the local cohomology with monomial support of modules over quotients of polynomial rings by cellular binomial ideals. As a consequence, we obtain a combinatorial criterion to determine…

Given an embedded smooth projective variety Y in CP^n, we show how the existence of a hypersurface with high multiplicity along Y, but of relatively low degree and log canonical near Y implies vanishing of higher cohomology for certain…

We consider a certain family of Kudla-Rapoport cycles on an integral model of a Shimura variety attached to a unitary group of signature (1,1), and prove that the arithmetic degrees of these cycles can be identified with the Fourier…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field $K$, and let $A$ be a finitely generated standard graded $S$-algebra. We show that if the defining ideal of $A$ has a quadratic initial ideal, then all the graded components of…

For $O$ an imaginary quadratic ring, we compute a fundamental polyhedron of $\text{PE}_2(O)$, the projective elementary subgroup of $\text{PSL}_2(O)$. This allows for new, simplified proofs of theorems of Cohn, Nica, Fine, and Frohman.…

Given a random real quadratic field from $\{ \mathbb{Q}(\sqrt{p}\,) ~|~ p \text{ primes} \}$, the conjectural probability $\mathbb{P}(h=q)$ that it has class number $q$ is given for all positive odd integers $q$. Some related conjectures of…

Let $h(-n)$ be the class number of the imaginary quadratic field with discriminant $-n$. We establish an asymtotic formula for correlations involving $h(-n)$ and $h(-n-l)$, over fundamental discriminants that avoid the congruence class…