相关论文: Symmetric correspondences on quadrics

We show that a very general quartic hypersurface in $\mathbb P^6 $ over a field of characteristic different from 2 does not admit a decomposition of the diagonal, hence is not retract rational. This generalizes a result of Nicaise--Ottem,…

One distinguishing feature of rational curves is that they have algebraic parameterizations. Arc spaces are a way of describing approximations to parameterizations of all curves in some fixed space. Playing on these descriptions, this paper…

We establish a derived geometric Satake equivalence for the quaternionic general linear group GL_n(H). By applying the real-symmetric correspondence for affine Grassmannians, we obtain a derived geometric Satake equivalence for the…

We construct examples of nodal quartic double solids that admit uniformly rational, and so elliptic in Gromov' sense, small algebraic resolutions.

Symmetric homology is an analog of cyclic homology in which the cyclic groups are replaced by symmetric groups. The foundations for the theory of symmetric homology of algebras are developed in the context of crossed simplicial groups using…

We present news proofs of the additivity, resolution and cofinality theorems for the algebraic $K$-theory of exact categories. These proofs are entirely algebraic, based on Grayson's presentation of higher algebraic $K$-groups via binary…

Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…

In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to…

We define an intersection product of tropical cycles on matroid varieties (via cutting out the diagonal) and show that it is well-behaved. In particular, this enables us to intersect cycles on moduli spaces of tropical rational marked…

Let $V$ be a vertex operator algebra and $g=\left(1\ 2\ \cdots k\right)$ be a $k$-cycle which is viewed as an automorphism of the vertex operator algebra $V^{\otimes k}$. It is proved that Dong-Li-Mason's associated associative algebra…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

We study the scheme of formal arcs on a singular algebraic variety and its images under truncations. We prove a rationality result for the Poincare series of these images which is an analogue of the rationality of the Poincare series…

In this paper we present a variety of statements that are in the spirit of the famous theorem of Pascal, often referred to as the Mystic Hexagon. We give explicit equations describing the conditions for $d+4$ points to lie on rational…

The goal of this paper is to present some results and (more importantly) state a number of conjectures suggesting that the representation theory of symplectic reflection algebras for wreath products categorifies certain structures in the…

We associate a deformation of Heisenberg algebra to the suitably normalized Yang $R$-matrix and we investigate its properties. Moreover, we construct new examples of quantum vertex algebras which possess the same representation theory as…

Rule-based reasoning is an essential part of human intelligence prominently formalized in artificial intelligence research via logic programs. Describing complex objects as the composition of elementary ones is a common strategy in computer…

Quadratic algebras associated to graphs have been introduced by I. Gelfand, S. Gelfand, and Retakh in connection with decompositions of noncommutative polynomials. Here we show that, for each graph with rare triangular subgraphs, the…

We study bases of the lattice generated by the cycles of an undirected graph, defined as the integer linear combinations of the 0/1-incidence vectors of cycles. We prove structural results for this lattice, including explicit formulas for…

The irreducible components of the variety of all modules over the preprojective algebra and MV cycles both index bases of the universal enveloping algebra of the positive part of a semisimple Lie algebra canonically. To relate these two…

Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $\lambda$-adic representations of the \'etale…