相关论文: Borel-fixed ideals and reduction number

Borger's theory of $\Lambda$-spaces imbues algebraic spaces, which include schemes, with an additional structure defined by an extension of the Witt vector functor. Motivated by $\mathbb{F}_1$-geometry, we prove the existence of a weak…

For an ideal $I$ in a regular local ring or a graded ideal $I$ in the polynomial ring we study the limiting behavior of the Betti numbers of S/I^k as k goes to infinity. By Kodiyalam's result it is known that in each homological degree the…

We use the theory of poset resolutions to construct the minimal free resolution of an arbitrary stable monomial ideal in the polynomial ring whose coefficients are from a field. This resolution is recovered by utilizing a poset of…

We count the number of strictly positive $B$-stable ideals in the nilradical of a Borel subalgebra and prove that the minimal roots of any $B$-stable ideal are conjugate by an element of the Weyl group to a subset of the simple roots. We…

Let $S = \mathsf{k}[x_1, \ldots, x_n]$, $I$ be an ideal of $S$, and $\bar{I}$ denote its integral closure. A conjecture of K\"{u}ronya and Pintye states that for any homogeneous ideal $I$ of $S$, the inequality $\operatorname{reg}(\bar{I})…

We show that if $\mathcal{F}$ is any "well-behaved" subset of the Borel functions and we assume the Axiom of Determinacy then the hierarchy of degrees on $\pow(\mathbb{R})$ induced by $\mathcal{F}$ turns out to look like the Wadge hierarchy…

The F-threshold $c^J(\a)$ of an ideal $\a$ with respect to the ideal $J$ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of $J$. We show that under mild assumptions, we can detect…

Border bases are traditionally restricted to 0-dimensional ideals due to the finiteness of the underlying order ideal. In this paper we extend the theory to homogeneous ideals of positive Krull dimension by introducing homogeneous border…

Algorithmic meta-theorems state that problems definable in a fixed logic can be solved efficiently on structures with certain properties. An example is Courcelle's Theorem, which states that all problems expressible in monadic second-order…

We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…

We prove level-by-level upper and lower bounds on the strength of determinacy for finite differences of sets in the hyperarithmetical hierarchy in terms of subsystems of finite-and transfinite-order arithmetic, extending the…

We prove an index theorem for the quotient module of a monomial ideal. We obtain this result by resolving the monomial ideal by a sequence of Bergman space like essentially normal Hilbert modules.

Let ${\bf x}=(x_n)_n$ be a sequence in a Banach space. A set $A\subseteq \mathbb{N}$ is perfectly bounded, if there is $M$ such that $\|\sum_{n\in F}x_n\|\leq M$ for every finite $F\subseteq A$. The collection $B({\bf x})$ of all perfectly…

We consider vector-spread Borel ideals. We show that these ideals have linear quotients and thereby we determine the graded Betti numbers and the bigraded Poincar\'e series. A characterization of the extremal Betti numbers of such a class…

Let $R=k[x_1, ..., x_n]$ be a polynomial ring and let $I\subset R$ be a graded ideal. In \cite{R}, R\"{o}mer asked whether under the Cohen-Macaulay assumption the $i$-th Betti number $\beta_{i}(R/I)$ can be bounded above by a function of…

We extend the recent classification of Hilbert schemes with two Borel-fixed points to arbitrary characteristic. We accomplish this by synthesizing Reeves' algorithm for generating strongly stable ideals with the basic properties of…

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

We construct a weakly compact convex subset of $\ell^2$ with nonempty interior that has an isolated maximal element, with respect to the lattice order $\ell _+^2$. Moreover, the maximal point cannot be supported by any strictly positive…

We give a sharp lower bound for the Hilbert function in degree $d$ of artinian quotients $\Bbbk[x_1,\ldots,x_n]/I$ failing the Strong Lefschetz property, where $I$ is a monomial ideal generated in degree $d \geq 2$. We also provide sharp…

In this paper we use some results related to regularity, Betti numbers and reduction of generic initial ideals, showing their stability in passing from an ideal to its initial ideal if the last has some simple properties.