Showing 1–16 of 16 results for author: Montoya, D

Mori dream singular $K3$ surfaces

Authors: Antonio Laface, Alex Massarenti, William D. Montoya

Abstract: We take a first step towards the classification of singular Mori dream $K3$ surfaces. We prove that if the Picard lattice of a singular $K3$ surface is Mori dream, then the surface is Mori dream. Moreover, we show that for singular $K3$ surfaces, of Picard rank two, being Mori dream is equivalent to contain two negative curves intersecting each other, and apply this result to study Mori dreamness… ▽ More We take a first step towards the classification of singular Mori dream $K3$ surfaces. We prove that if the Picard lattice of a singular $K3$ surface is Mori dream, then the surface is Mori dream. Moreover, we show that for singular $K3$ surfaces, of Picard rank two, being Mori dream is equivalent to contain two negative curves intersecting each other, and apply this result to study Mori dreamness of $K3$ surfaces with a singular point of type $A_n$. △ Less

Submitted 22 December, 2024; originally announced December 2024.

Comments: 15 pages

MSC Class: Primary 14J28; 14E30; Secondary 11D09

Logarithmic vector fields and foliations on toric varieties

Authors: Daniele Faenzi, Marcos Jardim, William D Montoya

Abstract: We introduce a toric version of the sheaf of logarithmic vector fields along a divisor of a simplicial toric variety. The notion is also relevant for algebraically independent families of polynomials in the Cox ring. We provide a generalisation of the Saito criterion for the freeness of the toric logarithmic sheaf. We explain the relationship between this sheaf and the usual sheaf of logarithmic v… ▽ More We introduce a toric version of the sheaf of logarithmic vector fields along a divisor of a simplicial toric variety. The notion is also relevant for algebraically independent families of polynomials in the Cox ring. We provide a generalisation of the Saito criterion for the freeness of the toric logarithmic sheaf. We explain the relationship between this sheaf and the usual sheaf of logarithmic vector fields and the connection with holomorphic foliations on toric varieties. △ Less

Submitted 20 August, 2024; originally announced August 2024.

Comments: Comments welcome!

Cox-Gorenstein algebras

Authors: Ugo Bruzzo, Rodrigo Gondim, Rafael Holanda, William D. Montoya

Abstract: We study G-graded Artinian algebras having Poincaré duality and their Lefschetz properties. We prove the equivalence between the toric setup and the G-graded one, and a Hessian criterion in the G-graded setup. We provide an application to toric geometry. We study G-graded Artinian algebras having Poincaré duality and their Lefschetz properties. We prove the equivalence between the toric setup and the G-graded one, and a Hessian criterion in the G-graded setup. We provide an application to toric geometry. △ Less

Submitted 29 August, 2024; v1 submitted 25 July, 2024; originally announced July 2024.

Comments: 21 pages. v2: we added some references to the previous literature. v3: same as v2, we disposed of some spurious files

MSC Class: 13F65; 13H10; 14M25; 16E65

A Weak (k,k)-Lefschetz Theorem for Projective Toric Orbifolds

Authors: William D. Montoya

Abstract: Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick, every rational (k,k)-cohomology class is algebraic, i.e., the Hodge conjecture holds on them. Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick, every rational (k,k)-cohomology class is algebraic, i.e., the Hodge conjecture holds on them. △ Less

Submitted 7 February, 2023; originally announced February 2023.

Comments: 8 pages

MSC Class: 14C30; 14M10; 14J70; 14M25

Algebraicity modulo p of generalized hypergeometric series $_nF_{n-1}$

Authors: Daniel Vargas Montoya

Abstract: Let $f(z)={}_nF_{n-1}(\mathbfα,\mathbfβ)$ be the hypergeometric series with parameters $\mathbfα = (α_1,\ldots,α_n)$ and $\mathbfβ = (β_1,\ldots,β_{n-1},1)$ in $(\mathbb{Q}\cap(0,1])^n$, let $d_{\mathbfα,\mathbfβ}$ be the least common multiple of the denominators of $α_1,\ldots,α_n$, $β_1,\ldots,β_{n-1}$ written in lowest form and let $p$ be a prime number such that $p$ does not divide… ▽ More Let $f(z)={}_nF_{n-1}(\mathbfα,\mathbfβ)$ be the hypergeometric series with parameters $\mathbfα = (α_1,\ldots,α_n)$ and $\mathbfβ = (β_1,\ldots,β_{n-1},1)$ in $(\mathbb{Q}\cap(0,1])^n$, let $d_{\mathbfα,\mathbfβ}$ be the least common multiple of the denominators of $α_1,\ldots,α_n$, $β_1,\ldots,β_{n-1}$ written in lowest form and let $p$ be a prime number such that $p$ does not divide $d_{\mathbfα,\mathbfβ}$ and $f(z)\in\mathbb{Z}_{(p)}[[z]]$. Recently in \cite{vmsff}, it was shown that if for all $i,j\in\{1,\ldots,n\}$, $α_i-β_j\notin\mathbb{Z}$ then the reduction of $f(z)$ modulo $p$ is algebraic over $\mathbb{F}_p(z)$. A standard way to measure the complexity of an algebraic power series is to estimate its degree and its height. In this work, we prove that if $p>2d_{\mathbfα,\mathbfβ}$ then there is a nonzero polynomial $P_p(Y)\in\mathbb{F}_p(z)[Y]$ having degree at most $p^{2^n\varphi(d_{\mathbfα,\mathbfβ})}$ and height at most $5^n(n+1)!p^{2^{n}\varphi({d_{\mathbfα,\mathbfβ})}}$ such that $P_p(f(z)\bmod p)=0$, where $\varphi$ is the Euler's totient function. Furthermore, our method of proof provides us a way to make an explicit construction of the polynomial $P_p(Y)$. We illustrate this construction by applying it to some explicit hypergeometric series. △ Less

Submitted 3 November, 2023; v1 submitted 28 April, 2022; originally announced April 2022.

Deformation of pairs and Noether-Lefschetz loci in toric varieties

Authors: Ugo Bruzzo, William D. Montoya

Abstract: We continue our study of the Noether-Lefschetz loci in toric varieties and investigate deformation of pairs (V,X) where V is a complete intersection subvariety and X a quasi-smooth hypersurface in a odd dimensional simplicial projective toric variety, with V\subset X. Under some assumptions, we prove that the cohomological class in H^{k,k}(X) associated to V remains of type (k,k) under an infinite… ▽ More We continue our study of the Noether-Lefschetz loci in toric varieties and investigate deformation of pairs (V,X) where V is a complete intersection subvariety and X a quasi-smooth hypersurface in a odd dimensional simplicial projective toric variety, with V\subset X. Under some assumptions, we prove that the cohomological class in H^{k,k}(X) associated to V remains of type (k,k) under an infinitesimal deformation if and only if V remains algebraic. Actually we prove that locally the Noether-Lefschetz locus is an irreducible component of a suitable Hilbert scheme. This generalizes Theorem 4.2 in our previous work [4] and the main theorem proved by Dan in [10]. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:2102.01050

MSC Class: 14C22; 14C30; 14J40; 14J70; 14M25

Maximal Unipotent Monodromy, congruences "à la Lucas" and Algebraic independence

Authors: Daniel Vargas Montoya

Abstract: Let $f(z)$ be in $1+z\mathbb{Q}[[z]]$ and $\mathcal{S}$ be an infinite set of prime numbers such that, for all $p\in\mathcal{S}$, we can reduce $f(z)$ modulo $p$. We let $f(z)_{\mid p}$ denote the reduction of $f(z)$ modulo $p$. Generally, when $f(z)$ is D-finite, $f(z)_{\mid p}$ is algebraic over $\mathbb{F}_p(z)$. It turns out that if $f(z)$ is a solution of a polynomial of the form… ▽ More Let $f(z)$ be in $1+z\mathbb{Q}[[z]]$ and $\mathcal{S}$ be an infinite set of prime numbers such that, for all $p\in\mathcal{S}$, we can reduce $f(z)$ modulo $p$. We let $f(z)_{\mid p}$ denote the reduction of $f(z)$ modulo $p$. Generally, when $f(z)$ is D-finite, $f(z)_{\mid p}$ is algebraic over $\mathbb{F}_p(z)$. It turns out that if $f(z)$ is a solution of a polynomial of the form $X-A_p(z)X^{p^l}$, we can use this type of equations to obtain results of transcendence and algebraic independence over $\mathbb{Q}(z)$. In the present paper, we look for conditions on the differential operators annihilating $f(z)$ to guarantee the existence of these particular equations. Suppose that $f(z)$ is solution of a differential operator $\mathcal{H}\in\mathbb{Q}(z)[d/dz]$ having a strong Frobenius structure for all $p\in\mathcal{S}$ and we also suppose that $f(z)$ annihilates a Fuchsian differential operator $\mathcal{D}\in\mathbb{Q}(z)[d/dz]$ such that zero is a regular singular point of $\mathcal{D}$ and the exponents of $\mathcal{D}$ at zero are equal to zero. Our main result states that, for almost every prime $p\in\mathcal{S}$, $f(z)_{\mid p}$ is solution of a polynomial of the form $X-A_p(z)X^{p^l}$, where $A_p(z)$ is a rational function with coefficients in $\mathbb{F}_p$ of height less than or equal to $Cp^{2l}$ with $C$ a positive constant that does not depend on $p$. We also study the algebraic independence of these power series over $\mathbb{Q}(z)$. △ Less

Submitted 9 February, 2023; v1 submitted 28 March, 2021; originally announced March 2021.

Comments: in French

On the Hodge conjecture for quasi-smooth intersections in toric varieties

Authors: Ugo Bruzzo, William D. Montoya

Abstract: We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge Conjecture holds for… ▽ More We establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge Conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in [3]. We also show that the Hodge Conjecture holds asymptotically for suitable quasi-smooth hypersurface in the Noether-Lefschetz locus, where "asymptotically" means that the degree of the hypersurface is big enough. This extendes to toric varieties Otwinowska's result in [15]. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: 13 pages

MSC Class: 14C22; 14J70; 14M25

Journal ref: São Paulo J. Math. Sci. 15 (2021) 682-694

Codimension bounds for the Noether-Lefschetz components for toric varieties

Authors: Ugo Bruzzo, William D. Montoya

Abstract: For a quasi-smooth hyper-surface $X$ in a projective simplicial toric variety $P$, the morphism $i:H^p(P) \to H^p(X)$ induced by the inclusion is injective for $p=d$ and an isomorphism for $p<d-1$, where $d=dim\ P$. This allows one to define the Noether-Lefschetz locus $NL_β$ as the locus of quasi-smooth hypersurfaces of degree $β$ such that $i$ acting on the middle algebraic cohomology is not an… ▽ More For a quasi-smooth hyper-surface $X$ in a projective simplicial toric variety $P$, the morphism $i:H^p(P) \to H^p(X)$ induced by the inclusion is injective for $p=d$ and an isomorphism for $p<d-1$, where $d=dim\ P$. This allows one to define the Noether-Lefschetz locus $NL_β$ as the locus of quasi-smooth hypersurfaces of degree $β$ such that $i$ acting on the middle algebraic cohomology is not an isomorphism. In this paper we prove that, under some assumptions, if $dim P =2k+1$ and $kβ-β_0=nη$ $(n\in\mathbb N)$, where $η$ is the class of a 0-regular ample divisor, and $β_0$ is the anticanonical class, then every irreducible component $V$ of the Noether-Lefschetz locus quasi-smooth hypersurfaces of degree $β$ satifies the bounds $n+1\leq codim\ V \leq h^{k-1,k+1}(X)$. △ Less

Submitted 7 January, 2020; originally announced January 2020.

Comments: 7 pages

Journal ref: Eur. J. Math. 11 (2022) 806--814

Algébricité modulo p, séries hypergéométriques et structures de Frobenius forte

Authors: Daniel Vargas Montoya

Abstract: This work is devoted to study of algebraicty modulo p of Siegel's G-functions. Our goal is to emphasize the relevance of the notion of strong Frobenius structure, clasically studied in the theory of the p-adic diffenrential equations, for the study of a Adamczewski-Delaygue's conjecture concerning of the degree of algebraicity modulo p of G-functions. For this, we first make a Christol's result ex… ▽ More This work is devoted to study of algebraicty modulo p of Siegel's G-functions. Our goal is to emphasize the relevance of the notion of strong Frobenius structure, clasically studied in the theory of the p-adic diffenrential equations, for the study of a Adamczewski-Delaygue's conjecture concerning of the degree of algebraicity modulo p of G-functions. For this, we first make a Christol's result explicit by showing that if $f$ is a G-function that is solution of a differential operator $L$ in $ \mathbb{Q}(z)[d/dz]$ of order $n$ endowed of a strong Frobenius structure of period $h$ for the prime number $p$ and that $f(z)$ belongs to $\mathbb{Z}_{(p)}[[z]]$, then the reduction of $f$ modulo $ p $ is algebraic over $\mathbb F_p(z)$ and its algebraicity degree is bounded by $p^{n^2h}$. By generalizing an approach introduced by Salinier, we show that if $L$ is a Fuchsian operator with coefficients in $\mathbb{Q}(z)$, whose monodromy group is rigid and whose exponents are rational numbers, then $L$ has for almost every prime number $p$ a strong Frobenius structure of period $h$, where $h$ is explicitly bounded and does not depend on $p$. A slightly different version of this result has been recently demonstrated by Crew following a different approach based on the $p$ -adic cohomology. We use these two results to solve the mentioned conjecture in the case of generalized hypergeometric series. △ Less

Submitted 4 May, 2021; v1 submitted 21 November, 2019; originally announced November 2019.

Comments: in French

Higher Independence

Authors: Vera Fischer, Diana Carolina Montoya

Abstract: We study higher analogues of the classical independence number on $ω$. For $κ$ regular uncountable, we denote by $i(κ)$ the minimal size of a maximal $κ$-independent family. We establish ZFC relations between $i(κ)$ and the standard higher analogues of some of the classical cardinal characteristics, e.g. $\mathfrak{r}(κ)\leq\mathfrak{i}(κ)$ and $\mathfrak{d}(κ)\leq\mathfrak{i}(κ)$. For $κ$ measu… ▽ More We study higher analogues of the classical independence number on $ω$. For $κ$ regular uncountable, we denote by $i(κ)$ the minimal size of a maximal $κ$-independent family. We establish ZFC relations between $i(κ)$ and the standard higher analogues of some of the classical cardinal characteristics, e.g. $\mathfrak{r}(κ)\leq\mathfrak{i}(κ)$ and $\mathfrak{d}(κ)\leq\mathfrak{i}(κ)$. For $κ$ measurable, assuming that $2^κ=κ^+$ we construct a maximal $κ$-independent family which remains maximal after the $κ$-support product of $λ$ many copies of $κ$-Sacks forcing. Thus, we show the consistency of $κ^+=\mathfrak{d}(κ)=\mathfrak{i}(κ)<2^κ$. We conclude the paper with interesting open questions and discuss difficulties regarding other natural approaches to higher independence. △ Less

Submitted 9 June, 2022; v1 submitted 25 September, 2019; originally announced September 2019.

MSC Class: 03E17; 03E35

Towers and gaps at uncountable cardinals

Authors: Vera Fischer, Diana Carolina Montoya, Jonathan Schilhan, Dániel T. Soukup

Abstract: Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related problems on the existence of gaps. First, we prove that either $\mathfrak p(κ)=\mathfrak t(κ)$ or there is a $(\mathfrak p(κ),λ)$-gap of club-supported slaloms for some $λ< \mathfrak p(κ)$. While the existence of such gaps is… ▽ More Our goal is to study the pseudo-intersection and tower numbers on uncountable regular cardinals, whether these two cardinal characteristics are necessarily equal, and related problems on the existence of gaps. First, we prove that either $\mathfrak p(κ)=\mathfrak t(κ)$ or there is a $(\mathfrak p(κ),λ)$-gap of club-supported slaloms for some $λ< \mathfrak p(κ)$. While the existence of such gaps is unclear, this is a promising step to lift Malliaris and Shelah's proof of $\mathfrak p=\mathfrak t$ to uncountable cardinals. We do analyze gaps of slaloms and, in particular, show that $\mathfrak p(κ)$ is always regular; the latter extends results of Garti. Finally, we turn to club variants of $\mathfrak p(κ)$ and present a new model for the inequality $\mathfrak{p}(κ) = κ^+ < \mathfrak{p}_{cl}(κ) = 2^κ$. In contrast to earlier arguments by Shelah and Spasojevic, we achieve this by adding $κ$-Cohen reals and then successively diagonalising the club-filter; the latter is shown to preserve a Cohen witness to $\mathfrak{p}(κ) = κ^+$. △ Less

Submitted 3 June, 2019; originally announced June 2019.

Comments: 24 pages

MSC Class: 03E05; 03E17

An asymptotic description of the Noether-Lefschetz components in toric varieties

Authors: Ugo Bruzzo, William D. Montoya

Abstract: We extend the definition of Noether-Leschetz components to quasi-smooth hypersurfaces in a projective simplicial toric variety of dimension 2k+1, and prove that asymptotically the components whose codimension is upper bounded by a suitable effective constant correspond to hypersurfaces containing a small degree k-dimensional subvariety. As a corollary we get an asymptotic characterization of the c… ▽ More We extend the definition of Noether-Leschetz components to quasi-smooth hypersurfaces in a projective simplicial toric variety of dimension 2k+1, and prove that asymptotically the components whose codimension is upper bounded by a suitable effective constant correspond to hypersurfaces containing a small degree k-dimensional subvariety. As a corollary we get an asymptotic characterization of the components with small codimension, generalizing Otwinowska's work for odd-dimensional projective spaces and Green and Voisin's for projective 3-space. Some tools that are developed in this paper are a generalization of Macaulay theorem forprojective irreducible varieties with zero irregularity, and an extension of the notion of Gorenstein ideal to Cox rings of projective simplicial toric varieties. △ Less

Submitted 11 January, 2022; v1 submitted 4 May, 2019; originally announced May 2019.

Comments: 22 pages. v2: Some definitions clarified. v3: 21 pages, substantially rewritten

MSC Class: 14C22; 14J70; 14M25

Cichon's Diagram for uncountable cardinals

Authors: Joerg Brendle, Andrew Brooke-Taylor, Sy-David Friedman, Diana Montoya

Abstract: We develop a version of Cichon's diagram for cardinal invariants on the generalized Cantor space 2^kappa or the generalized Baire space kappa^kappa where kappa is an uncountable regular cardinal. For strongly inaccessible kappa, many of the ZFC-results about the order relationship of the cardinal invariants which hold for omega generalize; for example we obtain a natural generalization of the Bart… ▽ More We develop a version of Cichon's diagram for cardinal invariants on the generalized Cantor space 2^kappa or the generalized Baire space kappa^kappa where kappa is an uncountable regular cardinal. For strongly inaccessible kappa, many of the ZFC-results about the order relationship of the cardinal invariants which hold for omega generalize; for example we obtain a natural generalization of the Bartoszynski-Raisonnier-Stern Theorem. We also prove a number of independence results, both with <kappa-support iterations and kappa-support iterations and products, showing that we consistently have strict inequality between some of the cardinal invariants. △ Less

Submitted 24 November, 2016; originally announced November 2016.

Coherent systems of finite support iterations

Authors: Vera Fischer, Sy D. Friedman, Diego A. Mejía, Diana C. Montoya

Abstract: We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent systems. We use them to produce models of new constellations in Cichoń's diagram, in particular, a model where the diagram can be separated into 7 different values. Furthermore, we show that this constellation of 7 value… ▽ More We introduce a forcing technique to construct three-dimensional arrays of generic extensions through FS (finite support) iterations of ccc posets, which we refer to as 3D-coherent systems. We use them to produce models of new constellations in Cichoń's diagram, in particular, a model where the diagram can be separated into 7 different values. Furthermore, we show that this constellation of 7 values is consistent with the existence of a $Δ^1_3$ well-order of the reals. △ Less

Submitted 29 March, 2017; v1 submitted 18 September, 2016; originally announced September 2016.

Comments: 27 pages, 3 figures. Accepted in the Journal of Symbolic Logic

MSC Class: 03E17; 03E15; 03E35; 03E40; 03E45

Cardinal characteristics at κ in a small u(κ) model

Authors: A. D. Brooke-Taylor, V. Fischer, S. D. Friedman, D. C. Montoya

Abstract: We provide a model where u(κ) < 2^κ for a supercompact cardinal κ. Garti and Shelah have provided a sketch of how to obtain such a model by modifying the construction in a paper of Dzamonja and Shelah; we provide here a complete proof using a different modification and further study the values of other natural generalizations of classical cardinal characteristics in our model. For this purpose we… ▽ More We provide a model where u(κ) < 2^κ for a supercompact cardinal κ. Garti and Shelah have provided a sketch of how to obtain such a model by modifying the construction in a paper of Dzamonja and Shelah; we provide here a complete proof using a different modification and further study the values of other natural generalizations of classical cardinal characteristics in our model. For this purpose we generalize some standard facts that hold in the countable case as well as some classical forcing notions and their properties. △ Less

Submitted 9 November, 2015; originally announced November 2015.

Comments: 20 pages

MSC Class: 03E17; 03E35; 03E55