Showing 1–14 of 14 results for author: Alfaya, D

Parabolic vector bundles and Lie algebroid connections

Authors: David Alfaya, Indranil Biswas, Pradip Kumar, Anoop Singh

Abstract: Given a holomorphic Lie algebroid on an m-pointed Riemann surface, we define parabolic Lie algebroid connections on any parabolic vector bundle equipped with parabolic structure over the marked points. An analogue of the Atiyah exact sequence for parabolic Lie algebroids is constructed. For any Lie algebroid whose underlying holomorphic vector bundle is stable, we give a complete characterization… ▽ More Given a holomorphic Lie algebroid on an m-pointed Riemann surface, we define parabolic Lie algebroid connections on any parabolic vector bundle equipped with parabolic structure over the marked points. An analogue of the Atiyah exact sequence for parabolic Lie algebroids is constructed. For any Lie algebroid whose underlying holomorphic vector bundle is stable, we give a complete characterization of all the parabolic vector bundles that admit a parabolic Lie algebroid connection. △ Less

Submitted 22 June, 2024; originally announced June 2024.

Comments: 23 pages

MSC Class: 14H60 (Primary) 53B15; 70G45 (Secondary)

A Mathematical Certification for Positivity Conditions in Neural Networks with Applications to Partial Monotonicity and Ethical AI

Authors: Alejandro Polo-Molina, David Alfaya, Jose Portela

Abstract: Artificial Neural Networks (ANNs) have become a powerful tool for modeling complex relationships in large-scale datasets. However, their black-box nature poses ethical challenges. In certain situations, ensuring ethical predictions might require following specific partial monotonic constraints. However, certifying if an already-trained ANN is partially monotonic is challenging. Therefore, ANNs are… ▽ More Artificial Neural Networks (ANNs) have become a powerful tool for modeling complex relationships in large-scale datasets. However, their black-box nature poses ethical challenges. In certain situations, ensuring ethical predictions might require following specific partial monotonic constraints. However, certifying if an already-trained ANN is partially monotonic is challenging. Therefore, ANNs are often disregarded in some critical applications, such as credit scoring, where partial monotonicity is required. To address this challenge, this paper presents a novel algorithm (LipVor) that certifies if a black-box model, such as an ANN, is positive based on a finite number of evaluations. Therefore, as partial monotonicity can be stated as a positivity condition of the partial derivatives, the LipVor Algorithm can certify whether an already trained ANN is partially monotonic. To do so, for every positively evaluated point, the Lipschitzianity of the black-box model is used to construct a specific neighborhood where the function remains positive. Next, based on the Voronoi diagram of the evaluated points, a sufficient condition is stated to certify if the function is positive in the domain. Compared to prior methods, our approach is able to mathematically certify if an ANN is partially monotonic without needing constrained ANN's architectures or piece-wise linear activation functions. Therefore, LipVor could open up the possibility of using unconstrained ANN in some critical fields. Moreover, some other properties of an ANN, such as convexity, can be posed as positivity conditions, and therefore, LipVor could also be applied. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 15 pages, 5 figures

MSC Class: 68T07; 26A48; 26B30

Markoff-Fibonacci m-triples

Authors: D. Alfaya, L. A. Calvo, A. Martínez de Guinea, J. Rodrigo, A. Srinivasan

Abstract: We classify all solution triples with Fibonacci components to the equation $a^2+b^2+c^2=3abc+m,$ for positive $m$. We show that for $m=2$ they are precisely $(1,F(b),F(b+2))$, with even $b$; for $m=21$, there exist exactly two Fibonacci solutions $(1,2,8)$ and $(2,2,13)$ and for any other $m$ there exists at most one Fibonacci solution, which, in case it exists, is always minimal (i.e. it is a roo… ▽ More We classify all solution triples with Fibonacci components to the equation $a^2+b^2+c^2=3abc+m,$ for positive $m$. We show that for $m=2$ they are precisely $(1,F(b),F(b+2))$, with even $b$; for $m=21$, there exist exactly two Fibonacci solutions $(1,2,8)$ and $(2,2,13)$ and for any other $m$ there exists at most one Fibonacci solution, which, in case it exists, is always minimal (i.e. it is a root of a Markoff tree). Moreover, we show that there is an infinite number of values of $m$ admitting exactly one such solution. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Torelli theorem for the moduli stack of vector bundles with fixed determinant

Authors: David Alfaya, Indranil Biswas, Tomás L. Gómez, Swarnava Mukhopadhyay

Abstract: Given any irreducible smooth complex projective curve X, of genus at least two, consider the moduli stack of vector bundles on X of fixed rank and determinant. It is proved that the isomorphism class of the stack uniquely determines the isomorphism class of the curve X and the rank of the vector bundles. Given any irreducible smooth complex projective curve X, of genus at least two, consider the moduli stack of vector bundles on X of fixed rank and determinant. It is proved that the isomorphism class of the stack uniquely determines the isomorphism class of the curve X and the rank of the vector bundles. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: 16 pages

MSC Class: 14C34 (Primary) 14H60; 14D23 (Secondary)

Metric Tools for Sensitivity Analysis with Applications to Neural Networks

Authors: Jaime Pizarroso, David Alfaya, José Portela, Antonio Muñoz

Abstract: As Machine Learning models are considered for autonomous decisions with significant social impact, the need for understanding how these models work rises rapidly. Explainable Artificial Intelligence (XAI) aims to provide interpretations for predictions made by Machine Learning models, in order to make the model trustworthy and more transparent for the user. For example, selecting relevant input va… ▽ More As Machine Learning models are considered for autonomous decisions with significant social impact, the need for understanding how these models work rises rapidly. Explainable Artificial Intelligence (XAI) aims to provide interpretations for predictions made by Machine Learning models, in order to make the model trustworthy and more transparent for the user. For example, selecting relevant input variables for the problem directly impacts the model's ability to learn and make accurate predictions, so obtaining information about input importance play a crucial role when training the model. One of the main XAI techniques to obtain input variable importance is the sensitivity analysis based on partial derivatives. However, existing literature of this method provide no justification of the aggregation metrics used to retrieved information from the partial derivatives. In this paper, a theoretical framework is proposed to study sensitivities of ML models using metric techniques. From this metric interpretation, a complete family of new quantitative metrics called $α$-curves is extracted. These $α$-curves provide information with greater depth on the importance of the input variables for a machine learning model than existing XAI methods in the literature. We demonstrate the effectiveness of the $α$-curves using synthetic and real datasets, comparing the results against other XAI methods for variable importance and validating the analysis results with the ground truth or literature information. △ Less

Submitted 3 May, 2023; originally announced May 2023.

Comments: 15 pages

Hitchin map for the moduli space of $Λ$-modules in positive characteristic

Authors: David Alfaya, Christian Pauly

Abstract: Building on Simpson's original definition over the complex numbers, we introduce the notion of restricted sheaf $Λ$ of rings of differential operators on a variety defined over a field of positive characteristic. We define the notion of $p$-curvature for $Λ$-modules and the analogue of the Hitchin map on the moduli space of $Λ$-modules. We show that under certain conditions this Hitchin map descen… ▽ More Building on Simpson's original definition over the complex numbers, we introduce the notion of restricted sheaf $Λ$ of rings of differential operators on a variety defined over a field of positive characteristic. We define the notion of $p$-curvature for $Λ$-modules and the analogue of the Hitchin map on the moduli space of $Λ$-modules. We show that under certain conditions this Hitchin map descends under the Frobenius map of the underlying variety and we give examples. △ Less

Submitted 4 March, 2023; originally announced March 2023.

Comments: 25 pages

MSC Class: 14D20; 14G17

Journal ref: Journal of Algebra 634 (2023) 306-335

Pullback and direct image of parabolic connections and parabolic Higgs bundles

Authors: David Alfaya, Indranil Biswas

Abstract: We provide an explicit algebraic construction for the pullback and direct image of parabolic bundles, parabolic Higgs bundles and parabolic connections through maps between Riemann surfaces. We show that these constructions preserve semistability and polystability, and we prove that they are compatible with the nonabelian Hodge correspondence. We provide an explicit algebraic construction for the pullback and direct image of parabolic bundles, parabolic Higgs bundles and parabolic connections through maps between Riemann surfaces. We show that these constructions preserve semistability and polystability, and we prove that they are compatible with the nonabelian Hodge correspondence. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 28 pages

MSC Class: 14H30 (Primary) 14H60; 14E20 (Secondary)

Journal ref: International Mathematics Research Notices 2023 (2023) 19546-19591

Simplification of $λ$-ring expressions in the Grothendieck ring of Chow motives

Authors: David Alfaya

Abstract: The Grothendieck ring of Chow motives admits two natural opposite $λ$-ring structures, one of which is a special structure allowing the definition of Adams operations on the ring. In this work I present algorithms which allow an effective simplification of expressions that involve both $λ$-ring structures, as well as Adams operations. In particular, these algorithms allow the symbolic simplificati… ▽ More The Grothendieck ring of Chow motives admits two natural opposite $λ$-ring structures, one of which is a special structure allowing the definition of Adams operations on the ring. In this work I present algorithms which allow an effective simplification of expressions that involve both $λ$-ring structures, as well as Adams operations. In particular, these algorithms allow the symbolic simplification of algebraic expressions in the sub-$λ$-ring of motives generated by a finite set of curves into polynomial expressions in a small set of motivic generators. As a consequence, the explicit computation of motives of some moduli spaces is performed, allowing the computational verification of some conjectural formulas for these spaces. △ Less

Submitted 31 October, 2021; originally announced November 2021.

Comments: 21 pages

MSC Class: 13D15 (Primary) 68W30; 19E08; 14C35; 14D20; 14H60 (Secondary)

Journal ref: Applicable Algebra in Engineering, Communication and Computing (2022)

Automorphism group of the moduli space of parabolic vector bundles with fixed degree

Authors: David Alfaya

Abstract: We find all possible isomorphisms and 3-birational maps (i.e., birational maps which induce an isomorphism between open subsets whose respective complements have codimension at least 3) between moduli spaces of parabolic vector bundles with fixed degree. We prove that every 3-birational map can be described as a composition of tensorization by a fixed line bundle, Hecke transformations, dualizatio… ▽ More We find all possible isomorphisms and 3-birational maps (i.e., birational maps which induce an isomorphism between open subsets whose respective complements have codimension at least 3) between moduli spaces of parabolic vector bundles with fixed degree. We prove that every 3-birational map can be described as a composition of tensorization by a fixed line bundle, Hecke transformations, dualization, taking pullback by an isomorphism between the curves and the action of the group of automorphisms of the Jacobian variety of the curve which fix the r-torsion. In particular, we prove a Torelli type theorem, stating that the 3-birational class of the moduli space determines the isomorphism class of the curve. △ Less

Submitted 21 August, 2021; originally announced August 2021.

Comments: 20 pages

MSC Class: 14C34 (Primary) 14D20; 14E07; 14E05; 14H60 (Secondary)

Journal ref: Bulletin des Sciences Mathématiques 175 (2022) 103112

Lie algebroid connections, twisted Higgs bundles and motives of moduli spaces

Authors: David Alfaya, André Oliveira

Abstract: Let $\mathcal{L}=(L,[\cdot\,,\cdot],δ)$ be an algebraic Lie algebroid over a smooth projective curve $X$ of genus $g\geq 2$ such that $L$ is a line bundle whose degree is less than $2-2g$. Let $r$ and $d$ be coprime numbers. We prove that the motivic class of the moduli space of $\mathcal{L}$-connections of rank $r$ and degree $d$ over $X$ does not depend on the Lie algebroid structure… ▽ More Let $\mathcal{L}=(L,[\cdot\,,\cdot],δ)$ be an algebraic Lie algebroid over a smooth projective curve $X$ of genus $g\geq 2$ such that $L$ is a line bundle whose degree is less than $2-2g$. Let $r$ and $d$ be coprime numbers. We prove that the motivic class of the moduli space of $\mathcal{L}$-connections of rank $r$ and degree $d$ over $X$ does not depend on the Lie algebroid structure $[\cdot\,,\cdot]$ and $δ$ of $\mathcal{L}$ and neither on the line bundle $L$ itself, but only on the degree of $L$ (and of course on $r$, $d$ and $X$). In particular it is equal to the motivic class of the moduli space of $K_X(D)$-twisted Higgs bundles of rank $r$ and degree $d$, for $D$ any effective divisor with the appropriate degree. As a consequence, similar results (actually slightly stronger) are obtained for the corresponding $E$-polynomials. Some applications of these results are then deduced. △ Less

Submitted 4 April, 2024; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: 67 pages, 1 figure

Journal ref: Journal of Geometry and Physics 201 (2024) 105195

Automorphism group of the moduli space of parabolic bundles over a curve

Authors: David Alfaya, Tomas L. Gomez

Abstract: We find the automorphism group of the moduli space of parabolic bundles on a smooth curve (with fixed determinant and system of weights). This group is generated by: automorphisms of the marked curve, tensoring with a line bundle, taking the dual, and Hecke transforms (using the filtrations given by the parabolic structure). A Torelli theorem for parabolic bundles with arbitrary rank and generic w… ▽ More We find the automorphism group of the moduli space of parabolic bundles on a smooth curve (with fixed determinant and system of weights). This group is generated by: automorphisms of the marked curve, tensoring with a line bundle, taking the dual, and Hecke transforms (using the filtrations given by the parabolic structure). A Torelli theorem for parabolic bundles with arbitrary rank and generic weights is also obtained. These results are extended to the classification of birational equivalences which are defined over "big" open subsets (3-birational maps, i.e. birational maps giving an isomorphism between open subsets with complement of codimension at least 3). Finally, an analysis of the stability chambers for the parabolic weights is performed in order to determine precisely when two moduli spaces of parabolic vector bundles with different parameters (curve, rank, determinant and weights) can be isomorphic. △ Less

Submitted 21 August, 2021; v1 submitted 29 May, 2019; originally announced May 2019.

Comments: 101 pages; some typos have been corrected

MSC Class: 2010 MSC: 14D20; 14C34; 14E05; 14E07; 14H60

Journal ref: Advances in Mathematics 393 (2021) 108070

Automorphism group of a moduli space of framed bundles over a curve

Authors: David Alfaya, Indranil Biswas

Abstract: Let $X$ be a smooth complex projective curve, and let $x\in X$ be a point. We compute the automorphism group of the moduli space of framed vector bundles on $X$ of rank $r \geq 2$ with a framing over $x$. It is shown that this automorphism group is generated by the following three: (1) pullbacks using automorphisms of the curve $X$ that fix the marked point $x$, (2) tensorization with certain line… ▽ More Let $X$ be a smooth complex projective curve, and let $x\in X$ be a point. We compute the automorphism group of the moduli space of framed vector bundles on $X$ of rank $r \geq 2$ with a framing over $x$. It is shown that this automorphism group is generated by the following three: (1) pullbacks using automorphisms of the curve $X$ that fix the marked point $x$, (2) tensorization with certain line bundles over $X$ and (3) the action of $\operatorname{PGL}_r(\mathbb{C})$ through composition with the framing. △ Less

Submitted 19 May, 2020; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: 33 pages

MSC Class: 14D20 (Primary); 14C34 (Secondary)

Journal ref: Geometriae Dedicata 211 (2021) 71-104

Moduli space of parabolic $Λ$-modules over a curve

Authors: David Alfaya

Abstract: Simpson, in 1994, introduced the notion of $Λ$-modules and constructed the corresponding moduli space, where $Λ$ is a sheaf of rings of differential operators. Higgs bundles, connections and $λ$-connections (as defined by Delgine) are particular cases of $Λ$-modules. In this article the concept of parabolic $Λ$-modules over a curve is introduced and their moduli space is built. As an application,… ▽ More Simpson, in 1994, introduced the notion of $Λ$-modules and constructed the corresponding moduli space, where $Λ$ is a sheaf of rings of differential operators. Higgs bundles, connections and $λ$-connections (as defined by Delgine) are particular cases of $Λ$-modules. In this article the concept of parabolic $Λ$-modules over a curve is introduced and their moduli space is built. As an application, we construct the parabolic Hodge moduli space parameterizing parabolic $λ$-connections. △ Less

Submitted 5 October, 2017; originally announced October 2017.

MSC Class: 14D20 (Primary) 14D22 (Secondary)

Torelli theorem for the parabolic Deligne-Hitchin moduli space

Authors: David Alfaya, Tomas L. Gomez

Abstract: We prove that, given the isomorphism class of the parabolic Deligne-Hitchin moduli space over a smooth projective curve, we can recover the isomorphism class of the curve and the parabolic points. We prove that, given the isomorphism class of the parabolic Deligne-Hitchin moduli space over a smooth projective curve, we can recover the isomorphism class of the curve and the parabolic points. △ Less

Submitted 14 July, 2016; originally announced July 2016.

Comments: 20 pages

MSC Class: 14D20; 14C34

Journal ref: Journal of Geometry and Physics 123 (2018) 448-462