Search results for "Sheaf"

showing 10 items of 13 documents

p −1-Linear Maps in Algebra and Geometry

2012

At least since Habousch’s proof of Kempf’s vanishing theorem, Frobenius splitting techniques have played a crucial role in geometric representation theory and algebraic geometry over a field of positive characteristic. In this article we survey some recent developments which grew out of the confluence of Frobenius splitting techniques and tight closure theory and which provide a framework for higher dimension geometry in positive characteristic. We focus on local properties, i.e. singularities, test ideals, and local cohomology on the one hand and global geometric applicatioms to vanishing theorems and lifting of sections on the other.

010102 general mathematicsFrobenius splittingField (mathematics)Algebraic geometryLocal cohomology01 natural sciencesCoherent sheafAlgebraLine bundle0103 physical sciencesGravitational singularity010307 mathematical physics0101 mathematicsTight closureMathematics
researchProduct

Special Families of Curves, of Abelian Varieties, and of Certain Minimal Manifolds over Curves

2006

This survey article discusses some results on the structure of families f:V-->U of n-dimensional manifolds over quasi-projective curves U, with semistable reduction over a compactification Y of U. We improve the Arakelov inequality for the direct images of powers of the dualizing sheaf. For families of Abelian varieties we recall the characterization of Shimura curves by Arakelov equalities. For families of curves we recall the characterization of Teichmueller curves in terms of the existence of certain sub variation of Hodge structures. We sketch the proof that the moduli scheme of curves of genus g>1 can not contain compact Shimura curves, and that it only contains a non-compact Shimura c…

AlgebraAbelian varietyShimura varietyPure mathematicsMathematics::Algebraic GeometryModuli schemeMathematics::Number TheorySheafCompactification (mathematics)Abelian groupHodge structureHiggs bundleMathematics
researchProduct

Vector Bundles and Torsion Free Sheaves on Degenerations of Elliptic Curves

2006

In this paper we give a survey about the classification of vector bundles and torsion free sheaves on degenerations of elliptic curves. Coherent sheaves on singular curves of arithmetic genus one can be studied using the technique of matrix problems or via Fourier-Mukai transforms, both methods are discussed here. Moreover, we include new proofs of some classical results about vector bundles on elliptic curves.

AlgebraPure mathematicsElliptic curveMathematics::Algebraic GeometryLine bundleTorsion (algebra)Vector bundleSchoof's algorithmTwists of curvesSupersingular elliptic curveMathematicsCoherent sheaf
researchProduct

Derived categories of irreducible projective curves of arithmetic genus one

2006

We investigate the bounded derived category of coherent sheaves on irreducible singular projective curves of arithmetic genus one. A description of the group of exact auto-equivalences and the set of all $t$ -structures of this category is given. We describe the moduli space of stability conditions, obtain a complete classification of all spherical objects in this category and show that the group of exact auto-equivalences acts transitively on them. Harder–Narasimhan filtrations in the sense of Bridgeland are used as our main technical tool.

Discrete mathematicsDerived categoryPure mathematicsAlgebra and Number TheoryFourier–Mukai transformGroup (mathematics)Moduli spaceCoherent sheafMathematics::Algebraic GeometryMathematics::Category TheoryBounded functionArithmetic genusAlgebraic curveMathematicsCompositio Mathematica
researchProduct

The cartesian closed bicategory of generalised species of structures

2007

AbstractThe concept of generalised species of structures between small categories and, correspondingly, that of generalised analytic functor between presheaf categories are introduced. An operation of substitution for generalised species, which is the counterpart to the composition of generalised analytic functors, is also put forward. These definitions encompass most notions of combinatorial species considered in the literature — including of course Joyal's original notion — together with their associated substitution operation. Our first main result exhibits the substitution calculus of generalised species as arising from a Kleisli bicategory for a pseudo-comonad on profunctors. Our secon…

FunctorGeneral MathematicsSubstitution (logic)species of structures analytic functorPresheafComposition (combinatorics)BicategoryMathematics::Algebraic TopologyAlgebraCartesian closed categoryCombinatorial speciesMathematics::Category Theorybicategory cartesian closed categoriesMathematicsJournal of the London Mathematical Society
researchProduct

$V$-filtrations in positive characteristic and test modules

2013

Let $R$ be a ring essentially of finite type over an $F$-finite field. Given an ideal $\mathfrak{a}$ and a principal Cartier module $M$ we introduce the notion of a $V$-filtration of $M$ along $\mathfrak{a}$. If $M$ is $F$-regular then this coincides with the test module filtration. We also show that the associated graded induces a functor $Gr^{[0,1]}$ from Cartier crystals to Cartier crystals supported on $V(\mathfrak{a})$. This functor commutes with finite pushforwards for principal ideals and with pullbacks along essentially \'etale morphisms. We also derive corresponding transformation rules for test modules generalizing previous results by Schwede and Tucker in the \'etale case (cf. ar…

Primary 13A35 Secondary 14B05General MathematicsType (model theory)Commutative Algebra (math.AC)01 natural sciencesCombinatoricsMathematics - Algebraic GeometryMathematics::Algebraic GeometryMathematics::K-Theory and HomologyMathematics::Category Theory0103 physical sciencesFiltration (mathematics)FOS: MathematicsClosed immersionIdeal (ring theory)0101 mathematicsAlgebraic Geometry (math.AG)MathematicsRing (mathematics)FunctorMathematics::Commutative AlgebraApplied Mathematics010102 general mathematicsMathematics - Commutative AlgebraHypersurface010307 mathematical physicsConstant sheaf
researchProduct

On the slope of hyperelliptic fibrations with positive relative irregularity

2016

Let $f:\, S \to B$ be a locally non-trivial relatively minimal fibration of hyperelliptic curves of genus $g\geq 2$ with relative irregularity $q_f$. We show a sharp lower bound on the slope $\lambda_f$ of $f$. As a consequence, we prove a conjecture of Barja and Stoppino on the lower bound of $\lambda_f$ as an increasing function of $q_f$ in this case, and we also prove a conjecture of Xiao on the ampleness of the direct image of the relative canonical sheaf if $\lambda_f<4$.

Pure mathematicsConjectureApplied MathematicsGeneral MathematicsImage (category theory)010102 general mathematicsFibrationFunction (mathematics)Lambda01 natural sciencesUpper and lower boundsMathematics::Algebraic GeometryGenus (mathematics)0103 physical sciencesSheaf010307 mathematical physics0101 mathematicsMathematicsTransactions of the American Mathematical Society
researchProduct

Stability conditions and related filtrations for $(G,h)$-constellations

2017

Given an infinite reductive algebraic group $G$, we consider $G$-equivariant coherent sheaves with prescribed multiplicities, called $(G,h)$-constellations, for which two stability notions arise. The first one is analogous to the $\theta$-stability defined for quiver representations by King and for $G$-constellations by Craw and Ishii, but depending on infinitely many parameters. The second one comes from Geometric Invariant Theory in the construction of a moduli space for $(G,h)$-constellations, and depends on some finite subset $D$ of the isomorphy classes of irreducible representations of $G$. We show that these two stability notions do not coincide, answering negatively a question raise…

Pure mathematicsGeneral Mathematics01 natural sciencesHarder–Narasimhan filtrationCoherent sheafModuliMathematics - Algebraic GeometryMathematics::Algebraic Geometry0103 physical sciencesFOS: MathematicsComputer Science::General Literature14D20 14L24Representation Theory (math.RT)0101 mathematicsAlgebraic Geometry (math.AG)MathematicsComputer Science::Information Retrieval010102 general mathematicsQuiverAstrophysics::Instrumentation and Methods for AstrophysicsGIT quotientComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)16. Peace & justiceModuli spaceGIT quotientStability conditionAlgebraic groupIrreducible representationMSC: 14D20 14L24010307 mathematical physicsGeometric invariant theory[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]Mathematics - Representation Theory
researchProduct

Theta-characteristics on singular curves

2007

On a smooth curve a theta–characteristic is a line bundle L with square that is the canonical line bundle ω. The equivalent conditionHom(L, ω) ∼= L generalizes well to singular curves, as applications show. More precisely, a theta–characteristic is a torsion–free sheaf F of rank 1 with Hom(F , ω) ∼= F . If the curve has non ADE–singularities then there are infinitely many theta–characteristics. Therefore, theta–characteristics are distinguished by their local type. The main purpose of this article is to compute the number of even and odd theta–characteristics (i.e. F with h(C,F) ≡ 0 resp. h(C,F) ≡ 1 modulo 2) in terms of the geometric genus of the curve and certain discrete invariants of a …

Pure mathematicsMathematics::Algebraic GeometryLine bundlePlane curveGeneral MathematicsGenus (mathematics)Geometric genusSheafRank (differential topology)Square (algebra)Canonical bundleMathematicsJournal of the London Mathematical Society
researchProduct

Multiple Points in the Target: The Case of Parameterised Hypersurfaces

2020

We focus on parameterised hypersurfaces, and explore the information one can obtain from the matrix of a presentation of the push-forward of the structure sheaf, through the use of Fitting ideals. We show that in a number of cases the spaces defined by the Fitting ideals are Cohen–Macaulay, extending the previously known range. We prove the Milnor–Tjurina relation for parameterised hypersurfaces whose dimension is no greater than two.

Pure mathematicsMatrix (mathematics)Range (mathematics)Mathematics::Algebraic GeometryMathematics::Commutative AlgebraRelation (database)Dimension (graph theory)Structure (category theory)SheafFocus (optics)Mathematics
researchProduct