Related papers: Uniform bounds and ultraproducts of cycles
We show that the continuous \'etale cohomology groups $H^n_{\mathrm{cont}}(X,\mathbf{Z}_l(n))$ of smooth varieties $X$ over a finite field $k$ are spanned as $\mathbf{Z}_l$-modules by the $n$-th Milnor $K$-sheaf locally for the Zariski…
A conjecture of Colliot-Th\'{e}l\`{e}ne predicts that for a smooth projective variety $X$ over a finite extension $k$ of $\mathbb{Q}_p$ the kernel of the Albanese map $\text{CH}_0(X)^{\text{deg}=0}\to Alb_X(k)$ is the direct sum of a…
Motivated by some recent developments in abstract theories of quadratic forms, we start to develop in this work an expansion of Linear Algebra to multivalued structures (a multialgebraic structure is essentially an algebraic structure but…
In this short note we try to generalize the Clemens-Griffiths criterion of non-rationality for smooth cubic threefolds to the case of smooth cubic fourfolds.
A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the…
We prove the existence of noncrossed product and indecomposable division algebras over the function field of a smooth p-adic curve, especially when the curve does not admit a smooth model over Z_p. Thus we generalize arXiv 0907.0670. To…
We consider smooth representations of the unit group $G = \mathcal{A}^{\times}$ of a finite-dimensional split basic algebra $\mathcal{A}$ over a non-Archimedean local field. In particular, we prove a version of Gutkin's conjecture, namely,…
We introduce the definition of De Rham logarithmic classes. We show that the De Rham class of an algebraic cycle of a smooth algebraic variety over a field of characteristic zero is logarithmic and conversely that a logarithmic class of…
We study the $p$-adic (generalized) hypergeometric equations by using the theory of multiplicative convolution of arithmetic $\mathscr{D}$-modules. As a result, we prove that the hypergeometric isocrystals with suitable rational parameters…
For a smooth projective variety X over an arbitrary field k, we discuss the surjectivity of the Albanese map from the Chow group of zero-cycles of degree zero on X to the group of rational points of the Albanese variety of X. Over…
This paper explores the cohomological consequences of the existence of moduli spaces for flat bundles with bounded rank and irregularity at infinity and gives unconditional proofs. Namely, we prove the existence of a universal bound for the…
We prove the existence of an effective universal upper bound for the order of any integral periodic orbit of any integral algebraic dynamical system in a fixed ambient space. Using this, we demonstrate the decidability of periodicity in…
This paper investigates the independence polynomials arising from iterated strong products of cycle graphs, examining their algebraic symmetries and combinatorial structures. Leveraging modular arithmetic and Galois theory, we establish…
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along…
We give a formalism of arithmetic mixed sheaves including the case of arithmetic mixed Hodge structures, and show the nonvanishing of certain higher extension groups, and also the nontriviality of the second Abel-Jacobi map for zero cycles…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
Most classical results in circuit complexity theory concern circuits over the Boolean domain. Besides their simplicity and the ease of comparing different languages, the actual architecture of computers is also an important motivating…
The isomorphism problem means to decide if two given finite-dimensional simple algebras over the same centre are isomorphic and, if so, to construct an isomorphism between them. A solution to this problem has applications in computational…
Recent work on the use of dimensional reduction for the regularisation of non--supersymmetric theories is reviewed. It is then shown that there exists a class of theories for which a universal form of the soft supersymmetry breaking terms…
We study relations among characteristic classes of smooth manifold bundles with highly-connected fibers. For bundles with fiber the connected sum of $g$ copies of a product of spheres $S^d \times S^d$ and an odd $d$, we find numerous…