« first day (2573 days earlier)      last day (836 days later) » 

3:01 AM
2
Q: Del Pezzo surfaces of degree four and complete intersections of two quadrics

ArtyLet $X = Q_1\cap Q_2$ be a complete intersection of two smooth quadrics, over a field $K$, in $\mathbb{P}^4$ with homogeneous coordinates $y_0,y_1,y_2,y_3,y_4$. Set $Q_1 = \{F_1 = 0\}$ and $Q_2 = \{F_2 = 0\}$ and assume that the monomial $y_0^2$ does not appear in $F_1$ so that $Q_1$ is rational ...

 
 
5 hours later…
8:02 AM
6
Q: How to combine and then branch in MonadPlus/Alternative

dfeuerI recently wrote do e <- (Left <$> m) <|> (Right <$> n) more actions case e of Left x -> ... Right y -> ... This seems awkward. I know that protolude (and some other packages) define -- Called eitherP in parser combinator libraries eitherA :: Alternative f => f a -> f b -> f (Eithe...

 
 
4 hours later…
11:44 AM
1
Q: Locating generic filters in the Levy collapse

Clement YungLet $\mathrm{Col}(\omega,<\kappa)$ denote the Levy collpase of an inaccessible cardinal $\kappa$. A variant of the Factor Lemma is as follows: Lemma. Suppose that $\kappa$ is an inaccessible cardinal and that $\mathbb{P}$ is a poset of size $<\kappa$. Let $G$ be $\mathrm{Col}(\omega,<\kappa$)-ge...

 
 
8 hours later…
7:32 PM
4
Q: Order ideals of positive root systems and avoiding group elements in the Weyl group

MareLet $X$ be the poset of positive roots of a finite root system of Dynkin type $Q$. Question 1: In Dynkin type $A_n$, is it true that the poset of order ideals of $X$ is isomorphic to the poset of [2,1,3]-avoiding permutations under strong Bruhat order? I tested this experimentally in Sage, for ...

 

« first day (2573 days earlier)      last day (836 days later) »