Related papers: On the flat cohomology of binary norm forms

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

We introduce the poset of biflats of a matroid $M$, a Lagrangian analog of the lattice of flats of $M$, and study the topology of its order complex, which we call the biflats complex. This work continues the study of the Lagrangian…

Let $Y$ be a scheme in which 2 is invertible and let $V$ be a rank $n$ vector bundle on $Y$ endowed with a non-degenerate symmetric bilinear form $q$. The orthogonal group ${\bf O}(q)$ of the form $q$ is a group scheme over $Y$ whose…

By making use of our generalization of Barrucand and Cohn's theory of principal factorizations in pure cubic fields $\mathbb{Q}(\sqrt[3]{D})$ and their Galois closures $\mathbb{Q}(\zeta_3,\sqrt[3]{D})$ with 3 possible types to pure quintic…

For $\mathrm{O}(\mathrm{q},k)$, the orthogonal group over a field $k$ of characteristic 2 with respect to a quadratic form $\mathrm{q}$, we discuss the isomorphism classes of fixed points of involutions. When the quadratic space is either…

We introduce O-systems (Definition \ref{DO}) of orthogonal transformations of ${\Bbb R}^{m}$, and establish $1-1$ correspondences both between equivalence classes of Clifford systems and that of O-systems, and between O-systems and…

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…

An ordered semiring is a commutative semiring equipped with a compatible preorder. Ordered semirings generalise both distributive lattices and commutative rings, and provide a convenient framework to unify certain aspects of lattice theory…

In this paper we present some linear algebra behind quadratic parts of quadratically flat complex points of codimension two real submanifold in a complex manifold. Assuming some extra nondegenericity and using the result of Hong, complete…

The structure of the observable algebra ${\mathfrak O}_{\Lambda}$ of lattice QCD in the Hamiltonian approach is investigated. As was shown earlier, ${\mathfrak O}_{\Lambda}$ is isomorphic to the tensor product of a gluonic…

We construct bases for the spaces of higher order modular forms of all orders and weights. We also provide a cohomological interpretation of these forms.

One of the primary methods of studying the topology of configurations of points in a graph and configurations of disks in a planar region has been to examine discrete combinatorial models arising from the underlying spaces. Despite the…

Hermitian cubic norm structures were recently introduced in order to study the class of skew-dimension one structurable algebras (which are typically only defined over fields of characteristic different from $2$ and $3$) over arbitrary…

What remains of a geometrical notion like that of a principal bundle when the base space is not a manifold but a coarse graining of it, like the poset formed by a base for the topology ordered under inclusion? Motivated by finding a…

An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…

This is a survey of some recent developments in the study of complements of line arrangements in the complex plane. We investigate the fundamental groups and finite covers of those complements, focusing on homological and enumerative…

Let $K$ be an imaginary quadratic field of discriminant $d_K$, and let $\mathfrak{n}$ be a nontrivial integral ideal of $K$ in which $N$ is the smallest positive integer. Let $\mathcal{Q}_N(d_K)$ be the set of primitive positive definite…

We compute the genus of a rational quadratic form in terms of the K-theory of a C*-algebra attached to the adelic orthogonal group of the form. As a corollary, one gets a higher composition law for the rational quadratic forms. As an…

Let $d$ be a positive fundamental discriminant, and let $\mathcal{C}_{d}$ be the set of isomorphism classes of cubic number fields of discriminant $d$. For each $K \in \mathcal{C}_{d}$, we construct a weight 1 modular form $f_{K}$ with…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…