-
AL-GTD: Deep Active Learning for Gaze Target Detection
Authors:
Francesco Tonini,
Nicola Dall'Asen,
Lorenzo Vaquero,
Cigdem Beyan,
Elisa Ricci
Abstract:
Gaze target detection aims at determining the image location where a person is looking. While existing studies have made significant progress in this area by regressing accurate gaze heatmaps, these achievements have largely relied on access to extensive labeled datasets, which demands substantial human labor. In this paper, our goal is to reduce the reliance on the size of labeled training data f…
▽ More
Gaze target detection aims at determining the image location where a person is looking. While existing studies have made significant progress in this area by regressing accurate gaze heatmaps, these achievements have largely relied on access to extensive labeled datasets, which demands substantial human labor. In this paper, our goal is to reduce the reliance on the size of labeled training data for gaze target detection. To achieve this, we propose AL-GTD, an innovative approach that integrates supervised and self-supervised losses within a novel sample acquisition function to perform active learning (AL). Additionally, it utilizes pseudo-labeling to mitigate distribution shifts during the training phase. AL-GTD achieves the best of all AUC results by utilizing only 40-50% of the training data, in contrast to state-of-the-art (SOTA) gaze target detectors requiring the entire training dataset to achieve the same performance. Importantly, AL-GTD quickly reaches satisfactory performance with 10-20% of the training data, showing the effectiveness of our acquisition function, which is able to acquire the most informative samples. We provide a comprehensive experimental analysis by adapting several AL methods for the task. AL-GTD outperforms AL competitors, simultaneously exhibiting superior performance compared to SOTA gaze target detectors when all are trained within a low-data regime. Code is available at https://github.com/francescotonini/al-gtd.
△ Less
Submitted 27 September, 2024;
originally announced September 2024.
-
Socially Pertinent Robots in Gerontological Healthcare
Authors:
Xavier Alameda-Pineda,
Angus Addlesee,
Daniel Hernández García,
Chris Reinke,
Soraya Arias,
Federica Arrigoni,
Alex Auternaud,
Lauriane Blavette,
Cigdem Beyan,
Luis Gomez Camara,
Ohad Cohen,
Alessandro Conti,
Sébastien Dacunha,
Christian Dondrup,
Yoav Ellinson,
Francesco Ferro,
Sharon Gannot,
Florian Gras,
Nancie Gunson,
Radu Horaud,
Moreno D'Incà,
Imad Kimouche,
Séverin Lemaignan,
Oliver Lemon,
Cyril Liotard
, et al. (19 additional authors not shown)
Abstract:
Despite the many recent achievements in developing and deploying social robotics, there are still many underexplored environments and applications for which systematic evaluation of such systems by end-users is necessary. While several robotic platforms have been used in gerontological healthcare, the question of whether or not a social interactive robot with multi-modal conversational capabilitie…
▽ More
Despite the many recent achievements in developing and deploying social robotics, there are still many underexplored environments and applications for which systematic evaluation of such systems by end-users is necessary. While several robotic platforms have been used in gerontological healthcare, the question of whether or not a social interactive robot with multi-modal conversational capabilities will be useful and accepted in real-life facilities is yet to be answered. This paper is an attempt to partially answer this question, via two waves of experiments with patients and companions in a day-care gerontological facility in Paris with a full-sized humanoid robot endowed with social and conversational interaction capabilities. The software architecture, developed during the H2020 SPRING project, together with the experimental protocol, allowed us to evaluate the acceptability (AES) and usability (SUS) with more than 60 end-users. Overall, the users are receptive to this technology, especially when the robot perception and action skills are robust to environmental clutter and flexible to handle a plethora of different interactions.
△ Less
Submitted 11 February, 2025; v1 submitted 11 April, 2024;
originally announced April 2024.
-
Object-aware Gaze Target Detection
Authors:
Francesco Tonini,
Nicola Dall'Asen,
Cigdem Beyan,
Elisa Ricci
Abstract:
Gaze target detection aims to predict the image location where the person is looking and the probability that a gaze is out of the scene. Several works have tackled this task by regressing a gaze heatmap centered on the gaze location, however, they overlooked decoding the relationship between the people and the gazed objects. This paper proposes a Transformer-based architecture that automatically…
▽ More
Gaze target detection aims to predict the image location where the person is looking and the probability that a gaze is out of the scene. Several works have tackled this task by regressing a gaze heatmap centered on the gaze location, however, they overlooked decoding the relationship between the people and the gazed objects. This paper proposes a Transformer-based architecture that automatically detects objects (including heads) in the scene to build associations between every head and the gazed-head/object, resulting in a comprehensive, explainable gaze analysis composed of: gaze target area, gaze pixel point, the class and the image location of the gazed-object. Upon evaluation of the in-the-wild benchmarks, our method achieves state-of-the-art results on all metrics (up to 2.91% gain in AUC, 50% reduction in gaze distance, and 9% gain in out-of-frame average precision) for gaze target detection and 11-13% improvement in average precision for the classification and the localization of the gazed-objects. The code of the proposed method is publicly available.
△ Less
Submitted 27 September, 2023; v1 submitted 18 July, 2023;
originally announced July 2023.
-
Multimodal Across Domains Gaze Target Detection
Authors:
Francesco Tonini,
Cigdem Beyan,
Elisa Ricci
Abstract:
This paper addresses the gaze target detection problem in single images captured from the third-person perspective. We present a multimodal deep architecture to infer where a person in a scene is looking. This spatial model is trained on the head images of the person-of- interest, scene and depth maps representing rich context information. Our model, unlike several prior art, do not require superv…
▽ More
This paper addresses the gaze target detection problem in single images captured from the third-person perspective. We present a multimodal deep architecture to infer where a person in a scene is looking. This spatial model is trained on the head images of the person-of- interest, scene and depth maps representing rich context information. Our model, unlike several prior art, do not require supervision of the gaze angles, do not rely on head orientation information and/or location of the eyes of person-of-interest. Extensive experiments demonstrate the stronger performance of our method on multiple benchmark datasets. We also investigated several variations of our method by altering joint-learning of multimodal data. Some variations outperform a few prior art as well. First time in this paper, we inspect domain adaption for gaze target detection, and we empower our multimodal network to effectively handle the domain gap across datasets. The code of the proposed method is available at https://github.com/francescotonini/multimodal-across-domains-gaze-target-detection.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Evolving 5G: ANIARA, an Edge-Cloud perspective
Authors:
Ian Marsh,
Wolfgang John,
Ali Balador,
Federico Tonini,
Jalil Taghia,
Andreas Johnsson,
Paolo Monti,
Jonas Gustafsson,
Pontus Sköldström,
Johan Sjöberg,
Jim Dowling
Abstract:
Emerging use-cases like smart manufacturing and smart cities pose challenges in terms of latency, which cannot be satisfied by traditional centralized networks. Edge networks, which bring computational capacity closer to the users/clients, are a promising solution for supporting these critical low latency services. Different from traditional centralized networks, the edge is distributed by nature…
▽ More
Emerging use-cases like smart manufacturing and smart cities pose challenges in terms of latency, which cannot be satisfied by traditional centralized networks. Edge networks, which bring computational capacity closer to the users/clients, are a promising solution for supporting these critical low latency services. Different from traditional centralized networks, the edge is distributed by nature and is usually equipped with limited connectivity and compute capacity. This creates a complex network to handle, subject to failures of different natures, that requires novel solutions to work in practice. To reduce complexity, more lightweight solutions are needed for containerization as well as smart monitoring strategies with reduced overhead. Orchestration strategies should provide reliable resource slicing with limited resources, and intelligent scaling while preserving data privacy in a distributed fashion. Power management is also critical, as providing and managing a large amount of power at the edge is unprecedented.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
Stack of $S_{3}$-covers
Authors:
Fabio Tonini
Abstract:
The aim of this paper is to study the geometry of the stack of $S_{3}$-covers. We show that it has two irreducible components $\mathcal{Z}_{S_{3}}$ and $\mathcal{Z}_{2}$ meeting in a "degenerate" point $\{0\}$, $\mathcal{Z}_{2}-\{0\}\simeq \rm B\rm{GL}_{2}$, while $(\mathcal{Z}_{S_{3}}-\{0\})$, which contains $\rm B S_{3}$ as open substack, is a smooth and universally closed algebraic stack. More…
▽ More
The aim of this paper is to study the geometry of the stack of $S_{3}$-covers. We show that it has two irreducible components $\mathcal{Z}_{S_{3}}$ and $\mathcal{Z}_{2}$ meeting in a "degenerate" point $\{0\}$, $\mathcal{Z}_{2}-\{0\}\simeq \rm B\rm{GL}_{2}$, while $(\mathcal{Z}_{S_{3}}-\{0\})$, which contains $\rm B S_{3}$ as open substack, is a smooth and universally closed algebraic stack. More precisely we show that $\mathcal{Z}_{S_{3}}-\{0\}\simeq[X/\rm{GL}_{2}]$, where $X$ is an explicit smooth non degenerate projective surface inside $\mathbb{P}^{7}$ intersection of five quadrics. All these results are based on the description of certain families of $S_{3}$-covers in terms of "building data".
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Drinfeld-Lau Descent over Fibered Categories
Authors:
Valentina Di Proietto,
Fabio Tonini,
Lei Zhang
Abstract:
Let ${\mathcal X}$ be a category fibered in groupoids over a finite field $\mathbb{F}_q$, and let $k$ be an algebraically closed field containing $\mathbb{F}_q$. Denote by $φ_k\colon {\mathcal X}_k\to {\mathcal X}_k$ the arithmetic Frobenius of ${\mathcal X}_k/k$ and suppose that ${\mathcal M}$ is a stack over $\mathbb{F}_q$ (not necessarily in groupoids). Then there is a natural functor…
▽ More
Let ${\mathcal X}$ be a category fibered in groupoids over a finite field $\mathbb{F}_q$, and let $k$ be an algebraically closed field containing $\mathbb{F}_q$. Denote by $φ_k\colon {\mathcal X}_k\to {\mathcal X}_k$ the arithmetic Frobenius of ${\mathcal X}_k/k$ and suppose that ${\mathcal M}$ is a stack over $\mathbb{F}_q$ (not necessarily in groupoids). Then there is a natural functor $α_{{\mathcal M},{\mathcal X}}\colon{\mathcal M}({\mathcal X})\to{\mathcal M}({\mathbf D_k}({\mathcal X}))$, where ${\mathcal M}({\mathbf D_k}({\mathcal X}))$ is the category of $φ_k$-invariant maps ${\mathcal X}_k\to {\mathcal M}$. A version of Drinfeld's lemma states that if ${\mathcal X}$ is a projective scheme and ${\mathcal M}$ is the stack of quasi-coherent sheaves of finite presentation, then $α_{{\mathcal M},{\mathcal X}}$ is an equivalence.
We extend this result in several directions. For proper algebraic stacks or affine gerbes ${\mathcal X}$, we prove Drinfeld's lemma and deduce that $α_{{\mathcal M},{\mathcal X}}$ is an equivalence for very general algebraic stacks ${\mathcal M}$.
For arbitrary ${\mathcal X}$, we show that $α_{{\mathcal M},{\mathcal X}}$ is an equivalence when ${\mathcal M}$ is the stack of immersions, the stack of quasi-compact separated étale morphisms or any quasi-separated Deligne-Mumford stack with separated diagonal.
△ Less
Submitted 29 July, 2024; v1 submitted 27 December, 2020;
originally announced December 2020.
-
Stacks of fiber functors and Tannaka's reconstruction
Authors:
Fabio Tonini
Abstract:
Given a quasi-compact category fibered in groupoids $\mathcal{X}$ and a monoidal subcategory $\mathcal{C}$ of its category of locally free sheaves $\text{Vect}(\mathcal{X})$, we are going to introduce the stack of fiber functors $\text{Fib}_{\mathcal{X},\mathcal{C}}$ with source $\mathcal{C}$, which comes equipped with a map…
▽ More
Given a quasi-compact category fibered in groupoids $\mathcal{X}$ and a monoidal subcategory $\mathcal{C}$ of its category of locally free sheaves $\text{Vect}(\mathcal{X})$, we are going to introduce the stack of fiber functors $\text{Fib}_{\mathcal{X},\mathcal{C}}$ with source $\mathcal{C}$, which comes equipped with a map $\mathcal{P}_{\mathcal{C}}\colon\mathcal{X}\to\text{Fib}_{\mathcal{X},\mathcal{C}}$ and a functor $\mathcal{G}\colon\mathcal{C}\to\text{Vect}(\text{Fib}_{\mathcal{X},\mathcal{C}})$.
If $\mathcal{C}$ generates $\text{QCoh}(\mathcal{X})$ and $\mathcal{X}$ is an fpqc stack with quasi-affine diagonal, we show that $\mathcal{P}_{\mathcal{C}}\colon\mathcal{X}\to\text{Fib}_{\mathcal{X},\mathcal{C}}$ is an equivalence, as it happens by Tannaka's reconstruction when $\mathcal{X}$ is an affine gerbe over a field. In general, under mild assumption on $\mathcal{C}$, e.g. $\mathcal{C}=\text{Vect}(\mathcal{X})$, we show that $\text{Fib}_{\mathcal{X},\mathcal{C}}$ is a quasi-compact fpqc stack with affine diagonal and that the image $\mathcal{G}(\mathcal{C})$ generates $\text{QCoh}(\text{Fib}_{\mathcal{X},\mathcal{C}})$.
△ Less
Submitted 22 October, 2020;
originally announced October 2020.
-
Cox rings of algebraic stacks
Authors:
Andreas Hochenegger,
Elena Martinengo,
Fabio Tonini
Abstract:
We give a proper definition of the multiplicative structure of the following rings: the Cox ring of invertible sheaves on a general algebraic stack; and the Cox ring of rank one reflexive sheaves on a normal and excellent algebraic stack. We show that such Cox rings always exist and establish their (non-)uniqueness in terms of an Ext-group. Moreover, we compare our definition with the classical co…
▽ More
We give a proper definition of the multiplicative structure of the following rings: the Cox ring of invertible sheaves on a general algebraic stack; and the Cox ring of rank one reflexive sheaves on a normal and excellent algebraic stack. We show that such Cox rings always exist and establish their (non-)uniqueness in terms of an Ext-group. Moreover, we compare our definition with the classical construction of a Cox ring on a variety. Finally, we give an application to the theory of Mori dream stacks.
△ Less
Submitted 2 January, 2024; v1 submitted 3 April, 2020;
originally announced April 2020.
-
A generalized Abhyankar's conjecture for simple Lie algebras in characteristic $p>5$
Authors:
Shusuke Otabe,
Fabio Tonini,
Lei Zhang
Abstract:
In the present paper, we study a purely inseparable counterpart of Abhyankar's conjecture for the affine line in positive characteristic, and prove its validity for all the finite local non-abelian simple group schemes in characteristic $p>5$. The crucial point is how to deal with finite local group schemes which cannot be realized as the Frobenius kernel of a smooth algebraic group. Such group sc…
▽ More
In the present paper, we study a purely inseparable counterpart of Abhyankar's conjecture for the affine line in positive characteristic, and prove its validity for all the finite local non-abelian simple group schemes in characteristic $p>5$. The crucial point is how to deal with finite local group schemes which cannot be realized as the Frobenius kernel of a smooth algebraic group. Such group schemes appear as the ones associated with Cartan type Lie algebras. We settle the problem for such Lie algebras by making use of natural gradations or filtrations on them.
△ Less
Submitted 10 July, 2021; v1 submitted 6 March, 2020;
originally announced March 2020.
-
Moduli of formal torsors II
Authors:
Fabio Tonini,
Takehiko Yasuda
Abstract:
Applying the authors' preceding work, we construct a version of the moduli space of $G$-torsors over the formal punctured disk for a finite group $G$. To do so, we introduce two Grothendieck topologies, the sur (surjective) and luin (locally universally injective) topologies, and define P-schemes using them as variants of schemes. Our moduli space is defined as a P-scheme approximating the relevan…
▽ More
Applying the authors' preceding work, we construct a version of the moduli space of $G$-torsors over the formal punctured disk for a finite group $G$. To do so, we introduce two Grothendieck topologies, the sur (surjective) and luin (locally universally injective) topologies, and define P-schemes using them as variants of schemes. Our moduli space is defined as a P-scheme approximating the relevant moduli functor. We then prove that Fröhlich's module resolvent gives a locally constructible function on this moduli space, which implies that motivic integrals appearing the wild McKay correspondence are well-defined.
△ Less
Submitted 28 June, 2021; v1 submitted 19 September, 2019;
originally announced September 2019.
-
A crystalline incarnation of Berthelot's conjecture and Künneth formula for isocrystals
Authors:
Valentina Di Proietto,
Fabio Tonini,
Lei Zhang
Abstract:
Berthelot's conjecture predicts that under a proper and smooth morphism of schemes in characteristic $p$, the higher direct images of an overconvergent $F$-isocrystal are overconvergent $F$-isocrystals. In this paper we prove that this is true for crystals up to isogeny. As an application we prove a Künneth formula for the crystalline fundamental group.
Berthelot's conjecture predicts that under a proper and smooth morphism of schemes in characteristic $p$, the higher direct images of an overconvergent $F$-isocrystal are overconvergent $F$-isocrystals. In this paper we prove that this is true for crystals up to isogeny. As an application we prove a Künneth formula for the crystalline fundamental group.
△ Less
Submitted 11 July, 2021; v1 submitted 12 December, 2018;
originally announced December 2018.
-
Notes on the motivic McKay correspondence for the group scheme $α_{p}$
Authors:
Fabio Tonini,
Takehiko Yasuda
Abstract:
We formulate a conjecture on the motivic McKay correspondence for the group scheme $ α_{p}$ in characteristic $p>0$ and give a few evidences. The conjecture especially claims that there would be a close relation between quotient varieties by $α_{p}$ and ones by the cyclic group of order $p$.
We formulate a conjecture on the motivic McKay correspondence for the group scheme $ α_{p}$ in characteristic $p>0$ and give a few evidences. The conjecture especially claims that there would be a close relation between quotient varieties by $α_{p}$ and ones by the cyclic group of order $p$.
△ Less
Submitted 26 March, 2018;
originally announced March 2018.
-
The arithmetic local Nori fundamental group
Authors:
M. Romagny,
F. Tonini,
L. Zhang
Abstract:
In this paper we introduce the local Nori fundamental group scheme of a reduced scheme or algebraic stack over a perfect field $k$. We give particular attention to the case of fields: to any field extension $K/k$ we attach a pro-local group scheme over $k$. We show how this group has many analogies, but also some crucial differences, with the absolute Galois group. We propose two conjectures, anal…
▽ More
In this paper we introduce the local Nori fundamental group scheme of a reduced scheme or algebraic stack over a perfect field $k$. We give particular attention to the case of fields: to any field extension $K/k$ we attach a pro-local group scheme over $k$. We show how this group has many analogies, but also some crucial differences, with the absolute Galois group. We propose two conjectures, analogous to the classical Neukirch-Uchida Theorem and Abhyankar Conjecture, providing some evidence in their favor. Finally we show that the local fundamental group of a normal variety is a quotient of the local fundamental group of an open, of its generic point (as it happens for the étale fundamental group) and even of any smooth neighborhood.
△ Less
Submitted 22 June, 2021; v1 submitted 18 November, 2017;
originally announced November 2017.
-
Moduli of formal torsors
Authors:
Fabio Tonini,
Takehiko Yasuda
Abstract:
We construct the moduli stack of torsors over the formal punctured disk in characteristic p > 0 for a finite group isomorphic to the semidirect product of a p-group and a tame cyclic group. We prove that the stack is a limit of separated Deligne-Mumford stacks with finite and universally injective transition maps.
We construct the moduli stack of torsors over the formal punctured disk in characteristic p > 0 for a finite group isomorphic to the semidirect product of a p-group and a tame cyclic group. We prove that the stack is a limit of separated Deligne-Mumford stacks with finite and universally injective transition maps.
△ Less
Submitted 30 April, 2020; v1 submitted 6 September, 2017;
originally announced September 2017.
-
Nori fundamental gerbe of essentially finite covers and Galois closure of towers of torsors
Authors:
M. Antei,
I. Biswas,
M. Emsalem,
F. Tonini,
L. Zhang
Abstract:
We prove the existence of a Galois closure for towers of torsors under finite group schemes over a proper, geometrically connected and geometrically reduced algebraic stack $X$ over a field $k$. This is done by describing the Nori fundamental gerbe of an essentially finite cover of $X$. A similar result is also obtained for the $S$-fundamental gerbe.
We prove the existence of a Galois closure for towers of torsors under finite group schemes over a proper, geometrically connected and geometrically reduced algebraic stack $X$ over a field $k$. This is done by describing the Nori fundamental gerbe of an essentially finite cover of $X$. A similar result is also obtained for the $S$-fundamental gerbe.
△ Less
Submitted 18 November, 2018; v1 submitted 2 June, 2017;
originally announced June 2017.
-
Essentially Finite Vector Bundles on Normal Pseudo-proper Algebraic Stacks
Authors:
Fabio Tonini,
Lei Zhang
Abstract:
Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In this paper we introduce a different approach to this problem which allows to extend the results to normal, connected and strongly pseudo-proper algebraic stack…
▽ More
Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In this paper we introduce a different approach to this problem which allows to extend the results to normal, connected and strongly pseudo-proper algebraic stack of finite type over an arbitrary field $k$.
△ Less
Submitted 13 February, 2017;
originally announced February 2017.
-
$F$-divided sheaves trivialized by dominant maps are essentially finite
Authors:
Fabio Tonini,
Lei Zhang
Abstract:
By a result of Biswas and Dos Santos, on a smooth and projective variety over an algebraically closed field, a vector bundle trivialized by a proper and surjective map is essentially finite, that is it corresponds to a representation of the Nori fundamental group scheme. In this paper we obtain similar results for non-proper non-smooth algebraic stacks over arbitrary fields of characteristic…
▽ More
By a result of Biswas and Dos Santos, on a smooth and projective variety over an algebraically closed field, a vector bundle trivialized by a proper and surjective map is essentially finite, that is it corresponds to a representation of the Nori fundamental group scheme. In this paper we obtain similar results for non-proper non-smooth algebraic stacks over arbitrary fields of characteristic $p>0$. As by-product we have the following partial generalization of the Biswas-Dos Santos' result in positive characteristic: on a pseudo-proper and inflexible stack of finite type over $k$ a vector bundle which is trivialized by a proper and flat map is essentially finite.
△ Less
Submitted 1 January, 2017; v1 submitted 1 December, 2016;
originally announced December 2016.
-
Algebraic and Nori fundamental gerbes
Authors:
Fabio Tonini,
Lei Zhang
Abstract:
In this paper we extend the generalized algebraic fundamental group constructed by Esnault and Hogadi to general fibered categories using the language of gerbes. As an application we obtain a Tannakian interpretation for the Nori fundamental gerbe defined by Borne and Vistoli for non smooth non pseudo-proper algebraic stacks.
In this paper we extend the generalized algebraic fundamental group constructed by Esnault and Hogadi to general fibered categories using the language of gerbes. As an application we obtain a Tannakian interpretation for the Nori fundamental gerbe defined by Borne and Vistoli for non smooth non pseudo-proper algebraic stacks.
△ Less
Submitted 9 February, 2017; v1 submitted 4 May, 2016;
originally announced May 2016.
-
Ramified Galois covers via monoidal functors
Authors:
Fabio Tonini
Abstract:
We interpret Galois covers in terms of particular monoidal functors, extending the correspondence between torsors and fiber functors. As applications we characterize tame $G$-covers between normal varieties for finite and étale group schemes and we prove that, if $G$ is a finite, flat and finitely presented nonabelian and linearly reductive group scheme over a ring, then the moduli stack of $G$-co…
▽ More
We interpret Galois covers in terms of particular monoidal functors, extending the correspondence between torsors and fiber functors. As applications we characterize tame $G$-covers between normal varieties for finite and étale group schemes and we prove that, if $G$ is a finite, flat and finitely presented nonabelian and linearly reductive group scheme over a ring, then the moduli stack of $G$-covers is reducible.
△ Less
Submitted 8 May, 2016; v1 submitted 19 July, 2015;
originally announced July 2015.
-
Trace map and regularity of finite extensions of a DVR
Authors:
Fabio Tonini
Abstract:
We interpret the regularity of a finite and flat extension of a discrete valuation ring in terms of the trace map of the extension.
We interpret the regularity of a finite and flat extension of a discrete valuation ring in terms of the trace map of the extension.
△ Less
Submitted 27 January, 2017; v1 submitted 13 June, 2015;
originally announced June 2015.
-
Sheafification of linear functors
Authors:
Fabio Tonini
Abstract:
We introduce ``sheafification'' functors from categories of (lax monoidal) linear functors to categories of quasi-coherent sheaves (of algebras) of stacks. They generalize the homogeneous sheafification of graded modules for projective schemes.
We introduce ``sheafification'' functors from categories of (lax monoidal) linear functors to categories of quasi-coherent sheaves (of algebras) of stacks. They generalize the homogeneous sheafification of graded modules for projective schemes.
△ Less
Submitted 26 October, 2020; v1 submitted 14 September, 2014;
originally announced September 2014.
-
Stacks of uniform cyclic covers of curves and their Picard groups
Authors:
Flavia Poma,
Mattia Talpo,
Fabio Tonini
Abstract:
We study the stack B_{h,g,n} of uniform cyclic covers of degree n between smooth curves of genus h and g and, for h >> g, present it as an open substack of a vector bundle over the universal Jacobian stack of M_g. We use this description to compute the integral Picard group of B_{h,g,n}, showing that it is generated by tautological classes of B_{h,g,n}.
We study the stack B_{h,g,n} of uniform cyclic covers of degree n between smooth curves of genus h and g and, for h >> g, present it as an open substack of a vector bundle over the universal Jacobian stack of M_g. We use this description to compute the integral Picard group of B_{h,g,n}, showing that it is generated by tautological classes of B_{h,g,n}.
△ Less
Submitted 16 March, 2017; v1 submitted 19 December, 2013;
originally announced December 2013.
-
Stacks of ramified Galois covers
Authors:
Fabio Tonini
Abstract:
Given a finite, flat and finitely presented group scheme $G$ over some base $S$, we introduce the notion of ramified $G$-covers and study the moduli stack $G$-Cov they form. The thesis is divided in three parts. The first one concerns the case when $G$ is a diagonalizable group scheme and it essentially coincides with arxiv:1106.2347. In the second part I deal with the general case. Assuming that…
▽ More
Given a finite, flat and finitely presented group scheme $G$ over some base $S$, we introduce the notion of ramified $G$-covers and study the moduli stack $G$-Cov they form. The thesis is divided in three parts. The first one concerns the case when $G$ is a diagonalizable group scheme and it essentially coincides with arxiv:1106.2347. In the second part I deal with the general case. Assuming that the base S is affine and given an $S$-scheme $T$, I interpret $G$-covers of $T$ as particolar (lax) monoidal functors from the category of finite, $G$-equivariant locally free sheaves over $S$ to the category of finite locally free sheaves over $T$, extending the classical Tannakian correspondence between $G$-torsors and strong monoidal functors as above. Using this point of view, I prove that $G$-Cov is always reducible if $G$ is a non-abelian linearly reductive group. When $G$ is constant and tame I also give a criterion to detect when a $G$-cover of a regular in codimension one, integral scheme has regular in codimension one total space in terms of the functor associated with the cover. In the last part I focus on the case $G=S_3$, prove that $S_3$-Cov has exactly two irreducible components and describe the principal one. I also describe particular open loci of $S_3$-Cov, that is particular families of $S_3$-covers, classify $S_3$-covers of regular schemes whose total space is regular and compute the invariants of $S_3$-covers of smooth surfaces.
△ Less
Submitted 3 July, 2013;
originally announced July 2013.
-
Stacks of ramified abelian covers
Authors:
Fabio Tonini
Abstract:
Given a flat, finite group scheme G finitely presented over a base scheme we introduce the notion of ramified Galois cover of group G (or simply G-cover), which generalizes the notion of G-torsor. We study the stack of G-covers, denoted with G-Cov, mainly in the abelian case, precisely when G is a finite diagonalizable group scheme over Z. In this case we prove that G-Cov is connected, but it is i…
▽ More
Given a flat, finite group scheme G finitely presented over a base scheme we introduce the notion of ramified Galois cover of group G (or simply G-cover), which generalizes the notion of G-torsor. We study the stack of G-covers, denoted with G-Cov, mainly in the abelian case, precisely when G is a finite diagonalizable group scheme over Z. In this case we prove that G-Cov is connected, but it is irreducible or smooth only in few finitely many cases. On the other hand, it contains a 'special' irreducible component Z_G, which is the closure of BG and this reflects the deep connection we establish between G-Cov and the equivariant Hilbert schemes. We introduce 'parametrization' maps from smooth stacks, whose objects are collections of invertible sheaves with additional data, to Z_G and we establish sufficient conditions for a G-cover in order to be obtained (uniquely) through those constructions. Moreover a toric description of the smooth locus of Z_G is provided.
△ Less
Submitted 26 September, 2011; v1 submitted 12 June, 2011;
originally announced June 2011.
-
ACM bundles on del Pezzo surfaces
Authors:
Joan Pons-Llopis,
Fabio Tonini
Abstract:
ACM rank 1 bundles on del Pezzo surfaces are classified in terms of the rational normal curves that they contain. A complete list of ACM line bundles is provided. Moreover, for any del Pezzo surface $X$ of degree less or equal than six and for any $n\geq 2$ we construct a family of dimension $\geq n-1$ of non-isomorphic simple ACM bundles of rank $n$ on $X$.
ACM rank 1 bundles on del Pezzo surfaces are classified in terms of the rational normal curves that they contain. A complete list of ACM line bundles is provided. Moreover, for any del Pezzo surface $X$ of degree less or equal than six and for any $n\geq 2$ we construct a family of dimension $\geq n-1$ of non-isomorphic simple ACM bundles of rank $n$ on $X$.
△ Less
Submitted 17 March, 2010;
originally announced March 2010.