Seminarium Geometria Algebraiczna
Rok akademicki 2024/25
Poniedzialki, 12.15 - 13.45
Sala: 0006
| Data | Referuje | Tytul (kliknij, aby zwinac/rozwinac abstrakt) |
|---|---|---|
| 7.10.2024 | Spotkanie organizacyjne | |
| 14.10.2024 | S. Cynk |
Arithmetic groups in $\operatorname{SL}_n(\mathbb Z)$ and $\operatorname{Sp}_n(\mathbb Z)$I will present some algorithms for computation of arithmetic subgroups of groups related to algebraic geometry developed
in series of papers by A.S.Detinko, D.L.Flannery and E.A. O’Brien, and A.S. Detinko,D.L. Flannery, A. Hulpke.
I will start with some motivation: arithmetic groups in $\operatorname{SL}_n(\mathbb Z)$ related to the level structures
for elliptic curves and monodromy groups of the Picard-Fuchs differential equations for the period integrals.
I will briefly recall the basic definition and then discuss the example of fourteen $CY(3)$ operators: seven
with arithmetic and seven with thin monodromy groups.
|
| 21.10.2024 | S. Cynk |
Arithmetic groups in $\operatorname{SL}_n(\mathbb Z)$ and $\operatorname{Sp}_n(\mathbb Z)$In the second part of a talk based on a series of papers by A.S.Detinko, D.L.Flannery and E.A. O’Brien, and A.S. Detinko,D.L. Flannery, A. Hulpke
I will present an algorithm to compute the level and the maximal Proncipal Congruence Subgroup for an arithmetic subgroup of the group $\operatorname{Sp}(n,\mathbb Z)$. Principal congruence subgroup of level $m$ in $\operatorname{Sp}(n,\mathbb Z)$ is the kernel of the reduction homomorphism $\phi_m:\operatorname{Sp}(n,\mathbb Z)\longrightarrow \operatorname{Sp}(n,\mathbb Z/m\mathbb Z)$, a subgroup in $H\subset \operatorname{Sp}(n,\mathbb Z)$ is arithmetic (i.e. has finite index in $\operatorname{Sp}(n,\mathbb Z)$) iff it containce a Principal Congruence Subgroup.
|
| 28.10.2024 | Özhan Genç |
$h$-Instanton Sheaves on Ruled Fano ThreefoldsA $\mu$-stable vector bundle $\mathcal{E}$ of rank 2 with $c_1 (\mathcal{E})=0$ on $\mathbb{P}_{\mathbb{C}}^{3}$ is called a mathematical instanton bundle if $\mathrm{H}^1 (\mathbb{P}^{3}, \mathcal{E}(-2))=0$. This type of bundle has been generalized to other varieties in various ways. First, it has been generalized to odd-dimensional projective spaces by M. M. Capria and S. M. Salamon, then to non-locally free sheaves of any rank on arbitrary projective spaces by M. Jardim. Then, D. Faenzi and A. Kuznetsov extended the definition to other Fano threefolds, and later, V. Antonelli and F. Malaspina modified the definition to apply to any polarization of Fano threefolds, introducing the concept of an $h$-instanton bundle. Finally, V. Antonelli and G. Casnati further broadened the definition to cover any polarized variety $(X,h)$.
In this talk, we will focus on rank 2 $h$-instanton sheaves on ruled Fano threefolds with Picard rank 2 and index 1. This is a joint work with Marcos Jardim.
|
| 4.11.2024 | Tymoteusz Chmiel |
Koszul modules of Kac-Moody Lie algebrasIn my talk I will define Kac-Moody Lie algebras and Koszul modules. Then I will introduce Koszul modules associated with (graded) Kac-Moody Lie algebras. I will give a precise criterion for when these modules are of finite length, as well as an exact description of all nilpotent Kac-Moody Koszul modules. The talk is based on a part of my PhD thesis
|
| 18.11.2024 | Noemie Combe |
On Landau-Ginzburg models and mirror pairsKontsevich suggested that the Landau—Ginzburg models provide a good formalism for investigations around the mathematical mirror symmetry problem.
A different perspective on Landau-Ginzburg models is discussed in light of this claim.
As a result, certain results of Abouzaid-Auroux-Katzarkov can be recovered differently.
By using this different angle, we can make new advances regarding
a conjecture of Kontsevich--Soibelman on a version of the Strominger-Yau-Zaslow mirror problem
|
| 25.11.2024 | Tymoteusz Chmiel |
Some applications of graded Kac-Moody Lie algebrasI will discuss two applications of graded Kac-Moody Lie algebras, introduced in my previous talk. The first one is a description of a class of embeddings of homogenous spaces for Kac-Moody groups into Grassmanians of irreducible representations of Kac-Moody Lie algebras. The second one is the theory of higher structure maps associated with free resolutions of Gorenstein ideals of codimension four. In particular, I will present a structure theorem describing generic model for ideals with six generators. The talk is based on a part of my PhD thesis, and the second part is a joint work with Lorenzo Guerrieri.
|
| 2.12.2024 | Stanisław Szyma |
Homotopical proof of Grothendieck's duality theoremOne form of Serre duality states that for an n-dimensional variety over a field its i-th and (n-i)-th cohomology groups are dual to each other as vector spaces. Verdier generalised analogous result in algebraic topology - Poincare duality - using the language of derived categories, essentially proving that the derived direct image functor acting on sheaves on locally compact spaces admits a right adjoint. This talk is devoted to a proof of a result by Neeman, called Grothendieck duality, which in the same spirit generalizes Serre duality to quasi-compact quasi-separated schemes, and which will be proved in the context of infinity-categories. First, I will briefly introduce the necessary notions from infinity-categories and present a proof of Brown representability theorem. In the second part of the talk, we will show that the category of quasicoherent sheaves on a qcqs scheme satisfies the hypothesis of Brown's theorem.
|
| 9.12.2024 | Stanisław Szyma |
Homotopical proof of Grothendieck's duality theorem (II)One form of Serre duality states that for an n-dimensional variety over a field its i-th and (n-i)-th cohomology groups are dual to each other as vector spaces. Verdier generalised analogous result in algebraic topology - Poincare duality - using the language of derived categories, essentially proving that the derived direct image functor acting on sheaves on locally compact spaces admits a right adjoint. This talk is devoted to a proof of a result by Neeman, called Grothendieck duality, which in the same spirit generalizes Serre duality to quasi-compact quasi-separated schemes, and which will be proved in the context of infinity-categories. First, I will briefly introduce the necessary notions from infinity-categories and present a proof of Brown representability theorem. In the second part of the talk, we will show that the category of quasicoherent sheaves on a qcqs scheme satisfies the hypothesis of Brown's theorem.
|
| 16.12.2024 | Benedetta Piroddi (University of Milan) |
Involutions on Nikulin-type orbifoldsA Nikulin orbifold $Y$ is obtained by partial resolution of the quotient of a $K3^{[2]}$-type manifold $X$ by a symplectic involution $i$: any automorphism $s$ of $X$ that commutes with $i$ induces therefore an automorphism on $Y$. I will describe induced symplectic involutions on Nikulin orbifolds, starting from the action of groups of order 4 on $K3^{[2]}$-type manifolds, and present some classification results.
|
| 13.01.2025 | Rafał Mach |
Shimura CurvesIn this talk, we will discuss the fundamental concepts and constructions
of Shimura curves via Fuchsian groups. We will then explore how these curves
provide a moduli space for certain special abelian varieties. The lecture
is based on Three Lectures on Shimura Curves by John Voight
|
| 20.01.2025 | Rafał Mach |
Shimura Curves IIIn this talk, we will discuss the fundamental concepts and constructions
of Shimura curves via Fuchsian groups. We will then explore how these curves
provide a moduli space for certain special abelian varieties. The lecture
is based on Three Lectures on Shimura Curves by John Voight
|
| 27.01.2025 | Arijit Dey (IIT Madras) |
Brauer group of moduli spaces.The Brauer group of moduli spaces of stable vector bundles with fixed determinant over a Riemann surface was first computed by Balaji-Biswas-Gabber-Nagaraj. Later this result got generalized by Biswas and his collaborators for various moduli spaces including moduli space of $G$-bundles (Biswas-Holla) , when $G$ is semi-simple. In this talk we will talk about the general strategy of computing the Brauer group of moduli spaces of stable parabolic $G$-bundles for various classical groups $G$. The talk is based on joint work with Sujoy Chakraborty and Indranil Biswas.
|
| 3.03.2025 | Sławomir Cynk |
Fano manifoldsThe goal of this talk is to present classification Fano 3-folds. I will start with a short discussion of del Pezzo surfaces.
|
| 10.03.2025 | Sławomir Cynk |
Fano manifolds (II)In the second part of my talk I will present main constructions of Fano manifolds
|
| 17.03.2025 | Anatoli Shatsila |
The Prym map of non-cyclic 9-coverings of genus 2 curvesGiven a finite morphism between smooth curves one can canonically associate to it a polarised abelian variety, the Prym variety. This induces a map from the moduli space of coverings to the moduli space of polarised abelian varieties, known as the Prym map. Classically, the Prym map has been studied for cyclic covers, where its generic injectivity has been established in many cases. In this talk we will go beyond cyclic covers and focus on unramified Galois covers of genus two curves with the Galois group isomorphic to the product of two cyclic 3-groups. In particular, we will show that the associated Prym map is injective. We will start with a brief introduction to complex abelian varieties and the Prym theory. This is a joint work with Paweł Borówka.
|
| 24.03.2025 | Anatoli Shatsila |
The Prym map of non-cyclic 9-coverings of genus 2 curves (II)Given a finite morphism between smooth curves one can canonically associate to it a polarised abelian variety, the Prym variety. This induces a map from the moduli space of coverings to the moduli space of polarised abelian varieties, known as the Prym map. Classically, the Prym map has been studied for cyclic covers, where its generic injectivity has been established in many cases. In this talk we will go beyond cyclic covers and focus on unramified Galois covers of genus two curves with the Galois group isomorphic to the product of two cyclic 3-groups. In particular, we will show that the associated Prym map is injective. We will start with a brief introduction to complex abelian varieties and the Prym theory. This is a joint work with Paweł Borówka.
|
| 31.03.2025 | Vira Siedunova |
Algebraic Geometrical CodesWe are going to speak about V.D.Goppa's construction of error-correcting codes using algebraic function. An error-correcting code is a subspace of $\mathbb F (q,n)$ - the $n$-dimensional standart vector space over a finite field $\mathbb F(q)$. Such codes are in widespread use for the reliable transmission of information. As observed V.D.Goppa in 1975, one can use algebraic function fields over $\mathbb F(q)$ to construct a large clas of interesting codes. Properties of these codes are closely related to properties of the corresponding function field, and the Riemann-Roch Theorem provides estimates, sharp in many cases, for their main properties. So we start with some basic results of the theory of algebraic function fields (valuation, places, divisors and so on) and some main concepts of coding theory. We consider (shortly) Reed-Solomon codes over $\mathbb F(q)$, as algebraic geometrical codes (AG-codes) are a very natural generalisation of Reed-Solomon codes. Then we continue discussion about AG-codes and their main properties. At the end we consider the codes constructed by means of rational function field.
Literature: H. Stichtenoth Algebraic Function Fields and Codes |
| 07.04.2025 | Vira Siedunova |
Algebraic Geometrical Codes (II)We are going to speak about V.D.Goppa's construction of error-correcting codes using algebraic function. An error-correcting code is a subspace of $\mathbb F (q,n)$ - the $n$-dimensional standart vector space over a finite field $\mathbb F(q)$. Such codes are in widespread use for the reliable transmission of information. As observed V.D.Goppa in 1975, one can use algebraic function fields over $\mathbb F(q)$ to construct a large clas of interesting codes. Properties of these codes are closely related to properties of the corresponding function field, and the Riemann-Roch Theorem provides estimates, sharp in many cases, for their main properties. So we start with some basic results of the theory of algebraic function fields (valuation, places, divisors and so on) and some main concepts of coding theory. We consider (shortly) Reed-Solomon codes over $\mathbb F(q)$, as algebraic geometrical codes (AG-codes) are a very natural generalisation of Reed-Solomon codes. Then we continue discussion about AG-codes and their main properties. At the end we consider the codes constructed by means of rational function field.
Literature: H. Stichtenoth Algebraic Function Fields and Codes |
| 16.04.2025 | Mateusz Michałek (University of Konstanz) |
Realizations of projection areas and homology classesThe relationship between convex geometry and intersection theory has deep historical roots, tracing back to classical results in enumerative geometry. Our motivations come from two interconnected problems regarding projections of geometric objects in four-dimensional spaces:
Unusual day: Wednesday, unusual time: 10:15,
unusal room: 1106 |
| 28.04.2025 | Kinga Słowik |
Complex multiplication of Calabi--Yau threefolds (1)A Calabi-Yau threefold $X$ is said to be of complex multiplication (CM) type if the Mumford-Tate group (also called Hodge group) associated to the rational Hodge structure on $H^3(X)$ is commutative (then we say that the structure is of CM type). During the talk we will discuss Abelian varieties of CM type, one of whose properties is commutativity of the Hodge group of the rational Hodge structure of first cohomology. Then we will recall some information about Hodge structures and consider situation when the Hodge structure is of CM type. Finally, we will focus on the case of Hodge structures of weight 3.
The talk will be based on the paper C. Borcea: Calabi--Yau Threefolds and Complex Multiplication. On-line meating on the platform MsTeams |
| 5.05.2025 | Kinga Słowik |
Complex multiplication of Calabi--Yau threefolds (2)During this talk we will apply results from the previous talk to some Calabi--Yau threefolds, in particular the Fermat quintic threefold and Calabi--Yau (crepant) resolutions of quotients of products of three elliptic curves with a particular group action.
The talk will be based on the paper C. Borcea: Calabi--Yau Threefolds and Complex Multiplication. |
| 12.05.2025 | Robert Auffarth (Universidad de Chile) |
Pseudoreflections on Prym varietiesSmooth quotients of abelian varieties by finite groups were first studied by the author in an attempt to find Jacobian varieties of arbitrary dimension that split isogenously as the product of elliptic curves, the existence of which was brought into question by Ekedahl and Serre in the 1990s and remains an open question to this day. The author proved, along with G. Lucchini Arteche, that smooth quotients of Jacobian varieties by a finite group of geometric origin (i.e. that comes from an action on the curve) only exist up to dimension 3, thereby closing the door on this approach to the Ekedahl-Serre question. Leaving this question behind, it is natural to ask if one can characterize smooth quotients of Prym varieties by finite groups. In this talk we will describe the moduli space of Prym varieties that possess a pseudoreflection, and therefore a smooth quotient, of geometric origin (i.e. the action comes from a certain action on curves). In particular, we will prove that examples exist in arbitrary dimensions.
This is joint work with Martí Lahoz and Juan Carlos Naranjo. |
| 19.05.2025 | Tomasz Pełka (UW) |
Symplectic geometry "at radius zero" and applicationsConsider a degeneration of Kähler manifolds over a punctured disk whose central fiber is snc. The A'Campo space (constructed jointly with J. F. de Bobadilla) extends it to a symplectic fibration over an annulus, whose restriction to the inner ("radius zero") circle has a simple combinatorial structure. In fact, it is decomposed to pieces which are isotropic torus bundles over the strata of the central fiber, and the monodromy acts as translation in these tori.
In my talk I will survey this construction and highlight its two applications. First, given the explicit description of the monodromy one can compute its Floer homology using McLean's spectral sequence, and thus infer a positive answer to the Zariski multiplicity conjecture for μ-constant families of isolated hypersurface singularities. Second, the Lagrangian tori over the $0$-dimensional strata have very similar properties as those expected by the Kontsevich-Soibelman conjecture in the context of maximal Calabi-Yau degenerations: for instance, they fill all the volume of the fiber, are asymptotically special, and collapse in the Gromov-Hausdorff limit. |
| 26.05.2025 | S. Cynk |
Families of double octics with several points with Maximal Unipotent MonodromyI will describe one-parameter families of double octic Calabi-Yau threefolds with more than one point of Maximal Unipotent MOnoodromy.
In fact among 63 families one parameter families of double octics there are
|
| 2.06.2025 | S. Cynk |
Families of double octics with several points with Maximal Unipotent Monodromy (II)I will present van Straten's Conjecture about the monodromy matrices in the scaled Frobenius base of solutions
of an $\operatorname{CY}(3)$ differential operator and its generalizations (gamma class).
Finally, I will discuss the gamma class for several Calabi-Yau operators with several MUM points.
|
| 9.06.2025 | Marcin Oczko |
Calabi-Yau threefolds in positive characteristicI will present a brief overview of problems concerning Calabi-Yau threefolds in positive characteristic. I will mention three areas: classical theorems that are no longer true in positive characteristic, when and how can we lift a Calabi-Yau threefold to characteristic zero and what are non-liftable Calabi-Yau threefolds.
The talk will be mostly based on Yukihide Takayama notes https://arxiv.org/pdf/1701.07593. |