Showing 1–10 of 10 results for author: McFaddin, P K

Relative Group Trisections

Authors: Nickolas Andres Castro, Jason Joseph, Patrick K. McFaddin

Abstract: Trisections of closed 4-manifolds, first defined and studied by Gay and Kirby, have proved to be a useful tool in the systematic analysis of 4-manifolds via handlebodies. Subsequent work of Abrams, Gay, and Kirby established a connection with the algebraic notion of a group trisection, which strikingly defines a one-to-one correspondence. We generalize the notion of a group trisection to the non-c… ▽ More Trisections of closed 4-manifolds, first defined and studied by Gay and Kirby, have proved to be a useful tool in the systematic analysis of 4-manifolds via handlebodies. Subsequent work of Abrams, Gay, and Kirby established a connection with the algebraic notion of a group trisection, which strikingly defines a one-to-one correspondence. We generalize the notion of a group trisection to the non-closed case by defining and studying relative group trisections. We establish an analogous one-to-one correspondence between relative trisections and relative group trisections up to equivalence. The key lemma in the construction may be of independent interest, as it generalizes the classical fact that there is a unique handlebody extension of a surface realizing a given surjection. Moreover, we establish a functorial relationship between relative trisections of manifolds and groups, extending work of Klug in the closed case. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 16 pages, 1 figure

Interleaving Distances, Monoidal Actions and 2-Categories

Authors: Patrick K. McFaddin, Tom Needham

Abstract: Interleaving distances are used widely in Topological Data Analysis (TDA) as a tool for comparing topological signatures of datasets. The theory of interleaving distances has been extended through various category-theoretic constructions, enabling its usage beyond standard constructions of TDA, while clarifying certain observed stability phenomena by unifying them under a common framework. Inspire… ▽ More Interleaving distances are used widely in Topological Data Analysis (TDA) as a tool for comparing topological signatures of datasets. The theory of interleaving distances has been extended through various category-theoretic constructions, enabling its usage beyond standard constructions of TDA, while clarifying certain observed stability phenomena by unifying them under a common framework. Inspired by metrics used in the field of statistical shape analysis, which are based on minimizing energy functions over group actions, we define three new types of increasingly general interleaving distances. Our constructions use ideas from the theories of monoidal actions and 2-categories. We show that these distances naturally extend the category with a flow framework of de Silva, Munch and Stefanou and the locally persistent category framework of Scoccola, and we provide a general stability result. Along the way, we give examples of distances that fit into our framework which connect to ideas from differential geometry, geometric shape analysis, statistical TDA and multiparameter persistent homology. △ Less

Submitted 20 November, 2023; originally announced November 2023.

Consequences of the existence of exceptional collections in arithmetic and rationality

Authors: Matthew R. Ballard, Alexander Duncan, Alicia Lamarche, Patrick K. McFaddin

Abstract: A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a slight generalization of this conjecture, where the endomorphism algebras of the exceptional objects are allowed to be separable field extensions of the base fie… ▽ More A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a slight generalization of this conjecture, where the endomorphism algebras of the exceptional objects are allowed to be separable field extensions of the base field. We show this generalization is false by exhibiting a geometrically rational, smooth, projective threefold over the the field of rational numbers that possesses a full étale-exceptional collection but not a rational point. The counterexample comes from twisting a non-retract rational variety with a rational point and full étale-exceptional collection by a torsor that is invisible to Brauer invariants. Along the way, we develop some tools for linearizing objects, including a group that controls linearizations. △ Less

Submitted 27 January, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

MSC Class: 14E08 (Primary) 14F08; 14L99 (Secondary)

Separable algebras and coflasque resolutions

Authors: Matthew R. Ballard, Alexander Duncan, Alicia Lamarche, Patrick K. McFaddin

Abstract: Over a non-closed field, it is a common strategy to use separable algebras as invariants to distinguish algebraic and geometric objects. The most famous example is the deep connection between Severi-Brauer varieties and central simple algebras. For more general varieties, one might use endomorphism algebras of line bundles, of indecomposable vector bundles, or of exceptional objects in their deriv… ▽ More Over a non-closed field, it is a common strategy to use separable algebras as invariants to distinguish algebraic and geometric objects. The most famous example is the deep connection between Severi-Brauer varieties and central simple algebras. For more general varieties, one might use endomorphism algebras of line bundles, of indecomposable vector bundles, or of exceptional objects in their derived categories. Using Galois cohomology, we describe a new invariant of reductive algebraic groups that captures precisely when this strategy will fail. Our main result characterizes this invariant in terms of coflasque resolutions of linear algebraic groups introduced by Colliot-Thélène. We determine whether or not this invariant is trivial for many fields. For number fields, we show it agrees with the Tate-Shafarevich group of the linear algebraic group, up to behavior at real places. △ Less

Submitted 22 February, 2024; v1 submitted 11 June, 2020; originally announced June 2020.

Comments: 31 pages; final version

MSC Class: 11E72 (Primary) 12G05; 14G25; 14G27 (Secondary)

Kernels for Grassmann Flops

Authors: Matthew R. Ballard, Nitin K. Chidambaram, David Favero, Patrick K. McFaddin, Robert R. Vandermolen

Abstract: We develop a generalization of the $Q$-construction of the first author, Diemer, and the third author for Grassmann flips. This generalization provides a canonical idempotent kernel on the derived category of the associated global quotient stack. The idempotent kernel, after restriction, induces a semi-orthogonal decomposition which compares the flipped varieties. Furthermore its image, after rest… ▽ More We develop a generalization of the $Q$-construction of the first author, Diemer, and the third author for Grassmann flips. This generalization provides a canonical idempotent kernel on the derived category of the associated global quotient stack. The idempotent kernel, after restriction, induces a semi-orthogonal decomposition which compares the flipped varieties. Furthermore its image, after restriction to the geometric invariant theory semistable locus, "opens" a canonical "window" in the derived category of the quotient stack. We check this window coincides with the set of representations used by Kapranov to form a full exceptional collection on Grassmannians. △ Less

Submitted 24 November, 2020; v1 submitted 27 April, 2019; originally announced April 2019.

Comments: 30 pages, expanded to identify the orthogonal for Grassmann flips, accepted for publication by Journal de Mathématiques Pures et Appliquées

MSC Class: 14F08

Journal ref: J. Math. Pures Appl. (9) 147 (2021), 29-59

Derived categories of centrally-symmetric smooth toric Fano varieties

Authors: Matthew R Ballard, Alexander Duncan, Patrick K. McFaddin

Abstract: We exhibit full exceptional collections of vector bundles on any smooth, Fano arithmetic toric variety whose split fan is centrally symmetric. We exhibit full exceptional collections of vector bundles on any smooth, Fano arithmetic toric variety whose split fan is centrally symmetric. △ Less

Submitted 16 June, 2020; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: 27 pages, to appear in Math. Nachr

The toric Frobenius morphism and a conjecture of Orlov

Authors: Matthew R. Ballard, Alexander Duncan, Patrick K. McFaddin

Abstract: We combine the Bondal-Uehara method for producing exceptional collections on toric varieties with a result of the first author and Favero to expand the set of varieties satisfying Orlov's Conjecture on derived dimension. We combine the Bondal-Uehara method for producing exceptional collections on toric varieties with a result of the first author and Favero to expand the set of varieties satisfying Orlov's Conjecture on derived dimension. △ Less

Submitted 20 September, 2017; originally announced September 2017.

Comments: 5 pages, comments welcome

Journal ref: European Journal of Mathematics 5, 640-645 (2019)

On derived categories of arithmetic toric varieties

Authors: Matthew R. Ballard, Alexander Duncan, Patrick K. McFaddin

Abstract: We begin a systematic investigation of derived categories of smooth projective toric varieties defined over an arbitrary base field. We show that, in many cases, toric varieties admit full exceptional collections. Examples include all toric surfaces, all toric Fano 3-folds, some toric Fano 4-folds, the generalized del Pezzo varieties of Voskresenskii and Klyachko, and toric varieties associated to… ▽ More We begin a systematic investigation of derived categories of smooth projective toric varieties defined over an arbitrary base field. We show that, in many cases, toric varieties admit full exceptional collections. Examples include all toric surfaces, all toric Fano 3-folds, some toric Fano 4-folds, the generalized del Pezzo varieties of Voskresenskii and Klyachko, and toric varieties associated to Weyl fans of type $A$. Our main technical tool is a completely general Galois descent result for exceptional collections of objects on (possibly non-toric) varieties over non-closed fields. △ Less

Submitted 27 December, 2018; v1 submitted 11 September, 2017; originally announced September 2017.

Journal ref: Ann. K-Th. 4 (2019) 211-242

Zero-cycles with coefficients for the second generalized symplectic involution variety of an algebra of degree 4

Authors: Patrick K. McFaddin

Abstract: We compute the group of $K_1$-zero-cycles on the second generalized involution variety for an algebra of degree 4 with symplectic involution. This description is given in terms of the group of multipliers of similitudes associated to the algebra with involution. Our method utilizes the framework of Chernousov and Merkurjev for computing $K_1$-zero-cycles in terms of $R$-equivalence classes of pres… ▽ More We compute the group of $K_1$-zero-cycles on the second generalized involution variety for an algebra of degree 4 with symplectic involution. This description is given in terms of the group of multipliers of similitudes associated to the algebra with involution. Our method utilizes the framework of Chernousov and Merkurjev for computing $K_1$-zero-cycles in terms of $R$-equivalence classes of prescribed algebraic groups. This gives a computation of $K_1$-zero-cycles for some homogeneous varieties of type $\mathsf{C}_2$. △ Less

Submitted 22 May, 2018; v1 submitted 10 March, 2017; originally announced March 2017.

Comments: An error spotted in a previous version was corrected but makes the main result less general. This also necessitated a change to the title. 11 pages, comments welcome!

MSC Class: 14C25 (Primary); 16K20 (Secondary)

The group of $K_1$-zero-cycles on the second generalized Severi-Brauer variety of an algebra of index 4

Authors: Patrick K. McFaddin

Abstract: In this manuscript, it is shown that the group of $K_1$-zero-cycles on the second generalized Severi-Brauer variety of an algebra $A$ of index 4 is given by elements of the group $K_1(A)$ together with a square-root of their reduced norm. Utilizing results of Krashen concerning exceptional isomorphisms, we translate our problem to the computation of cycles on involution varieties. Work of Chernous… ▽ More In this manuscript, it is shown that the group of $K_1$-zero-cycles on the second generalized Severi-Brauer variety of an algebra $A$ of index 4 is given by elements of the group $K_1(A)$ together with a square-root of their reduced norm. Utilizing results of Krashen concerning exceptional isomorphisms, we translate our problem to the computation of cycles on involution varieties. Work of Chernousov and Merkurjev then gives a means of describing such cycles in terms of Clifford and spin groups and corresponding $R$-equivalence classes. We complete our computation by giving an explicit description of these algebraic groups. △ Less

Submitted 30 April, 2019; v1 submitted 18 June, 2016; originally announced June 2016.

Comments: 10 pages

MSC Class: Primary 14C25; Secondary 16K20