Source author record

Kestutis Cesnavicius

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.AG math.AC math.CO math.RT

Catalog footprint

Research overview

9works

5topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Torsors on loop groups and the Hitchin fibration

In his proof of the fundamental lemma, Ngô established the product formula for the Hitchin fibration over the anisotropic locus. One expects this formula over the larger generically regular semisimple locus, and we confirm this by deducing the relevant vanishing statement for torsors over loop groups $R((t))$ from a general formula for $\mathrm{Pic}(R((t)))$ . In the build up to the product formula, we present general algebraization, approximation, and invariance under Henselian pairs results for torsors, give short new proofs for the Elkik approximation theorem and the Chevalley isomorphism $\mathfrak{g}//G \cong \mathfrak{t}/W$ , and improve results on the geometry of the Chevalley morphism $\mathfrak{g} \rightarrow \mathfrak{g}//G$ .

preprint2020arXiv

Grothendieck-Lefschetz for vector bundles

According to the Grothendieck-Lefschetz theorem from SGA 2, there are no nontrivial line bundles on the punctured spectrum $U_R$ of a local ring $R$ that is a complete intersection of dimension $\ge 4$ . Dao conjectured a generalization for vector bundles $\mathscr{V}$ of arbitrary rank on $U_R$ : such a $\mathscr{V}$ is free if and only if $\mathrm{depth}_R(\mathrm{End}_R(Γ(U_R, \mathscr{V}))) \ge 4$ . We use deformation theoretic techniques to settle Dao's conjecture. We also present examples showing that its assumptions are sharp and draw consequences for splitting of vector bundles on complete intersections in projective space.

preprint2020arXiv

Macaulayfication of Noetherian schemes

To reduce to resolving Cohen-Macaulay singularities, Faltings initiated the program of "Macaulayfying" a given Noetherian scheme $X$ . For a wide class of $X$ , Kawasaki built the sought Cohen-Macaulay modifications, with a crucial drawback that his blowups did not preserve the locus $\mathrm{CM}(X) \subset X$ where $X$ is already Cohen-Macaulay. We extend Kawasaki's methods to show that every quasi-excellent, Noetherian scheme $X$ has a Cohen-Macaulay $\widetilde{X}$ with a proper map $\widetilde{X} \rightarrow X$ that is an isomorphism over $\mathrm{CM}(X)$ . This completes Faltings' program, reduces the conjectural resolution of singularities to the Cohen-Macaulay case, and implies that every proper, smooth scheme over a number field has a proper, flat, Cohen-Macaulay model over the ring of integers.

preprint2016arXiv

Coarse base change fails for some modular curves

For a congruence level $H \subset \mathrm{GL}_2(\hat{\mathbb{Z}})$ , the formation of the modular curve $X_H$ , i.e., of the coarse moduli space of the level $H$ modular stack $\mathscr{X}_H$ , is known to commute with arbitrary base change in a wide range of cases. We exhibit infinitely many $H$ , for instance, $H = Γ_1(4)$ , for which this coarse base change property fails. In our examples failure is witnessed for base change to $\mathbb{F}_2$ and for any $\mathbb{Z}_{(2)}$ -fiberwise dense open substack of $\mathscr{X}_H$ . These examples fill in several open entries in a table in the book of Katz and Mazur.

preprint2015arXiv

Poitou-Tate without restrictions on the order

The Poitou-Tate sequence relates Galois cohomology with restricted ramification of a finite Galois module $M$ over a global field to that of the dual module under the assumption that $\#M$ is a unit away from the allowed ramification set. We remove the assumption on $\#M$ by proving a generalization that allows arbitrary "ramification sets" that contain the archimedean places. We also prove that restricted products of local cohomologies that appear in the Poitou-Tate sequence may be identified with derived functor cohomology of an adele ring. In our proof of the generalized sequence we adopt this derived functor point of view and exploit properties of a natural topology carried by cohomology of the adeles.

preprint2015arXiv

Selmer groups as flat cohomology groups

Given a prime number $p$ , Bloch and Kato showed how the $p^\infty$ -Selmer group of an abelian variety $A$ over a number field $K$ is determined by the $p$ -adic Tate module. In general, the $p^m$ -Selmer group $\mathrm{Sel}_{p^m} A$ need not be determined by the mod $p^m$ Galois representation $A[p^m]$ ; we show, however, that this is the case if $p$ is large enough. More precisely, we exhibit a finite explicit set of rational primes $Σ$ depending on $K$ and $A$ , such that $\mathrm{Sel}_{p^m} A$ is determined by $A[p^m]$ for all $p \not \in Σ$ . In the course of the argument we describe the flat cohomology group $H^1_{\mathrm{fppf}}(O_K, \mathcal{A}[p^m])$ of the ring of integers of $K$ with coefficients in the $p^m$ -torsion $\mathcal{A}[p^m]$ of the Néron model of $A$ by local conditions for $p\not\in Σ$ , compare them with the local conditions defining $\mathrm{Sel}_{p^m} A$ , and prove that $\mathcal{A}[p^m]$ itself is determined by $A[p^m]$ for such $p$ . Our method sharpens the known relationship between $\mathrm{Sel}_{p^m} A$ and $H^1_{\mathrm{fppf}}(O_K, \mathcal{A}[p^m])$ and continues to work for other isogenies $ϕ$ between abelian varieties over global fields provided that $\mathrm{deg} ϕ$ is constrained appropriately. To illustrate it, we exhibit resulting explicit rank predictions for the elliptic curve $11A1$ over certain families of number fields.

preprint2015arXiv

Topology on cohomology of local fields

Arithmetic duality theorems over a local field $k$ are delicate to prove if $\mathrm{char} k > 0$ . In this case, the proofs often exploit topologies carried by the cohomology groups $H^n(k, G)$ for commutative finite type $k$ -group schemes $G$ . These "Čech topologies", defined using Čech cohomology, are impractical due to the lack of proofs of their basic properties, such as continuity of connecting maps in long exact sequences. We propose another way to topologize $H^n(k, G)$ : in the key case $n = 1$ , identify $H^1(k, G)$ with the set of isomorphism classes of objects of the groupoid of $k$ -points of the classifying stack $\mathbf{B} G$ and invoke Moret-Bailly's general method of topologizing $k$ -points of locally of finite type $k$ -algebraic stacks. Geometric arguments prove that these "classifying stack topologies" enjoy the properties expected from the Čech topologies. With this as the key input, we prove that the Čech and the classifying stack topologies actually agree. The expected properties of the Čech topologies follow, which streamlines a number of arithmetic duality proofs given elsewhere.

preprint2014arXiv

Local factors valued in normal domains

We give an exposition of Deligne's theory of local $ε_0$ -factors over fields and discrete valuation rings under the assumption that the theory over the complex numbers is known. We then employ standard techniques from algebraic geometry to deduce the theory of local $ε_0$ -factors over arbitrary normal integral schemes.

preprint2010arXiv

On a Generalization of the Flag Complex Conjecture of Charney and Davis

The Flag Complex Conjecture of Charney and Davis states that for a simplicial complex $S$ which triangulates a $(2n - 1)$ -generalized homology sphere as a flag complex one has $(-1)^n \sum_{σ\in S} \left(\frac{-1}{2}\right)^{\dimσ+ 1} \ge 0$ , where the sum runs over all simplices $σ$ of $S$ (including the empty simplex). Interpreting the $1$ -skeleta of $σ\in S$ as graphs of Coxeter groups, we present a stronger version of this conjecture, and prove the equivalence of the latter to the Flag Complex Conjecture.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Kestutis Cesnavicius

Research overview

Is this your work?

9 publications

Torsors on loop groups and the Hitchin fibration

Grothendieck-Lefschetz for vector bundles

Macaulayfication of Noetherian schemes

Coarse base change fails for some modular curves

Poitou-Tate without restrictions on the order

Selmer groups as flat cohomology groups

Topology on cohomology of local fields

Local factors valued in normal domains

On a Generalization of the Flag Complex Conjecture of Charney and Davis

See the researcher in context

Building this map preview