Showing 1–15 of 15 results for author: McKean, S

Quadratic Segre indices

Authors: Felipe Espreafico, Stephen McKean, Sabrina Pauli

Abstract: We prove that the local Euler class of a line on a degree $2n-1$ hypersurface in projective $n+1$ space is given by a product of indices of Segre involutions. Segre involutions and their associated indices were first defined by Finashin and Kharlamov over the reals. Our result is valid over any field of characteristic not 2 and gives an infinite family of problems in enriched enumerative geometry… ▽ More We prove that the local Euler class of a line on a degree $2n-1$ hypersurface in projective $n+1$ space is given by a product of indices of Segre involutions. Segre involutions and their associated indices were first defined by Finashin and Kharlamov over the reals. Our result is valid over any field of characteristic not 2 and gives an infinite family of problems in enriched enumerative geometry with a shared geometric interpretation for the local type. △ Less

Submitted 2 June, 2025; originally announced June 2025.

Comments: 39 pages, 2 figures. Comments welcome!

MSC Class: 14N15; 14G27

Quadratic counts of highly tangent lines to hypersurfaces

Authors: Stephen McKean, Giosuè Muratore, Wern Juin Gabriel Ong

Abstract: We give two geometric interpretations for the local type of a line that is highly tangent to a hypersurface in a single point. One interpretation is phrased in terms of the Wronski map, while the other interpretation relates to the fundamental forms of the hypersurface. These local types are the local contributions of an quadratic form-valued Euler number that depends on a choice of orientation. We give two geometric interpretations for the local type of a line that is highly tangent to a hypersurface in a single point. One interpretation is phrased in terms of the Wronski map, while the other interpretation relates to the fundamental forms of the hypersurface. These local types are the local contributions of an quadratic form-valued Euler number that depends on a choice of orientation. △ Less

Submitted 30 April, 2025; originally announced April 2025.

Comments: 19 pages

MSC Class: 14N10; 14G27

Motivic configurations on the line

Authors: John Igieobo, Stephen McKean, Steven Sanchez, Dae'Shawn Taylor, Kirsten Wickelgren

Abstract: For each configuration of rational points on the affine line, we define an operation on the group of unstable A1 motivic homotopy classes of endomorphisms of the projective line. We also derive an algebraic formula for the image of such an operation under Cazanave and Morel's unstable degree map, which is valued in an extension of the Grothendieck--Witt group. In contrast to the topological settin… ▽ More For each configuration of rational points on the affine line, we define an operation on the group of unstable A1 motivic homotopy classes of endomorphisms of the projective line. We also derive an algebraic formula for the image of such an operation under Cazanave and Morel's unstable degree map, which is valued in an extension of the Grothendieck--Witt group. In contrast to the topological setting, these operations depend on the choice of configuration of points via a discriminant. We prove this by first showing a local-to-global formula for the global unstable degree as a modified sum of local terms. We then use an anabelian argument to generalize from the case of local degrees of a global rational function to the case of an arbitrary collection of endomorphisms of the projective line. △ Less

Submitted 22 November, 2024; originally announced November 2024.

Comments: 38 pages

MSC Class: 14F42; 55P35

Symmetric powers of null motivic Euler characteristic

Authors: Dori Bejleri, Stephen McKean

Abstract: Let k be a field of characteristic not 2. We conjecture that if X is a quasi-projective k-variety with trivial motivic Euler characteristic, then Sym$^n$X has trivial motivic Euler characteristic for all n. Conditional on this conjecture, we show that the Grothendieck--Witt ring admits a power structure that is compatible with the motivic Euler characteristic and the power structure on the Grothen… ▽ More Let k be a field of characteristic not 2. We conjecture that if X is a quasi-projective k-variety with trivial motivic Euler characteristic, then Sym$^n$X has trivial motivic Euler characteristic for all n. Conditional on this conjecture, we show that the Grothendieck--Witt ring admits a power structure that is compatible with the motivic Euler characteristic and the power structure on the Grothendieck ring of varieties. We then discuss how these conditional results would imply an enrichment of Göttsche's formula for the Euler characteristics of Hilbert schemes. △ Less

Submitted 6 January, 2025; v1 submitted 27 June, 2024; originally announced June 2024.

Comments: 45 pages, 1 figure. Updated with a few minor corrections. Comments welcome!

MSC Class: 14F42 (14C05; 14J28)

KSp-characteristic classes determine Spin$^h$ cobordism

Authors: Jonathan Buchanan, Stephen McKean

Abstract: A classic result of Anderson, Brown, and Peterson states that the cobordism spectrum MSpin (respectively, MSpin$^c$) splits as a sum of Eilenberg--Mac Lane spectra and connective covers of real K-theory (respectively, complex K-theory) at 2. We develop a theory of symplectic K-theory classes and use these to build an explicit splitting for MSpin$^h$ in terms of Eilenberg--Mac Lane spectra and spec… ▽ More A classic result of Anderson, Brown, and Peterson states that the cobordism spectrum MSpin (respectively, MSpin$^c$) splits as a sum of Eilenberg--Mac Lane spectra and connective covers of real K-theory (respectively, complex K-theory) at 2. We develop a theory of symplectic K-theory classes and use these to build an explicit splitting for MSpin$^h$ in terms of Eilenberg--Mac Lane spectra and spectra related to symplectic K-theory. This allows us to determine the Spin$^h$ cobordism groups systematically. We also prove that two Spin$^h$-manifolds are cobordant if and only if their underlying unoriented manifolds are cobordant and their KSp-characteristic numbers agree. △ Less

Submitted 4 April, 2025; v1 submitted 13 December, 2023; originally announced December 2023.

Comments: 73 pages, 5 figures. Final version, but comments still welcome!

MSC Class: Primary: 19L41. Secondary: 53C27

Bounding the signed count of real bitangents to plane quartics

Authors: Mario Kummer, Stephen McKean

Abstract: Using methods from enriched enumerative geometry, Larson and Vogt gave a signed count of the number of real bitangents to real smooth plane quartics. This signed count depends on a choice of a distinguished line. Larson and Vogt proved that this signed count is bounded below by 0, and they conjectured that the signed count is bounded above by 8. We prove this conjecture using real algebraic geomet… ▽ More Using methods from enriched enumerative geometry, Larson and Vogt gave a signed count of the number of real bitangents to real smooth plane quartics. This signed count depends on a choice of a distinguished line. Larson and Vogt proved that this signed count is bounded below by 0, and they conjectured that the signed count is bounded above by 8. We prove this conjecture using real algebraic geometry, plane geometry, and some properties of convex sets. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: 11 pages, 4 figures. Comments welcome!

MSC Class: Primary: 14H50. Secondary: 14P99; 14N10

Journal ref: manuscr. math. 173, 1003--1013 (2024)

Circles of Apollonius two ways

Authors: Stephen McKean

Abstract: Because the problem of Apollonius is generally considered over the reals, it suffers from variance of number: there are at most eight circles simultaneously tangent to a given trio of circles, but some configurations have fewer than eight tangent circles. This issue arises over other non-closed fields as well. Using the tools of enriched enumerative geometry, we give two different ways to count th… ▽ More Because the problem of Apollonius is generally considered over the reals, it suffers from variance of number: there are at most eight circles simultaneously tangent to a given trio of circles, but some configurations have fewer than eight tangent circles. This issue arises over other non-closed fields as well. Using the tools of enriched enumerative geometry, we give two different ways to count the circles of Apollonius such that invariance of number holds over any field of characteristic not 2. We also pose the geometricity problem for local indices in enriched enumerative geometry. △ Less

Submitted 24 October, 2022; originally announced October 2022.

Comments: 45 pages, 19 figures, comments welcome!

MSC Class: 14N15; 14F52

Lifts, transfers, and degrees of univariate maps

Authors: Thomas Brazelton, Stephen McKean

Abstract: One can compute the local $\mathbb{A}^1$-degree at points with separable residue field by base changing, working rationally, and post-composing with the field trace. We show that for endomorphisms of the affine line, one can compute the local $\mathbb{A}^1$-degree at points with inseparable residue field by taking a suitable lift of the polynomial and transferring its local degree. We also discuss… ▽ More One can compute the local $\mathbb{A}^1$-degree at points with separable residue field by base changing, working rationally, and post-composing with the field trace. We show that for endomorphisms of the affine line, one can compute the local $\mathbb{A}^1$-degree at points with inseparable residue field by taking a suitable lift of the polynomial and transferring its local degree. We also discuss the general set-up and strategy in terms of the six functor formalism. As an application, we show that trace forms of number fields are local $\mathbb{A}^1$-degrees. △ Less

Submitted 8 December, 2021; originally announced December 2021.

Comments: 29 pages, 2 figures. Comments welcome!

MSC Class: Primary: 14F42. Secondary: 11E12; 15A20; 55M25

Journal ref: Math. Scand. 129(1), 5--38 (2023)

Conics meeting eight lines over perfect fields

Authors: Cameron Darwin, Aygul Galimova, Miao Pam Gu, Stephen McKean

Abstract: Over the complex numbers, there are 92 plane conics meeting 8 general lines in projective 3-space. Using the Euler class and local degree from motivic homotopy theory, we give an enriched version of this result over any perfect field. This provides a weighted count of the number of plane conics meeting 8 general lines, where the weight of each conic is determined the geometry of its intersections… ▽ More Over the complex numbers, there are 92 plane conics meeting 8 general lines in projective 3-space. Using the Euler class and local degree from motivic homotopy theory, we give an enriched version of this result over any perfect field. This provides a weighted count of the number of plane conics meeting 8 general lines, where the weight of each conic is determined the geometry of its intersections with the 8 given lines. As a corollary, real conics meeting 8 general lines come in two families of equal size. △ Less

Submitted 25 April, 2023; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: 20 pages. Revised version with various errors corrected. Final version, but comments still welcome!

MSC Class: 14N15; 14F52

Journal ref: J. Algebra 631, 24 -- 45 (2023)

Bézoutians and the $\mathbb{A}^1$-degree

Authors: Thomas Brazelton, Stephen McKean, Sabrina Pauli

Abstract: We prove that both the local and global $\mathbb{A}^1$-degree of an endomorphism of affine space can be computed in terms of the multivariate Bézoutian. In particular, we show that the Bézoutian bilinear form, the Scheja--Storch form, and the $\mathbb{A}^1$-degree for complete intersections are isomorphic. Our global theorem generalizes Cazanave's theorem in the univariate case, and our local theo… ▽ More We prove that both the local and global $\mathbb{A}^1$-degree of an endomorphism of affine space can be computed in terms of the multivariate Bézoutian. In particular, we show that the Bézoutian bilinear form, the Scheja--Storch form, and the $\mathbb{A}^1$-degree for complete intersections are isomorphic. Our global theorem generalizes Cazanave's theorem in the univariate case, and our local theorem generalizes Kass--Wickelgren's theorem on EKL forms and the local degree. This result provides an algebraic formula for local and global degrees in motivic homotopy theory. △ Less

Submitted 19 March, 2024; v1 submitted 30 March, 2021; originally announced March 2021.

Comments: Fixed a small typo

MSC Class: 14F42; 15A63

Journal ref: Alg. Number Th. 17 (2023) 1985-2012

Rational lines on smooth cubic surfaces

Authors: Stephen McKean

Abstract: We prove that the enumerative geometry of lines on smooth cubic surfaces is governed by the arithmetic of the base field. In 1949, Segre proved that the number of lines on a smooth cubic surface over any field is 0, 1, 2, 3, 5, 7, 9, 15, or 27. Over a given field, each of these line counts may or may not be realized by some cubic surface. We give a sufficient criterion for each of these line count… ▽ More We prove that the enumerative geometry of lines on smooth cubic surfaces is governed by the arithmetic of the base field. In 1949, Segre proved that the number of lines on a smooth cubic surface over any field is 0, 1, 2, 3, 5, 7, 9, 15, or 27. Over a given field, each of these line counts may or may not be realized by some cubic surface. We give a sufficient criterion for each of these line counts in terms of the Galois theory of the base field. △ Less

Submitted 2 March, 2025; v1 submitted 20 January, 2021; originally announced January 2021.

Comments: Substantial revision, with some results removed due to an error in the previous version. 28 pages, 3 figures

MSC Class: 14N15; 14G25

Bézoutians and injectivity of polynomial maps

Authors: Stephen McKean

Abstract: We prove that an endomorphism $f$ of affine space is injective on rational points if its Bézoutian is constant. Similarly, $f$ is injective at a given rational point if its reduced Bézoutian is constant. We also show that if the Jacobian determinant of $f$ is invertible, then $f$ is injective at a given rational point if and only if its reduced Bézoutian is constant. We prove that an endomorphism $f$ of affine space is injective on rational points if its Bézoutian is constant. Similarly, $f$ is injective at a given rational point if its reduced Bézoutian is constant. We also show that if the Jacobian determinant of $f$ is invertible, then $f$ is injective at a given rational point if and only if its reduced Bézoutian is constant. △ Less

Submitted 18 November, 2022; v1 submitted 19 May, 2020; originally announced May 2020.

Comments: 8 pages. Final version, but comments still welcome!

MSC Class: 14R15; 13F20

Journal ref: J. Pure Appl. Algebra 227(6), 107298 (2023)

An arithmetic enrichment of Bézout's Theorem

Authors: Stephen McKean

Abstract: The classical version of Bézout's Theorem gives an integer-valued count of the intersection points of hypersurfaces in projective space over an algebraically closed field. Using work of Kass and Wickelgren, we prove a version of Bézout's Theorem over any perfect field by giving a bilinear form-valued count of the intersection points of hypersurfaces in projective space. Over non-algebraically clos… ▽ More The classical version of Bézout's Theorem gives an integer-valued count of the intersection points of hypersurfaces in projective space over an algebraically closed field. Using work of Kass and Wickelgren, we prove a version of Bézout's Theorem over any perfect field by giving a bilinear form-valued count of the intersection points of hypersurfaces in projective space. Over non-algebraically closed fields, this enriched Bézout's Theorem imposes a relation on the gradients of the hypersurfaces at their intersection points. As corollaries, we obtain arithmetic-geometric versions of Bézout's Theorem over the reals, rationals, and finite fields of odd characteristic. △ Less

Submitted 4 November, 2020; v1 submitted 16 March, 2020; originally announced March 2020.

Comments: Updated and revised version for publication. 27 pages, 3 figures

MSC Class: 14N15 (Primary); 14F42 (Secondary)

Journal ref: Math. Ann. 379, 633--660 (2021)

All lines on a smooth cubic surface in terms of three skew lines

Authors: Stephen McKean, Daniel Minahan, Tianyi Zhang

Abstract: Jordan showed that the incidence variety of a smooth cubic surface containing 27 lines has solvable Galois group over the incidence variety of a smooth cubic surface containing 3 skew lines. As noted by Harris, it follows that for any smooth cubic surface, there exist formulas for all 27 lines in terms of any 3 skew lines. In response to a question of Farb, we compute these formulas explicitly. We… ▽ More Jordan showed that the incidence variety of a smooth cubic surface containing 27 lines has solvable Galois group over the incidence variety of a smooth cubic surface containing 3 skew lines. As noted by Harris, it follows that for any smooth cubic surface, there exist formulas for all 27 lines in terms of any 3 skew lines. In response to a question of Farb, we compute these formulas explicitly. We also discuss how these formulas relate to Schläfli's count of lines on real smooth cubic surfaces. △ Less

Submitted 15 July, 2021; v1 submitted 24 February, 2020; originally announced February 2020.

Comments: 21 pages, 5 figures, 1 table. Final version for journal

MSC Class: 14N15

Journal ref: New York J. Math. 27(1), 1305 -- 1327 (2021)

The trace of the local $\mathbf{A}^1$-degree

Authors: Thomas Brazelton, Robert Burklund, Stephen McKean, Michael Montoro, Morgan Opie

Abstract: We prove that the local $\mathbb{A}^1$-degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local $\mathbb{A}^1$-degree over the residue field. This fact was originally suggested by Morel's work on motivic transfers and by Kass and Wickelgren's work on the Scheja-Storch bilinear form. As a corollary, we generalize a result of Kass and… ▽ More We prove that the local $\mathbb{A}^1$-degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local $\mathbb{A}^1$-degree over the residue field. This fact was originally suggested by Morel's work on motivic transfers and by Kass and Wickelgren's work on the Scheja-Storch bilinear form. As a corollary, we generalize a result of Kass and Wickelgren's relating the Scheja-Storch form and the local $\mathbb{A}^1$-degree. △ Less

Submitted 11 May, 2020; v1 submitted 10 December, 2019; originally announced December 2019.

Comments: 13 pages, revised version

Journal ref: Homology Homotopy Appl. 23(1): 243--255, 2021