No date set.

## On the Partial derivatives of determinant of square Hankel matrix and its degenerations

The generic Hankel matrix is the "super"-symmetric matrix of the following form. This type of matrix is the main member of the family of $1$-generic matrices $$\left( \begin{matrix} x_1&x_2&\ldots &x_{m-1} & x_{m}\\ x_2&x_3&\ldots &x_{m}& x_{m+1}\\ \vdots &\vdots &\ldots &\vdots \\ x_{m-1}&x_{m}&\ldots &x_{2m-3} &x_{2m-2}\\ x_{m}&x_{m+1}&\ldots &x_{2m-2}&x_{2m-1} \\ \end{matrix} \right). \;$$ By degeneration of the Hankel matrix, we mean to set all the last $r$ variables zero, whenever $r$ is varying from $1$ to $m-2$.

Suppose that $f$ is the determinant of the Hankel matrix or its degenerations. We consider the polar map defined by $f$ and study the properties of this map through the Hessian matrix and ideal of sub-maximal minors. Homaloidalness is our target.

Throughout one deals with the effect of the degenerateness on the numerical invariants and ideal theoretic properties of the gradient ideal of $f$. Among others are Reduction Number, minimal reduction, codimension, Cohen-Macaulayness, and Normality.

Joint work with Rainelly Cunha (Federal institute of education, science, and technology of Rio Grande do Norte), Zaqueu Ramos (Universidade Federal de Sergipe) and Aron Simis (Universidade Federal de Pernambuco).

View abstract PDF

Friday, July 16, 12:00 ~ 12:30 UTC-3

## A survey on $d$-simplicity

### Daniel Levcovitz

#### University of Sao Paulo (USP), Brazil   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak541a86fe9e7165ab9854cec5f10f379d').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy541a86fe9e7165ab9854cec5f10f379d = 'l&#101;v' + '&#64;'; addy541a86fe9e7165ab9854cec5f10f379d = addy541a86fe9e7165ab9854cec5f10f379d + '&#105;cmc' + '&#46;' + '&#117;sp' + '&#46;' + 'br'; var addy_text541a86fe9e7165ab9854cec5f10f379d = 'l&#101;v' + '&#64;' + '&#105;cmc' + '&#46;' + '&#117;sp' + '&#46;' + 'br';document.getElementById('cloak541a86fe9e7165ab9854cec5f10f379d').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy541a86fe9e7165ab9854cec5f10f379d + '\'>'+addy_text541a86fe9e7165ab9854cec5f10f379d+'<\/a>';

Let $k$ be a field of characteristic zero and $d$ a $k$-derivation of a commutative $k$-algebra $R$. We say that $d$ is a simple derivation of $R$ (or just that $R$ is $d$-simple) if $R$ does not have any proper non-zero ideal $I$ such that $d(I)\subseteq I$. Such an ideal is called a $d$-invariant ideal, a $d$-stable ideal or simply a $d$-ideal. Research on simple derivations of commutative $k$-algebras has increased significantly in the past years. This was motivated by several connections of $d$-simple algebras with other branches of mathematics such as noncommutative noetherian ring theory; D-modules; holomorphic foliations and also with the difficult question of algebraic independence of formal solutions of differential equations. In this talk we will present a survey on $d$-simplicity including some examples, main results and some conjectures about the isotropy group of simple derivations.

View abstract PDF

Friday, July 16, 12:30 ~ 13:00 UTC-3

## Bernstein's inequality and holonomicity for certain singular rings

### Josep Àlvarez Montaner

#### Universitat Politècnica de Catalunya, Spain   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak1b43df1ed45c08247afc8db08db47c87').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy1b43df1ed45c08247afc8db08db47c87 = 'j&#111;s&#101;p.&#97;lv&#97;r&#101;z' + '&#64;'; addy1b43df1ed45c08247afc8db08db47c87 = addy1b43df1ed45c08247afc8db08db47c87 + '&#117;pc' + '&#46;' + '&#101;d&#117;'; var addy_text1b43df1ed45c08247afc8db08db47c87 = 'j&#111;s&#101;p.&#97;lv&#97;r&#101;z' + '&#64;' + '&#117;pc' + '&#46;' + '&#101;d&#117;';document.getElementById('cloak1b43df1ed45c08247afc8db08db47c87').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy1b43df1ed45c08247afc8db08db47c87 + '\'>'+addy_text1b43df1ed45c08247afc8db08db47c87+'<\/a>';

We prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in prime characteristic.

Joint work with Daniel J. Hernández (University of Kansas, USA), Jack Jeffries (University of Nebraska-Lincoln, USA), Luis Núñez-Betancourt (CIMAT , Mexico), Pedro Teixeira (Knox College, USA) and Emily E. Witt (University of Kansas, USA).

View abstract PDF

Friday, July 16, 13:00 ~ 13:30 UTC-3

## Primary decomposition with differential operators

### Yairon Cid Ruiz

#### Ghent University , Belgium   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak31cd957ee37c606af46fa0ec775aaf3b').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy31cd957ee37c606af46fa0ec775aaf3b = 'Y&#97;&#105;r&#111;n.C&#105;dR&#117;&#105;z' + '&#64;'; addy31cd957ee37c606af46fa0ec775aaf3b = addy31cd957ee37c606af46fa0ec775aaf3b + 'UG&#101;nt' + '&#46;' + 'b&#101;'; var addy_text31cd957ee37c606af46fa0ec775aaf3b = 'Y&#97;&#105;r&#111;n.C&#105;dR&#117;&#105;z' + '&#64;' + 'UG&#101;nt' + '&#46;' + 'b&#101;';document.getElementById('cloak31cd957ee37c606af46fa0ec775aaf3b').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy31cd957ee37c606af46fa0ec775aaf3b + '\'>'+addy_text31cd957ee37c606af46fa0ec775aaf3b+'<\/a>';

We introduce differential primary decompositions for ideals in a commutative ring. Ideal membership is characterized by differential conditions. The minimal number of conditions needed is the arithmetic multiplicity. Minimal differential primary decompositions are unique up to change of bases. Our results generalize the construction of Noetherian operators for primary ideals in the analytic theory of Ehrenpreis-Palamodov, and they offer a concise method for representing affine schemes. The case of modules is also addressed.

Joint work with Bernd Sturmfels (MPI-MiS Leipzig and UC Berkeley).

View abstract PDF

Friday, July 16, 13:30 ~ 14:00 UTC-3

## D-Modules in (Algebraic) Statistics

### Anna-Laura Sattelberger

#### Max Planck Institute for Mathematics in the Sciences, Germany   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak054fc0dcdc1bebd81e9ef7f5a64e8e2b').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy054fc0dcdc1bebd81e9ef7f5a64e8e2b = '&#97;nn&#97;-l&#97;&#117;r&#97;.s&#97;tt&#101;lb&#101;rg&#101;r' + '&#64;'; addy054fc0dcdc1bebd81e9ef7f5a64e8e2b = addy054fc0dcdc1bebd81e9ef7f5a64e8e2b + 'm&#105;s' + '&#46;' + 'mpg' + '&#46;' + 'd&#101;'; var addy_text054fc0dcdc1bebd81e9ef7f5a64e8e2b = '&#97;nn&#97;-l&#97;&#117;r&#97;.s&#97;tt&#101;lb&#101;rg&#101;r' + '&#64;' + 'm&#105;s' + '&#46;' + 'mpg' + '&#46;' + 'd&#101;';document.getElementById('cloak054fc0dcdc1bebd81e9ef7f5a64e8e2b').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy054fc0dcdc1bebd81e9ef7f5a64e8e2b + '\'>'+addy_text054fc0dcdc1bebd81e9ef7f5a64e8e2b+'<\/a>';

D-modules encode systems of linear partial differential equations with polynomial coefficients in algebraic terms. Among others, they help to solve problems arising in statistics. For an observed outcome of a discrete statistical experiment, the maximum likelihood estimation problem is to find the parameters that best explain these data. In this talk, I explain several ways how to tackle this problem in terms of D-modules.

View abstract PDF

Friday, July 16, 14:00 ~ 14:30 UTC-3

## Differential powers in mixed characteristic

### Eloísa Grifo

#### University of Nebraska – Lincoln, United States of America   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloakf132638b789982771dc301633ae190bf').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addyf132638b789982771dc301633ae190bf = 'gr&#105;f&#111;' + '&#64;'; addyf132638b789982771dc301633ae190bf = addyf132638b789982771dc301633ae190bf + '&#117;nl' + '&#46;' + '&#101;d&#117;'; var addy_textf132638b789982771dc301633ae190bf = 'gr&#105;f&#111;' + '&#64;' + '&#117;nl' + '&#46;' + '&#101;d&#117;';document.getElementById('cloakf132638b789982771dc301633ae190bf').innerHTML += '<a ' + path + '\'' + prefix + ':' + addyf132638b789982771dc301633ae190bf + '\'>'+addy_textf132638b789982771dc301633ae190bf+'<\/a>';

The differential operators version of the Zariski--Nagata theorem says that over a polynomial ring over a perfect field, the differential powers of a radical ideal coincide with its symbolic powers. In mixed characteristic, differential powers are larger than symbolic powers, but there is a version of Zariski--Nagata that works when we mix in p-derivations.

In singular rings, differential powers can still be used as tools to prove results about symbolic powers, even though the two notions no longer coincide. We will discuss a uniform Chevalley theorem for direct summands of polynomial rings in mixed characteristic by introducing a new type of differential powers, which do not require the existence of a p-derivation on the direct summand.

Joint work with Alessandro De Stefani (University of Genova, Italy) and Jack Jeffries (University of Nebraska--Lincoln, United States of America).

View abstract PDF

Friday, July 16, 14:30 ~ 15:00 UTC-3

## Valuative aspects of differential algebraic geometry

### Cristhian Garay López

#### Center for Research in Mathematics (CIMAT), México   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak1c1399934aa66f54d69e1514ea1112af').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy1c1399934aa66f54d69e1514ea1112af = 'cr&#105;sth&#105;&#97;n.g&#97;r&#97;y' + '&#64;'; addy1c1399934aa66f54d69e1514ea1112af = addy1c1399934aa66f54d69e1514ea1112af + 'c&#105;m&#97;t' + '&#46;' + 'mx'; var addy_text1c1399934aa66f54d69e1514ea1112af = 'cr&#105;sth&#105;&#97;n.g&#97;r&#97;y' + '&#64;' + 'c&#105;m&#97;t' + '&#46;' + 'mx';document.getElementById('cloak1c1399934aa66f54d69e1514ea1112af').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy1c1399934aa66f54d69e1514ea1112af + '\'>'+addy_text1c1399934aa66f54d69e1514ea1112af+'<\/a>';

Broadly speaking, the key ingredient for tropicalization is a generalized non-Archimedean absolute value; that is, is a function defined on a commutative ring with unit that satisfies properties analogous to those of a non-Archimedean absolute value (i.e., Krull valuation), but for which we allow the target to be a commutative idempotent semiring.

In this talk we will introduce non-Krull absolute values for rings of multivariate formal power series (and their fields of fractions) which are defined in terms of Newton polyhedra and polytopes associated to their supports in $\mathbb{N}^m$. We show how to use them to study systems of classical partial algebraic differential equations from a valuative (tropical) point of view.

View abstract PDF

Friday, July 16, 15:00 ~ 15:30 UTC-3

## The discriminant locus of a vector bundle

### Gregory G. Smith

#### Queen's University, Canada   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak050142f70943bdd74100dd4d76f84a39').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy050142f70943bdd74100dd4d76f84a39 = 'ggsm&#105;th' + '&#64;'; addy050142f70943bdd74100dd4d76f84a39 = addy050142f70943bdd74100dd4d76f84a39 + 'm&#97;st' + '&#46;' + 'q&#117;&#101;&#101;ns&#117;' + '&#46;' + 'c&#97;'; var addy_text050142f70943bdd74100dd4d76f84a39 = 'ggsm&#105;th' + '&#64;' + 'm&#97;st' + '&#46;' + 'q&#117;&#101;&#101;ns&#117;' + '&#46;' + 'c&#97;';document.getElementById('cloak050142f70943bdd74100dd4d76f84a39').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy050142f70943bdd74100dd4d76f84a39 + '\'>'+addy_text050142f70943bdd74100dd4d76f84a39+'<\/a>';

We analyze the locus of singular sections of a very ample vector bundle on a smooth complex variety. We characterize when this projective subscheme is a hypersurface. In the hypersurface case, we also compute its degree.

Joint work with Hirotachi Abo (University of Idaho, USA) and Robert Lazarsfeld (Stony Brook University, USA).

View abstract PDF

Monday, July 19, 16:00 ~ 16:30 UTC-3

## On the isotropy of a polynomial derivation in two variables

### Iván Pan

#### Universidad de la República, Uruguay   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak17dda1d9a3e2ec6c53d243a30a889dc0').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy17dda1d9a3e2ec6c53d243a30a889dc0 = '&#105;v&#97;n' + '&#64;'; addy17dda1d9a3e2ec6c53d243a30a889dc0 = addy17dda1d9a3e2ec6c53d243a30a889dc0 + 'cm&#97;t' + '&#46;' + '&#101;d&#117;' + '&#46;' + '&#117;y'; var addy_text17dda1d9a3e2ec6c53d243a30a889dc0 = '&#105;v&#97;n' + '&#64;' + 'cm&#97;t' + '&#46;' + '&#101;d&#117;' + '&#46;' + '&#117;y';document.getElementById('cloak17dda1d9a3e2ec6c53d243a30a889dc0').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy17dda1d9a3e2ec6c53d243a30a889dc0 + '\'>'+addy_text17dda1d9a3e2ec6c53d243a30a889dc0+'<\/a>';

If $D:k[x,y]\to k[x,y]$ is a derivation, where $k$ is an algebraically closed field of characteristic zero, we denote by $Aut(D)$ the group consisting of (plane) polynomial automorphisms which commute with $D$. We determine when $Aut(D)$ is an algebraic group.

View abstract PDF

Monday, July 19, 16:30 ~ 17:00 UTC-3

## The length of $\mathcal{D}\frac{1}{f}.$

### Thomas Bitoun

#### University of Calgary , Canada   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloaka1ee5c1be36d4abcb725c1b9ed0c4bcc').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addya1ee5c1be36d4abcb725c1b9ed0c4bcc = 'th&#111;m&#97;s.b&#105;t&#111;&#117;n' + '&#64;'; addya1ee5c1be36d4abcb725c1b9ed0c4bcc = addya1ee5c1be36d4abcb725c1b9ed0c4bcc + '&#117;c&#97;lg&#97;ry' + '&#46;' + 'c&#97;'; var addy_texta1ee5c1be36d4abcb725c1b9ed0c4bcc = 'th&#111;m&#97;s.b&#105;t&#111;&#117;n' + '&#64;' + '&#117;c&#97;lg&#97;ry' + '&#46;' + 'c&#97;';document.getElementById('cloaka1ee5c1be36d4abcb725c1b9ed0c4bcc').innerHTML += '<a ' + path + '\'' + prefix + ':' + addya1ee5c1be36d4abcb725c1b9ed0c4bcc + '\'>'+addy_texta1ee5c1be36d4abcb725c1b9ed0c4bcc+'<\/a>';

Let $f$ be an absolutely irreducible multivariate polynomial with rational coefficients. We consider the $\mathcal{D}$-submodule of the complex local cohomology module $H^1_f(\mathcal{O})$ generated by the class of $\frac{1}{f}.$ Its $\mathcal{D}$-module length is closely related to that of the local cohomology of the reduction modulo $p$ of $f, H^1_{f_p}(\mathcal{O}_p),$ for large primes $p.$ We compute the lengths in the case of $f$ quasi-homogeneous with an isolated singularity and present a conjecture for the general isolated singularity case.

Partly joint work with Travis Schedler (Imperial College, United Kingdom).

View abstract PDF

Monday, July 19, 17:00 ~ 17:30 UTC-3

## Bernstein-Sato theory for singular rings in positive characteristic

### Eamon Quinlan-Gallego

#### University of Michigan, USA   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak3eccd829b42f7668c3f8ae2046982ca2').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy3eccd829b42f7668c3f8ae2046982ca2 = '&#101;q&#117;&#105;nl&#97;n' + '&#64;'; addy3eccd829b42f7668c3f8ae2046982ca2 = addy3eccd829b42f7668c3f8ae2046982ca2 + '&#117;m&#105;ch' + '&#46;' + '&#101;d&#117;'; var addy_text3eccd829b42f7668c3f8ae2046982ca2 = '&#101;q&#117;&#105;nl&#97;n' + '&#64;' + '&#117;m&#105;ch' + '&#46;' + '&#101;d&#117;';document.getElementById('cloak3eccd829b42f7668c3f8ae2046982ca2').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy3eccd829b42f7668c3f8ae2046982ca2 + '\'>'+addy_text3eccd829b42f7668c3f8ae2046982ca2+'<\/a>';

Given an ideal $\mathfrak{a}$ in a smooth $\mathbb{C}$-algebra $R$, its Bernstein-Sato polynomial $b_{\mathfrak{a}}(s)$ is an invariant with origins in complex analysis that measures the singularities of the zero locus of $\mathfrak{a}$.

There are two recent generalizations of this construction. In one direction, Àlvarez-Montaner, Huneke, and Núñez-Betancourt have shown that ideals in certain non-smooth $\mathbb{C}$-algebras (direct summands) still admit Bernstein-Sato polynomials. In the other direction, work of Mustaţă, Bitoun and myself shows that we can also define Bernstein-Sato invariants in smooth algebras over fields of positive characteristic.

In this talk I present joint work with J. Jeffries and L. Núñez-Betancourt in which we that the combined generalization is possible. Namely, we show that Bernstein-Sato invariants exist in positive characteristic when the ambient ring has mild singularities (direct summand or graded F-finite representation type).

Joint work with Jack Jeffries (University of Nebraska-Lincoln) and Luis Núñez-Betancourt (Centro de Investigación en Matemáticas).

View abstract PDF

Monday, July 19, 17:30 ~ 18:00 UTC-3

## High order differentials and Hasse-Schmidt derivations

### Daniel Duarte

It was recently proved by T. de Fernex and R. Docampo that the module of differentials of the algebra of Hasse-Schmidt derivations of a ring can be described in terms of the module of differentials of the ring. This result was then applied to find a projectivization of induced maps on jets schemes. In this talk, we explore the analogous statements for the module of high order differentials.

Joint work with Paul Barajas (Universidad Autónoma de Zacatecas).

View abstract PDF

Monday, July 19, 18:00 ~ 18:30 UTC-3

## Differential ideals and homological problems about derivation modules

### Cleto B. Miranda-Neto

#### Universidade Federal da Paraíba, Brazil   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloak2cbbd3a35e06833e0044c9b18457d5df').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addy2cbbd3a35e06833e0044c9b18457d5df = 'cl&#101;t&#111;' + '&#64;'; addy2cbbd3a35e06833e0044c9b18457d5df = addy2cbbd3a35e06833e0044c9b18457d5df + 'm&#97;t' + '&#46;' + '&#117;fpb' + '&#46;' + 'br'; var addy_text2cbbd3a35e06833e0044c9b18457d5df = 'cl&#101;t&#111;' + '&#64;' + 'm&#97;t' + '&#46;' + '&#117;fpb' + '&#46;' + 'br';document.getElementById('cloak2cbbd3a35e06833e0044c9b18457d5df').innerHTML += '<a ' + path + '\'' + prefix + ':' + addy2cbbd3a35e06833e0044c9b18457d5df + '\'>'+addy_text2cbbd3a35e06833e0044c9b18457d5df+'<\/a>';

We will present recent generalizations of results of A. K. Maloo concerning maximally differential ideals of local rings, and will propose some problems on the finiteness of the Gorenstein and the complete intersection dimensions of derivation modules of certain rings, inspired by classical long-standing conjectures stated in terms of projective dimension.

View abstract PDF

Monday, July 19, 18:30 ~ 19:00 UTC-3

## Lines on Extremal Surfaces

### Karen Smith

#### University of Michigan, United States   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloake0a5ab3592fbec4eae108ea5cbf08e05').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addye0a5ab3592fbec4eae108ea5cbf08e05 = 'k&#101;sm&#105;th' + '&#64;'; addye0a5ab3592fbec4eae108ea5cbf08e05 = addye0a5ab3592fbec4eae108ea5cbf08e05 + '&#117;m&#105;ch' + '&#46;' + '&#101;d&#117;'; var addy_texte0a5ab3592fbec4eae108ea5cbf08e05 = 'k&#101;sm&#105;th' + '&#64;' + '&#117;m&#105;ch' + '&#46;' + '&#101;d&#117;';document.getElementById('cloake0a5ab3592fbec4eae108ea5cbf08e05').innerHTML += '<a ' + path + '\'' + prefix + ':' + addye0a5ab3592fbec4eae108ea5cbf08e05 + '\'>'+addy_texte0a5ab3592fbec4eae108ea5cbf08e05+'<\/a>';

What is the most singular possible singularity? What can we say about it's geometric and algebraic properties? This seemingly naive question has a sensible answer in characteristic p. The "F-pure threshold," which is an analog of the log canonical threshold, can be used to "measure" how bad a singularity is. The F-pure threshold is a numerical invariant of a point on (say) a hypersurface---a positive rational number that is 1 at any smooth point (or more generally, any F-pure point) but less than one in general, with "more singular" points having smaller F-pure thresholds. We explain a recently proved lower bound on the F-pure threshold in terms of the multiplicity of the singularity. We also show that there is a nice class of hypersurfaces--which we call "Extremal hypersurfaces"---for which this bound is achieved. These have very nice (extreme!) geometric properties. For example, the affine cone over a non Frobenius split cubic surface of characteristic two is one example of an "extremal singularity". Geometrically, these are the only cubic surfaces with the property that *every* triple of coplanar lines on the surface meets in a single point (rather than a "triangle" as expected)--a very extreme property indeed. In recent work with Anna Brosowski, Janet Page and Tim Ryan, we have unravelled the story of the lines on extremal surfaces of any degree.

Joint work with Anna Brosowksi (University of Michigan), Janet Page (University of Michigan) and Tim Ryan (University of Michigan).

View abstract PDF