Saturated ideals from Laver collapses

Monroe Eskew

2024-08-08

Abstract:Addressing a question of Shioya, we show that two-step iterations of the Laver collapse can force saturated ideals and Chang conjectures.

Logic

What problem does this paper attempt to address?

Echeloned saturation and forcing axioms

Shimon Garti

DOI: https://doi.org/10.1353/mpr.2024.a919661

2024-01-24

Abstract:Addressing a question of Paul Larson we prove the following statement. If Chang's conjecture fails, Martin's axiom holds and the continuum is greater than $\aleph_2$, there are no weakly Laver ideals over $\aleph_1$. We also prove that under Baumgartner's axiom there are no Laver ideals over $\aleph_2$.

Logic
Limits of saturated ideals

Joachim Jelisiejew,Tomasz Mańdziuk

2024-10-31

Abstract:We investigate the question whether a given homogeneous ideal is a limit of saturated ones. We provide cohomological necessary criteria for this to hold and apply them to a range of examples. Our motivation comes from the theory of border apolarity and varieties of sums of powers, where the question above is tightly connected to proving new lower bounds for border ranks of tensors.

Commutative Algebra,Algebraic Geometry
Chang's Conjectures and Easton collapses

Monroe Eskew,Masahiro Shioya

2024-02-15

Abstract:Using Easton collapses, we give a simplified construction of a model in which Chang's Conjecture for triples holds.

Logic
The extent of saturation of induced ideals

Kenta Tsukuura

DOI: https://doi.org/10.1007/s00153-024-00919-4

2024-04-07

Archive for Mathematical Logic

Abstract:We construct a model with a saturated ideal I over and study the extent of saturation of I .

mathematics,logic
Finite saturation for unirational varieties

Efthymios Sofos,Yuchao Wang

DOI: https://doi.org/10.1093/imrn/rnx318

2017-10-21

Abstract:We import ideas from geometry to settle Sarnak's saturation problem for a large class of algebraic varieties.

Number Theory
A strong collapse increasing the geometric simplicial Lusternik-Schnirelmann category

Dimitris Askitis

DOI: https://doi.org/10.48550/arXiv.1710.09794

2017-10-27

Abstract:In [3], after defining notions of LS category in the simplicial context, the authors show that the geometric simplicial LS category is non-decreasing under strong collapses. However, they do not give examples where it increases strictly, but they conjecture that such an example should exist, and thus that the geometric simplicial LS category is not strong homotopy invariant. The purpose of this note is to provide with such an example. We construct a simplicial complex whose simplicial and geometric simplicial LS categories are different, and using this, we provide an example of a strong collapse that increases the geometric simplicial LS category, thus settling the geometric simplicial LS category not being strong homotopy invariant.

Combinatorics,Algebraic Topology
No Semistability at Infinity for Calabi-Yau Metrics Asymptotic to Cones

Song Sun,Junsheng Zhang

DOI: https://doi.org/10.1007/s00222-023-01187-4

IF: 3.128

2023-01-01

Inventiones mathematicae

Abstract:We discover a “no semistability at infinity” phenomenon for complete Calabi-Yau metrics asymptotic to cones, which is proved by eliminating the possible appearance of an intermediate K-semistable cone in the 2-step degeneration theory developed by Donaldson and the first author. It is in sharp contrast to the setting of local singularities of Kähler-Einstein metrics. A byproduct of the proof is a polynomial convergence rate to the asymptotic cone for such manifolds, which bridges the gap between the general theory of Colding-Minicozzi and the classification results of Conlon-Hein.
Stanley Depth and Stanley Support-Regularity of Monomial Ideals

Yi-Huang Shen

DOI: https://doi.org/10.1007/s13348-015-0140-4

2015-01-01

Collectanea mathematica

Abstract:Lyubeznik introduced the concept of size of a monomial ideal and showed that the size of a monomial ideal increased by $1$ is a lower bound for its depth. Associated with this, Herzog, Popescu and Vladoiu showed that the size increased by $1$ is simultaneously a lower bound for its Stanley depth. It turns out that the splitting-variables technique in their paper is particularly suited for comparing the Stanley depth and size of squarefree monomial ideals. In this paper, we generalize this technique and investigate the quotient $I/J$ when $J\subsetneq I$ are general monomial ideals. As an application, we consider lower bounds for Stanley depth of quotients of monomial ideals under various conditions. Through Alexander duality, we also consider upper bounds for the Stanley support-regularity of edge ideals of clutters. Meanwhile, recently, Katthän and Seyed Fakhari established another lower bound for depth and Stanley depth of $I/J$ in terms of the lcm number. Using the splitting-variables technique, we provide an alternate proof of their result.
Relative Non-Positive Immersion

Jens Harlander,Stephan Rosebrock

DOI: https://doi.org/10.48550/arXiv.2301.05877

2023-01-14

Abstract:A 2-complex $K$ has collapsing non-positive immersion if for every combinatorial immersion $X\to K$, where $X$ is finite, connected and does not allow collapses, either $\chi(X)\le 0$ or $X$ is point. This concept is due to Wise who also showed that this property implies local indicability of the fundamental group $\pi_1(K)$. In this paper we study a relative version of collapsing non-positive immersion that can be applied to 2-complex pairs $(L,K)$: The pair has relative collapsing non-positive immersion if for every combinatorial immersion $f\colon X\to L$, where $X$ is finite, connected and does not allow collapses, either $\chi(X)\le \chi(Y)$, where $Y$ is the essential part of the preimage $f^{-1}(K)$, or $X$ is a point. We show that under certain conditions a transitivity law holds: If $(L,K)$ has relative collapsing non-positive immersion and $K$ has collapsing non-positive immersion, then $L$ has collapsing non-positive immersion. This article is partly motivated by the following open question: Do reduced injective labeled oriented trees have collapsing non-positive immersion? We answer this question in the affirmative for certain important special cases.

Geometric Topology
Stanley-Reisner Ideals with Pure Resolutions

David Carey,Mordechai Katzman

2024-09-12

Abstract:This paper investgates Stanley-Reisner ideals with pure resolutions. We first describe two infinite families of such ideals associated to highly symmetric complexes. We then prove a partial analogue to the first Boij-Söderberg Conjecture for Stanley-Reisner ideals, by detailing an algorithm for constructing Stanley-Reisner ideals with pure Betti diagrams of any given shape, save for an initial shift.

Commutative Algebra
Stanley Depth of Weakly 0-Decomposable Ideals

Yi-Huang Shen

DOI: https://doi.org/10.1007/s00013-014-0718-1

2014-01-01

Archiv der Mathematik

Abstract:Recently, Seyed Fakhari proved that if I is a weakly polymatroidal monomial ideal in ${S\,=\,\mathbb{K}[x_1,\ldots,x_n]}$, then Stanley’s conjecture holds for S/I, namely, sdepth ${(S/I)\,\geq\, {\rm depth}(S/I)}$. We generalize his ideas and introduce several new classes of monomial ideals which also share this property. In particular, if I is the Stanley–Reisner ideal of the Alexander dual of a nonpure vertex decomposable simplicial complex, then Stanley’s conjecture holds for S/I.
Euler systems and relative Satake isomorphism

Li Cai,Yangyu Fan,Shilin Lai

2024-10-24

Abstract:We explain how the tame norm relation in Euler systems is a formal consequence of the unramified Plancherel formula in the relative Langlands program and a mild refinement of the generalized Cartan decomposition. This uniformly recovers many of the known Euler systems and produces a new split anticyclotomic Euler system in a case studied by Cornut.

Number Theory
Restricted shtukas and $Ψ$-factorizable sheaves

Andrew Salmon

2023-06-06

Abstract:We show that Lusztig's theories of two-sided cells and non-unipotent representations of a reductive group over a finite field are compatible with the V. Lafforgue's automorphic-to-galois direction of the Langlands correspondence. To do this, we extend cases where nearby cycles commutes with pushforward from sheaves on the moduli space of shtukas to a product of curves to include certain depth $0$ cases. More generally, we introduce the notion of $\Psi$-factorizability to study nearby cycles over general bases, whereby a sheaf is $\Psi$-factorizable if its nearby cycles are the same as iterated nearby cycles with respect to arbitrary compositions of specializations on the base. The Satake sheaves on Beilinson-Drinfeld grassmannians and their cohomology sheaves on curves are nontrivial examples of $\Psi$-factorizable sheaves. This notion allows us to adapt arguments from Xue. As an application, for certain automorphic forms in depth zero attached to a Langlands parameter, we characterize the image of the tame generator of this parameter in terms of semisimple orbits and two-sided cells attached to representations, extending ideas of Lusztig-Yun and Bezrukavnikov-Finkelberg-Ostrik.

Algebraic Geometry,Number Theory,Representation Theory
On A Conjecture of Stanley Depth of Squarefree Veronese Ideals

Maorong Ge,Jiayuan Lin,Yi-Huang Shen

DOI: https://doi.org/10.1080/00927872.2011.585190

2012-01-01

Communications in Algebra

Abstract:In this article, we partially confirm a conjecture, proposed by Cimpoeaş, Keller, Shen, Streib, and Young, on the Stanley depth of squarefree Veronese ideals I n, d . This conjecture suggests that, for positive integers 1 ≤ d ≤ n, . Herzog, Vlădoiu, and Zheng established a connection between the Stanley depths of quotients of monomial ideals and interval partitions of certain associated posets. Based on this connection, Keller, Shen, Streib, and Young recently developed a useful combinatorial tool to analyze the interval partitions of the posets associated with the squarefree Veronese ideals. We modify their ideas and prove the above conjecture for . We also obtain a lower bound of sdepth(I n, d ) for any 1 ≤ d ≤ n. Our results greatly improve Theorem 1.1 in [13], and moreover, our construction leads to a direct proof of this theorem without using graph theory.
On diminished multiplier ideal and the termination of flips

Donghyeon Kim

2024-07-01

Abstract:In this paper, we develop a theory of diminished multiplier ideals on singular varieties which was introduced by Hacon, and developed by Lehmann. We prove a result regarding the termination of certain type of flips with scaling of an ample divisor if the Cartier index is bounded, and if $\kappa_{\sigma}(K_X+\Delta)\ge \dim X-1$ holds. The proof uses a theory of diminished multiplier ideal.

Algebraic Geometry
Multiplier ideals and klt singularities via (derived) splittings

Peter M. McDonald

2024-02-22

Abstract:Let $X$ be a normal, excellent, noetherian scheme over $\operatorname{Spec}\mathbb{Q}$ with a dualizing complex. In this note, we find an alternate characterization of the multiplier ideal of $X$, as defined by de Fernex-Hacon, by considering maps $\pi_*\omega_Y\to\mathcal{O}_X$ where $\pi:Y\to X$ ranges over all regular alterations. As a corollary to this result, we give a derived splinter characterization of klt singularities, akin to the characterization of rational singularities given by Kovács and Bhatt. We also give an analogous description of the test ideal in characteristic $p>2$ as a corollary to a result of Epstein-Schwede.

Algebraic Geometry,Commutative Algebra
Seshadri constants of indecomposable polarized abelian varieties

Victor Lozovanu

2023-12-04

Abstract:The goal of this note is to study a conjectural picture on lower bounds of Seshadri constants of indecomposable polarized abelian varieties. This is inspired by some ideas of Debarre on the subject and the author's previous work on syzygies of abelian threefolds using the convex geometry of Newton-Okounkov bodies.

Algebraic Geometry
Casselman--Shahidi conjecture on the singularity of intertwining operators: groups of exceptional type

Caihua Luo

2024-09-23

Abstract:As a sequel to our recent work on Casselman--Shahidi's holomorphicity conjecture on half-normalized intertwining operators for quasi-split classical groups, we modify our method, based on a lemma of Heiermann--Opdam, to prove certain cases of the conjecture for groups of exceptional type uniformly. One main ingredient, established here, is to find an algorithm to produce reduced decompositions of co-rank one relative longest Weyl elements, in terms of certain "small" counterparts.

Representation Theory,Number Theory
On Lurie's theorem and applications

Jack Morgan Davies

2024-12-03

Abstract:Lurie's theorem states that there exists a sheaf of ring spectra on the site of formally étale Deligne--Mumford stacks over the moduli stack of $p$-divisible groups of height $n$, which agrees with the classical Landweber exact functor theorem (LEFT) on affines. In other words, this theorem is a global, higher categorical refinement of the LEFT. In recent work, Lurie has introduced many of the ingredients one needs to prove this theorem, and in this article, we gather these ingredients together and prove Lurie's theorem. Applications of this theorem to Lubin--Tate theories, topological modular and automorphism forms, and Adams operations are also discussed.

Algebraic Topology,Algebraic Geometry
Saturation of reduced products

Ben De Bondt,Ilijas Farah,Alessandro Vignati

2024-01-23

Abstract:We study reduced products $M=\prod_n M_n/\mathrm{Fin}$ of countable structures in a countable language associated with the Fréchet ideal. We prove that such $M$ is $2^{\aleph_0}$-saturated if its theory is stable and not $\aleph_2$-saturated otherwise (regardless of whether the Continuum Hypothesis holds). This implies that $M$ is isomorphic to an ultrapower (associated with an ultrafilter on $\mathbb N$) if its theory is stable, even if the CH fails. We also improve a result of Farah and Shelah and prove that there is a forcing extension in which such reduced product $M$ is isomorphic to an ultrapower if and only if the theory of $M$ is stable. All of these conclusions apply for reduced products associated with $F_\sigma$ ideals or more general layered ideals. We also prove that a reduced product associated with the asymptotic density zero ideal $\mathcal Z_0$, or any other analytic P-ideal that is not $F_\sigma$, is not even $\aleph_1$-saturated if its theory is unstable.

Logic

Saturated ideals from Laver collapses

Echeloned saturation and forcing axioms

Limits of saturated ideals

Chang's Conjectures and Easton collapses

The extent of saturation of induced ideals

Finite saturation for unirational varieties

A strong collapse increasing the geometric simplicial Lusternik-Schnirelmann category

No Semistability at Infinity for Calabi-Yau Metrics Asymptotic to Cones

Stanley Depth and Stanley Support-Regularity of Monomial Ideals

Relative Non-Positive Immersion

Stanley-Reisner Ideals with Pure Resolutions

Stanley Depth of Weakly 0-Decomposable Ideals

Euler systems and relative Satake isomorphism

Restricted shtukas and $Ψ$-factorizable sheaves

On A Conjecture of Stanley Depth of Squarefree Veronese Ideals

On diminished multiplier ideal and the termination of flips

Multiplier ideals and klt singularities via (derived) splittings

Seshadri constants of indecomposable polarized abelian varieties

Casselman--Shahidi conjecture on the singularity of intertwining operators: groups of exceptional type

On Lurie's theorem and applications

Saturation of reduced products