Related papers: Projectivity in Algebraic Cobordism
We obtain finiteness theorems for algebraic cycles of small codimension on quadric fibrations X over curves over perfect fields k. For example, if k is finitely generated over Q and the fibration has odd relative dimension at least 11, then…
We compute the algebraic $K$-theory of some classes of surfaces defined over finite fields. We achieve this by first calculating the motivic cohomology groups and then studying the motivic Atiyah-Hirzebruch spectral sequence. In an…
We investigate the possibility that the quantum theory of gravity could be constructed discretely using algebraic methods. The algebraic tools are similar to ones used in constructing topological quantum field theories.The algebraic tools…
In monadic programming, datatypes are presented as free algebras, generated by data values, and by the algebraic operations and equations capturing some computational effects. These algebras are free in the sense that they satisfy just the…
We introduce the notion of a quasi-connected reductive group over an arbitrary field to be an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
We study topological group theoretic properties of algebraic groups over local fields. In particular, we find conditions under which such groups have closed images under arbitrary continuous homomorphisms into arbitrary topological groups.
The projective line over a field carries structure of a groupoid with a certain correspondence between objects and arrows. We discuss to what extent the field can be reconstructed from the groupoid.
We prove functorial weak factorization of projective birational morphisms of regular quasi-excellent schemes in characteristic 0 broadly based on the existing line of proof for varieties. From this general functorial statement we deduce…
We introduce quasi-homomorphisms of cluster algebras, a flexible notion of a map between cluster algebras of the same type (but with different coefficients). The definition is given in terms of seed orbits, the smallest equivalence classes…
In this paper, we prove that any two birational projective varieties with finite quotient singularities can be realized as two geometric GIT quotients of a non-singular projective variety by a reductive algebraic group. Then, by applying…
Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative…
In this paper we apply a recently proposed algebraic theory of integration to projective group algebras. These structures have received some attention in connection with the compactification of the $M$ theory on noncommutative tori. This…
We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support…
We discuss two results about projective representations of fundamental groups of quasiprojective varieties. The first is a realization result which, under a nonresonance assumption, allows to realize such representations as monodromy…
In this short note, we give a new sufficient condition for a linear map from a product of copies of a field to endomorphisms of a finite dimensional vector space over the same field to be an algebra homomorphism. We expect that this result…
We equip the categorified quantum group attached to a KLR algebra and an arbitrary choice of scalars with duality functor which is cyclic, that is, such that f=f^** for all 2-morphisms f. This is accomplished via a modified diagrammatic…
We show that quasi-projective relation algebras and directed cylindric algebras are equivalent categorialy. We work out a Godels second incompleteness theorem for finite varibale fragments of first order logic. We show that distinct set…
Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…
We prove that a simple, separable, nuclear, purely infinite classifiable $C^*$-algebra is weakly semiprojective if and only if its $K$-groups are direct sums of cyclic groups.