Showing 1–29 of 29 results for author: Olsson, M

Twisted derived categories and Rouquier functors

Authors: Martin Olsson

Abstract: We study the algebraic structure of the automorphism group of the derived category of coherent sheaves on a smooth projective variety twisted by a Brauer class. Our main results generalize results of Rouquier in the untwisted case. We study the algebraic structure of the automorphism group of the derived category of coherent sheaves on a smooth projective variety twisted by a Brauer class. Our main results generalize results of Rouquier in the untwisted case. △ Less

Submitted 9 January, 2025; originally announced January 2025.

Curves with colliding points: logarithmic and stacky

Authors: Martin Olsson, Rachel Webb

Abstract: We introduce a new notion of generalized log twisted curves, which are marked nodal curves with additional data at the marked points. In the case when the markings are distinct this notion agrees with the notion of twisted curve introduced by Abramovich and Vistoli. In addition to developing the basic notions and results, we study in this article the moduli of such curves as well as contraction ma… ▽ More We introduce a new notion of generalized log twisted curves, which are marked nodal curves with additional data at the marked points. In the case when the markings are distinct this notion agrees with the notion of twisted curve introduced by Abramovich and Vistoli. In addition to developing the basic notions and results, we study in this article the moduli of such curves as well as contraction maps between them. This is motivated, in part, by applications to twisted stable maps which will be studied in a subsequent article. △ Less

Submitted 4 December, 2024; originally announced December 2024.

Ample vector bundles and moduli of tame stacks

Authors: Daniel Bragg, Martin Olsson, Rachel Webb

Abstract: We explain how to define an embedding of a tame stack over a noetherian ring into a certain generalization of a weighted projective stack using a notion of ample vector bundle on the stack. As applications we construct algebraic moduli stacks of tame stacks equipped with an ample vector bundle and algebraic stacks of tame orbicurves. We explain how to define an embedding of a tame stack over a noetherian ring into a certain generalization of a weighted projective stack using a notion of ample vector bundle on the stack. As applications we construct algebraic moduli stacks of tame stacks equipped with an ample vector bundle and algebraic stacks of tame orbicurves. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Hochschild homology for log schemes

Authors: Martin Olsson

Abstract: We extend the notions of Hochschild and cyclic homology to morphisms from algebraic spaces to algebraic stacks. Using this, we obtain generalizations to log schemes in the sense of Fontaine and Illusie of these homology theories. We extend the notions of Hochschild and cyclic homology to morphisms from algebraic spaces to algebraic stacks. Using this, we obtain generalizations to log schemes in the sense of Fontaine and Illusie of these homology theories. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Point Objects on Abelian Varieties

Authors: Aise Johan de Jong, Martin Olsson

Abstract: We classify the point objects in the derived category $D(X)$ of a torsor under an abelian variety over a field of characteristic $0$. We classify the point objects in the derived category $D(X)$ of a torsor under an abelian variety over a field of characteristic $0$. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Comments: 19 pages, comments welcome

Derived equivalences over base schemes and support of complexes

Authors: Max Lieblich, Martin Olsson

Abstract: Let $X$ and $Y$ be smooth projective varieties over a field $k$ admitting morphisms $f:X \to T$ and $g:Y \to T$ to a third variety $T$. We formulate conditions on a derived equivalence $Φ:D(X) \to D(Y)$ ensuring that $Φ$ is induced by a complex $P \in D(X \times_T Y )$, defining derived equivalences between the fibers of $f$ and $g$. We apply our results to the canonical fibration and albanese fib… ▽ More Let $X$ and $Y$ be smooth projective varieties over a field $k$ admitting morphisms $f:X \to T$ and $g:Y \to T$ to a third variety $T$. We formulate conditions on a derived equivalence $Φ:D(X) \to D(Y)$ ensuring that $Φ$ is induced by a complex $P \in D(X \times_T Y )$, defining derived equivalences between the fibers of $f$ and $g$. We apply our results to the canonical fibration and albanese fibration. △ Less

Submitted 30 August, 2022; originally announced August 2022.

Comments: 26 pages, comments welcome at any time. arXiv admin note: text overlap with arXiv:2001.05995

MSC Class: 14D23; 14F08; 14D06

Stochastic Constitutive Model of Isotropic Thin Fiber Networks Based on Stochastic Volume Elements

Authors: Rami Mansour, Artem Kulachenko, Wei Chen, Mårten Olsson

Abstract: Thin fiber networks are widely represented in nature and can be found in man-made materials such as paper and packaging. The strength of such materials is an intricate subject due to inherited randomness and size-dependencies. Direct fiber-level numerical simulations can provide insights into the role of the constitutive components of such networks, their morphology, and arrangements on the streng… ▽ More Thin fiber networks are widely represented in nature and can be found in man-made materials such as paper and packaging. The strength of such materials is an intricate subject due to inherited randomness and size-dependencies. Direct fiber-level numerical simulations can provide insights into the role of the constitutive components of such networks, their morphology, and arrangements on the strength of the products made of them. However, direct mechanical simulation of randomly generated large and thin fiber networks is characterized by overwhelming computational costs. Herein, a stochastic constitutive model for predicting the random mechanical response of isotropic thin fiber networks of arbitrary size is presented. The model is based on stochastic volume elements (SVEs) with SVE size-specific deterministic and stochastic constitutive law parameters. The randomness in the network is described by the spatial fields of the uniaxial strain and strength to failure, formulated using multivariate kernel functions and approximate univariate probability density functions. The proposed stochastic continuum approach shows good agreement when compared to direct numerical simulation with respect to mechanical response. Furthermore, strain localization patterns matched the one observed in direct simulations, which suggests an accurate prediction of the failure location. This work demonstrates that the proposed stochastic constitutive model can be used to predict the response of random isotropic fiber networks of arbitrary size. △ Less

Submitted 10 October, 2021; originally announced October 2021.

Comments: 28 pages, 19 figures

MSC Class: 74B05; 74B10; 74C05; 74E05; 74E25; 74E35; 74Q05; 74Q15; 74E10; 74D05; 74D10 ACM Class: G.1.8; G.1.9; I.4.0; I.4.1; I.4.3; I.4.7; I.4.9; I.6.0; I.6.3; I.6.4; I.6.5; I.6.6; I.6.8; J.2; J.6

Journal ref: Materials 12 (2019) 538

Revisiting the conservativity of fixpoints over intuitionistic arithmetic

Authors: Mattias Granberg Olsson, Graham E. Leigh

Abstract: This paper presents a novel proof of the conservativity of the intuitionistic theory of strictly positive fixpoints, $\widehat{\mathrm{ID}}{}_{1}^{\mathrm{i}}$, over Heyting arithmetic (HA), originally proved in full generality by Arai (2011). The proof embeds $\widehat{\mathrm{ID}}{}_{1}^{\mathrm{i}}$ into the corresponding theory over Beeson's logic of partial terms and then uses two consecutive… ▽ More This paper presents a novel proof of the conservativity of the intuitionistic theory of strictly positive fixpoints, $\widehat{\mathrm{ID}}{}_{1}^{\mathrm{i}}$, over Heyting arithmetic (HA), originally proved in full generality by Arai (2011). The proof embeds $\widehat{\mathrm{ID}}{}_{1}^{\mathrm{i}}$ into the corresponding theory over Beeson's logic of partial terms and then uses two consecutive interpretations, a realizability interpretation of this theory into the subtheory generated by almost negative fixpoints, and a direct interpretation into Heyting arithmetic with partial terms using a hierarchy of satisfaction predicates for almost negative formulae. It concludes by applying van den Berg and van Slooten's result (2018) that Heyting arithmetic with partial terms plus the schema of self realizability for arithmetic formulae is conservative over HA. △ Less

Submitted 21 December, 2021; v1 submitted 15 October, 2021; originally announced October 2021.

Comments: 24 pages, 0 figures; v2: added and emphasized references in section 1, added reference in section 5.2; v3: corrected notational error in theorem 4.9 and removed unused notations in definition 4.7, corrected some typos

MSC Class: 03F50 (Primary); 03F25; 03F30; 03F55 (Secondary)

Response surface single loop reliability-based design optimization with higher-order reliability assessment

Authors: Rami Mansour, Mårten Olsson

Abstract: Reliability-based design optimization (RBDO) aims at determination of the optimal design in the presence of uncertainty. The available Single-Loop approaches for RBDO are based on the First-Order Reliability Method (FORM) for the computation of the probability of failure, along with different approximations in order to avoid the expensive inner loop aiming at finding the Most Probable Point (MPP).… ▽ More Reliability-based design optimization (RBDO) aims at determination of the optimal design in the presence of uncertainty. The available Single-Loop approaches for RBDO are based on the First-Order Reliability Method (FORM) for the computation of the probability of failure, along with different approximations in order to avoid the expensive inner loop aiming at finding the Most Probable Point (MPP). However, the use of FORM in RBDO may not lead to sufficient accuracy depending on the degree of nonlinearity of the limit-state function. This is demonstrated for an extensively studied reliability-based design for vehicle crashworthiness problem solved in this paper, where all RBDO methods based on FORM strongly violates the probabilistic constraints. The Response Surface Single Loop (RSSL) method for RBDO is proposed based on the higher order probability computation for quadratic models previously presented by the authors. The RSSL-method bypasses the concept of an MPP and has high accuracy and efficiency. The method can solve problems with both constant and varying standard deviation of design variables and is particularly well suited for typical industrial applications where general quadratic response surface models can be used. If the quadratic response surface models of the deterministic constraints are valid in the whole region of interest, the method becomes a true single loop method with accuracy higher than traditional SORM. In other cases, quadratic response surface models are fitted to the deterministic constraints around the deterministic solution and the RBDO problem is solved using the proposed single loop method. △ Less

Submitted 10 October, 2021; originally announced October 2021.

Comments: 17 pages, 10 figures

MSC Class: 74S05; 74S60; 65K05; 74P05 ACM Class: G.1.0; G.1.1; G.1.2; G.1.4; G.1.6; G.1.8; J.2; J.6; J.7

Journal ref: Struct Multi disc Optim 54 (2016) 63-79

Representability of cohomology of finite flat abelian group schemes

Authors: Daniel Bragg, Martin Olsson

Abstract: We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f\colon X\rightarrow \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite flat abelian group scheme over $X$ then $R^nf_*G$ is representable for all $n$. More generally, we study the derived pushforwards $R^nf_*G$ for… ▽ More We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f\colon X\rightarrow \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite flat abelian group scheme over $X$ then $R^nf_*G$ is representable for all $n$. More generally, we study the derived pushforwards $R^nf_*G$ for $f\colon X\rightarrow S$ a projective morphism and $G$ a finite flat abelian group scheme over $X$. We also define compactly supported cohomology for finite flat abelian group schemes, describe cohomology in terms of the cotangent complex for group schemes of height $1$, and prove higher categorical versions of our main representability results. △ Less

Submitted 8 April, 2025; v1 submitted 23 July, 2021; originally announced July 2021.

Comments: This paper has been completely rewritten and revised in response to referee comments. 84 pages. Comments still welcome

Deformation theory of perfect complexes and traces

Authors: Max Lieblich, Martin Olsson

Abstract: We show that the deformation theory of a perfect complex and that of its determinant are related by the trace map, in a general setting of sheaves on a site. The key technical step, in passing from the setting of modules over a ring where one has global resolutions to the general setting, is achieved using $K$-theory and higher category theory. We show that the deformation theory of a perfect complex and that of its determinant are related by the trace map, in a general setting of sheaves on a site. The key technical step, in passing from the setting of modules over a ring where one has global resolutions to the general setting, is achieved using $K$-theory and higher category theory. △ Less

Submitted 21 September, 2022; v1 submitted 26 April, 2021; originally announced April 2021.

Comments: 36 pages, final version, to appear in Annals of K-Theory

MSC Class: 14D15; 14A30; 14D23

Journal ref: Ann. K-Th. 7 (2022) 651-694

Topological reconstruction theorems for varieties

Authors: János Kollár, Max Lieblich, Martin Olsson, Will Sawin

Abstract: We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proofs rely heavily on new variants of the classical Fundamental Theorem of Projective Geomet… ▽ More We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proofs rely heavily on new variants of the classical Fundamental Theorem of Projective Geometry of Veblen and Young. For proper normal varieties over uncountable algebraically closed fields of characteristic 0, we show that the Zariski topological space can be used to recover the linear equivalence relation on divisors. As a consequence, we show that the underlying scheme of any such variety is uniquely determined by its Zariski topological space. We use this to prove a topological version of Gabriel's theorem, stating that a proper normal variety over an uncountable algebraically closed field of characteristic 0 is determined by its category of constructible abelian étale sheaves. We also discuss a conjecture in arbitrary characteristic, relating the Zariski topological space to the perfection of a proper normal variety. △ Less

Submitted 12 January, 2021; v1 submitted 10 March, 2020; originally announced March 2020.

Comments: 67 pages, minor corrections in various places, especially section 5.4; comments welcome at any time. arXiv admin note: text overlap with arXiv:1902.04668

MSC Class: 14A10; 14C20; 14C34; 14J10; 14N05; 51A05

Derived categories and birationality

Authors: Max Lieblich, Martin Olsson

Abstract: We discuss the question of finding conditions on a derived equivalence between two smooth projective varieties $X$ and $Y$ that imply that $X$ and $Y$ are birational. The types of conditions we consider are in the spirit of finding categorical analogous of classical Torelli theorems. We study, in particular, a notion of strongly filtered derived equivalence and study cases where strongly filtered… ▽ More We discuss the question of finding conditions on a derived equivalence between two smooth projective varieties $X$ and $Y$ that imply that $X$ and $Y$ are birational. The types of conditions we consider are in the spirit of finding categorical analogous of classical Torelli theorems. We study, in particular, a notion of strongly filtered derived equivalence and study cases where strongly filtered derived equivalence implies birationality. We also consider an open variant of our main question. △ Less

Submitted 1 September, 2022; v1 submitted 16 January, 2020; originally announced January 2020.

Comments: Paper is withdrawn in order to break it into more manageable parts. In addition, Theorem 3.2 is false as stated. A fixed version of the relevant material is now found at arXiv:2208.14378

A reconstruction theorem for varieties

Authors: Max Lieblich, Martin Olsson

Abstract: We show that varieties of dimension at least 2 over infinite fields are determined as abstract schemes by their Zariski topological spaces together with the rational equivalence relation on the set of effective divisors. This gives a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proof relies heavily on a rational version of the classical Fundamental Theorem of Projective G… ▽ More We show that varieties of dimension at least 2 over infinite fields are determined as abstract schemes by their Zariski topological spaces together with the rational equivalence relation on the set of effective divisors. This gives a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proof relies heavily on a rational version of the classical Fundamental Theorem of Projective Geometry. △ Less

Submitted 24 April, 2020; v1 submitted 12 February, 2019; originally announced February 2019.

Comments: This has been superseded by a corrected and vastly expanded paper that also includes additional coauthors, available at arXiv:2003.04847

Finiteness of étale fundamental groups by reduction modulo $p$

Authors: Bhargav Bhatt, Ofer Gabber, Martin Olsson

Abstract: We introduce a spreading out technique to deduce finiteness results for étale fundamental groups of complex varieties by characteristic $p$ methods, and apply this to recover a finiteness result proven recently for local fundamental groups in characteristic $0$ using birational geometry. We introduce a spreading out technique to deduce finiteness results for étale fundamental groups of complex varieties by characteristic $p$ methods, and apply this to recover a finiteness result proven recently for local fundamental groups in characteristic $0$ using birational geometry. △ Less

Submitted 20 May, 2017; originally announced May 2017.

Comments: 15 pages, comments welcome

A stronger derived Torelli theorem for K3 surfaces

Authors: Max Lieblich, Martin Olsson

Abstract: In an earlier paper the notion of a filtered derived equivalence was introduced, and it was shown that if two K3 surfaces admit such an equivalence then they are isomorphic. In this paper we study more refined aspects of filtered derived equivalences related to the action on the cohomological realizations of the Mukai motive. It is shown that if a filtered derived equivalence between K3 surfaces a… ▽ More In an earlier paper the notion of a filtered derived equivalence was introduced, and it was shown that if two K3 surfaces admit such an equivalence then they are isomorphic. In this paper we study more refined aspects of filtered derived equivalences related to the action on the cohomological realizations of the Mukai motive. It is shown that if a filtered derived equivalence between K3 surfaces also preserves ample cones then one can find an isomorphism that induces the same map as the equivalence on the cohomological realizations. △ Less

Submitted 20 December, 2015; originally announced December 2015.

Comments: 25 pages, comments welcome at any time

Fourier-Mukai partners of K3 surfaces in positive characteristic

Authors: Max Lieblich, Martin Olsson

Abstract: We study Fourier-Mukai equivalence of K3 surfaces in positive characteristic and show that the classical results over the complex numbers all generalize. The key result is a positive-characteristic version of the Torelli theorem that uses the derived category in place of the Hodge structure on singular cohomology; this is proven by algebraizing formal lifts of Fourier-Mukai kernels to characterist… ▽ More We study Fourier-Mukai equivalence of K3 surfaces in positive characteristic and show that the classical results over the complex numbers all generalize. The key result is a positive-characteristic version of the Torelli theorem that uses the derived category in place of the Hodge structure on singular cohomology; this is proven by algebraizing formal lifts of Fourier-Mukai kernels to characteristic zero. As a consequence, any Shioda-supersingular K3 surface is uniquely determined up to isomorphism by its derived category of coherent sheaves. We also study different realizations of Mukai's Hodge structure in algebraic cohomology theories (etale, crystalline, de Rham) and use these to prove: 1) the zeta function of a K3 surface is a derived invariant (discovered independently by Huybrechts); 2) the variational crystalline Hodge conjecture holds for correspondences arising from Fourier-Mukai kernels on products of two K3 surfaces. △ Less

Submitted 12 August, 2014; v1 submitted 21 December, 2011; originally announced December 2011.

Comments: 31 pages, errors and typos corrected, final version

MSC Class: 14F05

Journal ref: Ann. Sci. Éc. Norm. Supér. (4) 48 (2015), no. 5, 1001-1033

Logarithmic Geometry and Moduli

Authors: Dan Abramovich, Qile Chen, Danny Gillam, Yuhao Huang, Martin Olsson, Matthew Satriano, Shenghao Sun

Abstract: We discuss the role played by logarithmic structures in the theory of moduli. We discuss the role played by logarithmic structures in the theory of moduli. △ Less

Submitted 30 June, 2010; originally announced June 2010.

Comments: 62 pages, submitted to Handbook of Moduli, Farkas and Morrison, eds

MSC Class: 14A20; 14D23

Nagata compactification for algebraic spaces

Authors: Brian Conrad, Max Lieblich, Martin Olsson

Abstract: We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian approximation for such algebraic spaces, generalizing earlier results in the case of schemes. We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian approximation for such algebraic spaces, generalizing earlier results in the case of schemes. △ Less

Submitted 25 October, 2010; v1 submitted 26 October, 2009; originally announced October 2009.

Comments: 49 pages, various clarifications and bugfixes

MSC Class: 14A20; 14E25

Journal ref: J. Inst. Math. Jussieu 11 (2012), no. 4, 747-814

Twisted stable maps to tame Artin stacks

Authors: Dan Abramovich, Martin Olsson, Angelo Vistoli

Abstract: This paper is a continuation of our earlier development of a theory of tame Artin stacks. Our main goal here is the construction of an appropriate analogue of Kontsevich's space of stable maps in the case where the target is a tame Artin stack. When the target is a tame Deligne--Mumford stack, the theory was developed by Abramovich and Vistoli, and found a number of applications. The theory for… ▽ More This paper is a continuation of our earlier development of a theory of tame Artin stacks. Our main goal here is the construction of an appropriate analogue of Kontsevich's space of stable maps in the case where the target is a tame Artin stack. When the target is a tame Deligne--Mumford stack, the theory was developed by Abramovich and Vistoli, and found a number of applications. The theory for arbitrary tame Artin stacks developed here is very similar, but it is necessary to overcome a number of technical hurdles and to generalize a few questions of foundation. △ Less

Submitted 30 March, 2010; v1 submitted 19 January, 2008; originally announced January 2008.

Comments: Made several improvements in the exposition

The Picard group of $M_{1,1}$

Authors: William Fulton, Martin Olsson

Abstract: We compute the Picard group of the moduli stack of elliptic curves and its canonical compactification over general base schemes. We compute the Picard group of the moduli stack of elliptic curves and its canonical compactification over general base schemes. △ Less

Submitted 17 April, 2007; originally announced April 2007.

Comments: 14 pages

Tame stacks in positive characteristic

Authors: Dan Abramovich, Martin Olsson, Angelo Vistoli

Abstract: We introduce and study a class of algebraic stacks with finite inertia in positive and mixed characteristic, which we call tame algebraic stacks. They include tame Deligne-Mumford stacks, and are arguably better behaved than general Deligne-Mumford stacks. We also give a complete characterization of finite flat linearly reductive schemes over an arbitrary base. Our main result is that tame algeb… ▽ More We introduce and study a class of algebraic stacks with finite inertia in positive and mixed characteristic, which we call tame algebraic stacks. They include tame Deligne-Mumford stacks, and are arguably better behaved than general Deligne-Mumford stacks. We also give a complete characterization of finite flat linearly reductive schemes over an arbitrary base. Our main result is that tame algebraic stacks are étale locally quotient by actions of linearly reductive finite group schemes. In a subsequent paper we will show that tame algebraic stacks admit a good theory of stable maps. △ Less

Submitted 11 March, 2007; originally announced March 2007.

Comments: 31 pages, 3 sections and 1 appendix

MSC Class: 14A20; 14L15

Generators and relations for the etale fundamental group

Authors: Max Lieblich, Martin Olsson

Abstract: If $C$ is a smooth curve over an algebraically closed field $k$ of characteristic $p$, then the structure of the maximal prime to $p$ quotient of the étale fundamental group is known by analytic methods. In this paper, we discuss the properties of the fundamental group that can be deduced by purely algebraic techniques. We describe a general reduction from an arbitrary curve to the projective li… ▽ More If $C$ is a smooth curve over an algebraically closed field $k$ of characteristic $p$, then the structure of the maximal prime to $p$ quotient of the étale fundamental group is known by analytic methods. In this paper, we discuss the properties of the fundamental group that can be deduced by purely algebraic techniques. We describe a general reduction from an arbitrary curve to the projective line minus three points, and show what can be proven unconditionally about the maximal pro-nilpotent and pro-solvable quotients of the prime-to-$p$ fundamental group. Included is an appendix which treats the tame fundamental group from a stack-theoretic perspective. △ Less

Submitted 26 November, 2007; v1 submitted 5 March, 2007; originally announced March 2007.

Comments: 26 pages. Significant revision; errors corrected, various points clarified

MSC Class: 14H30

Journal ref: Pure Appl. Math. Q. 6 (2010), no. 1, Special Issue: In honor of John Tate. Part 2, 209-243

Perverse sheaves on Artin stacks

Authors: Yves Laszlo, Martin Olsson

Abstract: In this paper we develop the theory of perverse sheaves on Artin stacks continuing the study in "The six operations for sheaves on Artin stacks I: Finite Coefficients" and "The six operations for sheaves on Artin stacks II: Adic Coefficients" (math.AG/0512097 and math.AG/0603680) In this paper we develop the theory of perverse sheaves on Artin stacks continuing the study in "The six operations for sheaves on Artin stacks I: Finite Coefficients" and "The six operations for sheaves on Artin stacks II: Adic Coefficients" (math.AG/0512097 and math.AG/0603680) △ Less

Submitted 8 June, 2006; originally announced June 2006.

MSC Class: 14A20;18E30;18G30;18G40;55U30;55U30

The six operations for sheaves on Artin stacks II: Adic Coefficients

Authors: Yves Laszlo, Martin Olsson

Abstract: In this paper we develop a theory of Grothendieck's six operations for adic constructible sheaves on Artin stacks continuing the study of the finite coefficients case in math.AG/0512097. In this paper we develop a theory of Grothendieck's six operations for adic constructible sheaves on Artin stacks continuing the study of the finite coefficients case in math.AG/0512097. △ Less

Submitted 29 March, 2006; originally announced March 2006.

MSC Class: 14A20;18E30;18G30;18G40;55U30;55U30

The six operations for sheaves on Artin stacks I: Finite Coefficients

Authors: Yves Laszlo, Martin Olsson

Abstract: In this paper we develop a theory of Grothendieck's six operations of lisse-étale constructible sheaves on Artin stacks which are locally of finite type over suitable regular basis of dimension at most 1. In this paper we develop a theory of Grothendieck's six operations of lisse-étale constructible sheaves on Artin stacks which are locally of finite type over suitable regular basis of dimension at most 1. △ Less

Submitted 29 March, 2006; v1 submitted 5 December, 2005; originally announced December 2005.

Comments: We improve the previous version generalizing the constructions to all stacks locally of finite type over suitable basis. Some typos have been corrected

MSC Class: 14A20;18E30;18G30;18G40;55U30;55U30

On The Global Quotient Structure of The Space of Twisted Stable Maps to a Quotient Stack

Authors: Dan Abramovich, Tom Graber, Martin Olsson, Hsian-Hua Tseng

Abstract: Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can be embedded into a smooth Deligne-Mumford stack. When $G$ is finite, we give a more precise construction of $\mathcal{K}_{g,n}(\mathcal{X},d)$ using Hilbert s… ▽ More Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can be embedded into a smooth Deligne-Mumford stack. When $G$ is finite, we give a more precise construction of $\mathcal{K}_{g,n}(\mathcal{X},d)$ using Hilbert schemes and admissible $G$-covers. △ Less

Submitted 1 June, 2006; v1 submitted 12 February, 2005; originally announced February 2005.

Comments: Mistakes and ambiguities corrected, to appear in Journal of Algebraic Geometry

Journal ref: Journal of Algebraic Geometry 16 (2007), 731--751.

Kawamata-Viehweg vanishing as Kodaira vanishing for stacks

Authors: Kenji Matsuki, Martin Olsson

Abstract: We associate to a pair $(X,D)$, consisting of a smooth scheme with a divisor $D\in \text{Div}(X)\otimes \mathbb{Q}$ whose support is a divisor with normal crossings, a canonical Deligne--Mumford stack over $X$ on which $D$ becomes integral. We then reinterpret the Kawamata--Viehweg vanishing theorem as Kodaira vanishing for stacks. We associate to a pair $(X,D)$, consisting of a smooth scheme with a divisor $D\in \text{Div}(X)\otimes \mathbb{Q}$ whose support is a divisor with normal crossings, a canonical Deligne--Mumford stack over $X$ on which $D$ becomes integral. We then reinterpret the Kawamata--Viehweg vanishing theorem as Kodaira vanishing for stacks. △ Less

Submitted 18 December, 2002; originally announced December 2002.

Comments: 9 pages

MSC Class: 14K10

Quot Functors for Deligne-Mumford Stacks

Authors: Martin Olsson, Jason Starr

Abstract: Given a separated and locally finitely-presented Deligne-Mumford stack $\cX$ over an algebraic space $S$, and a locally finitely-presented $\OO_{\cX}$-module $\cF$, we prove that the Quot functor $\text{Quot}(\cF/\cX/S)$ is represented by a separated and locally finitely-presented algebraic space over $S$. Under additional hypotheses, we prove that the connected components of… ▽ More Given a separated and locally finitely-presented Deligne-Mumford stack $\cX$ over an algebraic space $S$, and a locally finitely-presented $\OO_{\cX}$-module $\cF$, we prove that the Quot functor $\text{Quot}(\cF/\cX/S)$ is represented by a separated and locally finitely-presented algebraic space over $S$. Under additional hypotheses, we prove that the connected components of $\text{Quot}(\cF/\cX/S)$ are quasi-projective over $S$. △ Less

Submitted 18 September, 2008; v1 submitted 24 April, 2002; originally announced April 2002.

Comments: 20 pages. A Mistake in Section 4 is corrected in this version and in the published version

MSC Class: 14J10

Journal ref: Comm. Algebra 31 (2003), no. 8, 4069--4096