Tilting sheaves in representation theory of algebras.
Dagmar Baer (1988)
Manuscripta mathematica
Similarity:
Dagmar Baer (1988)
Manuscripta mathematica
Similarity:
Tadeusz Józefiak (1990)
Banach Center Publications
Similarity:
Anthony Bahri, Matthias Franz, Dietrich Notbohm, Nigel Ray (2013)
Fundamenta Mathematicae
Similarity:
We obtain two classifications of weighted projective spaces: up to hoeomorphism and up to homotopy equivalence. We show that the former coincides with Al Amrani's classification up to isomorphism of algebraic varieties, and deduce the latter by proving that the Mislin genus of any weighted projective space is rigid.
Giorgio Ottaviani, Vincenzo Ancona (1991)
Forum mathematicum
Similarity:
Steffen Oppermann (2010)
Colloquium Mathematicae
Similarity:
We show that the dimension of the derived category of an elliptic curve or a tubular weighted projective line is one. We give explicit generators realizing this number, and show that they are in a certain sense minimal.
Park, Sangwon (2002)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Ingo Waschkies (2004)
Bulletin de la Société Mathématique de France
Similarity:
In this paper we construct the abelian stack of microlocal perverse sheaves on the projective cotangent bundle of a complex manifold. Following ideas of Andronikof we first consider microlocal perverse sheaves at a point using classical tools from microlocal sheaf theory. Then we will use Kashiwara-Schapira’s theory of analytic ind-sheaves to globalize our construction. This presentation allows us to formulate explicitly a global microlocal Riemann-Hilbert correspondence.
David A. Cox (1989)
Mathematische Zeitschrift
Similarity:
Roland Coghetto (2016)
Formalized Mathematics
Similarity:
The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7],...
Alija Mandak (2007)
Kragujevac Journal of Mathematics
Similarity:
J. F. Humphreys (1990)
Banach Center Publications
Similarity:
Mioduszewski, J., Rudolf, L.
Similarity:
Roland Coghetto (2017)
Formalized Mathematics
Similarity:
In this article we check, with the Mizar system [2], Pascal’s theorem in the real projective plane (in projective geometry Pascal’s theorem is also known as the Hexagrammum Mysticum Theorem)1. Pappus’ theorem is a special case of a degenerate conic of two lines. For proving Pascal’s theorem, we use the techniques developed in the section “Projective Proofs of Pappus’ Theorem” in the chapter “Pappus’ Theorem: Nine proofs and three variations” [11]. We also follow some ideas from Harrison’s...
Keiri Nakanishi (2005)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Marek Kordos (1989)
Colloquium Mathematicae
Similarity: