Related papers: Powers of ghost ideals

We introduce the logics GLP(\Lambda), a generalization of Japaridze's polymodal provability logic GLP(\omega) where \Lambda is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall…

It is proved that if G is a finite group, then the order of G is a proper upper bound for the phantom number of G. More specifically, if k is a field whose characteristic divides the order of G, and $\Phi$ is the ideal of phantom morphisms…

Let $\Lambda$ be an artin algebra and $\mathfrak{A}$ a two-sided idempotent ideal of $\Lambda$, that is, $\mathfrak{A}$ is the trace of a projective $\Lambda$-module $P$ in $\Lambda$. We consider the categories of finitely generated modules…

In a previous article, we constructed an entire power series over $p$-adic weight space (the 'ghost series') and conjectured, in the $\Gamma_0(N)$-regular case, that this series encodes the slopes of overconvergent modular forms of any…

Using recent work by Erman-Sam-Snowden, we show that finitely generated ideals in the ring of bounded-degree formal power series in infinitely many variables have finitely generated Gr\"obner bases relative to the graded reverse…

We show that for an artin algebra $\Lambda$, the telescope conjecture for module categories is equivalent to certain idempotent ideals of mod-$\Lambda$ being generated by identity morphisms. As a consequence, we prove the conjecture for…

There is a longstanding conjecture by Fr\"oberg about the Hilbert series of the ring $R/I$, where $R$ is a polynomial ring, and $I$ an ideal generated by generic forms. We prove this conjecture true in the case when $I$ is generated by a…

It is well known to generalize the meagre ideal replacing aleph_0 by a (regular) cardinal lambda > aleph_0 and requiring the ideal to be lambda^+-complete. But can we generalize the null ideal? In terms of forcing, this means finding a…

This paper is concerned with a class K of models and an abstract notion of submodel <=. Experience in first order model theory has shown the desirability of finding a `monster model' to serve as a universal domain for K. In the original…

Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call ${\rm GM}^+(\omega_3,\omega_1)$ holds. This principle implies ${\rm ISP}(\omega_2)$ and ${\rm ISP}(\omega_3)$, and…

Let $G$ be a complex reductive algebraic group. In this paper, we give a geometric definition of a unipotent representation of $G$. Our definition generalizes the notion of a special unipotent representation, due to Barbasch-Vogan and…

Provability logics are modal or polymodal systems designed for modeling the behavior of G\"odel's provability predicate in arithmetical theories and its natural extensions. If \Lambda is any ordinal, the G\"odel-L\"ob calculus GLP(\Lambda)…

We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from…

For a connected reductive algebraic group $G$ defined over a finite field $\mathbb F_q$, Kawanaka introduced the generalized Gelfand-Graev representations (GGGRs for short) of the finite group $G(\mathbb F_q)$ in the case where $q$ is a…

We illustrate the generative power of the lifting property (orthogonality of morphisms in a category) as means of defining natural elementary mathematical concepts by giving a number of examples in various categories, in particular showing…

For a partition $\lambda$ of $n$, the _Specht ideal_ $I_\lambda \subset K[x_1, \ldots, x_n]$ is the ideal generated by all Specht polynomials of shape $\lambda$. In their unpublished manuscript, Haiman and Woo showed that $I_\lambda$ is a…

Let $\Sigma$ be a finite collection of linear forms in $\mathbb K[x_0,\ldots,x_n]$, where $\mathbb K$ is a field. Denote ${\rm Supp}(\Sigma)$ to be the set of all nonproportional elements of $\Sigma$, and suppose ${\rm Supp}(\Sigma)$ is…

Let $S$ be a positively graded polynomial ring over a field of characteristic 0, and $I\subset S$ a proper graded ideal. In this note it is shown that $S/I$ is Golod if $\partial(I)^2\subset I$. Here $\partial(I)$ denotes the ideal…

Let $\Lambda$ be an artin algebra and let $\mathcal{P}^{<\infty}_\Lambda$ the category of finitely generated right $\Lambda$-modules of finite projective dimension. We show that $\mathcal{P}^{<\infty}_\Lambda$ is contravariantly finite in…

For a finite dimensional monomial algebra $\Lambda$ over a field $K$ we show that the Hochschild cohomology ring of $\Lambda$ modulo the ideal generated by homogeneous nilpotent elements is a commutative finitely generated $K$-algebra of…