Questions tagged [log-geometry]
Log structures, semistable degenerations, log crystalline cohomology, log de Rham cohomology, log smoothness, log Gromov-Witten theory
27
questions
4
votes
1
answer
243
views
Intersection complex of genus-zero curves?
I would like to have a very explicit description of $\bar M_{0, n}$, especially its boundary divisors and how they intersect. All I can do in my construction is add divisors and blow up at strata, ...
1
vote
0
answers
71
views
Are coherent modules with integrable log-connections locally free?
Let $X$ be a smooth Noetherian scheme over a field $K$. It is known that every coherent module with integrable connection on $X$ is locally free.
Is the same true for coherent modules with log-...
3
votes
1
answer
113
views
Reference request for log-differential forms
I read in a paper of Kato about log-differential forms, that if $X$ is a smooth locally Noetherian log-scheme, and $D$ is a reduced normal crossing divisor, then there is a definition of a sheaf on $X$...
1
vote
0
answers
93
views
Cokernel of map of dual of sheaves of differentials/deformations
Let $C$ be a nodal projective curve over an algebraically closed field of genus at least $2$. There are two natural "differential objects" one can consider: The sheaf of differentials $\...
2
votes
0
answers
86
views
Tangent Space of Moduli of Log-Smooth Curves
We consider an algebraically closed field $\underline{k}$ and all constructions that we will consider are over this field. It is well known that for each relative nodal curve $\underline{f}: \...
2
votes
0
answers
111
views
Equivalence between $\bar{\mathcal{M}}_{g,n}$ and ${\mathcal{M}}_{g,n}^{logbas}$
It is a classical result of the theory of the moduli of curves, that the stack $\bar{\mathcal{M}}_{g,n}$ of nodal curves with log-structure coming from the boundary divisor, and ${\mathcal{M}}_{g,n}^{...
2
votes
1
answer
163
views
Understanding the picture of monoidal space
Ogus in his slides https://math.berkeley.edu/~ogus/preprints/colloqhandout.pdf presents the following picture of a monoidal space $\operatorname{Spec}(\mathbb{N} \longrightarrow \mathbb{C}[\mathbb{N}])...
3
votes
1
answer
255
views
Reference request: Kummer étale topology and tame topology
In Theorem 7.6 of Illusie - An overview of the work of K. Fujiwara, K. Kato, and C. Nakayama on logarithmic étale cohomology it is stated that if $X$ is a log regular fs log scheme and $U$ is the open ...
2
votes
0
answers
233
views
Terminology in log geometry
A log scheme consists of a scheme $X$, a sheaf of monoids $M_X$ on $X$, and a map $\alpha:M_X\to\mathcal O_X$ with the property that $\alpha^{-1}(\mathcal O_X^\times)\to\mathcal O_X^\times$ is an ...
7
votes
2
answers
589
views
Is $(x^2y,xy^2)$ log smooth?
Consider the map
$$f:\mathbb C^2\to\mathbb C^2$$
$$(x,y)\mapsto(x^2y,xy^2)$$
We can view $f$ as induced by the map of monoids $g:\mathbb Z^2_{\geq 0}\to\mathbb Z^2_{\geq 0}$ given by the matrix $(\...
5
votes
0
answers
136
views
algebraic de Rham cohomology of toric varieties (reference request)
I haven't been able to find anything workable yet, but I'm looking for a reference on the de Rham cohomology of toric varieties, where as many as possible of the following conditions are handled:
...
6
votes
1
answer
288
views
An unpublished note by Bloch-Kato on p-divisible groups and Dieudonné crystals
I wonder if anyone could find the following unpublished paper of Bloch-Kato:
Spencer Bloch and Kazuya Kato, $p$-divisible groups and Dieudonné crystals, unpublished.
A similar question is here ...
3
votes
1
answer
366
views
$p$-adic Kato--Nakayama space
Given a log scheme over $\mathbb{C}$ whose underlying scheme is locally of finite type, you can associate to it a ringed space called the Kato--Nakayama space. Is there a $p$-adic analogue of this ...
4
votes
1
answer
759
views
Properties of log smooth schemes
Let $k$ be a field and $M$ be sharp monoid (with no invertible element) consider the log point $\eta_M=(\operatorname{Spec}(k), M)$. Let $X$ be a fine saturated scheme over $\eta_M$ such that the ...
7
votes
2
answers
491
views
A log structure on the moduli space of curves
Let $M_{g, n}$ be the moduli space of curves of genus $g$ with $n$ marked points. Let $M_{g, \vec{n}}$ be the moduli space of marked curves with a choice of a (possibly zero) tangent vector at each ...
2
votes
1
answer
174
views
Locally toric resolutions of compactifications
Suppose $U$ is a smooth, open $n$-dimensional variety over $\mathbb{C}.$ Say $X, X'$ are two proper normal-crossings compactifications of $U$. Call a map $m: X'\to X$ a modification if it is an ...
4
votes
0
answers
381
views
An unpublished note by Spencer Bloch and Kazuya Kato
I am looking for an unpublished note by Spencer Bloch and Kazuya Kato, p-divisible groups and Dieudonné crystals. This note is always cited as
Spencer Bloch and Kazuya Kato, p-divisible groups and ...
8
votes
1
answer
1k
views
When is a map from a logarithmic tangent bundle to a normal bundle surjective?
Suppose that $X$ is an algebraic variety with divisor $D$ such that the logarithmic tangent bundle $\mathcal{T}_X(-\log D)$ is locally free. Suppose moreover that $\iota\colon Y\to X$ is a regular ...
5
votes
0
answers
582
views
Semistable reduction and log structures
I have been reading Hyodo-Kato's paper on log-crystalline cohomology, and there is one statement there that has been troubling me.
To explain this, suppose we have a perfect field $k$ of ...
2
votes
1
answer
423
views
trivialities on log-structures
I would like to understand some trivialities about log-structures. Given a log-scheme $(X,M_X)$ the log-structure $M_X$ is defined via push-out. Are there stupid examples in which this push-out is ...
2
votes
1
answer
464
views
Minimal semistable model for K3-surfaces.
I wonder if a semistalbe K3 surface over a $p$-adic field has a minimal semistable model. I guess yes but I do not find any reference.
Also, if we have a semistable K3 surface with a log structure, ...
1
vote
0
answers
232
views
Moduli Space of an Algebraic K3 surface with singularities.
Suppose that $X$ is an algebraic K3 surface (say polarized). If the singular divisor of $X$ is normal crossing... Do we have a moduli space parametrizing such $K3$ surfaces? If yes do we have a ...
8
votes
3
answers
1k
views
relation between toric geometry and log geometry
Hello,
I'm trying to understand the relation between the points of view of
log geometry (monoids) and toric geometry (fans).
Suppose that $k$ is a field and $P$ is a finitely generated monoid.
Then $...
15
votes
4
answers
5k
views
References for logarithmic geometry
Hi everyone,
I'm looking for a systematical introduction to (or treatment of) logarithmic structures on schemes. I am reading Kato's article ("Logarithmic structures of Fontaine-Illusie") at the ...
6
votes
3
answers
1k
views
What are Log Stacks
So, I've been running in both stacky circles and logarithmic circles and I've been wondering: is there a definition of log stack that is "useful"? I can imagine two such definitions:
1) A log stack ...
13
votes
0
answers
821
views
Kato's log motives
What are they and what are their intended uses? Does anyone have notes/slides of this talk?
I am curious about "log motives" because there seems to exist a "log motivic yoga" among experts in ...
9
votes
2
answers
915
views
Logarithmic structures on moduli of elliptic curves over Z
I've heard it stated that if you take the moduli of elliptic curves with some level structure imposed (as a moduli scheme over Spec(Z)), there is a logarithmic structure that you can impose at the ...