Source author record

Federico Scavia

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AT math.RT

Catalog footprint

Research overview

9works

3topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Eilenberg-Moore spectral sequence and Hodge cohomology of classifying stacks

Let $G$ be a smooth connected reductive group over a field $k$ and $Γ$ be a central subgroup of $G$ . We construct Eilenberg-Moore-type spectral sequences converging to the Hodge and de Rham cohomology of $B(G/Γ)$ . As an application, building upon work of Toda and using Totaro's inequality, we show that for all $m\geq 0$ the Hodge and de Rham cohomology algebras of the classifying stacks $B\mathrm{PGL}_{4m+2}$ and $B\mathrm{PSO}_{4m+2}$ over $\mathbb{F}_2$ are isomorphic to the singular $\mathbb{F}_2$ -cohomology of the classifying space of the corresponding Lie group. From this we obtain a full description of $H^{>0}(\mathrm{GL}_{4m+2}, \operatorname{Sym}^j(\mathfrak{pgl}_{4m+2}^\vee))$ and $H^{>0}(\mathrm{SO}_{4m+2}, \operatorname{Sym}^j(\mathfrak{pso}_{4m+2}^\vee))$ over $\mathbb{F}_2$ .

preprint2022arXiv

The behavior of essential dimension under specialization

Let $A$ be a discrete valuation ring with generic point $η$ and closed point $s$ . We show that in a family of torsors over $\operatorname{Spec}(A)$ , the essential dimension of the torsor above $s$ is less than or equal to the essential dimension of the torsor above $η$ . We give two applications of this result, one in mixed characteristic, the other in equal characteristic.

preprint2020arXiv

Essential dimension of representations of algebras

Let $k$ be a field, $A$ a finitely generated associative $k$ -algebra and $\operatorname{Rep}_A[n]$ the functor $\operatorname{Fields}_k\to \operatorname{Sets}$ , which sends a field $K$ containing $k$ to the set of isomorphism classes of representations of $A_K$ of dimension at most $n$ . We study the asymptotic behavior of the essential dimension of this functor, i.e., the function $r_A(n) := \operatorname{ed}_k(\operatorname{Rep}_A[n])$ , as $n\to\infty$ . In particular, we show that the rate of growth of $r_A(n)$ determines the representation type of $A$ . That is, $r_A(n)$ is bounded from above if $A$ is of finite representation type, grows linearly if $A$ is of tame representation type and grows quadratically if A is of wild representation type. Moreover, $r_A(n)$ is a finer invariant of A, which allows us to distinguish among algebras of the same representation type.

preprint2020arXiv

Motivic classes of classifying stacks of finite groups and unramified cohomology

Combining work of Peyre, Colliot-Thélène and Voisin, we give the first example of a finite group $G$ such that the motivic class of its classifying stack $BG$ in Ekedahl's Grothendieck ring of stacks over $\mathbb{C}$ is non-trivial and $BG$ has trivial unramified Brauer group.

preprint2020arXiv

On the essential dimension of an algebraic group whose connected component is a torus

Let $p$ be a prime integer, $k$ be a $p$ -closed field of characteristic $\neq p$ , $T$ be a torus defined over $k$ , $F$ be a finite $p$ -group, and $1\to T \to G \to F \to 1$ be an exact sequence of algebraic groups. Extending earlier work of N. Karpenko and A. Merkurjev, R. Lötscher, M. MacDonald, A. Meyer, and the first author showed that $\min\dim(V) - \min\dim(G) \leqslant \text{ed}(G; p) \leqslant \min \dim(W) - \dim(G),$ where $V$ and $W$ range over the $p$ -faithful and $p$ -generically free $k$ -representations of $G$ , respectively. They conjectured that the upper bound is, in fact, sharp. This conjecture has remained open for some time. We prove it in the case, where $F$ is diagonalizable.

preprint2020arXiv

On the motivic class of an algebraic group

Let $F$ be a field of characteristic zero admitting a biquadratic field extension. We give an example of a torus $G$ over $F$ whose classifying stack $BG$ is stably rational and such that $\{BG\}\{G\}\neq 1$ in the Grothendieck ring of algebraic stacks over $F$ . We also give an example of a finite étale group scheme $A$ over $F$ such that $BA$ is stably rational and $\{BA\}\neq 1$ .

preprint2020arXiv

Rational Picard group of moduli of pointed hyperelliptic curves

We determine the rational divisor class group of the moduli spaces of smooth pointed hyperelliptic curves and of their Deligne-Mumford compactification, over the field of complex numbers.

preprint2019arXiv

Retract rationality and algebraic tori

For any prime number $p$ and field $k$ , we characterize the $p$ -retract rationality of an algebraic $k$ -torus in terms of its character lattice. We show that a $k$ -torus is retract rational if and only if it is $p$ -retract rational for every prime $p$ , and that the Noether problem for retract rationality for a group of multiplicative type $G$ has an affirmative answer for $G$ if and only if the Noether problem for $p$ -retract rationality for $G$ have a positive answer for all $p$ . For every finite set of primes $S$ we give examples of tori that are $p$ -retract rational if and only if $p\notin S$ .

preprint2018arXiv

On the Noether Problem for torsion subgroups of tori

We consider the Noether Problem for stable and retract rationality for the sequence of $d$ -torsion subgroups $T[d]$ of a torus $T$ , $d\geq 1$ . We show that the answer to these questions only depends on $d\pmod{e(T)}$ , where $e(T)$ is the period of the generic $T$ -torsor. When $T$ is the norm one torus associated to a finite Galois extension, we find all $d$ such that the Noether Problem for retract rationality has a positive solution for $d$ . We also give an application to the Grothendieck ring of stacks.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Federico Scavia

Research overview

Is this your work?

9 publications

Eilenberg-Moore spectral sequence and Hodge cohomology of classifying stacks

The behavior of essential dimension under specialization

Essential dimension of representations of algebras

Motivic classes of classifying stacks of finite groups and unramified cohomology

On the essential dimension of an algebraic group whose connected component is a torus

On the motivic class of an algebraic group

Rational Picard group of moduli of pointed hyperelliptic curves

Retract rationality and algebraic tori

On the Noether Problem for torsion subgroups of tori

See the researcher in context

Building this map preview