Tangent Spaces to Motivic Cohomology Groups-on $ch^{\bullet}(x,1)$ and $Ch^{\bullet}(x,2)$

Gal Gross,Eckhard Meinrenken

2013-01-01

Abstract:BY using Green-Griffiths' results on tangent spaces to algebraic cycles [4], we study the tangent space to $CH^{2}(X,1)$, where $X$ is a nonsingular projective curve over a field $k$ of characteristic $0$.

What problem does this paper attempt to address?

On Pseudo-Holomorhpic Curves in Complex Grassmannians

Yb Shen,Yx Dong

DOI: https://doi.org/10.1142/s0252959999000394

1999-01-01

Chinese Annals of Mathematics Series B

Abstract:Further geometry and topology for pseudo-holomorphic curves in complex Grassmannians Gn(CN) are studied. Some curvature pinching theorems for pseudo-holomorphic curves with constant Kahler angles in G(m)(C-N) are obtained, so that the corresponding results for pseudo-holomorphic curves in complex projective spaces are generalized.
K-theory, local cohomology and tangent spaces to Hilbert schemes

Sen Yang

DOI: https://doi.org/10.2140/akt.2018.3.709

2018-06-08

Abstract:By using K-theory, we construct a map from the tangent space to the Hilbert scheme at a point Y to the local cohomology group. And we use this map to answer affirmatively(after slight modification) a question by Mark Green and Phillip Griffiths in [8] on constructing a map from the tangent space to the Hilbert scheme to the tangent space to the cycle group.

Algebraic Geometry
Tangent spaces on the trianguline variety at companion points

Seginus Mowlavi

2023-03-10

Abstract:Many results about the geometry of the trianguline variety have been obtained by Breuil-Hellmann-Schraen. Among them, using geometric methods, they have computed a formula for the dimension of the tangent space of the trianguline variety at dominant crystalline generic points, which has a conjectural generalisation to companion (i.e. non-dominant) points. In an earlier work, they proved a weaker form of this formula under the assumption of modularity using arithmetic methods. We prove a generalisation of a result of Bellaïche-Chenevier in p-adic Hodge theory and use it to extend the arithmetic methods of Breuil-Hellmann-Schraen to a wide class of companion points.

Number Theory,Algebraic Geometry,Representation Theory
An algebraic geometric realization of the Chern character

Ralph L. Cohen,Paulo Lima-Filho

DOI: https://doi.org/10.48550/arXiv.math/9912152

1999-12-18

Algebraic Topology

Abstract:Using symmetrized Grassmannians we give an algebraic geometric presentation, in the level of classifying spaces, of the Chern character and its relation to Chern classes. This allows one to define, for any projective variety $X$, a Chern character map from the "holomorphic K-theory of X to its morphic cohomology (introduced by Friedlander and Lawson). The holomorphic K-theory of $X$, introduced by Lawson, Lima-Filho and Michelsohn and also by Friedlander and Walker, is defined in terms a group-completion of the space of algebraic morphisms from X into BU. It has been further studied by the authors in a companion paper. Holomorphic K-theory sits between algebraic K-theory and topological K-theory in the same way that morphic cohomology sits between motivic cohomology and ordinary cohomology. Our constructions provide a bridge between these two worlds. We also realize Chern classes in the case where X is smooth, and establish a universal relation between the Chern character and the Chern classes. We use classical constructions with algebraic cycles and infinite symmetric products of projective spaces. The latter can be seen as the classifying space for motivic cohomology, and under this perspective our constructions are essentially motivic.
Cartan–Helgason theorem for quaternionic symmetric and twistor spaces

Clemens Weiske,Jun Yu,Genkai Zhang

DOI: https://doi.org/10.1016/j.indag.2024.05.013

IF: 0.827

2024-06-08

Indagationes Mathematicae

Abstract:Let (g,k) be a complex quaternionic symmetric pair with k having an ideal sl(2,C) , k=sl(2,C)+mc . Consider the representation Sm(C2)=Cm+1 of k via the projection k→sl(2,C) onto the ideal sl(2,C) . We study the finite dimensional irreducible representations V(λ) of g which contain Sm(C2) under k⊆g . We give a characterization of all such representations V(λ) and find the corresponding multiplicity m(λ,m)=dimHom(V(λ)|k,Sm(C2)). We consider also the branching problem of V(λ) under l=u(1)C+mc⊂k and find the multiplicities. Geometrically the Lie subalgebra l⊂k defines a twistor space over the compact symmetric space of the compact real form Gu of GC , Lie(GC)=g , and our results give the decomposition for the L2 -spaces of sections of certain vector bundles over the symmetric space and line bundles over the twistor space. This generalizes Cartan–Helgason's theorem for symmetric spaces (g,k) and Schlichtkrull's theorem for Hermitian symmetric spaces where one-dimensional representations of k are considered.

mathematics
Linear Chern-Hopf-Thurston conjecture

Ya Deng,Botong Wang

2024-09-27

Abstract:If $X$ is a closed $2n$-dimensional aspherical manifold, i.e., the universal cover of $X$ is contractible, then the Chern-Hopf-Thurston conjecture predicts that $(-1)^n\chi(X)\geq 0$. We prove this conjecture when $X$ is a complex projective manifold whose fundamental group admits an almost faithful linear representation over any field. In fact, we prove a much stronger statement that if $X$ is a complex projective manifold with large fundamental group and $\pi_1(X)$ admits an almost faithful linear representation, then $\chi(X, \mathcal{P})\geq 0$ for any perverse sheaf $\mathcal{P}$ on $X$. To prove this, we introduce a vanishing cycle functor of multivalued one-forms and apply techniques from non-abelian Hodge theory, both in archimedean and non-archimedean settings. These techniques allow us to deduce the desired positivity from the geometric properties of pure and mixed period maps.

Algebraic Geometry,Differential Geometry,Geometric Topology
Motivic cohomology of cyclic coverings

Tariq Syed

2024-01-24

Abstract:Cyclic coverings produce many examples of topologically contractible smooth affine complex varieties. In this paper, we study the motivic cohomology groups of cyclic coverings over algebraically closed fields of characteristic $0$. In particular, we prove that in many situations Chow groups of cyclic coverings become trivial after tensoring with $\mathbb{Q}$. Furthermore, we can prove that the Chow groups of certain bicyclic coverings are trivial even without tensoring with $\mathbb{Q}$.

Algebraic Geometry,Algebraic Topology,K-Theory and Homology
Motivic Gauss and Jacobi sums

Noriyuki Otsubo,Takao Yamazaki

2024-04-09

Abstract:We study the Gauss and Jacobi sums from a viewpoint of motives. We exhibit isomorphisms between Chow motives arising from the Artin-Schreier curve and the Fermat varieties over a finite field, that can be regarded as (and yield a new proof of) classically known relations among Gauss and Jacobi sums such as Davenport-Hasse's multiplication formula. As a key step, we define motivic analogues of the Gauss and Jacobi sums as algebraic correspondences, and show that they represent the Frobenius endomorphisms of such motives. This generalizes Coleman's result for curves. These results are applied to investigate the group of invertible Chow motives with coefficients in a cyclotomic field.

Number Theory,Algebraic Geometry,K-Theory and Homology
Non-vanishing of Ceresa and Gross--Kudla--Schoen cycles associated to modular curves

Matt Kerr,Wanlin Li,Congling Qiu,Tonghai Yang

2024-07-31

Abstract:Given an algebraic curve $X$ of genus $\ge 3$, one can construct two algebraic $1$-cycles, the Ceresa cycle and the Gross-Kudla-Schoen modified diagonal cycle, each living in the Jacobian of $X$ and the triple product $X \times X \times X$ respectively. These two cycles are homologically trivial but are of infinite order in their corresponding Chow groups for a very general curve over $\mathbb{C}$. From the work of S-W Zhang, for a fixed curve these two cycles are non-torsion in their corresponding Chow groups if and only if one of them is. In this paper, we prove that the Ceresa and Gross-Kudla-Schoen cycles associated to a modular curve $X$ are non-torsion in the corresponding Chow groups when $X=\Gamma \backslash \overline{\mathbb{H}}$ for certain congruence subgroups $\Gamma\subset {\rm SL}_2(\mathbb{Z})$. We obtain the result by studying a pullback formula for special divisors by the diagonal map $X \hookrightarrow X \times X$.

Algebraic Geometry,Number Theory
Algebraic cycles and Hitchin systems

Davesh Maulik,Junliang Shen,Qizheng Yin

2024-07-07

Abstract:The purpose of this paper is to study motivic aspects of the Hitchin system for $\mathrm{GL}_n$. Our results include the following. (a) We prove the motivic decomposition conjecture of Corti-Hanamura for the Hitchin system; in particular, the decomposition theorem associated with the Hitchin system is induced by algebraic cycles. This yields an unconditional construction of the motivic perverse filtration for the Hitchin system, which lifts the cohomological/sheaf-theoretic perverse filtration. (b) We prove that the inverse of the relative Hard Lefschetz symmetry is induced by a relative algebraic correspondence, confirming the relative Lefschetz standard conjecture for the Hitchin system. (c) We show a strong perversity bound for the normalized Chern classes of a universal bundle with respect to the motivic perverse filtration; this specializes to the sheaf-theoretic result obtained earlier by Maulik-Shen. (d) We prove a $\chi$-independence result for the relative Chow motives associated with Hitchin systems. Our methods combine Fourier transforms for compactified Jacobian fibrations associated with integral locally planar curves, nearby and vanishing cycle techniques, and a Springer-theoretic interpretation of parabolic Hitchin moduli spaces.

Algebraic Geometry,Representation Theory
Characteristic forms of complex Cartan geometries II

Benjamin McKay

2023-12-07

Abstract:Characteristic class relations in Dolbeault cohomology follow from the existence of a holomorphic Cartan geometry (for example, a holomorphic conformal structure or a holomorphic projective connection). These relations can be calculated directly from the representation theory of the structure group, without selecting any metric or connection or having any knowledge of the Dolbeault cohomology groups of the manifold. This paper improves on its predecessor by allowing noncompact and non-Kähler manifolds and by deriving invariants in cohomology of vector bundles, not just in scalar Dolbeault cohomology, and computing relations involving Chern--Simons invariants in Dolbeault cohomology. For the geometric structures previously considered in its predecessor, this paper gives stronger results and simplifies the computations. It gives the first results on Chern--Simons invariants of Cartan geometries.

Differential Geometry
Noncommutative numerical motives, Tannakian structures, and motivic Galois groups

Matilde Marcolli,Goncalo Tabuada

DOI: https://doi.org/10.48550/arXiv.1110.2438

2011-10-12

Abstract:In this article we further the study of noncommutative numerical motives. By exploring the change-of-coefficients mechanism, we start by improving some of our previous main results. Then, making use of the notion of Schur-finiteness, we prove that the category NNum(k)_F of noncommutative numerical motives is (neutral) super-Tannakian. As in the commutative world, NNum(k)_F is not Tannakian. In order to solve this problem we promote periodic cyclic homology to a well-defined symmetric monoidal functor HP on the category of noncommutative Chow motives. This allows us to introduce the correct noncommutative analogues C_NC and D_NC of Grothendieck's standard conjectures C and D. Assuming C_NC, we prove that NNum(k)_F can be made into a Tannakian category NNum'(k)_F by modifying its symmetry isomorphism constraints. By further assuming D_NC, we neutralize the Tannakian category NNum'(k)_F using HP. Via the (super-)Tannakian formalism, we then obtain well-defined noncommutative motivic (super-)Galois groups. Finally, making use of Deligne-Milne's theory of Tate triples, we construct explicit homomorphisms relating these new noncommutative motivic (super-)Galois groups with the classical ones.

K-Theory and Homology,Algebraic Geometry,Algebraic Topology
Higher Chow groups and not necessarily admissible cycles

Vasily Bolbachan

2024-02-09

Abstract:We construct some analog of cubical Bloch's higher Chow groups. Instead of considering cycles in $X\times\mathbb A^n$ we consider varieties $Y$ over $X$ together with a distinguished element in the $n$-th exterior power of the multiplicative group of the field of fraction on $Y$. This definition allows us to make sense of a cycle in $X\times\mathbb A^n$ intersecting faces improperly as an element in this complex. We prove that this complex is well-defined and study its basic properties: flat pullback, the localization sequence etc. As an application we prove that the cohomology of this complex in degrees $m-1, m$ and weight $m$ isomorphic to the cohomology of polylogarithmic complex.

Algebraic Geometry,K-Theory and Homology
Tangent groupoid and tangent cones in sub-Riemannian geometry

Omar Mohsen

2024-09-03

Abstract:Let $X_1,\cdots,X_m$ be vector fields satisfying Hörmander's Lie bracket generating condition on a smooth manifold $M$. We generalise Connes's tangent groupoid, by constructing a completion of the space $M\times M\times \mathbb{R}_+^\times$ using the sub-Riemannian metric. We use our space to calculate all the tangent cones of the sub-Riemannian metric in the sense of the Gromov-Hausdorff distance. This generalises a result of Bellaïche.

Differential Geometry,Metric Geometry,Operator Algebras
Motivic cohomology of equicharacteristic schemes

Elden Elmanto,Matthew Morrow

2023-09-15

Abstract:We construct a theory of motivic cohomology for quasi-compact, quasi-separated schemes of equal characteristic, which is related to non-connective algebraic $K$-theory via an Atiyah--Hirzebruch spectral sequence, and to étale cohomology in the range predicted by Beilinson and Lichtenbaum. On smooth varieties over a field our theory recovers classical motivic cohomology, defined for example via Bloch's cycle complex. Our construction uses trace methods and (topological) cyclic homology. As predicted by the behaviour of algebraic $K$-theory, the motivic cohomology is in general sensitive to singularities, including non-reduced structure, and is not $\mathbb{A}^1$-invariant. It nevertheless has good geometric properties, satisfying for example the projective bundle formula and pro cdh descent. Further properties of the theory include a Nesterenko--Suslin comparison isomorphism to Milnor $K$-theory, and a vanishing range which simultaneously refines Weibel's conjecture about negative $K$-theory and a vanishing result of Soulé for the Adams eigenspaces of higher algebraic $K$-groups. We also explore the relation of the theory to algebraic cycles, showing in particular that the Levine--Weibel Chow group of zero cycles on a surface arises as a motivic cohomology group.

K-Theory and Homology,Algebraic Geometry
Motivic Steenrod problem away from the characteristic

Toni Annala,Tobias Shin

2024-07-18

Abstract:In topology, the Steenrod problem asks whether every singular homology class is the pushforward of the fundamental class of a closed oriented manifold. Here, we introduce an analogous question in algebraic geometry: is every element on the Chow line of the motivic cohomology of $X$ the pushforward of a fundamental class along a projective derived-lci morphism? If $X$ is a smooth variety over a field of characteristic $p \geq 0$, then a positive answer to this question follows up to $p$-torsion from resolution of singularities by alterations. However, if $X$ is singular, then this is no longer necessarily so: we give examples of motivic cohomology classes of a singular scheme $X$ that are not $p$-torsion and are not expressible as such pushforwards. A consequence of our result is that the Chow ring of a singular variety cannot be expressed as a quotient of its algebraic cobordism ring, as suggested by the first-named-author in his thesis.

Algebraic Geometry,K-Theory and Homology
Eisenstein cocycles in motivic cohomology

Romyar Sharifi,Akshay Venkatesh

2023-12-13

Abstract:Several authors have studied homomorphisms from first homology groups of modular curves to the second K-group of a cyclotomic ring or a modular curve X. These maps send Manin symbols in the homology groups to Steinberg symbols of cyclotomic or Siegel units. We give a new construction of these maps and a direct proof of their Hecke equivariance, analogous to the construction of Siegel units using the universal elliptic curve. Our main tool is a 1-cocycle from GL_2(Z) to the second K-group of the function field of a suitable group scheme over X, from which the maps of interest arise by specialization.

Number Theory,Algebraic Geometry,K-Theory and Homology
Chow Groups of Quadrics in Characteristic Two

Yong Hu,Ahmed Laghribi,Peng Sun

DOI: https://doi.org/10.1016/j.jnt.2023.06.017

2023-07-12

Abstract:Let $X$ be a smooth projective quadric defined over a field of characteristic 2. We prove that in the Chow group of codimension 2 or 3 of $X$ the torsion subgroup has at most two elements. In codimension 2, we determine precisely when this torsion subgroup is nontrivial. In codimension 3, we show that there is no torsion if $\dim X\ge 11$. This extends the analogous results in characteristic different from 2, obtained by Karpenko in the nineteen-nineties.

Number Theory,Algebraic Geometry,K-Theory and Homology
A Geometric Interpretation of the χ-{y} Genus on Hyper-Kahler Manifolds

George Thompson

DOI: https://doi.org/10.48550/arXiv.math/9905102

1999-05-18

Algebraic Geometry

Abstract:The group SL(2) acts on the space of cohomology groups of any hyper-Kahler manifold X. The \chi_{y} genus of a hyper-Kahler X is shown to have a geometric interpretation as the super trace of an element of SL(2). As a by product one learns that the generalized Casson invariant for a mapping torus is essentially the \chi_{y} genus.
Automorphisms of moduli spaces of principal bundles over a smooth curve

Roberto Fringuelli

2024-04-15

Abstract:For any almost-simple group $G$ over an algebraically closed field $k$ of characteristic zero, we describe the automorphism group of the moduli space of semistable $G$-bundles over a connected smooth projective curve $C$ of genus at least $4$. The result is achieved by studying the singular fibers of the Hitchin fibration. As a byproduct, we provide a description of the irreducible components of two natural closed subsets in the Hitchin basis: the divisor of singular cameral curves and the divisor of singular Hitchin fibers.

Algebraic Geometry

Tangent Spaces to Motivic Cohomology Groups-on $ch^{\bullet}(x,1)$ and $Ch^{\bullet}(x,2)$

On Pseudo-Holomorhpic Curves in Complex Grassmannians

K-theory, local cohomology and tangent spaces to Hilbert schemes

Tangent spaces on the trianguline variety at companion points

An algebraic geometric realization of the Chern character

Cartan–Helgason theorem for quaternionic symmetric and twistor spaces

Linear Chern-Hopf-Thurston conjecture

Motivic cohomology of cyclic coverings

Motivic Gauss and Jacobi sums

Non-vanishing of Ceresa and Gross--Kudla--Schoen cycles associated to modular curves

Algebraic cycles and Hitchin systems

Characteristic forms of complex Cartan geometries II

Noncommutative numerical motives, Tannakian structures, and motivic Galois groups

Higher Chow groups and not necessarily admissible cycles

Tangent groupoid and tangent cones in sub-Riemannian geometry

Motivic cohomology of equicharacteristic schemes

Motivic Steenrod problem away from the characteristic

Eisenstein cocycles in motivic cohomology

Chow Groups of Quadrics in Characteristic Two

A Geometric Interpretation of the χ-{y} Genus on Hyper-Kahler Manifolds

Automorphisms of moduli spaces of principal bundles over a smooth curve