Smashing, Balmer, Zariski spectra: an ideal approach

Changhan Zou; Jiacheng Liang

REVIEW 3 major objections 5 minor 1 cited by

Smashing, Balmer, Zariski spectra: an ideal approach

T0 review · 3 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Zariski frame functor unifies Zariski, Balmer, and smashing spectra under one ideal-theoretic construction.

desk verdict Unifies Zariski, Balmer, and smashing spectra via categorical ideals; the main smashing-frame identification has a proof gap in the transfer from PrL_st to Prdbl_T, but the framework is solid and deserves refereeing. read the letter →

arxiv 2607.13329 v1 pith:6GARQZOK submitted 2026-07-14 math.AT math.AGmath.CT

Jiacheng Liang , Changhan Zou This is my paper · ORCID

classification math.ATmath.AGmath.CT MSC 18N7018F7055P42

keywords ZariskiframesmashingBalmerspectrumcategoricalidealssymmetricmonoidal∞-categoriescoherentframesquotientsbyE∞-semirings

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper defines a single construction—the Zariski frame of a presentably symmetric monoidal ∞-category—that takes categorical ideals (monomorphisms into the unit object) and extracts a frame of radical ideals. It shows that this construction recovers the classical Zariski spectrum of a commutative ring, the Hochster dual of the Balmer spectrum of a commutative 2-ring, and the smashing frame of a stable tensor-triangulated category. If correct, all three spectral theories are special cases of one functor, so results about coherent frames apply uniformly to commutative algebra and tensor triangular geometry. The paper also develops a theory of quotients by ideals, introducing Σ-triviality and Σ-exactness to make quotienting well-behaved, and applies it to construct quotients of E∞-semirings.

What carries the argument

The key object is the Zariski frame Zar(C) = Idl(C)_rad, the frame of radical categorical ideals of C, where a categorical ideal is a monomorphism into the unit object 1. The mechanism is the preframe structure on Idl(C): ideals multiply by image of tensor product, radicals are defined by the relation x^2 ≤ r ⇒ x ≤ r, and the radical elements form a frame because in a preframe the radical product equals the meet. This frame-theoretic construction, together with Stone duality, yields the spectral space Spec(C).

What would settle it

For a specific stable presentably symmetric monoidal ∞-category, compute the frame of radical categorical ideals of its dualizable module category and compare it with the poset of smashing ideals of the category itself. For example, working with the sphere spectrum T = Sp, if a radical ideal in Zar(Prdbl_Sp) fails to correspond to a smashing ideal of Sp, the claimed equivalence Sm(T) ≃ Zar(Prdbl_T) is false.

Watch

Extended reading notes

Core claim

The central claim is that the Zariski frame functor Zar: CAlg(Pr^L) → Frm, defined by sending a presentably symmetric monoidal ∞-category C to the frame of radical categorical ideals (monomorphisms I → 1), unifies the spectrum theories: for C = Mod_R(Ab) it is the Zariski spectrum of R; for C = Mod_K(Cat^perf) it is the Hochster dual of the Balmer spectrum of K; and for a stable T, Sm(T) ≃ Zar(Mod_T(Pr^L_st)^{dbl}) (Theorem 3.3.4). The proof rests on showing that the poset Idl(C) is a preframe, that its radical elements form a coherent frame when C is compactly generated, and that in the stable case the categorical ideals of the dualizable module category are exactly the smashing ideals.

Load-bearing premise

The identification of Sm(T) with Zar(Prdbl_T) relies on imported theorems that, in the dualizable module category, monomorphisms are fully faithful and epimorphisms are localizations, and that there is a single compact generator; if any of those theorems carries an unstated hypothesis, the central equivalence is not established.

Editorial extensions

If this is right

A single coherent-frame criterion now characterizes Noetherianity of all three spectra: the spectrum is Noetherian iff every radical ideal is the radical of a finitely generated one.
The balanced (Hochster dual) relationship between Balmer spectra and Zariski spectra becomes a special case of one functor, so topological results about spectral spaces apply uniformly.
Smashing frames of stable ∞-categories are ω1-coherent, giving them a (large-cardinal) point-set topology via Stone duality.
In stable cases, the ideal–epimorphism correspondence recovers the usual bijection between smashing ideals and smashing localizations; in the non-stable case, the paper's Σ-exactness conditions delineate exactly when this correspondence holds.
Quotients by ideals are constructed for a broad class of pointed presentably symmetric monoidal ∞-categories, yielding quotients of E∞-semirings when the ideal has trivial E1-group completion.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The unified frame should make it possible to transfer constructions between commutative algebra and tensor triangular geometry, e.g., applying Cohen-type criteria to categories where no explicit spectral space was previously associated.
The Σ-exactness formalism suggests a general doctrine of 'exact modes' that could be used to define quotients in other higher-algebraic settings, beyond the semiring example.
The ω1-coherence points toward a theory of 'large-cardinal spectral spaces' that might carry information invisible in the ordinary Zariski spectrum.
The reformulation of the telescope conjecture as surjectivity of a frame map raises the possibility of measuring its failure by the size of the coimage, an invariant not visible in the classical formulation.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

You should know this paper is one of the more serious attempts to unify the three spectral worlds — Zariski, Balmer, smashing — under one frame-theoretic roof. It does this by defining ideals in a presentably symmetric monoidal ∞-category as monomorphisms into the unit, then taking radicals. The main results are as advertised: for Mod_R(Ab) you recover the classical Zariski spectrum, for Mod_K(Cat^perf) you get the Hochster dual of Balmer, and for a stable T the smashing frame Sm(T) is identified with Zar(Pr^dbl_T). There is also a quotient formalism via Σ-triviality that yields quotients of E_∞-semirings. That last piece is genuinely new, as far as I know.

What I like: the paper is well structured, the frame-theoretic machinery (preframes, radicalization, coherence) is developed in enough detail, and the examples are chosen to show the construction isn't just formal. The Cohen-type theorem for coherent frames is a nice bonus. The authors are clearly in control of the background literature.

The soft spot is exactly where the stress-test points. Theorem 3.3.4 leans on Proposition 3.3.2, which asserts that in Pr^dbl_T monomorphisms are fully faithful and epimorphisms are localizations. The proof of part (2) says this follows from Efimov's Prop A.1 "since the functor Pr^dbl_st → Pr^L_st is conservative and commutes with colimits." That sentence is doing too much work. The inclusion of a non-full subcategory doesn't usually preserve pushouts, and the proof gives no argument for why it does here. Worse, the proposition is stated for arbitrary T but the proof only treats Prdbl_st, with no base-change argument. So as written, the central identification Sm(T) ≃ Zar(Pr^dbl_T) is not fully established by the paper's own argument.

That said, this doesn't smell like a counterexample. The gap is in a proof, not in the statement; the surrounding evidence (recovering Zariski and Balmer spectra, the ω1-coherence results) is consistent with the claim being true. A referee could reasonably ask the authors to give a direct proof of Prop 3.3.2, or to cite a precise reference that covers the T-relative case. The reliance on [Ram26] and [LLS] (both in preparation) for some examples is mildly fragile but not load-bearing for the main theorem.

Who should read this: anyone working in tensor triangular geometry or in the general theory of presentable stable ∞-categories. It's a strong paper for a reading group. It should go to peer review — not desk-rejected — but the referee will need to check the gap I described.

Referee Report

3 major / 5 minor

Summary. The paper introduces a Zariski frame functor Zar : CAlg(Pr^L) → Frm, assigning to any presentably symmetric monoidal ∞-category the frame of radical categorical ideals, where a categorical ideal is a monomorphism into the unit. It claims that this single construction recovers the classical Zariski spectrum of a ring, the Hochster dual of the Balmer spectrum of a commutative 2-ring, and, via dualizable modules, the smashing frame/spectrum of a stable presentably symmetric monoidal ∞-category. Further results include coherence of Zariski frames in the compactly generated case (Theorem 2.3.3), a Cohen-type criterion for coherent frames (Theorem 2.4.2), an identification with coidempotent frames (Theorem 2.5.6), ω1-coherence of smashing frames (Corollary 3.4.7), and a quotient formalism based on new Σ-triviality and Σ-exactness conditions, with applications to quotients of E∞-semirings.

Significance. If the main identifications hold, this is a substantive conceptual unification: it places three a priori separate spectral theories under one functor and produces new structural information, such as coherence and Noetherianity criteria, in a uniform way. The paper also contains a substantial and well-organized body of frame theory, preframes, and ideal–epimorphism correspondences. Its strengths include explicit functorial constructions, a clear statement of the unifying diagram, and a careful treatment of quotient problems in higher algebra. However, the central smashing-frame identification is not fully established by the argument as written: it rests on a proof gap in Proposition 3.3.2 and on deep external results imported from [Efi24], [Ram24], and [Ram26]. Because these dependencies are load-bearing, the paper needs revision before the central claim can be regarded as proved.

major comments (3)

[§3.3, Proposition 3.3.2] Part (2) is proved by saying that it follows from [Efi24, Proposition A.1] since the functor Prdbl_st → PrL_st is conservative and commutes with colimits. This is not sufficient: epimorphisms are detected by pushouts of the form B ∐_A B, and the inclusion of the non-full subcategory Prdbl_st into PrL_st is not shown to preserve the relevant pushouts; a conservative functor that does not preserve those pushouts need not reflect epimorphisms. Moreover the proposition is stated for an arbitrary T ∈ CAlg(PrL_st), while the proof only addresses Prdbl_st and gives no base-change or reduction argument covering general dualizable T-modules. Since Theorem 3.3.4 and Corollary 3.4.7 depend on this proposition, the central smashing-frame identification is not established by the manuscript's own argument. Please supply a correct proof for Prdbl_T, or cite a precise external statement that covers it.
[§2.1, Proposition 2.1.20] The proof claims that Qcidem is a frame because every element is coidempotent, citing Proposition 2.1.8. But Proposition 2.1.8 concerns the radical elements Qrad, and in a general preframe an idempotent element need not be radical. The final inference is therefore invalid as written. The frame structure of Qcidem is later asserted in Proposition 2.1.21 via [Ane+23, Proposition A.4.8], so the statement is likely correct, but the proof of Proposition 2.1.20 should either be repaired directly or the external result should be cited explicitly at that point. This matters because cIdem(V) and hence Sm(V) rely on this frame structure.
[§3.3, Theorem 3.3.4] The proof of the chain Sm(T) = cIdem(Prdbl_T) ≃ Idl(Prdbl_T) ≃ Idl(Prdbl_T)rad is compressed into a one-sentence argument that cites Remark 3.3.3(1) and the fact that Sm(T) is a frame. The second equivalence requires that every ideal in Prdbl_T is already radical/coidempotent, which uses Proposition 3.3.2. Thus the gap in Proposition 3.3.2 directly propagates into the main theorem. Please either provide a complete proof of this equivalence or explicitly state which external result supplies each step.

minor comments (5)

[Throughout] There are several typos: 'classcial' for 'classical', 'Appied' for 'Applied', 'Cartesion' for 'Cartesian', and 'isormophism' for 'isomorphism'.
[Example B.7(1)] The proof of the monomorphism characterization in Cat^perf refers to [Lia26, Lemma 7.5], a self-citation to an unpublished preprint. The surrounding argument is only sketched; consider making it self-contained or citing a more standard reference.
[§3.4, Theorem 3.4.9] The notation Im^{Prdbl_T}(l(Φ)) is confusing: l(Φ) is a functor, not an object of Prdbl_T. The displayed identification ⟨Im(l(Φ))⟩ ≃ ⟨Im(Φ)⟩ is asserted without details, and the reader must guess the meaning of 'image' of a functor in this context. Please clarify the notation and expand this step.
[Example 4.5.5] The claim about the dualizable additive kernel of D(Z)≥0 → D(Z[p^{-1}])≥0 is deferred to [LLS], which is listed as 'in preparation'. Since the example is used to illustrate failure of right Σ-exactness, either include a proof or clearly mark the statement as conditional on that reference.
[Abstract and §1] The term 'commutative 2-ring' is used in the abstract but the body defines the input as K ∈ CAlg(Cat^perf). Please align the terminology and give a one-line definition or pointer.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction in the main derivation; only two non-load-bearing self-citations, so score 2.

full rationale

The central chain Zar(C):=Idl(C)_rad is built from definitions and from external results (Lurie, Efimov, Ramzi, Kock-Pitsch, Aoki). The identifications Spec(Mod_R(Ab)) = Zariski spectrum, Spec(Mod_K(Catperf)) = Hochster dual of Balmer spectrum, and Sm(T) ≃ Zar(Prdbl_T) are genuine theorems relating the new notion to prior objects; none is obtained by fitting a parameter or by defining the target as the source. The only self-citations are in Example B.7 (cf. [Lia26, Lemma 7.5]) and Example 4.5.5 ([LLS]). In B.7 the cited self-reference is explicitly secondary to the same argument in [Efi24, Prop A.1(1)], so it is not load-bearing; [LLS] only supplies further detail about an example. The reviewer concern that Prop 3.3.2 relies on an unsupported colimit-preservation claim is a correctness gap, not circularity: the assertion is presented as following from an external citation, not from the paper's own desired conclusion. Thus the paper's central unification is not circular by construction; the score reflects only the presence of two minor self-citations.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

The central claim rests on standard infinity-category theory and on several deep external theorems (Efimov, Ramzi, Aoki, Kock-Pitsch) used as black boxes. No fitted parameters or empirical entities are postulated. The self-citations [Lia26] and [LLS] are minor and not load-bearing.

assumptions (8)

standard math The theory of infinity-categories and symmetric monoidal infinity-categories as in [Lur09, Lur17]: presentable infinity-categories have the described properties (adjoint functor theorem, overcategories, monadic descent, etc.).
Used throughout; standard foundational framework.
standard math Radicalization of preframes: for a preframe Q, Q^rad is a frame and is the localization at x^2<=x (Proposition 2.1.8, Theorem 2.1.10), cited to [Ane+23, Appendix A].
Central to defining the Zariski frame; the paper relies on the cited reference for proof.
domain assumption For a commutative 2-ring K, the Zariski spectrum of Mod_K(Cat^perf) is the Hochster dual of the Balmer spectrum ([KP17, Corollary 3.4.2]).
Used in Example 2.3.6 to recover Balmer spectra; not proved in this paper.
domain assumption In the infinity-category Prdbl_T of dualizable presentable T-modules (T stable), monomorphisms are fully faithful and epimorphisms are localizations ([Efi24, Proposition A.3]).
Key input for Theorem 3.3.4; if false, the identification of smashing ideals with arbitrary ideals in Prdbl_T fails.
domain assumption The category Prdbl_st is generated under colimits by a single omega1-compact object Shv>=0(R;Sp) ([Efi24, Theorem D.1]).
Used for omega1-coherence of smashing frames (Corollary 3.4.7).
domain assumption For V in CAlg(Pr^L_kappa) with kappa uncountable, Prdbl_V in CAlg(Pr^L_kappa) and the inclusion preserves kappa-compact objects ([Ram24, Theorem 3.1 and Corollary 3.14]).
Used to transfer coherence from Zariski frames to smashing frames.
domain assumption cIdem(V) is a frame for V in CAlg(Pr^L) ([Aok23, Theorem 3.29]).
Used in Section 2.5 and for defining the smashing frame.
standard math Stone duality for coherent frames (Frm_coh is equivalent to Top_coh) and the definitions of spectral spaces ([Joh82], [DST19]).
Used to pass from Zariski frames to topological spectra.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Smashing, Balmer, Zariski spectra: an ideal approach." pith.science (2026). https://pith.science/paper/6GARQZOK

@misc{pith2026260713329,
  author       = {Pith},
  title        = {Pith review of: Smashing, Balmer, Zariski spectra: an ideal approach},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6GARQZOK}},
  note         = {Machine review of arXiv:2607.13329}
}

abstract

We introduce the Zariski frame of any presentably symmetric monoidal $\infty$-category. This allows us to unify several spectral theories arising in higher algebra. The Zariski frame is coherent whenever the category is compactly generated, and the associated spectral space recovers both the classical Zariski spectrum of a commutative ring and the Hochster dual of the Balmer spectrum of a commutative $2$-ring. Moreover, the smashing frame of any stable presentably symmetric monoidal $\infty$-category can be identified with the Zariski frame of its category of dualizable modules. This construction is based on the principle that ideals in a symmetric monoidal $\infty$-category should be understood as monomorphisms into the unit object. In suitable contexts, this notion recovers the kinds of ideals appearing in the preceding examples, including thick ideals and smashing ideals, and it also accommodates the smashing ideals of non-stable $\infty$-categories. We also study the problem of forming quotients by ideals, which is subtle in the setting of higher algebra. To address this, we introduce two properties of pointed $\infty$-categories, called $\Sigma$-triviality and $\Sigma$-exactness. These conditions ensure that quotienting by ideals behaves well. As an application, we construct quotients of $\mathbb{E}_\infty$-semirings.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Dualizable Additive Categories
math.AT 2026-08 conditional novelty 8.0 of 10

Dualizable additive categories are characterized intrinsically and via almost modules, and a universal finitary localizing invariant (prestable motives) is constructed whose unit corepresents algebraic K-theory.

Reference graph

Works this paper leans on

13 extracted references · 9 linked inside Pith · cited by 1 Pith paper

[1]

[Abu14] J. Y. Abuhlail. Exact sequences of commutative monoids and semimodules. Homology Homotopy Appl.16.1 (2014), pp. 199–214. [Ane+23] M. Anel, G. Biedermann, E. Finster, and A. Joyal. Left-exact localizations of∞-topoi III: Acyclic Product. Preprint, available at arXiv:2308.15573

arXiv 2014
[3]

[Bal05] P. Balmer. The spectrum of prime ideals in tensor triangulated categories.J. Reine Angew. Math. 588 (2005), pp. 149–168. [Bar26] T. Barthel. On the finite generation of ideals in tensor triangular geometry.Bull. Lond. Math. Soc. 58.5 (2026), Paper No. e70355,

2005
[5]

Calmès, E

[Cal+25] B. Calmès, E. Dotto, Y. Harpaz, F. Hebestreit, M. Land, K. Moi, D. Nardin, T. Nikolaus, and W. Steimle. Hermitian K-theory for stable∞-categories II: Cobordism categories and additivity. Acta Math.235.2 (2025), pp. 149–400. [CS26] D. Clausen and P. Scholze. Condensed mathematics and complex geometry. Preprint, available at arXiv:2605.11731

arXiv 2025
[7]

Cam- bridge University Press, Cambridge, 1982, pp

Cambridge Studies in Advanced Mathematics. Cam- bridge University Press, Cambridge, 1982, pp. xxi+370. [KL23] H. Krause and J. C. Letz. The spectrum of a well-generated tensor-triangulated category. Bulletin of the London Mathematical Society55.2 (2023), pp. 680–705. [KP17] J. Kock and W. Pitsch. Hochster duality in derived categories and point-free recon...

arXiv 1982
[8]

[BKS07] A. B. Buan, H. Krause, and Ø. Solberg. Support varieties: an ideal approach.Homology, Homotopy Appl.9.1 (2007), pp. 45–74. [BKS20] P. Balmer, H. Krause, and G. Stevenson. The frame of smashing tensor-ideals.Math. Proc. Cambridge Philos. Soc.168.2 (2020), pp. 323–343. [Bur+23] R. Burklund, J. Hahn, I. Levy, and T. M. Schlank.K-theoretic counterexam...

arXiv 2007
[170]

Princeton University Press, Princeton, NJ, 2009, pp

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925. [Lur17] J. Lurie. Higher Algebra. https://www.math.ias.edu/~lurie/papers/HA.pdf

2009
[2017]

[Ram22] M. Ramzi. An elementary proof of the naturality of the Yoneda embedding. Preprint, available at arXiv:2209.12575

arXiv
[2019]

[Efi24] A. Efimov. K-theory and localizing invariants of large categories. Preprint, available at arXiv:2405.12169

arXiv

Show all 13 references

[2022]

[Ram24] M. Ramzi. Dualizable presentable ∞-categories. Preprint, available at arXiv:2410.21537

arXiv
[2023]

[Aok23] K. Aoki. The sheaves-spectrum adjunction. Preprint, available at arXiv:2302.04069

arXiv
[2024]

[Ram26] M. Ramzi. Locally rigid ∞-categories. Preprint, available at arXiv:2410.21524v2
[2025]

[Mao21] Z. Mao. Revisiting derived crystalline cohomology. Preprint, available at arXiv:2107.02921

arXiv
[2026]

[Rap19] G. Raptis. Some characterizations of acyclic maps.J. Homotopy Relat. Struct.14.3 (2019), pp. 773–785. Jiacheng Liang, Mathematics Department, Johns Hopkins University, Baltimore, MD 21218, USA Email address: jliang66@jhu.edu Changhan Zou, Mathematics Department, Univer...

2019

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.

[1] [1]

[Abu14] J. Y. Abuhlail. Exact sequences of commutative monoids and semimodules. Homology Homotopy Appl.16.1 (2014), pp. 199–214. [Ane+23] M. Anel, G. Biedermann, E. Finster, and A. Joyal. Left-exact localizations of∞-topoi III: Acyclic Product. Preprint, available at arXiv:2308.15573

arXiv 2014

[2] [3]

[Bal05] P. Balmer. The spectrum of prime ideals in tensor triangulated categories.J. Reine Angew. Math. 588 (2005), pp. 149–168. [Bar26] T. Barthel. On the finite generation of ideals in tensor triangular geometry.Bull. Lond. Math. Soc. 58.5 (2026), Paper No. e70355,

2005

[3] [5]

Calmès, E

[Cal+25] B. Calmès, E. Dotto, Y. Harpaz, F. Hebestreit, M. Land, K. Moi, D. Nardin, T. Nikolaus, and W. Steimle. Hermitian K-theory for stable∞-categories II: Cobordism categories and additivity. Acta Math.235.2 (2025), pp. 149–400. [CS26] D. Clausen and P. Scholze. Condensed mathematics and complex geometry. Preprint, available at arXiv:2605.11731

arXiv 2025

[4] [7]

Cam- bridge University Press, Cambridge, 1982, pp

Cambridge Studies in Advanced Mathematics. Cam- bridge University Press, Cambridge, 1982, pp. xxi+370. [KL23] H. Krause and J. C. Letz. The spectrum of a well-generated tensor-triangulated category. Bulletin of the London Mathematical Society55.2 (2023), pp. 680–705. [KP17] J. Kock and W. Pitsch. Hochster duality in derived categories and point-free recon...

arXiv 1982

[5] [8]

[BKS07] A. B. Buan, H. Krause, and Ø. Solberg. Support varieties: an ideal approach.Homology, Homotopy Appl.9.1 (2007), pp. 45–74. [BKS20] P. Balmer, H. Krause, and G. Stevenson. The frame of smashing tensor-ideals.Math. Proc. Cambridge Philos. Soc.168.2 (2020), pp. 323–343. [Bur+23] R. Burklund, J. Hahn, I. Levy, and T. M. Schlank.K-theoretic counterexam...

arXiv 2007

[6] [170]

Princeton University Press, Princeton, NJ, 2009, pp

Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925. [Lur17] J. Lurie. Higher Algebra. https://www.math.ias.edu/~lurie/papers/HA.pdf

2009

[7] [2017]

[Ram22] M. Ramzi. An elementary proof of the naturality of the Yoneda embedding. Preprint, available at arXiv:2209.12575

arXiv

[8] [2019]

[Efi24] A. Efimov. K-theory and localizing invariants of large categories. Preprint, available at arXiv:2405.12169

arXiv