Related papers: Saturation bounds for smooth varieties
In this short note, we determine the Kodaira dimension and some of the plurigenera of (a desingularization of) a symmetric power of a smooth projective variety. We use it to obtain bounds on the genus of curve passing through a fixed number…
We prove that holomorphic maps from an open subset of a complex smooth projective curve to a complex smooth projective rationally simply connected variety can be approximated by algebraic maps for the compact-open topology. This theorem can…
We consider homogeneous binomial ideals $I=(f_1,\ldots,f_n)$ in $K[x_1, \ldots, x_n]$, where $f_i = a_i x_i^{d_i} - b_i m_i$ and $a_i \neq 0$. When such an ideal is a complete intersection, we show that the monomials which are not divisible…
We completely determine the depth and regularity of symbolic powers of the fiber product of two homogeneous ideals in disjoint sets of variables, given knowledge of the symbolic powers of each factor. Generalizing previous joint work with…
We find formulas for the graded core of certain m-primary ideals in a graded ring. In particular, if S is the section ring of an ample line bundle on a Cohen-Macaulay complex projective variety, we show that under suitable hypothesis, the…
We study pushdown systems where control states, stack alphabet, and transition relation, instead of being finite, are first-order definable in a fixed countably-infinite structure. We show that the reachability analysis can be addressed…
The $j$-multiplicity plays an important role in the intersection theory of St\"uckrad-Vogel cycles, while recent developments confirm the connections between the $\epsilon$-multiplicity and equisingularity theory. In this paper we…
We consider the following conjecture: if X is a smooth projective variety over a field of characteristic zero, then there is a dense set of reductions X_s of X to positive characteristic such that the action of the Frobenius morphism on the…
In this book we construct fundamental filtered complexes in filtered derived categories. These are generalizations of a filtered complex constructed by Mokrane. As an application of these constructions, we develop theory of limits of weight…
We establish a finiteness result for pointed maps to the base space $U$ of a smooth projective family of varieties with maximal variation in moduli. For its proof, we establish the rigidity of pointed maps to a (not necessarily compact)…
We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory. In this system, we propose a definition of "category" for which equality…
We proved the so called complex bounds for multimodal, infinitely renormalizable analytic maps with bounded combinatorics: deep renormalizations have polynomial-like extensions with definite modulus. The complex bounds is the first step to…
Conjecture F from [VW12] states that the complements of closures of certain strata of the symmetric power of a smooth irreducible complex variety exhibit rational homological stability. We prove a generalization of this conjecture to the…
In this work, some combinatorial lower bound for regularity of powers of the edge ideal of a uniform hypergarph is gained. A family of hypergraphs whose regularity of edge ideal attains this bound and has a significant difference from the…
We show that the pure mapping class group is uniformly perfect for a certain class of infinite type surfaces with noncompact boundary components. We then combine this result with recent work in the remaining cases to give a complete…
For a complex manifold equipped with an anti-holomorphic involution, which is referred to as a real variety, the Smith-Thom inequality states that the total $\mathbb{F}_2$-Betti number of the real locus is not greater than the total…
We study properties of rational curves on complete intersections in positive characteristic. It has long been known that in characteristic 0, smooth Calabi-Yau and general type varieties are not uniruled. In positive characteristic,…
We characterize monomial ideals which are intersections of monomial prime ideals and study classes of ideals with this property, among them polymatroidal ideals.
We give effective upper bounds for the number of purely inseparable points on non isotrivial curves over function fields of positive characteristic and of transcendence degree one. These bounds depend on the genus of the curve, the genus of…
Coherent states for general systems with discrete spectrum, such as the bound states of the hydrogen atom, are discussed. The states in question satisfy: (1) continuity of labeling, (2) resolution of unity, (3) temporal stability, and (4)…