Deformation theory from the point of view of fibered categories

We give an exposition of the formal aspects of deformation theory in the language of fibered categories, instead of the more traditional one of functors. The main concepts are that of tangent space to a deformation problem, obstruction theory, versal and universal formal deformations. We include proofs of two key results: a versione of Schlessinger's Theorem in this context, and the Ran--Kawamata vanishing theorem for obstructions. We accompany this with a detailed analysis of three important cases: smooth varieties, local complete intersection subschemes and coherent sheaves.Comment: corrected several typos and made some minor improvements to the expositio

Stacks of uniform cyclic covers of curves and their Picard groups

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}.Comment: v3: (long overdue) final versio

Logarithmic Picard groups, chip firing, and the combinatorial rank

Illusie has suggested that one should think of the classifying group of M_X^{gp}-torsors on a logarithmically smooth curve $X$ over a standard logarithmic point as a logarithmic analogue of the Picard group of $X$. This logarithmic Picard group arises naturally as a quotient of the algebraic Picard group by lifts of the chip firing relations of the associated dual graph. We connect this perspective to Baker and Norine’s theory of ranks of divisors on a finite graph, and to Amini and Baker’s metrized complexes of curves. Moreover, we propose a definition of a combinatorial rank for line bundles on $X$ and prove that an analogue of the Riemann–Roch formula holds for our combinatorial rank. Our proof proceeds by carefully describing the relationship between the logarithmic Picard group on a logarithmic curve and the Picard group of the associated metrized complex. This approach suggests a natural categorical framework for metrized complexes, namely the category of logarithmic curves

Infinite root stacks and quasi-coherent sheaves on logarithmic schemes

We define and study infinite root stacks of fine and saturated logarithmic schemes, a limit version of the root stacks introduced by Niels Borne and the second author. We show in particular that the infinite root stack determines the logarithmic structure, and recovers the Kummer-flat topos of the logarithmic scheme. We also extend the correspondence between parabolic sheaves and quasi-coherent sheaves on root stacks to this new setting.Comment: v2: 61 pages. Final version, to appear in Proc. Lond. Math. So

Moduli of parabolic sheaves on a polarized logarithmic scheme

We generalize the construction of moduli spaces of parabolic sheaves given by Maruyama and Yokogawa in [MY92] to the case of a projective fine saturated log scheme with a fixed global chart. Furthermore we construct moduli spaces of parabolic sheaves without fixing the weights.Comment: v2: (long overdue) final versio

On the motivic class of the classifying stack of G-2$ and the spin groups

We compute the class of the classifying stack of the exceptional algebraic group G2 and of the spin groups Spin7 and Spin8 in the Grothendieck ring of stacks, and show that they are equal to the inverse of the class of the corresponding group. Furthermore, we show that the computation of the motivic classes of the stacks BSpinn can be reduced to the computation of the classes of Bn, where n δ Pinn is the "extraspecial 2-group", the preimage of the diagonal matrices under the projection Pinn δ On to the orthogonal group

Deformation theory

We give an exposition of the formal aspects of deformation theory in the language of fibered categories, instead of the more traditional one of functors. The main concepts are that of tangent space to a deformation problem, obstruction theory, versal and universal formal deformations. We include proofs of two key results: a versione of Schlessinger's Theorem in this context, and the Ran--Kawamata vanishing theorem for obstructions. We accompany this with a detailed analysis of three important cases: smooth varieties, local complete intersection subschemes and coherent sheaves

Stacks of uniform cyclic covers of curves and their Picard groups

We study the stack Bh,g,nof 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 Mg. We use this description to compute the integral Picard group of Bh,g,n, showing that it is generated by tautological classes of Bh,g,n

Reflexões, isometrias e arvores

Orientador: Marcelo FirerDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação CientificaResumo: Definimos uma reflexão em grafos como sendo um automorfismo involutivo cujo conjunto de pontos fixos é uma geodésica completa. Utilizando este conceito demonstramos que o produto de duas reflexões é uma isometria elíptica se e somente se os conjuntos de pontos fixos tem intersecção não vazia. Além disto, para o caso de árvores com valência 4k constante, mostramos que o fecho topológico do grupo gerado por reflexões tem índice 2 no grupo de automorfismos da árvore. Exploramos ainda uma possibilidade de inserir este conceito de reflexões em uma teoria axiomática similar a desenvolvida por HjelmslevAbstract: We define a reflection in a graph as an involutive automorphism whose set of fixed points is a complete geodesic. Using this concept, we prove that the product of two such reflections is an eliptic isometry if and only if its sets of fixed points has nonempty intersection. Moreover, for the case of a regular tree of valency 4k, we prove that the topological closure of the group generated by reflections has index 2 in the group of automorphisms of the tree. We explore also a possibility to insert this concept of reflection in an axiomatic theory similar to the one developed by HjelmslevMestradoMestre em Matemátic