Search results for "Algebraic Geometry"

The associated sheaf functor theorem in algebraic set theory

2008

We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves oil the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.

On Shimura subvarieties of the Prym locus

2018

We show that families of Pryms of abelian Galois covers of $\mathbb{P}^1$ in $A_{g-1}$ (resp. $A_g$) do not give rise to high dimensional Shimura subvareties.

The Oort conjecture on Shimura curves in the Torelli locus of hyperelliptic curves

2017

Abstract Oort has conjectured that there do not exist Shimura varieties of dimension >0 contained generically in the Torelli locus of genus-g curves when g is sufficiently large. In this paper we prove the analogue of this conjecture for Shimura curves with respect to the hyperelliptic Torelli locus of genus g > 7 .

The monodromy groups of Dolgachev's CY moduli spaces are Zariski dense

2014

Let $\mathcal{M}_{n,2n+2}$ be the coarse moduli space of CY manifolds arising from a crepant resolution of double covers of $\mathbb{P}^n$ branched along $2n+2$ hyperplanes in general position. We show that the monodromy group of a good family for $\mathcal{M}_{n,2n+2}$ is Zariski dense in the corresponding symplectic or orthogonal group if $n\geq 3$. In particular, the period map does not give a uniformization of any partial compactification of the coarse moduli space as a Shimura variety whenever $n\geq 3$. This disproves a conjecture of Dolgachev. As a consequence, the fundamental group of the coarse moduli space of $m$ ordered points in $\mathbb{P}^n$ is shown to be large once it is not…

Beilinson Motives and Algebraic K-Theory

2019

Section 12 is a recollection on the basic results of stable homotopy theory of schemes, after Morel and Voevodsky. In particular, we recall the theory of orientations in a motivic cohomology theory. Section 13 is a recollection of the fundamental results on algebraic K-theory which we translate into results within stable homotopy theory of schemes. In particular, Quillen’s localization theorem is seen as an absolute purity theory for the K-theory spectrum. In Section 14, we introduce the fibred category of Beilinson motives as an appropriate Verdier quotient of the motivic stable homotopy category. Using the Adams filtration on K-theory, we prove that Beilinson motives have the properties o…

Test module filtrations for unit $F$-modules

2015

We extend the notion of test module filtration introduced by Blickle for Cartier modules. We then show that this naturally defines a filtration on unit $F$-modules and prove that this filtration coincides with the notion of $V$-filtration introduced by Stadnik in the cases where he proved existence of his filtration. We also show that these filtrations do not coincide in general. Moreover, we show that for a smooth morphism $f: X \to Y$ test modules are preserved under $f^!$. We also give examples to show that this is not the case if $f$ is finite flat and tamely ramified along a smooth divisor.

A criterion for extending morphisms from open subsets of smooth fibrations of algebraic varieties

2021

Abstract Given a smooth morphism Y → S and a proper morphism P → S of algebraic varieties we give a sufficient condition for extending an S-morphism U → P , where U is an open subset of Y, to an S-morphism Y → P , analogous to Zariski's main theorem.

Luigi Cremona’s Years in Bologna: From Research to Social Commitment

2011

Luigi Cremona (1830–1903), unanimously considered to be the man who laid the foundations of the prestigious Italian school of Algebraic Geometry, was active at the University of Bologna from October 1860, when assigned by the Minister Terenzio Mamiani (1799–1885) to cover the Chair of Higher Geometry, until September 1867 when Francesco Brioschi (1824–1897) called him to the Politecnico di Milano. The “Bolognese years” were Cremona’s richest and most significant in terms of scientific production, and, at the same time, were the years when he puts the basis for its most important interventions in the social and political life of the “newborn” kingdom of Italy. In this article we present thes…

30 years of finite-gap integration theory

2007

The method of finite-gap integration was created to solve the periodic KdV initial problem. Its development during last 30 years, combining the spectral theory of differential and difference operators with periodic coefficients, the algebraic geometry of compact Riemann surfaces and their Jacobians, the Riemann theta functions and inverse problems, had a strong impact on the evolution of modern mathematics and theoretical physics. This article explains some of the principal historical points in the creation of this method during the period 1973–1976, and briefly comments on its evolution during the last 30 years.

2021

Abstract We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is to study log structures that are incoherent on a subspace of codimension 2 and prove a Hodge–de Rham degeneration theorem for such log spaces that also settles a conjecture by Danilov. We show that the homotopy equivalence between Maurer–Cartan solutions and deformations combined with Batalin–Vilkovisky theory can be used to obtain smoothings. The construction of new Calabi–Yau and Fano manifolds as well as Frobenius manifold structures on moduli…