相关论文: Realizations of Biextensions

For quasi-projective varieties over a higher local field $k_N$, we prove that its $K$-groups, above a suitable degree, are divisible-by-finite. We also prove the finiteness of the prime-to-$p$ torsion subgroup of certain higher Chow groups…

We construct and study a candidate for the standard motivic t-structure on the triangulated category of relative cohomological 1-motives with rational coefficients over a noetherian finite dimensional scheme S. This t-structure is defined…

We compute the dimension of the motivic Galois group of a 1-motive M defined over the field of complex numbers, expressing it explicitly in terms of the rank of the multiplicative group generated by the points defining M. As an application,…

Let $L$ and $M$ be finite extensions of $K = \mathbb{C}(t)$. If $L\otimes _K M$ is a field of genus $0$, then at least one of $L$ and $M$ is ramified over at most four valuations of $K$.

We prove that, for any smooth and projective scheme $X$ over a field $k$ of char. $0$, the set of maps from Spec $k$ to $X$ in the $\mathbf{A}^1$-homotopy category of schemes $\mathcal{H}_{\mathbf{A}^1}(k)$ is in bijection with the quotient…

Given a hilbertian field $k$ of characteristic zero and a finite Galois extension $E/k(T)$ with group $G$ such that $E/k$ is regular, we produce some specializations of $E/k(T)$ at points $t_0 \in \mathbb{P}^1(k)$ which have the same Galois…

We analyze the structure of heterotic M-theory on K3 orbifolds by presenting a comprehensive sequence of M-theoretic models constructed on the basis of local anomaly cancellation. This is facilitated by extending the technology developed in…

We introduce new motivic invariants of arbitrary varieties over a perfect field. These cohomological invariants take values in the category of one-motives (considered up to isogeny in positive characteristic). The algebraic definition of…

Hecke has shown that the different of an extension of number fields is a square in the class group. We prove an analog for branched covers of closed $3$-manifolds saying that the branch divisor is a square in the first homology group.

A natural place to study the Chow ring of the classifying space $BG$, for $G$ a linear algebraic group, is Voevodsky's triangulated category of motives, inside which Morel and Voevodsky, and Totaro have defined motives $M(BG)$ and…

We prove that the GKM graphs of GKM$_4$ manifolds that are either Hamiltonian or of complexity one extend to torus graphs. The arguments are based on a reformulation of the extension problem in terms of a natural representation of the…

We define a bicategory $\mathbf{2TDX}$ whose 1-cells provide a categorification of transducers, computational devices extending finite-state automata with output capabilities. This bicategory is a mathematically interesting object: its…

Let $k$ be a totally real number field. For every odd $n\geq 3$, we construct a Dedekind zeta motive in the category $\MT(k)$ of mixed Tate motives over $k$. By directly calculating its Hodge realisation, we prove that its period is a…

A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. We compute a mapping class group of a hypekahler manifold $M$, showing that it is commensurable to an arithmetic subgroup in SO(3,…

We introduce the categories of geometric mixed Hodge modules on algebraic varieties over a subfield $k\subset\mathbb C$, and for a prime number $p$, the categories of geometric $p$-adic mixed Hodge modules on algebraic varieties over a…

The monomorphism category $\mathscr{S}(A, M, B)$ induced by a bimodule $_AM_B$ is the subcategory of $\Lambda$-mod consisting of $\left[\begin{smallmatrix} X\\ Y\end{smallmatrix}\right]_{\phi}$ such that $\phi: M\otimes_B Y\rightarrow X$ is…

We prove that the generalized symplectic capacities recognize objects in symplectic categories whose objects are of the form $(M, \omega)$, such that $M$ is a compact and 1-connected manifold, $\omega$ is an exact symplectic form on $M$,…

Presentations for unbraided, braided and symmetric pseudomonoids are defined. Biequivalences characterising the semistrict bicategories generated by these presentations are proven. It is shown that these biequivalences categorify results in…

We characterize Birkhoff-James orthogonality of continuous vector-valued functions on a compact topological space. As an application of our investigation, Birkhoff-James orthogonality of real bilinear forms are studied. This allows us to…

A closed 3-form $H \in \Omega^3_0(M)$ defines an extension of $\Gamma(TM)$ by $\Omega^2_0(M)$. This fact leads to the definition of the group of $H$-twisted Hamiltonian symmetries $\Ham(M, \JJ; H)$ as well as Hamiltonian action of Lie group…