Showing 1–21 of 21 results for author: Martins, R V

Towards Brill--Noether theory for cuspidal curves

Authors: Ethan Cotterill, Renato Vidal Martins

Abstract: Understanding when an abstract complex curve of given genus comes equipped with a map of fixed degree to a projective space of fixed dimension is a foundational question; and Brill--Noether theory addresses this question via linear series, which algebraically codify maps to projective targets. Classical Brill--Noether theory, which focuses on smooth curves, has been intensively explored; but much… ▽ More Understanding when an abstract complex curve of given genus comes equipped with a map of fixed degree to a projective space of fixed dimension is a foundational question; and Brill--Noether theory addresses this question via linear series, which algebraically codify maps to projective targets. Classical Brill--Noether theory, which focuses on smooth curves, has been intensively explored; but much less is known for singular curves, particularly for those with non-nodal singularities. In a one-parameter family of smooth curves specializing to a singular curve $C_0$, one expects certain aspects of the global geometry of the smooth fibers to ``specialize" to the local geometry of the singularities of $C_0$. Making this expectation quantitatively precise involves analyzing the arithmetic and combinatorics of semigroups ${\rm S}$ attached to discrete valuations defined on (the local rings of) these singularities. In this largely-expository note we focus primarily on Brill--Noether-type results for curves with {\it cusps}, i.e., unibranch singularities; in this setting, the associated semigroups are {\it numerical} semigroups with finite complement in $\mathbb{N}$. △ Less

Submitted 27 February, 2023; originally announced February 2023.

Comments: 10 pages, 1 figure; submitted to proceedings of the 2022 GS & MS workshop in Córdoba

MSC Class: 14H20; 14H45; 14H51; 20Mxx

Certified Severi dimensions for hyperelliptic and supersymmetric cusps

Authors: Ethan Cotterill, Vinícius Lima, Renato Vidal Martins, Alexandre Reis

Abstract: In a previous paper, the first three authors formulated a precise conjecture about the dimension of the {\it generalized Severi variety} $M^n_{d,g; {\rm S}, {\bf k}}$ of degree-$d$ holomorphic maps $\mathbb{P}^1 \rightarrow \mathbb{P}^n$ whose images' singularities are singleton cusps with value semigroups ${\rm S}$ and ramification profiles ${\bf k}$. In this paper, we prove that an adjusted form… ▽ More In a previous paper, the first three authors formulated a precise conjecture about the dimension of the {\it generalized Severi variety} $M^n_{d,g; {\rm S}, {\bf k}}$ of degree-$d$ holomorphic maps $\mathbb{P}^1 \rightarrow \mathbb{P}^n$ whose images' singularities are singleton cusps with value semigroups ${\rm S}$ and ramification profiles ${\bf k}$. In this paper, we prove that an adjusted form of the conjecture holds for generic profiles ${\bf k}$ associated with two distinguished (infinite) classes of semigroups ${\rm S}$. △ Less

Submitted 16 October, 2023; v1 submitted 17 November, 2022; originally announced November 2022.

Comments: Adjusted numerical hypotheses, as our method requires that d be at least the valuation of the conductor of the cusp, which e.g. is true whenever $d \geq 2g$; submitted

MSC Class: 14H20; 14H45; 14H51; 20Mxx

On Gonality and Canonical Models of Unicuspidal Rational Curves

Authors: Naamã Galdino, Renato Vidal Martins, Danielle Nicolau

Abstract: We study the gonality and canonical model of a rational unicuspidal curve C. We are mainly interested in the case where C is non-Gorenstein. We classify such curves via different notions of gonality, and by its canonical model C', up to genus 6. We do it by means of more general families of curves of arbitrary genus. Afterwards, we get a general formula for the dimension of the space of hypersurfa… ▽ More We study the gonality and canonical model of a rational unicuspidal curve C. We are mainly interested in the case where C is non-Gorenstein. We classify such curves via different notions of gonality, and by its canonical model C', up to genus 6. We do it by means of more general families of curves of arbitrary genus. Afterwards, we get a general formula for the dimension of the space of hypersurfaces of a fixed degree containing C', which we apply to some particular cases. △ Less

Submitted 8 April, 2023; v1 submitted 1 July, 2022; originally announced July 2022.

Max Noether Theorem for Singular Curves

Authors: Edson Martins Gagliardi, Renato Vidal Martins

Abstract: Max Noether's Theorem asserts that if $ω$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve, then the natural morphisms $\text{Sym}^nH^0(ω)\to H^0(ω^n)$ are surjective for all $n\geq 1$. The result was extended for Gorenstein curves by many different authors in distinct ways. More recently, it was proved for curves with projectively normal canonical models, and curves whose… ▽ More Max Noether's Theorem asserts that if $ω$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve, then the natural morphisms $\text{Sym}^nH^0(ω)\to H^0(ω^n)$ are surjective for all $n\geq 1$. The result was extended for Gorenstein curves by many different authors in distinct ways. More recently, it was proved for curves with projectively normal canonical models, and curves whose non-Gorenstein points are bibranch at worse. Based on those works, we address the combinatorics of the general case and extend the result for any integral curve. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Severi dimensions for unicuspidal curves

Authors: Ethan Cotterill, Vinícius Lara Lima, Renato Vidal Martins

Abstract: We study parameter spaces of linear series on projective curves in the presence of unibranch singularities, i.e. {\it cusps}; and to do so, we stratify cusps according to value semigroup. We show that {\it generalized Severi varieties} of maps $\mathbb{P}^1 \rightarrow \mathbb{P}^n$ with images of fixed degree and arithmetic genus are often {\it reducible} whenever $n \geq 3$. We also prove that t… ▽ More We study parameter spaces of linear series on projective curves in the presence of unibranch singularities, i.e. {\it cusps}; and to do so, we stratify cusps according to value semigroup. We show that {\it generalized Severi varieties} of maps $\mathbb{P}^1 \rightarrow \mathbb{P}^n$ with images of fixed degree and arithmetic genus are often {\it reducible} whenever $n \geq 3$. We also prove that the Severi variety of degree-$d$ maps with a hyperelliptic cusp of delta-invariant $g \ll d$ is of codimension at least $(n-1)g$ inside the space of degree-$d$ holomorphic maps $\mathbb{P}^1 \rightarrow \mathbb{P}^n$; and that for small $g$, the bound is exact, and the corresponding space of maps is the disjoint union of unirational strata. Finally, we conjecture a generalization for unicuspidal rational curves associated to an {\it arbitrary} value semigroup. △ Less

Submitted 31 December, 2021; v1 submitted 16 June, 2020; originally announced June 2020.

Comments: Material related to gonality of unicuspidal curves was suppressed and will appear elsewhere; title was modified accordingly. To appear in J. Alg

MSC Class: 14H20; 14H45; 14H51; 20Mxx

Polynomial ring representations of endomorphisms of exterior powers

Authors: Ommolbanin Behzad, Andre Contiero, Letterio Gatto, Renato Vidal Martins

Abstract: A polynomial ring with rational coefficients is an irreducible representation of Lie algebras of endomorphisms of exterior powers of a infinite countable dimensional $\mathbb{Q}$-vector space. We give an explicit description of it, using suitable vertex operators on exterior algebras, which mimick those occurring in the bosonic vertex representation of the Lie algebra $gl_\infty$, due to Date--Jim… ▽ More A polynomial ring with rational coefficients is an irreducible representation of Lie algebras of endomorphisms of exterior powers of a infinite countable dimensional $\mathbb{Q}$-vector space. We give an explicit description of it, using suitable vertex operators on exterior algebras, which mimick those occurring in the bosonic vertex representation of the Lie algebra $gl_\infty$, due to Date--Jimbo--Kashiwara and Miwa (DJKM). △ Less

Submitted 16 May, 2020; v1 submitted 3 May, 2020; originally announced May 2020.

Comments: few typos corrected, references updated, comments are very welcome

MSC Class: 14M15; 15A75; 05E05; 17B69

Computing singularities of the spectra of representation rings of finite groups

Authors: André Gimenez Bueno, Renato Vidal Martins, Edney Oliveira, Csaba Schneider

Abstract: Let $G$ be a finite group of order $n$, and $ξ$ an $n$-th primitive root of unity. Consider the affine scheme $C:=\mbox{Spc}({\mathbb Z}[ξ]\otimes_{\mathbb Z} R(G))$ where $R(G)$ is the representation ring of $G$. We study the fibers of the formal tangent sheaf of $C$ by computing their dimension and also finding (and measuring) the singularities of $C$. We present explicit computations for noncom… ▽ More Let $G$ be a finite group of order $n$, and $ξ$ an $n$-th primitive root of unity. Consider the affine scheme $C:=\mbox{Spc}({\mathbb Z}[ξ]\otimes_{\mathbb Z} R(G))$ where $R(G)$ is the representation ring of $G$. We study the fibers of the formal tangent sheaf of $C$ by computing their dimension and also finding (and measuring) the singularities of $C$. We present explicit computations for noncommutative groups of small order, and develop practical methods to compute these invariants for an arbitrary finite group. △ Less

Submitted 19 October, 2019; originally announced October 2019.

MSC Class: 20C15; 20C40; 14B05; 14H20; 14H40

$K$-weight bounds for $γ$-hyperelliptic semigroups

Authors: Ethan Cotterill, Renato Vidal Martins

Abstract: In this note, we show that {\it $γ$-hyperelliptic} numerical semigroups of genus $g \gg γ$ satisfy a refinement of a well-known characteristic weight inequality due to Torres. The refinement arises from substituting the usual notion of weight by an alternative version, the $K$-weight, which we previously introduced in the course of our study of unibranch curve singularities. In this note, we show that {\it $γ$-hyperelliptic} numerical semigroups of genus $g \gg γ$ satisfy a refinement of a well-known characteristic weight inequality due to Torres. The refinement arises from substituting the usual notion of weight by an alternative version, the $K$-weight, which we previously introduced in the course of our study of unibranch curve singularities. △ Less

Submitted 18 June, 2019; v1 submitted 1 December, 2018; originally announced December 2018.

Comments: final version, to appear in Semigroup Forum

MSC Class: 20Mxx; 14Hxx

On Gonality, Scrolls, and Canonical Models of Non-Gorenstein Curves

Authors: Danielle Nicolau Lara, Jairo Menezes Souza, Renato Vidal Martins

Abstract: Let $C$ be an integral and projective curve; and let $C'$ be its canonical model. We study the relation between the gonality of $C$ and the dimension of a rational normal scroll $S$ where $C'$ can lie on. We are mainly interested in the case where $C$ is singular, or even non-Gorenstein, in which case $C'\not\cong C$. We first analyze some properties of an inclusion $C'\subset S$ when it is induce… ▽ More Let $C$ be an integral and projective curve; and let $C'$ be its canonical model. We study the relation between the gonality of $C$ and the dimension of a rational normal scroll $S$ where $C'$ can lie on. We are mainly interested in the case where $C$ is singular, or even non-Gorenstein, in which case $C'\not\cong C$. We first analyze some properties of an inclusion $C'\subset S$ when it is induced by a pencil on $C$. Afterwards, in an opposite direction, we assume $C'$ lies on a certain scroll, and check some properties $C$ may satisfy, such as gonality and the kind of its singularities. At the end, we prove that a rational monomial curve $C$ has gonality $d$ if and only if $C'$ lies on a $(d-1)$-fold scroll. △ Less

Submitted 28 March, 2018; originally announced March 2018.

MSC Class: 14-xx

Singular rational curves with points of nearly-maximal weight

Authors: Ethan Cotterill, Lia Feital, Renato Vidal Martins

Abstract: In this article we study rational curves with a unique unibranch genus-$g$ singularity, which is of {\it $\ka$-hyperelliptic} type in the sense of \cite{To}; we focus on the cases $\ka=0$ and $\ka=1$, in which the semigroup associated to the singularity is of (sub)maximal weight. We obtain a partial classification of these curves according to the linear series they support, the scrolls on which th… ▽ More In this article we study rational curves with a unique unibranch genus-$g$ singularity, which is of {\it $\ka$-hyperelliptic} type in the sense of \cite{To}; we focus on the cases $\ka=0$ and $\ka=1$, in which the semigroup associated to the singularity is of (sub)maximal weight. We obtain a partial classification of these curves according to the linear series they support, the scrolls on which they lie, and their gonality. △ Less

Submitted 7 May, 2017; originally announced May 2017.

Comments: An augmented version of the second part of arXiv:1511.08515 focusing on rational curves with singularities of nearly-maximal weight. 23 pages

Dimension counts for singular rational curves via semigroups

Authors: Ethan Cotterill, Lia Feital, Renato Vidal Martins

Abstract: We study singular rational curves in projective space, deducing conditions on their parametrizations from the value semigroups $\sss$ of their singularities. In particular, we prove that a natural heuristic for the codimension of the space of nondegenerate rational curves of arithmetic genus $g>0$ and degree $d$ in $\mb{P}^n$, viewed as a subspace of all degree-$d$ rational curves in $\mb{P}^n$, h… ▽ More We study singular rational curves in projective space, deducing conditions on their parametrizations from the value semigroups $\sss$ of their singularities. In particular, we prove that a natural heuristic for the codimension of the space of nondegenerate rational curves of arithmetic genus $g>0$ and degree $d$ in $\mb{P}^n$, viewed as a subspace of all degree-$d$ rational curves in $\mb{P}^n$, holds whenever $g$ is small. On the other hand, we show that this heuristic fails in general, by exhibiting an infinite family of examples of Severi-type varieties of rational curves containing "excess" components of dimension strictly larger than the space of $g$-nodal rational curves. △ Less

Submitted 25 September, 2019; v1 submitted 26 November, 2015; originally announced November 2015.

Comments: We have replaced what was previously our "(n-2)g conjecture" with an infinite list of interesting counterexamples

MSC Class: 14H20; 14H45; 14H51; 20Mxx

Curves with Canonical Models on Scrolls

Authors: Danielle Lara, Simone Marchesi, Renato Vidal Martins

Abstract: Let $C$ be an integral and projective curve whose canonical model $C'$ lies on a rational normal scroll $S$ of dimension $n$. We mainly study some properties on $C$, such as gonality and the kind of singularities, in the case where $n=2$ and $C$ is non-Gorenstein, and in the case where $n=3$, the scroll $S$ is smooth, and $C'$ is a local complete intersection inside $S$. We also prove that a ratio… ▽ More Let $C$ be an integral and projective curve whose canonical model $C'$ lies on a rational normal scroll $S$ of dimension $n$. We mainly study some properties on $C$, such as gonality and the kind of singularities, in the case where $n=2$ and $C$ is non-Gorenstein, and in the case where $n=3$, the scroll $S$ is smooth, and $C'$ is a local complete intersection inside $S$. We also prove that a rational monomial curve with just one singular point lies on a surface scroll if and only if its gonality is at most $3$, and that it lies on a threefold scroll if and only if its gonality is at most $4$. △ Less

Submitted 26 February, 2015; originally announced February 2015.

MSC Class: Primary 14H20; 14H45; 14H51

Max Noether's Theorem for Integral Curves

Authors: Lia Feital Fusaro Abrantes, André Contiero, Renato Vidal Martins

Abstract: We generalize, for integral curves, a celebrated result of Max Noether on global sections of the n-dualizing sheaf of a smooth nonhyperelliptic curve. This is our main result. We also obtain an embedding of a non-Gorenstein curve in a way that we can express the dimensions of the components of the ideal in terms of the main invariants of the curve. Afterwards we focus on gonality, Clifford index a… ▽ More We generalize, for integral curves, a celebrated result of Max Noether on global sections of the n-dualizing sheaf of a smooth nonhyperelliptic curve. This is our main result. We also obtain an embedding of a non-Gorenstein curve in a way that we can express the dimensions of the components of the ideal in terms of the main invariants of the curve. Afterwards we focus on gonality, Clifford index and Koszul cohomology of non-Gorenstein curves by allowing torsion free sheaves of rank 1 in their definitions. We find an upper bound for the gonality, which agrees with Brill-Noether's one for a rational and unibranch curve. We characterize curves of genus 5 with Clifford index 1, and, finally, we study Green's Conjecture for a certain class of curves, called nearly Gorenstein. △ Less

Submitted 17 March, 2014; originally announced March 2014.

On the Singular Scheme of Split Foliations

Authors: Maurício Corrêa Jr, Marcos Jardim, Renato Vidal Martins

Abstract: We prove that the tangent sheaf of a codimension one locally free distribution splits as a sum of line bundles if and only if its singular scheme is arithmetically Cohen-Macaulay. In addition, we show that a foliation by curves is given by an intersection of generically transversal holomorphic distributions of codimension one if and only if its singular scheme is arithmetically Buchsbaum. Finally,… ▽ More We prove that the tangent sheaf of a codimension one locally free distribution splits as a sum of line bundles if and only if its singular scheme is arithmetically Cohen-Macaulay. In addition, we show that a foliation by curves is given by an intersection of generically transversal holomorphic distributions of codimension one if and only if its singular scheme is arithmetically Buchsbaum. Finally, we establish that these foliations are determined by their singular schemes, and deduce that the Hilbert scheme of certain arithmetically Buchsbaum schemes of codimension $2$ is birational to a Grassmannian. △ Less

Submitted 10 April, 2014; v1 submitted 14 February, 2013; originally announced February 2013.

Comments: 21 pages

MSC Class: 14F05; 32S65; 37F75

Journal ref: Indiana University Mathematics Journal, 64 (2015), 1359--1381

Foliations by Curves with Curves as Singularities

Authors: Maurício Corrêa Jr, Arturo Fernandez Perez, Gilcione Nonato Costa, Renato Vidal Martins

Abstract: Let $\mathcal F$ be a holomorphic one-dimensional foliation on $\mathbb{P}^n$ such that the components of its singular locus $Σ$ are curves $C_i$ and points $p_j$. We determine the number of $p_j$, counted with multiplicities, in terms of invariants of $\mathcal F$ and $C_i$, assuming that $\mathcal F$ is special along the $C_i$. Allowing just one nonzero dimensional component on $Σ$, we also prov… ▽ More Let $\mathcal F$ be a holomorphic one-dimensional foliation on $\mathbb{P}^n$ such that the components of its singular locus $Σ$ are curves $C_i$ and points $p_j$. We determine the number of $p_j$, counted with multiplicities, in terms of invariants of $\mathcal F$ and $C_i$, assuming that $\mathcal F$ is special along the $C_i$. Allowing just one nonzero dimensional component on $Σ$, we also prove results on when the foliation happens to be determined by its singular locus. △ Less

Submitted 25 September, 2012; originally announced September 2012.

Comments: 19 pages

Torsion Free Sheaves on Cuspidal Curves

Authors: Dan Avritzer, Flaviana Andrea Ribeiro, Renato Vidal Martins

Abstract: We study torsion free sheaves on integral projective curves with at most ordinary cusps as singularities. Adjusting Seshadri's structure from the nodal case to this one, we describe these sheaves by means of a triple defined in the normalization of the curve. We study torsion free sheaves on integral projective curves with at most ordinary cusps as singularities. Adjusting Seshadri's structure from the nodal case to this one, we describe these sheaves by means of a triple defined in the normalization of the curve. △ Less

Submitted 23 March, 2012; originally announced March 2012.

ADHM construction of perverse instanton sheaves

Authors: Abdelmoubine Amar Henni, Marcos Jardim, Renato Vidal Martins

Abstract: We present a construction of framed torsion free instanton sheaves on a projective variety containing a fixed line which further generalizes the one on projective spaces. This is done by generalizing the so called ADHM variety. We show that the moduli space of such objects is a quasi projective variety, which is fine in the case of projective spaces. We also give an ADHM categorical description of… ▽ More We present a construction of framed torsion free instanton sheaves on a projective variety containing a fixed line which further generalizes the one on projective spaces. This is done by generalizing the so called ADHM variety. We show that the moduli space of such objects is a quasi projective variety, which is fine in the case of projective spaces. We also give an ADHM categorical description of perverse instanton sheaves in the general case, along with a hypercohomological characterization of these sheaves in the particular case of projective spaces. △ Less

Submitted 26 January, 2012; originally announced January 2012.

Comments: 33 pages

MSC Class: 14J10

Journal ref: Glasgow Math J 57 (2015) 285--321

The ADHM Variety and Perverse Coherent Sheaves

Authors: Marcos Jardim, Renato Vidal Martins

Abstract: We study the full set of solutions to the ADHM equation as an affine algebraic set, the ADHM variety. We gather the points of the ADHM variety into subvarieties according to the dimension of the stabilizing subspace. We compute dimension, and analyze singularity and reducibility of all of these varieties. We also connect representations of the ADHM quiver to coherent perverse sheaves on… ▽ More We study the full set of solutions to the ADHM equation as an affine algebraic set, the ADHM variety. We gather the points of the ADHM variety into subvarieties according to the dimension of the stabilizing subspace. We compute dimension, and analyze singularity and reducibility of all of these varieties. We also connect representations of the ADHM quiver to coherent perverse sheaves on $\mathbb{P}^2$ in the sense of Kashiwara. △ Less

Submitted 5 May, 2010; originally announced May 2010.

Comments: 19 pages.

Journal ref: J. Geom. Phys. 61 (2011), 2219-2232

Generalization of a Max Noether's Theorem

Authors: Renato Vidal Martins

Abstract: Max Noether's Theorem asserts that if $\ww$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve then the natural morphisms $\text{Sym}^nH^0(ω)\to H^0(ω^n)$ are surjective for all $n\geq 1$. This is true for Gorenstein nonhyperelliptic curves as well. We prove this remains true for nearly Gorenstein curves and for all integral nonhyperelliptic curves whose non-Gorenstein poi… ▽ More Max Noether's Theorem asserts that if $\ww$ is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve then the natural morphisms $\text{Sym}^nH^0(ω)\to H^0(ω^n)$ are surjective for all $n\geq 1$. This is true for Gorenstein nonhyperelliptic curves as well. We prove this remains true for nearly Gorenstein curves and for all integral nonhyperelliptic curves whose non-Gorenstein points are unibranch. The results are independent and have different proofs. The first one is extrinsic, the second intrinsic. △ Less

Submitted 17 August, 2009; originally announced August 2009.

MSC Class: 14H20

The Canonical Model of a Singular Curve

Authors: Steven L. Kleiman, Renato V. Martins

Abstract: We give refined statements and modern proofs of Rosenlicht's results about the canonical model C' of an arbitrary complete integral curve C. Notably, we prove that C and C' are birationally equivalent if and only if C is nonhyperelliptic, and that, if C is nonhyperelliptic, then C' is equal to the blowup of C with respect to the canonical sheaf ω. We also prove some new results: we determine jus… ▽ More We give refined statements and modern proofs of Rosenlicht's results about the canonical model C' of an arbitrary complete integral curve C. Notably, we prove that C and C' are birationally equivalent if and only if C is nonhyperelliptic, and that, if C is nonhyperelliptic, then C' is equal to the blowup of C with respect to the canonical sheaf ω. We also prove some new results: we determine just when C' is rational normal, arithmetically normal, projectively normal, and linearly normal. △ Less

Submitted 23 March, 2008; originally announced March 2008.

Comments: 28 pages, no figures, IV Congresso Iberoamericano de Geometria Complexa

MSC Class: 14H20 (Primary); 14H45; 14H51 (Secondary)

Linear and Steiner bundles on projective varieties

Authors: Marcos Jardim, Renato Vidal Martins

Abstract: We use a generalization of Horrocks monads for arithmetic Cohen-Macaulay (ACM) varieties to establish a cohomological characterization of linear and Steiner bundles over projective spaces and quadric hypersurfaces. We also study resolutions of bundles on ACM varieties by line bundles, and characterize linear homological dimension in the case of quadric hypersurfaces. We use a generalization of Horrocks monads for arithmetic Cohen-Macaulay (ACM) varieties to establish a cohomological characterization of linear and Steiner bundles over projective spaces and quadric hypersurfaces. We also study resolutions of bundles on ACM varieties by line bundles, and characterize linear homological dimension in the case of quadric hypersurfaces. △ Less

Submitted 2 February, 2007; originally announced February 2007.