Source author record

Kirsten Wickelgren

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AT math.NT math.CO math.KT

Catalog footprint

Research overview

16works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Quadratically enriched binomial coefficients over a finite field

We compute an analogue of Pascal's triangle enriched in bilinear forms over a finite field. This gives an arithmetically meaningful count of the ways to choose $j$ ring homomorphisms into an algebraic closure from an étale extension of degree $n$ . We also compute a quadratic twist. These (twisted) enriched binomial coefficients are defined in joint work of Brugallé and the second-named author, building on work of Serre. Such binomial coefficients support curve counting results over non-algebraically closed fields, using $\mathbb{A}^1$ -homotopy theory.

preprint2022arXiv

Applications to A1-enumerative geometry of the A1-degree

These are lecture notes from the conference Arithmetic Topology at the Pacific Institute of Mathematical Sciences on applications of Morel's A1-degree to questions in enumerative geometry. Additionally, we give a new dynamic interpretation of the A1-Milnor number inspired by the first named author's enrichment of dynamic intersection numbers.

preprint2022arXiv

Compactly supported $\mathbb{A}^{1}$ -Euler characteristic and the Hochschild complex

We show the $\mathbb{A}^{1}$ -Euler characteristic of a smooth, projective scheme over a characteristic $0$ field is represented by its Hochschild complex together with a canonical bilinear form, and give an exposition of the compactly supported $\mathbb{A}^{1}$ -Euler characteristic $χ^{c}_{\mathbb{A}^{1}}: K_0(\mathbf{Var}_{k}) \to \text{GW}(k)$ from the Grothendieck group of varieties to the Grothendieck--Witt group of bilinear forms. We also provide example computations.

preprint2022arXiv

The Galois action on the lower central series of the fundamental group of the Fermat curve

Information about the absolute Galois group $G_K$ of a number field $K$ is encoded in how it acts on the étale fundamental group $π$ of a curve $X$ defined over $K$ . In the case that $K=\mathbb{Q}(ζ_n)$ is the cyclotomic field and $X$ is the Fermat curve of degree $n \geq 3$ , Anderson determined the action of $G_K$ on the étale homology with coefficients in $\mathbb{Z}/n \mathbb{Z}$ .The étale homology is the first quotient in the lower central series of the étale fundamental group.In this paper, we determine the structure of the graded Lie algebra for $π$ . As a consequence, this determines the action of $G_K$ on all degrees of the associated graded quotient of the lower central series of the étale fundamental group of the Fermat curve of degree $n$ , with coefficients in $\mathbb{Z}/n \mathbb{Z}$ .

preprint2020arXiv

An Example of Wild Ramification in an Enriched Riemann-Hurwitz Formula

M. Levine proved an enrichment of the classical Riemann-Hurwitz formula to an equality in the Grothendieck-Witt group of quadratic forms. In its strongest form, Levine's theorem includes a technical hypothesis on ramification relevant in positive characteristic. We consider wild ramification at points whose residue fields are non-separable extensions of the ground field k. We show an analogous Riemann-Hurwitz formula, and consider an example suggested by S. Saito.

preprint2016arXiv

Massey products <y,x,x,...,x,x,y> in Galois cohomology via rational points

For $x$ an element of a field other than $0$ or $1$ , we compute the order $n$ Massey products $\langle (1-x)^{-1}, x^{-1}, \ldots, x^{-1}, (1-x)^{-1} \rangle$ of $n-2$ factors of $x^{-1}$ and two factors of $(1-x)^{-1}$ by embedding $\mathbb{P}^1 - \{0,1,\infty\}$ into its Picard variety and constructing $\operatorname{Gal}(k^s/k)$ equivariant maps from $π_1$ applied to this embedding to unipotent matrix groups. This method produces obstructions to $π_1$ -sections of $\mathbb{P}^1 - \{0,1,\infty\}$ , partial computations of obstructions of Jordan Ellenberg, and also computes the Massey products $\langle x^{-1} , (-x)^{-1}, \ldots, (-x)^{-1}, x^{-1} \rangle.$

preprint2015arXiv

Desuspensions of S^1 /\ P^1_Q-{0,1,infty}

We use the Galois action on $π_1^{\textrm{et}}(\mathbb{P}_{\overline{\mathbb{Q}}}^1 - \{0,1,\infty \})$ to show that the homotopy equivalence $S^1 \wedge (\mathbb{G}_{m,\mathbb{Q}} \vee \mathbb{G}_{m,\mathbb{Q}}) \cong S^1 \wedge (\mathbb{P}_{\mathbb{Q}}^1 - \{0,1,\infty \})$ coming from purity does not desuspend to a map $\mathbb{G}_{m,\mathbb{Q}} \vee \mathbb{G}_{m,\mathbb{Q}} \to \mathbb{P}_{\mathbb{Q}}^1 - \{0,1,\infty \}$ .

preprint2015arXiv

Galois action on the homology of Fermat curves

In his paper titled "Torsion points on Fermat Jacobians, roots of circular units and relative singular homology", Anderson determines the homology of the degree $n$ Fermat curve as a Galois module for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_n)}$ . In particular, when $n$ is an odd prime $p$ , he shows that the action of $G_{\mathbb{Q}(ζ_p)}$ on a more powerful relative homology group factors through the Galois group of the splitting field of the polynomial $1-(1-x^p)^p$ . If $p$ satisfies Vandiver's conjecture, we prove that the Galois group of this splitting field over $\mathbb{Q}(ζ_p)$ is an elementary abelian $p$ -group of rank $(p+1)/2$ . Using an explicit basis for this Galois group, we completely compute the relative homology, the homology, and the homology of an open subset of the degree $3$ Fermat curve as Galois modules. We then compute several Galois cohomology groups which arise in connection with obstructions to rational points.

preprint2014arXiv

An Abel map to the compactified Picard scheme realizes Poincaré duality

For a smooth algebraic curve X over a field, applying H_1 to the Abel map X -> Pic (X/\partial X) to the Picard scheme of X modulo its boundary realizes the Poincaré duality isomorphism H_1(X, Z/ n) -> H^1(X/ \partial X, Z/n(1)) = H^1_c(X, Z/n(1)). We show the analogous statement for the Abel map X/\partial X -> Picbar (X/\partial X) to the compactified Picard, or Jacobian, scheme, namely this map realizes the Poincaré duality isomorphism H_1(X/ \partial X, Z/n) -> H^1(X, Z/n(1)). In particular, H_1 of this Abel map is an isomorphism. In proving this result, we prove some results about Picbar that are of independent interest. The singular curve X/\partial X has a unique singularity that is an ordinary fold point, and we describe the compactified Picard scheme of such a curve up to universal homeomorphism using a presentation scheme. We construct a Mayer-Vietoris sequence for certain push-outs of schemes, and an isomorphism of functors π_1^{ell} Pic^0(-) = H^1(-,Z_ell(1)).

preprint2014arXiv

Fixed points of $p$ -toral groups acting on partition complexes

We consider the action of $p$ -toral subgroups of $U(n)$ on the unitary partition complex $\mathcal L_n$ . We show that if $H\subseteq U(n)$ is $p$ -toral and has noncontractible fixed points on $\mathcal L_n$ , then the image of $H$ in the projective unitary group $U(n)/S^{1}$ is an elementary abelian $p$ -group.

preprint2014arXiv

Splitting Varieties for Triple Massey Products

We construct splitting varieties for triple Massey products. For a,b,c in F^* the triple Massey product < a,b,c> of the corresponding elements of H^1(F, mu_2) contains 0 if and only if there is x in F^* and y in F[\sqrt{a}, \sqrt{c}]^* such that b x^2 = N_{F[\sqrt{a}, \sqrt{c}]/F}(y), where N_{F[\sqrt{a}, \sqrt{c}]/F} denotes the norm, and F is a field of characteristic different from 2. These varieties satisfy the Hasse principle by a result of D.B. Lee and A.R. Wadsworth. This shows that triple Massey products for global fields of characteristic different from 2 always contain 0.

preprint2013arXiv

2-Nilpotent Real Section Conjecture

We show a 2-nilpotent section conjecture over R: for a geometrically connected curve X over R such that each irreducible component of its normalization has R-points, pi_0(X(R)) is determined by the maximal 2-nilpotent quotient of the fundamental group with its Galois action, as the kernel of an obstruction of Jordan Ellenberg. This implies that for X smooth and proper, X(R)^{+/-} is determined by the maximal 2-nilpotent quotient of Gal(C(X)) with its Gal(R)-action, where X(R)^{+/-} denotes the set of real points equipped with a real tangent direction, showing a 2-nilpotent birational real section conjecture.

preprint2013arXiv

Cartier's first theorem for Witt vectors on Z_{>= 0}^n - 0

We show that the dual of the Witt vectors on Z_{\geq 0}^n - 0 as defined by Angeltveit, Gerhardt, Hill, and Lindenstrauss represent the functor taking a commutative formal group G to the maps of formal schemes Ahat^n -> G, and that the Witt vectors are self-dual for Q-algebras or when n=1.

preprint2012arXiv

3-nilpotent obstructions to pi_1 sections for P^1_Q - {0,1,infty}

We study which rational points of the Jacobian of P^1_K -{0,1,infty} can be lifted to sections of geometrically 3 nilpotent quotients of etale pi_1 over the absolute Galois group. This is equivalent to evaluating certain triple Massey products of elements of H^1(G_K). For K=Q_p or R, we give a complete mod 2 calculation. This permits some mod 2 calculations for K = Q. These are computations of obstructions of Jordan Ellenberg.

preprint2011arXiv

n-Nilpotent Obstructions to pi_1 Sections of P^1-{0,1,infty} and Massey Products

Let pi be a pro-l completion of a free group, and let G be a profinite group acting continuously on pi. First suppose the action is given by a character. Then the boundary maps delta_n: H^1(G, pi/[pi]_n) -> H^2(G, [pi]_n/[pi]_{n+1}) are Massey products. When the action is more general, we partially compute these boundary maps. Via obstructions of Jordan Ellenberg, this implies that pi_1 sections of P^1_k-{0,1,infty} satisfy the condition that associated nth order Massey products in Galois cohomology vanish. For the pi_1 sections coming from rational points, these conditions imply that < (1-x)^{-1}, x^{-1}, x^{-1}, ..., x^{-1} > = 0 where x in H^1(Gal_k, Z_l(chi)) is the image of an element of k^* under the Kummer map.

preprint2011arXiv

Universal covering spaces and fundamental groups in algebraic geometry as schemes

In topology, the notions of the fundamental group and the universal cover are closely intertwined. By importing usual notions from topology into the algebraic and arithmetic setting, we construct a fundamental group family from a universal cover, both of which are schemes. A geometric fiber of the fundamental group family (as a topological group) is canonically the 'etale fundamental group. The constructions apply to all connected quasicompact quasiseparated schemes. With different methods and hypotheses, this fundamental group family was already constructed by Deligne.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Kirsten Wickelgren

Research overview

Is this your work?

16 publications

Quadratically enriched binomial coefficients over a finite field

Applications to A1-enumerative geometry of the A1-degree

Compactly supported $\mathbb{A}^{1}$ -Euler characteristic and the Hochschild complex

The Galois action on the lower central series of the fundamental group of the Fermat curve

An Example of Wild Ramification in an Enriched Riemann-Hurwitz Formula

Massey products <y,x,x,...,x,x,y> in Galois cohomology via rational points

Desuspensions of S^1 /\ P^1_Q-{0,1,infty}

Galois action on the homology of Fermat curves

An Abel map to the compactified Picard scheme realizes Poincaré duality

Fixed points of $p$ -toral groups acting on partition complexes

Splitting Varieties for Triple Massey Products

2-Nilpotent Real Section Conjecture

Cartier's first theorem for Witt vectors on Z_{>= 0}^n - 0

3-nilpotent obstructions to pi_1 sections for P^1_Q - {0,1,infty}

n-Nilpotent Obstructions to pi_1 Sections of P^1-{0,1,infty} and Massey Products

Universal covering spaces and fundamental groups in algebraic geometry as schemes

See the researcher in context

Building this map preview

Kirsten Wickelgren

Research overview

Is this your work?

16 publications

Quadratically enriched binomial coefficients over a finite field

Applications to A1-enumerative geometry of the A1-degree

Compactly supported A1\mathbb{A}^{1}A1-Euler characteristic and the Hochschild complex

The Galois action on the lower central series of the fundamental group of the Fermat curve

An Example of Wild Ramification in an Enriched Riemann-Hurwitz Formula

Massey products <y,x,x,...,x,x,y> in Galois cohomology via rational points

Desuspensions of S^1 /\ P^1_Q-{0,1,infty}

Galois action on the homology of Fermat curves

An Abel map to the compactified Picard scheme realizes Poincaré duality

Fixed points of ppp-toral groups acting on partition complexes

Splitting Varieties for Triple Massey Products

2-Nilpotent Real Section Conjecture

Cartier's first theorem for Witt vectors on Z_{>= 0}^n - 0

3-nilpotent obstructions to pi_1 sections for P^1_Q - {0,1,infty}

n-Nilpotent Obstructions to pi_1 Sections of P^1-{0,1,infty} and Massey Products

Universal covering spaces and fundamental groups in algebraic geometry as schemes

See the researcher in context

Building this map preview

Compactly supported $\mathbb{A}^{1}$ -Euler characteristic and the Hochschild complex

Fixed points of $p$ -toral groups acting on partition complexes