Source author record

Ambrus Pál

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

ResearcherUnclaimed source record

math.AG math.NT

Catalog footprint

Research overview

7works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Rank 2 local systems and abelian varieties II

Let $X/\mathbb{F}_{q}$ be a smooth, geometrically connected, quasiprojective variety. Let $\mathcal{E}$ be a semisimple overconvergent $F$ -isocrystal on $X$ . Suppose that irreducible summands $\mathcal{E}_i$ of $\mathcal E$ have rank 2, determinant $\bar{\mathbb{Q}}_p(-1)$ , and infinite monodromy at $\infty$ . Suppose further that for each closed point $x$ of $X$ , the characteristic polynomial of $\mathcal{E}$ at $x$ is in $\mathbb{Q}[t]\subset \mathbb Q_p[t]$ . Then there exists a non-trivial open set $U\subset X$ such that $\mathcal{E}|_U$ comes from a family of abelian varieties on $U$ . As an application, let $L_1$ be an irreducible lisse $\bar{\mathbb{Q}}_l$ sheaf on $X$ that has rank 2, determinant $\bar{\mathbb{Q}}_l(-1)$ , and infinite monodromy at $\infty$ . Then all crystalline companions to $L_1$ exist (as predicted by Deligne's crystalline companions conjecture) if and only if there exists a non-trivial open set $U\subset X$ and an abelian scheme $π_U\colon A_U\rightarrow U$ such that $L_1|_U$ is a summand of $R^1(π_U)_*\bar{\mathbb{Q}}_l$ .

preprint2022arXiv

Simplicial homotopy theory of algebraic varieties over real closed fields, Part 1

We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur comparing the real homotopy type with the étale homotopy type. This paper is part one of a sequence of papers on this topic.

preprint2022arXiv

The strong Massey vanishing conjecture for fields with virtual cohomological dimension at most $1$

We show that a strong vanishing conjecture for $n$ -fold Massey products holds for fields of virtual cohomological dimension at most $1$ using a theorem of Haran. We also prove the same for PpC fields, using results of Haran--Jarden. Finally we construct a pro- $2$ group which satisfies the weak Massey vanishing property for every $n\geq3$ , but does not satisfy the strong Massey vanishing property for $n=4$ .

preprint2015arXiv

Pathologies of the Brauer-Manin obstruction

We construct a conic bundle over an elliptic curve over a real quadratic field that is a counterexample to the Hasse principle not explained by the étale Brauer-Manin obstruction. We also give simple examples of threefolds with the same property that are families of 2-dimensional quadrics, and discuss some other examples and general properties of the Brauer-Manin obstruction.

preprint2015arXiv

Rigid cohomology over Laurent series field I: First definitions and basic properties

This is the first in a series of papers in which we construct and study a new $p$ -adic cohomology theory for varieties over Laurent series fields $k(\!(t)\!)$ in characteristic $p$ . This will be a version of rigid cohomology, taking values in the bounded Robba ring $\mathcal{E}_K^\dagger$ , and in this paper, we give the basic definitions and constructions. The cohomology theory we define can be viewed as a relative version of Berthelot's rigid cohomology, and is constructed by compactifying $k(\!(t)\!)$ -varieties as schemes over $k[\![ t]\!]$ rather than over $k(\!(t)\!)$ . We reprove the foundational results necessary in our new context to show that the theory is well defined and functorial, and we also introduce a category of `twisted' coefficients. In latter papers we will show some basic structural properties of this theory, as well as discussing some arithmetic applications including the weight monodromy conjecture and independence of $\ell$ results for equicharacteristic local fields.

preprint2015arXiv

Rigid cohomology over Laurent series fields II: Finiteness and Poincaré duality for smooth curves

In this paper we prove that the $\mathcal{E}^\dagger_K$ -valued cohomology, introduced in [9] is finite dimensional for smooth curves over Laurent series fields $k((t))$ in positive characteristic, and forms an $\mathcal{E}^\dagger_K$ -lattice inside `classical' $\mathcal{E}_K$ -valued rigid cohomology. We do so by proving a suitable version of the p-adic local monodromy theory over $\mathcal{E}^\dagger_K$ , and then using an étale pushforward for smooth curves to reduce to the case of $\mathbb{A}^1$ . We then introduce $\mathcal{E}^\dagger_K$ -valued cohomology with compact supports, and again prove that for smooth curves, this is finite dimensional and forms an $\mathcal{E}^\dagger_K$ -lattice in $\mathcal{E}_K$ -valued cohomology with compact supports. Finally, we prove Poincaré duality for smooth curves, but with restrictions on the coefficients.

preprint2015arXiv

Rigid cohomology over Laurent series fields III: Absolute coefficients and arithmetic applications

In this paper we investigate the arithmetic aspects of the theory of $\mathcal{E}_K^\dagger$ -valued rigid cohomology introduced and studied in [11,12]. In particular we show that these cohomology groups have compatible connections and Frobenius structures, and therefore are naturally $(φ,\nabla)$ -modules over $\mathcal{E}_K^\dagger$ whenever they are finite dimensional. We also introduce a category of `absolute' coefficients for the theory; the same results are true for cohomology groups with coefficients. We moreover prove a $p$ -adic version of the weight monodromy conjecture for smooth (not necessarily proper) curves, and use a construction of Marmora to prove a version of $\ell$ -independence for smooth curves over $k(\!(t)\!)$ that includes the case $\ell=p$ . This states that after tensoring with $\mathcal{R}_K$ , our $p$ -adic cohomology groups agree with the $\ell$ -adic Galois representations $H^i_{\mathrm{ét}}(X_{k(\!(t)\!)^\mathrm{sep}},\mathbb{Q}_\ell)$ for $\ell\neq p$ .

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.

Ambrus Pál

Research overview

Is this your work?

7 publications

Rank 2 local systems and abelian varieties II

Simplicial homotopy theory of algebraic varieties over real closed fields, Part 1

The strong Massey vanishing conjecture for fields with virtual cohomological dimension at most $1$

Pathologies of the Brauer-Manin obstruction

Rigid cohomology over Laurent series field I: First definitions and basic properties

Rigid cohomology over Laurent series fields II: Finiteness and Poincaré duality for smooth curves

Rigid cohomology over Laurent series fields III: Absolute coefficients and arithmetic applications

See the researcher in context

Building this map preview

Ambrus Pál

Research overview

Is this your work?

7 publications

Rank 2 local systems and abelian varieties II

Simplicial homotopy theory of algebraic varieties over real closed fields, Part 1

The strong Massey vanishing conjecture for fields with virtual cohomological dimension at most 111

Pathologies of the Brauer-Manin obstruction

Rigid cohomology over Laurent series field I: First definitions and basic properties

Rigid cohomology over Laurent series fields II: Finiteness and Poincaré duality for smooth curves

Rigid cohomology over Laurent series fields III: Absolute coefficients and arithmetic applications

See the researcher in context

Building this map preview

The strong Massey vanishing conjecture for fields with virtual cohomological dimension at most $1$