43,793 research outputs found
Isomorphism Theorem on Vector Spaces over a Ring
SummaryIn this article, we formalize in the Mizar system [1, 4] some properties of vector spaces over a ring. We formally prove the first isomorphism theorem of vector spaces over a ring. We also formalize the product space of vector spaces. ℤ-modules are useful for lattice problems such as LLL (Lenstra, Lenstra and Lovász) [5] base reduction algorithm and cryptographic systems [6, 2].Futa Yuichi - Tokyo University of Technology, Tokyo, JapanShidama Yasunari - Shinshu University, Nagano, JapanGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8_17.Wolfgang Ebeling. Lattices and Codes. Advanced Lectures in Mathematics. Springer Fachmedien Wiesbaden, 2013.Yuichi Futa, Hiroyuki Okazaki, and Yasunari Shidama. Submodule of free ℤ-module. Formalized Mathematics, 21(4):273–282, 2013. doi:10.2478/forma-2013-0029.Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.A. K. Lenstra, H. W. Lenstra Jr., and L. Lovász. Factoring polynomials with rational coefficients. Mathematische Annalen, 261(4):515–534, 1982. doi:10.1007/BF01457454.Daniele Micciancio and Shafi Goldwasser. Complexity of lattice problems: a cryptographic perspective. The International Series in Engineering and Computer Science, 2002.Yasunari Shidama. Differentiable functions on normed linear spaces. Formalized Mathematics, 20(1):31–40, 2012. doi:10.2478/v10037-012-0005-1.25317117
On the relation of Voevodsky's algebraic cobordism to Quillen's K-theory
Quillen's algebraic K-theory is reconstructed via Voevodsky's algebraic
cobordism. More precisely, for a ground field k the algebraic cobordism
P^1-spectrum MGL of Voevodsky is considered as a commutative P^1-ring spectrum.
There is a unique ring morphism MGL^{2*,*}(k)--> Z which sends the class
[X]_{MGL} of a smooth projective k-variety X to the Euler characteristic of the
structure sheaf of X. Our main result states that there is a canonical grade
preserving isomorphism of ring cohomology theories MGL^{*,*}(X,U)
\tensor_{MGL^{2*,*}(k)} Z --> K^{TT}_{- *}(X,U) = K'_{- *}(X-U)} on the
category of smooth k-varieties, where K^{TT}_* is Thomason-Trobaugh K-theory
and K'_* is Quillen's K'-theory. In particular, the left hand side is a ring
cohomology theory. Moreover both theories are oriented and the isomorphism
above respects the orientations. The result is an algebraic version of a
theorem due to Conner and Floyd. That theorem reconstructs complex K-theory via
complex cobordism.Comment: LaTeX, 18 pages, uses XY-pi
Integral generators for the cohomology ring of moduli spaces of sheaves over Poisson surfaces
Let M be a smooth and compact moduli space of stable coherent sheaves on a
projective surface S with an effective (or trivial) anti-canonical line bundle.
We find generators for the cohomology ring of M, with integral coefficients.
When S is simply connected and a universal sheaf E exists over SxM, then its
class [E] admits a Kunneth decomposition as a class in the tensor product of
the topological K-rings K(S) and K(M). The generators are the Chern classes of
the Kunneth factors of [E] in K(M). The general case is similarComment: v3: Latex, 27 pages. Final version, to appear in Advances in Math.
The proof of Lemma 21 is corrected and several other minor changes have been
made. v2: Latex, 26 pages. The paper was split. The new version is a rewrite
of the first three sections of version 1. The omitted results, about the
monodromy of Hilbert schemes of point on a K3 surface, constitute part of the
new paper arXiv:math.AG/0601304. v1: Latex, 53 page
Equivariant cobordism of schemes
We study the equivariant cobordism theory of schemes for action of linear
algebraic groups. We compare the equivariant cobordism theory for the action of
a linear algebraic groups with similar groups for the action of tori and deduce
some consequences for the cycle class map of the classifying space of an
algebraic groups.Comment: This revised version supercedes arxiv:1006:317
- …