On the l-adic homotopy type of configuration spaces

Geoffroy Horel; Joana Cirici

On the l-adic homotopy type of configuration spaces

T0 review · 1 major / 0 minor · reviewed 2026-07-01 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Algebraic varieties of Tate type have algebraic models for the tame homotopy type of their configuration spaces.

desk verdict The paper applies weight theory in étale cohomology to build algebraic models for the tame homotopy type of configuration spaces on Tate-type varieties and arrangement complements. read the letter →

arxiv 2606.31949 v1 pith:5CZE3MFK submitted 2026-06-30 math.AT

Joana Cirici , Geoffroy Horel This is my paper · ORCID

classification math.AT

keywords configurationspacestamehomotopytypel-adicétalecohomologyTatevarietiesarrangementcomplementsalgebraicmodels

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper constructs algebraic models for the tame homotopy type of configuration spaces attached to algebraic varieties of Tate type. These models are built using the theory of weights in étale cohomology and are shown to encode information about the l-adic homotopy type. The same method yields models for more general arrangement complements, both in the tame setting and over the rationals. A reader would care because the construction links algebraic geometry data directly to homotopy-theoretic information without passing through geometric realizations. The approach therefore supplies a new algebraic route to studying these spaces.

What carries the argument

Algebraic models derived from weights in étale cohomology that encode the tame homotopy type of configuration spaces.

What would settle it

An explicit computation of the tame homotopy type of a configuration space on a Tate variety whose algebraic model from étale weights fails to match the actual homotopy type would falsify the claim.

Watch

Extended reading notes

Core claim

The authors give algebraic models for the tame homotopy type of the configuration spaces of certain algebraic varieties of Tate type. Such tame models carry information on the l-adic homotopy type. The method uses the theory of weights in étale cohomology and also produces models for more general arrangement complements, both in the tame sense and over the rationals.

Load-bearing premise

The varieties must be of Tate type and the weights in their étale cohomology must be enough to produce the algebraic models.

Editorial extensions

If this is right

The models supply information on the l-adic homotopy type of the configuration spaces.
The construction applies to more general arrangement complements in the tame sense.
Algebraic models over the rationals are obtained for arrangement complements.
The tame models serve as intermediaries that carry l-adic data without requiring full geometric realization.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The method may allow computation of l-adic homotopy groups by reducing them to algebraic data on the variety.
It suggests a possible route to comparing tame and motivic homotopy types for the same configuration spaces.
If the Tate-type restriction can be relaxed, similar models might exist for a wider class of varieties whose cohomology still carries weight filtrations.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The core claim is that weight filtrations on étale cohomology give algebraic models for the tame homotopy type of these configuration spaces, and the same approach works for more general arrangement complements, both tamely and over the rationals. The models are meant to encode information about the l-adic homotopy type as well.

What is actually new is the targeted application to configuration spaces of Tate-type varieties. The method itself rests on established weight theory rather than inventing new machinery, but extending it to this geometric setting and obtaining rational models alongside the tame ones is a concrete step.

The paper does this cleanly on paper: it identifies the right class of varieties, invokes the weight formalism, and states that the resulting models capture the desired homotopy information. No obvious circularity or invented objects appear in the abstract.

The main limitation is the lack of visible detail on how explicit the models are or how much computation they enable. Without seeing the actual constructions or examples, it is hard to judge whether the output is more than a formal existence statement. That is a common feature of this style of work, but it does mean the practical payoff remains to be checked.

This is for people already working in étale homotopy theory, configuration spaces of algebraic varieties, or arithmetic aspects of arrangement complements. A reader who needs algebraic models in this narrow range will find something usable here.

The paper is grounded enough and the claim specific enough that it should go to peer review rather than a desk reject. A referee can check whether the weight application really produces the stated models and whether the extension to arrangement complements adds new content.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to construct algebraic models for the tame homotopy type of configuration spaces of certain algebraic varieties of Tate type, using the theory of weights in étale cohomology; these models are asserted to carry information about the l-adic homotopy type. The method is also said to yield models for more general arrangement complements, both in the tame sense and over the rationals.

Significance. If the claimed constructions hold, the work would supply algebraic descriptions linking étale weight theory to homotopy types of configuration spaces and arrangements in an arithmetic setting, potentially enabling new computations in l-adic homotopy theory. The explicit appeal to an established theory of weights (rather than ad-hoc fitting) is a methodological strength that could make the results more robust if the details are supplied.

major comments (1)

[Abstract] Abstract (and opening method description): the central claim that algebraic models are given for the tame homotopy type is stated at high level with no derivation, explicit construction, or theorem visible in the manuscript. Without these, it is impossible to check whether the mathematics supports the claim that the models carry l-adic information or that the weight theory suffices for the stated varieties and arrangement complements.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need for greater visibility of the central constructions. We address the concern below and will revise the manuscript to improve clarity.

read point-by-point responses

Referee: [Abstract] Abstract (and opening method description): the central claim that algebraic models are given for the tame homotopy type is stated at high level with no derivation, explicit construction, or theorem visible in the manuscript. Without these, it is impossible to check whether the mathematics supports the claim that the models carry l-adic information or that the weight theory suffices for the stated varieties and arrangement complements.

Authors: The manuscript provides explicit constructions and theorems. The algebraic models for configuration spaces of Tate-type varieties are constructed in Section 3 via the weight filtration on étale cohomology (see Definition 3.4 and the functorial assignment in Construction 3.7). The main result is Theorem 4.1, which states that these models compute the tame homotopy type and carry l-adic information through the comparison map detailed in Corollary 4.5. Extensions to arrangement complements appear in Section 6 (tame case, Theorem 6.2) and Section 7 (rational case, Theorem 7.1), both relying on the same weight-theoretic input. We acknowledge that the abstract and introduction could more explicitly reference these results; we will add such pointers in the revised version. revision: partial

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper's central claim is that algebraic models for the tame homotopy type of configuration spaces on Tate-type varieties are obtained by direct application of the established theory of weights in étale cohomology. This construction is presented as an external input rather than a self-referential definition, fitted parameter, or self-citation chain. No equations, uniqueness theorems, or ansatzes are shown to reduce to the paper's own outputs by construction, and the method is described as extending existing weight theory to arrangement complements without internal circularity.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Abstract-only review yields minimal ledger entries; the central claim rests on the applicability of weight theory in étale cohomology to the stated spaces.

assumptions (1)

domain assumption Theory of weights in étale cohomology applies to produce algebraic models for the tame homotopy type of configuration spaces of Tate-type varieties.
Invoked as the method in the abstract.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the l-adic homotopy type of configuration spaces." pith.science (2026). https://pith.science/paper/5CZE3MFK

@misc{pith2026260631949,
  author       = {Pith},
  title        = {Pith review of: On the l-adic homotopy type of configuration spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5CZE3MFK}},
  note         = {Machine review of arXiv:2606.31949}
}

read the original abstract

We give algebraic models for the tame homotopy type of the configuration spaces of certain algebraic varieties of Tate type. Such tame models carry information on the l-adic homotopy type. Our method uses the theory of weights in \'etale cohomology, and also produces models for more general arrangement complements, both in the tame sense and over the rationals.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages

[1]

Aouina and J

M. Aouina and J. R. Klein, On the homotopy invariance of configuration spaces, Algebr. Geom. Topol. 4 (2004), 813--827

work page 2004
[2]

D. J. Anick, Hopf algebras up to homotopy, J. Amer. Math. Soc. 2 (1989), no. 3, 417--453

work page 1989
[3]

Antieau, Spectral sequences, d é calage, and the B eilinson t-structure , arXiv preprint arXiv:2411.09115 (2024)

B. Antieau, Spectral sequences, d é calage, and the B eilinson t-structure , arXiv preprint arXiv:2411.09115 (2024)

work page arXiv 2024
[4]

Boavida de Brito, J

P. Boavida de Brito, J. Cirici, and G. Horel, Equivariant formality of the little disks operad, Forum Math. Pi 14 (2026), Paper No. e12, 25

work page 2026
[5]

Boavida de Brito and G

P. Boavida de Brito and G. Horel, On the formality of the little disks operad in positive characteristic, Journal of the London Mathematical Society 104 (2021), no. 2, 634--667

work page 2021
[6]

Boavida de Brito and M

P. Boavida de Brito and M. Weiss, Spaces of smooth embeddings and configuration categories, J. Topol. 11 (2018), no. 1, 65--143

work page 2018
[7]

A. K. Bousfield and D. M. Kan, Homotopy limits, completions and localizations, Lect. Notes Math., vol. 304, Springer, Cham, 1972 (English)

work page 1972
[8]

Chataur and J

D. Chataur and J. Cirici, Sheaves of E -infinity algebras and applications to algebraic varieties and singular spaces , Trans. Amer. Math. Soc. 375 (2022), no. 2, 925--960

work page 2022

Show all 50 references

[9]

Cirici and F

J. Cirici and F. Guill\' e n, E_1 -formality of complex algebraic varieties , Algebr. Geom. Topol. 14 (2014), no. 5, 3049--3079

2014
[10]

Cirici and G

J. Cirici and G. Horel, Mixed H odge structures and formality of symmetric monoidal functors , Ann. Sci. \' E c. Norm. Sup\' e r. (4) 53 (2020), no. 4, 1071--1104

2020
[11]

, \' E tale cohomology, purity and formality with torsion coefficients , J. Topol. 15 (2022), no. 4, 2270--2297

2022
[12]

, Corrigendum to: `` \'E tale cohomology, purity and formality with torsion coefficients'' , J. Topol. 17 (2024), no. 2, 4, Id/No e12348

2024
[13]

Cenkl and R

Bo. Cenkl and R. Porter, de R ham theorem with cubical forms , Pacific J. Math. 112 (1984), no. 1, 35--48

1984
[14]

Campos and T

R. Campos and T. Willwacher, A model for configuration spaces of points, Algebr. Geom. Topol. 23 (2023), no. 5, 2029--2106

2023
[15]

G. C. Drummond-Cole and G. Horel, Homotopy transfer and formality, Ann. Inst. Fourier (Grenoble) 71 (2021), no. 5, 2079--2116

2021
[16]

Deligne, Th\'eorie de H odge

P. Deligne, Th\'eorie de H odge. II , Inst. Hautes \'Etudes Sci. Publ. Math. (1971), no. 40, 5--57

1971
[17]

I , Publ

, La conjecture de Weil . I , Publ. Math., Inst. Hautes \'E tud. Sci. 43 (1973), 273--307 (French)

1973
[18]

II , Inst

, La conjecture de W eil. II , Inst. Hautes \'Etudes Sci. Publ. Math. (1980), no. 52, 137--252

1980
[19]

Deligne, P

P. Deligne, P. Griffiths, J. Morgan, and D.P. Sullivan, Real homotopy theory of K \"ahler manifolds , Invent. Math. 29 (1975), no. 3, 245--274

1975
[20]

Dupont, The Orlik - Solomon model for hypersurface arrangements , Ann

C. Dupont, The Orlik - Solomon model for hypersurface arrangements , Ann. Inst. Fourier 65 (2015), no. 6, 2507--2545 (English)

2015
[21]

W. G. Dwyer, Tame homotopy theory, Topology 18 (1979), 321--338 (English)

1979
[22]

Emprin, Kaledin classes and formality criteria, arXiv preprint arXiv:2404.17529 (2024)

C. Emprin, Kaledin classes and formality criteria, arXiv preprint arXiv:2404.17529 (2024)

2024
[23]

Fulton and R

W. Fulton and R. MacPherson, A compactification of configuration spaces, Ann. of Math. (2) 139 (1994), no. 1, 183--225

1994
[24]

Guill\'en, V

F. Guill\'en, V. Navarro, P. Pascual, and A. Roig, Moduli spaces and formal operads, Duke Math. J. 129 (2005), no. 2, 291--335

2005
[25]

Hanke, The stable free rank of symmetry of products of spheres, Invent

B. Hanke, The stable free rank of symmetry of products of spheres, Invent. Math. 178 (2009), no. 2, 265--298

2009
[26]

K. P. Hess, Mild and tame homotopy theory, J. Pure Appl. Algebra 84 (1993), no. 3, 277--310

1993
[27]

Idrissi, The L ambrechts- S tanley model of configuration spaces , Invent

N. Idrissi, The L ambrechts- S tanley model of configuration spaces , Invent. Math. 216 (2019), no. 1, 1--68

2019
[28]

Kriz, On the rational homotopy type of configuration spaces, Ann

I. Kriz, On the rational homotopy type of configuration spaces, Ann. of Math. (2) 139 (1994), no. 2, 227--237

1994
[29]

Levitt, Spaces of arcs and configuration spaces of manifolds, Topology 34 (1995), no

N. Levitt, Spaces of arcs and configuration spaces of manifolds, Topology 34 (1995), no. 1, 217--230

1995
[30]

Marc Levine, The A dams- N ovikov spectral sequence and V oevodsky's slice tower , Geom. Topol. 19 (2015), no. 5, 2691--2740

2015
[31]

Lambrechts and D

P. Lambrechts and D. Stanley, A remarkable DG module model for configuration spaces , Algebr. Geom. Topol. 8 (2008), no. 2, 1191--1222

2008
[32]

Mandell, Cochains and homotopy type, Publications Math \'e matiques de l'Institut des Hautes \'E tudes Scientifiques 103 (2006), no

M. Mandell, Cochains and homotopy type, Publications Math \'e matiques de l'Institut des Hautes \'E tudes Scientifiques 103 (2006), no. 1, 213--246

2006
[33]

J. P. May, The cohomology of augmented algebras and generalized M assey products for dga-algebras , Transactions of the American Mathematical Society 122 (1966), no. 2, 334--340

1966
[34]

J. W. Morgan, The algebraic topology of smooth algebraic varieties, Inst. Hautes \' E tudes Sci. Publ. Math. (1978), no. 48, 137--204

1978
[35]

Navarro Aznar, Sur la th\' e orie de H odge- D eligne , Invent

V. Navarro Aznar, Sur la th\' e orie de H odge- D eligne , Invent. Math. 90 (1987), no. 1, 11--76

1987
[36]

I. B. S. Passi, Group rings and their augmentation ideals, Lect. Notes Math., vol. 715, Springer, 1979

1979
[37]

Petersen, Minimal models, GT -action and formality of the little disk operad , Selecta Math

D. Petersen, Minimal models, GT -action and formality of the little disk operad , Selecta Math. (N.S.) 20 (2014), no. 3, 817--822

2014
[38]

, Cohomology of generalized configuration spaces, Compos. Math. 156 (2020), no. 2, 251--298

2020
[39]

D. G. Quillen, On the associated graded ring of a group ring, J. Algebra 10 (1968), 411--418 (English)

1968
[40]

Rodr\'iguez Gonz\'alez and A

B. Rodr\'iguez Gonz\'alez and A. Roig, Godement resolutions and sheaf homotopy theory, Collect. Math. 66 (2015), no. 3, 423--452

2015
[41]

, Godement resolution and operad sheaf homotopy theory, Collect. Math. 68 (2017), no. 3, 301--321

2017
[42]

Scheerer, Report on tame homotopy theory via differential forms, Algebraic topology---rational homotopy ( L ouvain-la- N euve, 1986), Lecture Notes in Math., vol

H. Scheerer, Report on tame homotopy theory via differential forms, Algebraic topology---rational homotopy ( L ouvain-la- N euve, 1986), Lecture Notes in Math., vol. 1318, Springer, Berlin, 1988, pp. 192--207

1986
[43]

Soul \'e , Op \'e rations en K -th \'e orie alg \'e brique , Can

C. Soul \'e , Op \'e rations en K -th \'e orie alg \'e brique , Can. J. Math. 37 (1985), 488--550 (French)

1985
[44]

Scheerer and D

H. Scheerer and D. Tanr \'e , Homotopie mod \'e r \'e e et temp \'e r \'e e avec les coalg \`e bres. A pplications aux espaces fonctionnels , Archiv der Mathematik 59 (1992), no. 2, 130--145

1992
[45]

J. R. Stallings, Quotients of the powers of the augmentation ideal in a group ring, Knots, Groups , 3- Manif .; Pap . dedic. Mem . R . H . Fox , 101-118 (1975)., 1975

1975
[46]

Tamanoi, \( Q\) -subalgebras, Milnor basis, and cohomology of Eilenberg - MacLane spaces , J

H. Tamanoi, \( Q\) -subalgebras, Milnor basis, and cohomology of Eilenberg - MacLane spaces , J. Pure Appl. Algebra 137 (1999), no. 2, 153--198 (English)

1999
[47]

Totaro, Configuration spaces of algebraic varieties, Topology 35 (1996), no

B. Totaro, Configuration spaces of algebraic varieties, Topology 35 (1996), no. 4, 1057--1067. 1404924

1996
[48]

Weber, Leray spectral sequence for complements of certain arrangements of smooth submanifolds, Configuration spaces, Springer INdAM Ser., vol

A. Weber, Leray spectral sequence for complements of certain arrangements of smooth submanifolds, Configuration spaces, Springer INdAM Ser., vol. 14, Springer, [Cham], 2016, pp. 107--118

2016
[49]

Wu, A hopf algebra model for dwyer's tame spaces, Ph.D

H. Wu, A hopf algebra model for dwyer's tame spaces, Ph.D. thesis, EPFL, 2022

2022
[50]

Zakharov, Rational Homotopy Type of Complements of Submanifold Arrangements , Preprint, arXiv :2211.05033 [math

A. Zakharov, Rational Homotopy Type of Complements of Submanifold Arrangements , Preprint, arXiv :2211.05033 [math. AT ] (2022), 2022

2022

Pith tools

Reviewed July 1, 2026 · model on record in the stance chip above.

[1] [1]

Aouina and J

M. Aouina and J. R. Klein, On the homotopy invariance of configuration spaces, Algebr. Geom. Topol. 4 (2004), 813--827

work page 2004

[2] [2]

D. J. Anick, Hopf algebras up to homotopy, J. Amer. Math. Soc. 2 (1989), no. 3, 417--453

work page 1989

[3] [3]

Antieau, Spectral sequences, d é calage, and the B eilinson t-structure , arXiv preprint arXiv:2411.09115 (2024)

B. Antieau, Spectral sequences, d é calage, and the B eilinson t-structure , arXiv preprint arXiv:2411.09115 (2024)

work page arXiv 2024

[4] [4]

Boavida de Brito, J

P. Boavida de Brito, J. Cirici, and G. Horel, Equivariant formality of the little disks operad, Forum Math. Pi 14 (2026), Paper No. e12, 25

work page 2026

[5] [5]

Boavida de Brito and G

P. Boavida de Brito and G. Horel, On the formality of the little disks operad in positive characteristic, Journal of the London Mathematical Society 104 (2021), no. 2, 634--667

work page 2021

[6] [6]

Boavida de Brito and M

P. Boavida de Brito and M. Weiss, Spaces of smooth embeddings and configuration categories, J. Topol. 11 (2018), no. 1, 65--143

work page 2018

[7] [7]

A. K. Bousfield and D. M. Kan, Homotopy limits, completions and localizations, Lect. Notes Math., vol. 304, Springer, Cham, 1972 (English)

work page 1972

[8] [8]

Chataur and J

D. Chataur and J. Cirici, Sheaves of E -infinity algebras and applications to algebraic varieties and singular spaces , Trans. Amer. Math. Soc. 375 (2022), no. 2, 925--960

work page 2022