Related papers: Singular Homology of Arithmetic Schemes
An algebraizable singularity is a germ of a singular holomorphic foliation which can be defined in some appropriate local chart by a differential equation with algebraic coefficients. We show that there exists at least countably many…
We study the homology of the dual de Rham complex as functors on the category of abelian groups. We give a description of homology of the dual de Rham complex up to degree 7 for free abelian groups and present a corrected version of the…
Consider a local chain Differential Graded algebra, such as the singular chain complex of a pathwise connected topological group. In two previous papers, a number of homological results were proved for such an algebra: An Amplitude…
We compute numerically the homology of several graph complexes in low loop orders, extending previous results.
We introduce a graded homology theory for graded \'etale groupoids. For $\mathbb Z$-graded groupoids, we establish an exact sequence relating the graded zeroth-homology to non-graded one. Specialising to the arbitrary graph groupoids, we…
Based on the well-established theory of discrete conjugate nets in discrete differential geometry, we propose and examine discrete analogues of important objects and notions in the theory of semi-Hamiltonian systems of hydrodynamic type. In…
We define a formal framework for the study of algebras of type Max-plus, Min-Plus, tropical algebras, and more generally algebras over a commutative idempotent semi-field. This work is motivated by the increasingly diversified use of these…
Translation association schemes are constructed from actions of finite groups on finite abelian groups satisfying certain natural conditions. It is also shown that the mere existence of maps from finite groups to themselves sending each…
We describe a theory of finite sets, and investigate the analogue of Dedekind's theory of natural number systems (simply infinite systems) in this theory. Unlike the infinitary case, in our theory, natural number systems come in differing…
We characterize quasihomogeneity of isolated singularities by the injectivity of the map induced by the first differential of the logarithmic differential complex in the top local cohomology supported in the singular point.
We apply the methods of Heegaard Floer homology to identify topological properties of complex curves in the complex projective plane. As one application, we resolve an open conjecture that constrains the Alexander polynomial of the link of…
Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue…
We show that the classification of simple finite group schemes over an algebraically closed field reduces to the classification of abstract simple finite groups and of simple restricted Lie algebras in positive characteristic. Both these…
We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting…
Dedekind domains and their class groups are notions in commutative algebra that are essential in algebraic number theory. We formalized these structures and several fundamental properties, including number theoretic finiteness results for…
We show that the Suslin homology group with integral coefficients of a scheme $X$ separated of finite type over an algebraically closed field of characteristic 0 is a direct sum of a uniquely divisible group, finite copies of…
Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected (but different from) group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to…
We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…
A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…
The literature in persistent homology often refers to a "structure theorem for finitely generated graded modules over a graded principal ideal domain". We clarify the nature of this structure theorem in this context.