Related papers: Nori's construction and the second Abel-Jacobi map
The aim of this note is to survey the factorizations of the Fibonacci infinite word that make use of the Fibonacci words and other related words, and to show that all these factorizations can be easily derived in sequence starting from…
We construct a map from knots to (abstract) 2-knots which can be extended to higher dimensions; this map is the natural "knot" counterpart for "braid" theory of groups $G_{n}^{k}$.
These are lecture notes for an introductory course on Nichols algebras. As a main reference, I work with the book by Heckenberger and Schneider, but I want to take a distinct categorical perspective and try to develop the topic for an…
The aim of this work is to compare the distinct notions of Mal'tsev object in the sense of Weighill and in the sense of Montoli-Rodelo-Van der Linden.
The purpose of this note is to work out the details of the concrete incarnation of a few categorical constructions (products, coproducts, pullbacks, pushouts, equalizers, coequalizers, and exponentials) in some useful and basic categories:…
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…
The goal of this note is to show that the left $\chi$-coalgebra, which is an additional structure on one of the coefficients used in the construction of the cyclic operator for the cyclic sets that generalises the twisted nerve of a group…
We show how the Abel-Jacobi map provides all the principal properties of an ample family of integrable mechanical systems associated to hyperelliptic curves. We prove that derivative of the Abel-Jacobi map is just the St\"{a}ckel matrix,…
We construct an Abel-Jacobi type map on the homologically trivial part of Lawson homology groups. It generalizes the Abel-Jacobi map constructed by Griffiths. By using a result of H. Clemens, we give some examples of smooth projective…
In this study, we define interaction components of different orders between two input variables based on game theory. We further prove that interaction components of different orders satisfy several desirable properties.
It is our aim in this note to give a counter example to an argument used in the proof of the main theorem of the paper: On iterations for families of asymptotically pseudocontractive mappings, Applied Mathematics Letters, 24 (2011), 33-38…
We show that the image of the Abel-Jacobi map admits functorially a model over the field of definition, with the property that the Abel-Jacobi map is equivariant with respect to this model. The cohomology of this abelian variety over the…
These notes deal with some basic notions related to p-adic numbers and functions of p-adic numbers.
We introduce a class of cycles, called nondegenerate, strictly decomposable cycles, and show that the image of each cycle in this class under the refined cycle map to an extension group in the derived category of arithmetic mixed Hodge…
We describe a refined Chow theory for log schemes extending the theory of b-Chow suggested Holmes Pixton and Schmidt based off of a definition of Shokurov. This produces a dimension graded family of Abelian groups supporting a push-forward…
In the first two of these lectures, I present the evidence for baryonic dark matter and describe possible forms that it may take. The final lecture discusses formation of baryonic dark matter, and sets the cosmological context.
This paper from 2008 is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the foundations are laid for later results. These foundations consist of a thorough…
Any counterexample to the two-dimensional Jacobian Conjecture gives a rational map from one projective plane to another. We use some ideas of the Minimal Model Program to study the combinatorial structure of a rational surface, that is…
We link smooth Artin motives to \'etale local systems and Artin representations. We then construct the ordinary motivic t-structure on Artin motives with integral coefficients and show that the $\ell$-adic realization functor is t-exact.
Our paper is the first study of what one might call "reverse mathematics of explicit fixpoints". We study two methods of constructing such fixpoints for formulas whose principal connective is the intuitionistic Lewis arrow. Our main…